Ethproofs is accelerating real-time proving with $300k in grants. (opens in a new tab)
zkVMs
track which proving systems are race-ready for mainnet-grade security
total zkVMs
07
zkVMs w/ PQ cryptography
04
zkVMs w/ RTP-eligible prover
02
ISAs represented
04
integrated into soundcalc04
security sprint: milestone 1 (M1)
≥100-bit security01
≤ 600 KiB proof size01
security sprint: milestone 2 (M2)
≥128-bit security01
≤ 300 KiB proof size01
security sprint: milestone 3 (M3)
security milestones
track which zkVMs are furthest along the security roadmap
achieved
in progress
not yet
performance trajectory
average proving time by zkVM over time
click legend items to compare specific zkVMs
ZisK ZisK | 3/11 provers | verifier | dual | layer 1 | integrated | 0.16.0 | rv64ima | |
SP1 Succinct | 2/11 provers | verifier | dual | layer 1 | integrated | 6.0.0 | rv64im | |
Ceno Scroll | 1/11 provers | verifier | dual | layer 1 | 0.1 | rv32im | ||
Pico Brevis | 1/11 provers | verifier | dual | layer 1 | integrated | 1.3.0 | rv32im | |
SP1 Turbo Succinct | 1/11 provers | verifier | dual | layer 1 | 5.2.1 | rv32im | ||
venus Cysic | 1/11 provers | verifier | dual | layer 1 | 0.1.6 | rv64ima | ||
Ziren ZKM | 1/11 provers | verifier | dual | layer 1 | 1.2.0 | MIPS | ||
ZKsync Airbender MatterLabs | 1/11 provers | verifier | dual | layer 1 | integrated | 0.7.0 | rv32im |
OpenVM Axiom | 0/11 provers | verifier | dual | layer 1 | integrated | 1.4.1 | rv32im | |
R0VM RISC Zero | 0/11 provers | verifier | dual | layer 1 | 3.0.3 | rv32im |