Vitalik wants a hard ceiling on prover resources per unit of gas, bringing the hardest permitted blocks into focus after ZKsync’s speed gains.

Vitalik Buterin has called for a hard ceiling on Ethereum proving costs per unit of block gas, adding a resource-accounting test to the push for faster zero-knowledge proofs. For independent prover operators, the issue is how much work the hardest permitted block could demand, even when ordinary blocks finish quickly.

In his October 15 post, Buterin congratulated ZKsync’s Airbender team and set out three formal-verification priorities: matching the mathematical representation of execution to Ethereum’s specification, bounding prover cost relative to block gas, and securing the proof system itself.

The cost requirement reaches beyond a speed leaderboard. Gas gives Ethereum a way to account for work and limit a block’s resource consumption. A useful proving bound would have to connect that allowance to the resources needed to produce a proof, including for deliberately difficult workloads.

Security was already a priority. The Ethereum Foundation set out a security-focused phase in December 2025. The current question is whether the accounting that supports higher execution capacity can also keep the proving burden predictable.

The current compute-cost analysis in EIP-7904 recommends no compute gas-cost changes. As of October 18, it is an Informational EIP in Last Call, with a November 1 deadline.

Its analysis targets 100 million gas per second on optimized native execution clients. The document attributes its changed conclusion to optimizations enabled by Block-Level Access Lists, including parallel work that makes previously problematic operations faster.

Source link