卖什么
正在构建通用验证机器:可读取任何语言的代码并以数学方式证明其安全、可靠且正确,证明可由任何人独立检验。
商业模式拆解
渠道：怎么接触到客户？
Early stage: email sign-up for updates and pre-release demos.
融资历史与报道
| 融资日期 | 轮次 | 金额 | 投资方 | 来源 |
|---|---|---|---|---|
| 2026-10-31 | 种子轮 | $70M | — | pulse2.com |
| 2026-10-30 | 种子轮 | $70M | — | news.google.com |
| 2026-10-30 | 种子轮 | $70M | — | news.google.com |
| 2026-10-30 | 种子轮 | $70M | — | news.google.com |
| 2026-10-30 | 种子轮 | $70M | — | news.google.com |
| 2026-10-30 | 种子轮 | 7,000万ドル | — | news.google.com |
| 2026-10-29 | — | $70M | — | news.google.com |
档案汇总自公开报道和公司官网。商业模式部分是 MaxBC 对这些材料的解读，不是已确认的事实；未知之处留空，不作猜测。 更新于 2026-11-01.