Troia 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
05
zkVMs w/ RTP-eligible prover
03
ISAs represented
03
integrated into soundcalc04
security sprint: milestone 1 (M1)
≥100-bit security03
≤ 600 KiB proof size03
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
ZKsync Airbender MatterLabs | 3/10 provers | verifier | dual | layer 1 | integrated | 0.7.0 | rv32im | |
ZisK ZisK | 2/10 provers | verifier | dual | layer 1 | integrated | 0.16.0 | rv64ima | |
OpenVM 2.0 Axiom | 1/10 provers | verifier | dual | layer 1 | integrated | 2.0.0 | rv32im | |
Pico Brevis | 1/10 provers | verifier | dual | layer 1 | integrated | 1.3.0 | 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 | ||
zkDTVM AntChain OpenLabs | 1/10 provers | verifier | dual | layer 1 | 0.6.1 | rv32im |
Ceno Scroll | 0/10 provers | verifier | dual | layer 1 | 0.1 | rv32im | ||
OpenVM Axiom | 0/10 provers | verifier | dual | layer 1 | integrated | 1.4.1 | 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 | |
SP1 Turbo Succinct | 0/10 provers | verifier | dual | layer 1 | 5.2.1 | rv32im | ||
ZKsync Airbender 100bit MatterLabs | 0/10 provers | verifier | dual | layer 1 | 0.7.0 | rv32im |