zkVMs

track which proving systems are race-ready for mainnet-grade security

total zkVMs

zkVMs w/ PQ cryptography

zkVMs w/ RTP-eligible prover

ISAs represented

integrated into soundcalc06

security sprint: milestone 1 (M1)

≥100-bit security03

≤ 600 KiB proof size04

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

zkVMs, active


ZisK ZisK	4/12 provers	verifier	dual	layer 1	integrated	0.18.0	rv64ima
zkDTVM AntChain OpenLabs	3/12 provers	verifier	dual	layer 1	integrated	0.6.2	rv32im
OpenVM 2.0 Axiom	1/12 provers	verifier	dual	layer 1	integrated	2.0.0	rv32im
Pico Brevis	1/12 provers	verifier	dual	layer 1	integrated	2.0.0	rv64im
venus Cysic	1/12 provers	verifier	dual	layer 1	integrated	0.1.6	rv64ima
Ziren ZKM	1/12 provers	verifier	dual	layer 1		1.2.0	MIPS
ZKsync Airbender MatterLabs	1/12 provers	verifier	dual	layer 1	integrated	0.7.0	rv32im

zkVMs, inactive


Ceno Scroll	0/12 provers	verifier	dual	layer 1		0.1	rv32im
OpenVM Axiom	0/12 provers	verifier	dual	layer 1	integrated	1.4.1	rv32im
R0VM RISC Zero	0/12 provers	verifier	dual	layer 1		3.0.3	rv32im
SP1 Succinct	0/12 provers	verifier	dual	layer 1	integrated	6.0.0	rv64im
SP1 Turbo Succinct	0/12 provers	verifier	dual	layer 1		5.2.1	rv32im
ZKsync Airbender 100bit MatterLabs	0/12 provers	verifier	dual	layer 1	integrated	0.7.0	rv32im

zkVMs, active

zkVMs, inactive