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 M1: soundcalc integration

2025 - 2026

zkVMguestcluster
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
evaluated7 provers
eligible3 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,335proofs
≤10 secs
67.9%
stunned
10.2%
paralyzed
0.03%
offline
21.9%
current:67.9% 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 proofs196,207
eligible170,657
eligible rate87%
≤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