What it sells
Accelerate verifiable computing
Business model breakdown
Workflow: what inputs become what output?
Compress Lean formal proofs into succinct zero-knowledge certificates (ix protocol), under 1 KB and verifiable in under 100 ms.
Distribution: how it reaches customers
Open source on GitHub; blog and Zulip community.
Funding history and coverage
| Round date | Stage | Amount | Investors | Source |
|---|---|---|---|---|
| — | Y Combinator Winter 2022 | — | Y Combinator | ycombinator.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-10-12.