by StarkWareIL
Next-gen zero-knowledge prover using Circle STARK. Proves Cairo program execution without revealing details. On Starknet mainnet since Nov 2025.
Live on Starknet mainnet since Nov 2025; 2.0.0 released Jan 2026; 100x over Stone.
Updated 3 Jun 2026Checked 10 Oct0 updates this week
Algebraic proof system optimized for performance. Proves Cairo program executed correctly without revealing inputs or intermediate states.
Domain-specific language for provable programs. S-two proves Cairo code ran to completion and produced the claimed output.
Can prove correctness of other S-two proofs. Large computations break into chunks; proof generation reduced from minutes to seconds.
| Spec | S-two |
|---|---|
| Efficiency vs Stone prover | 100x improvementR (reported) |
| Performance vs other ZK VMs | Up to 28x fasterR (reported) |
R reported by the company
StarkWare
STARK proofs, Starknet, Cairo, S-two prover
Israeli company founded by co-inventors of STARKs, a kind of ZK proof that needs no secret setup and relies only on hash functions. It built StarkEx, the Cairo programming language and Starknet, a ZK rollup on Ethereum, plus a fast prover called S-two.
