race to mainnet-grade L1 zkEVMs

learn about the rules to the race and watch it unfold in real-time

phase 2 of 5
complete
current
future

security sprint

working on M1 : soundcalc integration

2025 - 2026

zkVM guest cluster
soundcalc
Axiom
Axiom 16x5090
OpenVM 2.0
revm
16 x 16x NVIDIA 5090s
95.06 %
95.06 %
$0.0118
ZisK
ZisK Sevilla Cloud Cluster
ZisK
revm
24 GPU
90.42 %
100.00 %
$0.0346
Brevis
Pico 16x5090
Pico
revm
16 x 16x NVIDIA GeForce RTX 5090 32GB GPUs, AMD EPYC 9355 32-Core Processor
75.28 %
100.00 %
$0.0255
evaluated vs. eligible provers
weekly eligibility for all evaluated 1:1 multi-GPU provers
evaluated 7 provers
eligible 3 provers
ZisK Sevilla Cloud Cluster
82 %
Airbender 8x5090
18 %
Axiom 16x5090
9 %
Pico 16x5090
9 %
ZKsync Airbender 2 GPU
0 %
Zilkworm Airbender ZKsync 2GPU
0 %
zilkworm-airbender-2-gpus
0 %
eligible
not eligible
sorted by weeks eligible

Key insight: Each segment is one weekly snapshot. a filled segment means the prover met eligibility thresholds that week. Gaps reveal weeks where performance or liveness dropped below requirements.

RTP prover performance
aggregated success rate for all evaluated provers
251,345 proofs
≤10 secs
68.0 %
stunned
10.2 %
paralyzed
0.03 %
offline
21.7 %
current: 68.0 % sub-10s
target: 70 %

Key insight: Green shows sub-10s successes (the goal). Yellow (stunners) and red (paralyzers) should be minimized. A healthy cohort is 70 % green.

proof time distribution
timing across blocks for all evaluated provers
total proofs 196,690
eligible 171,025
eligible rate 87 %
≤10s (RTP eligible)
>10s (stunners)

Key insight: Green bars above the threshold are RTP-eligible. Most proofs should cluster in the 8-10s bucket. If 0-5s grows, proving is getting faster. If gray bars grow, investigate the cause.

made with by the Ethereum Foundation