&Truth raises $70M seed for code verification

&Truth, a Palo Alto-based creator of software validation systems, has secured $70 million in a seed round ^[1]. The startup officially unveiled the new financing round on Nov. 2, 2026, marking a significant transition into wider public view for the organization ^[3].

No lead institutional backers or participating investors were specified in the announcement reports ^[1][2][3]. The organization was started in early 2026 by Clark Barrett, Ilya Sergey, and Chris Hsu, running operational centers across both Palo Alto and Singapore ^[1].

The startup’s primary focus lies in building a universal verification machine engineered to mathematically confirm that complex software code remains safe and functions exactly as intended ^[1][2]. By relying on formal mathematical proofs rather than typical testing alone, the technology aims to guarantee program correctness across complex software architectures ^[1][3].

According to report details, the seed injection will support ongoing technical work on its core verification system ^[1]. In addition, executive leadership plans to channel the $70 million in incoming capital into aggressively growing its specialized teams across research, software engineering, product strategy, and commercial operations ^[1].

Dual locations in California and Singapore position the venture to recruit specialized researchers across two major technology centers as it scales development ^[1]. The $70 million seed transaction represents an unusually large early injection for an enterprise founded within the current calendar year ^[1].