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
05
zkVMs w/ PQ cryptography
03
zkVMs w/ RTP-eligible prover
01
ISAs represented
03
integrated into soundcalc02
security sprint: milestone 1 (M1)
≥100-bit security02
≤ 600 KiB proof size02
security sprint: milestone 2 (M2)
≥128-bit security01
≤ 300 KiB proof size02
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/10 provers | verifier | dual | layer 1 | integrated | 0.16.0 | rv64ima | |
ZKsync Airbender MatterLabs | 2/10 provers | verifier | dual | layer 1 | integrated | 0.7.0 | rv32im | |
Ceno Scroll | 1/10 provers | verifier | dual | layer 1 | 0.1 | rv32im | ||
OpenVM 2.0 Axiom | 1/10 provers | verifier | dual | layer 1 | 2.0.0 | rv32im | ||
SP1 Turbo Succinct | 1/10 provers | verifier | dual | layer 1 | 5.2.1 | rv32im | ||
venus Cysic | 1/10 provers | verifier | dual | layer 1 | 0.1.6 | rv64ima | ||
Ziren ZKM | 1/10 provers | verifier | dual | layer 1 | 1.2.0 | MIPS |
OpenVM Axiom | 0/10 provers | verifier | dual | layer 1 | integrated | 1.4.1 | rv32im | |
Pico Brevis | 0/10 provers | verifier | dual | layer 1 | integrated | 1.3.0 | rv32im | |
R0VM RISC Zero | 0/10 provers | verifier | dual | layer 1 | 3.0.3 | rv32im | ||
SP1 Succinct | 0/10 provers | verifier | dual | layer 1 | integrated | 6.0.0 | rv64im |