What it sells
Building a universal verification machine: technology that reads code in any language and mathematically proves it safe, secure and correct, with proofs anyone can independently check.
Business model breakdown
Distribution: how it reaches customers
Early stage: email sign-up for updates and pre-release demos.
Funding history and coverage
| Round date | Stage | Amount | Investors | Source |
|---|---|---|---|---|
| 2026-10-31 | Seed | $70M | — | pulse2.com |
| 2026-10-30 | Seed | $70M | — | news.google.com |
| 2026-10-30 | Seed | $70M | — | news.google.com |
| 2026-10-30 | Seed | $70M | — | news.google.com |
| 2026-10-30 | Seed | $70M | — | news.google.com |
| 2026-10-30 | Seed | 7,000万ドル | — | news.google.com |
| 2026-10-29 | — | $70M | — | news.google.com |
Profiles summarize public reporting and company websites. Business-model notes are MaxBC's reading of that material, not confirmed facts; unknowns are left blank rather than guessed. Updated 2026-11-01.