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
ZisK
Zisk 16x5090
ZisK
revm
16 GPU
77.76%
99.84%
$0.0192
evaluated vs. eligible provers
weekly eligibility for all evaluated 1:1 multi-GPU provers
evaluated4 provers
eligible1 provers
Zisk 16x5090
77%
Axiom 16x5090
18%
zkDTVM 8x5090
0%
Pico 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
200,848block slots
≤10 secs
48.4%
stunned
8.48%
paralyzed
0.04%
offline
43.1%
current:48.4% 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 proofs114,179
eligible97,143
eligible rate85.1%
≤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