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
| zkVM | guest | cluster | soundcalc | ||||
|---|---|---|---|---|---|---|---|
Axiom Axiom 16x5090 | OpenVM 2.0 | revm | 16 x 16x NVIDIA 5090s | 97.53% | 97.53% | $0.0125 | |
ZisK ZisK Sevilla Cloud Cluster | ZisK | revm | 24 GPU | 92.74% | 100.00% | $0.0358 | |
Zilkworm Zilkworm Airbender ZKsync 2GPU | ZKsync Airbender | zilkworm | 2 x 14700K 5090x2 Vast ai | 78.90% | 95.53% | $0.0032 |
evaluated vs. eligible provers
weekly eligibility for all evaluated 1:1 multi-GPU provers
evaluated9 provers
eligible3 provers
ZisK Sevilla Cloud Cluster
83%
Axiom 16x5090
17%
Airbender 8x5090
17%
Pico 16x5090
8%
Zilkworm Airbender ZKsync 2GPU
8%
zkDTVM 16x5090
0%
Pico 16x5090
0%
ZKsync Airbender 2 GPU
0%
zilkworm-airbender-2-gpus
0%
eligible
not 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
301,536proofs
≤10 secs
64.6%stunned
6.11%paralyzed
2.28%offline
27.0%current:64.6% 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 proofs213,245
eligible194,808
eligible rate91.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.