As of 30 Oct 2026, &Truth has raised $70M across 1 verified round on record; latest: $70 million seed round, announced Oct 2026.
A public benefit corporation building the universal verification machine for code
andtruth.comLinkedInSingaporeCybersecurityFounded 2026
2 sources · checked 2 times, last 4h ago
No investors are named, and no valuation or financing total is stated.
| Round | Amount | Announced | Lead | Buzz |
|---|---|---|---|---|
| Seed | $70M | ~ 2026-10-29 | not stated | 2 outlets. #120 in Trending |
2 sources · checked 2 times, last 4h ago [ VERIFIED ] read against 1 of 2 sources No investors are named, and no valuation or financing total is stated. | ||||
&Truth builds software for enterprises and developers that reads code in any programming language and mathematically proves it safe, secure, and correct, with proofs anyone can independently check.
AI is generating and attacking software faster than people can safely review it, while testing and code review cannot guarantee that code behaves as intended. &Truth's $70 million seed-backed bet is to use AI-assisted formal verification and Lean-based proofs to make rigorous, independently checkable guarantees scalable from years or months to hours or minutes.
Checked against 8 sources yesterday
None named.