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
AntChain OpenLabs
zkDTVM 16x5090
zkDTVM
evmone
16 x 16x NVIDIA 5090
99.91%
99.91%
$0.0109
Brevis
Pico 16x5090
Pico
revm
16 x 16x NVIDIA GeForce RTX 5090 32GB GPUs, AMD EPYC 9355 32-Core Processor
91.73%
95.96%
$0.0220
ZisK
ZisK Sevilla Cloud Cluster
ZisK
revm
24 GPU
85.71%
95.38%
$0.0425
evaluated vs. eligible provers
weekly eligibility for all evaluated 1:1 multi-GPU provers
evaluated5 provers
eligible3 provers
ZisK Sevilla Cloud Cluster
79%
Axiom 16x5090
14%
Pico 16x5090
14%
zkDTVM 16x5090
7%
Zilkworm Airbender ZKsync 2GPU
7%
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,100proofs
≤10 secs
86.2%
stunned
5.32%
paralyzed
1.72%
offline
6.77%
current:86.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 proofs229,789
eligible216,422
eligible rate94.2%
≤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