ZkCloud has been generating proofs for all Ethereum blocks since 1 April 2025. This marks the first time mainnet blocks are being ZK-proven continuously (see our earlier blog here).

Now, we are happy to reveal that we received a grant from the Ethereum Foundation for consecutively proving Ethereum mainnet blocks throughout Q2 of 2025.

We are grateful to the EF and the Ethproofs team for their initiative and support. All proofs are posted publicly to the staging interface of Ethproofs.

The ZK endgame becomes tangible

Until now, nobody has proven all Ethereum blocks in practice. For us, proving the entire mainnet is important because it demonstrates that the necessary infrastructure for blockchain-scale proof generation and sustainable proving economics exists. The endgame for blockchain scalability is here today.

By generating ZK proofs for the entire Ethereum mainnet, we hope to unlock new directions in R&D for Ethereum and its ecosystem related to ZK proof-based light clients and interop, trust-minimized bridging, instant full node synchronization, and more.

All ZK proofs generated and tools developed will be publicly available to researchers and developers, advancing the collective knowledge of the entire Ethereum ecosystem and supporting future innovation.

Under the hood

We are currently using a modified version of RSP, Succinct’s open-source Ethereum block prover, and running it on a cluster of 24 GPUs (4090s). For now, a single GPU is assigned to every block.

With the current cluster, we aim to ensure that Ethereum blocks are consistently proven, block by block, while we continue to explore ways to improve performance. We are also ready to scale up the cluster as needed to facilitate continuous real-time proving.

As a universal proving infrastructure supporting any RISC-V prover, at ZkCloud, we are testing different open-source zkVMs and multi-GPU prover implementations, and are also working on accelerating witness generation to decrease latency.

What’s coming?

Consistently proving every Ethereum block is only the first step; the ultimate goal is real-time proving. Multiple teams, such as RISC Zero and Succinct are already capable of real-time proving for 60% and 93% of blocks, respectively, and other teams are very close.

At ZkCloud, we’ll implement the fastest open-source real-time proving zkVM as soon as available, and start generating proofs for mainnet blocks under 12 sec.

We are committed to supporting Ethereum on its path from re-execution to SNARK verification.

Long live ZK!

___

About ZkCloud:

ZkCloud, built by Gevulot, is the first universal proving infrastructure for ZK. Generate ZK proofs for any proof system at a fraction of the cost. Fast, cheap, and decentralized.

Learn more about ZkCloud:
Website | Docs | GitHub | Blog | X (Twitter) | Galxe Campaign | Telegram | Discord