Ethproofs is accelerating real-time proving with $300k in grants. (opens in a new tab)

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 M2: 100-bit provable / 600 KiB

2025 - 2026

zkVMguestcluster
soundcalc
Axiom
Axiom 16x5090
OpenVM 2.1 Preview
revm
16 x 16x NVIDIA 5090s
95.88%
95.88%
$0.0053
evaluated vs. eligible provers
weekly eligibility for all evaluated 1:1 multi-GPU provers
evaluated5 provers
eligible1 provers
Zisk 16x5090
62%
Axiom 16x5090
31%
Pico 2x5090
0%
Zilkworm Airbender 2x5090
0%
Succinct Twin Peaks 2x5090
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
250,805block slots
≤10 secs
31.2%
stunned
13.1%
paralyzed
0.06%
offline
55.6%
current:31.2% 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 proofs111,295
eligible78,354
eligible rate70.4%
≤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