Vitalik Buterin has known as for a tough ceiling on Ethereum proving prices per unit of block fuel, including a resource-accounting check to the push for quicker zero-knowledge proofs. For unbiased prover operators, the difficulty is how a lot work the toughest permitted block might demand, even when unusual blocks end shortly.
In his October 15 publish, Buterin congratulated ZKsync’s Airbender group and set out three formal-verification priorities: matching the mathematical illustration of execution to Ethereum’s specification, bounding prover price relative to dam fuel, and securing the proof system itself.
The associated fee requirement reaches past a velocity leaderboard. Fuel offers Ethereum a approach to account for work and restrict a block’s useful resource consumption. A helpful proving sure must join that allowance to the sources wanted to provide a proof, together with for intentionally troublesome workloads.
Safety was already a precedence. The Ethereum Basis set out a security-focused section in December 2025. The present query is whether or not the accounting that helps greater execution capability also can maintain the proving burden predictable.
Quick proofs and the toughest permitted blocks
The present compute-cost evaluation in EIP-7904 recommends no compute gas-cost modifications. As of October 18, it’s an Informational EIP in Final Name, with a November 1 deadline.
Its evaluation targets 100 million fuel per second on optimized native execution shoppers. The doc attributes its modified conclusion to optimizations enabled by Block-Stage Entry Lists, together with parallel work that makes beforehand problematic operations quicker. It specifies no modifications to Ethereum’s fuel schedule.
That conclusion has an outlined scope: execution measured on a naked CPU. EIP-7904 expressly says it doesn’t particularly deal with ZK-SNARK proof era. CPU execution and proof era impose totally different workloads.
ZKsync’s single-GPU analysis demonstrates the progress on the proving aspect. In its October 13 announcement, the corporate reported that one NVIDIA RTX PRO 6000 Blackwell proved 99% of seven,200 consecutive Ethereum mainnet blocks in beneath 10 seconds every, together with witness preparation. Each sampled block completed in beneath 12 seconds.
The announcement additionally described separate dwell ETHproofs configurations utilizing two and 4 GPUs.
The pattern data efficiency on these blocks. A maximum-cost assure should cowl each permitted workload inside its acknowledged assumptions, together with blocks intentionally assembled to be costly to show.
For an operator budgeting {hardware}, that distinction issues. A typical block could match comfortably inside a small setup whereas a troublesome authorized workload determines the reserve capability wanted to maintain producing proofs on time.
The workload issues as a result of a unit of execution fuel can correspond to totally different quantities of proving work. In January 27 measurements, Nethermind Analysis’s Lin Oshitani discovered that cryptographic precompiles and a number of other modular arithmetic or division operations have been comparatively costly to show per fuel. Prices assorted by prover, and ZK-cycle counts didn’t translate into uniform elapsed proving time throughout operations.
The examine estimated marginal proving time by various operation counts whereas holding surrounding execution context fixed. It examined SP1 v5.2.3 with sp1-cluster and RISC0 v3.0.4, utilizing reth v1.9.3 and 4 NVIDIA GeForce RTX 4090 GPUs. RISC0 used the RISC0_KECCAK_PO2=15 setting.
The measurements used mounted consultant or best-effort worst-case inputs. They omitted block-header validation and unintentionally omitted BLOCKHASH; a full investigation of argument-dependent prices remained future work.
A stronger sure wants a specified efficiency envelope. The Ethereum Basis’s January worst-case benchmarking framework relates the required proving throughput to a selected block fuel restrict and proving deadline. Underneath that strategy, a troublesome block should nonetheless match the supposed {hardware} and time price range.
The framework additionally explains why an operation-by-operation estimate wants an end-to-end test. Proof era has mounted overhead, aggregation could be nonlinear, and {hardware} configuration and safety parameters have an effect on efficiency. The set of execution shoppers and proof programs anticipated to take part additionally issues.
How the alternatives attain operators and customers
The engineering response determines the place the burden lands. Enhancing an costly circuit or execution path might cut back proving work whereas leaving the transaction’s execution fuel models unchanged. Operators might then want fewer sources for a similar workload.
Nethermind’s examine additionally outlined weighted ZK-gas metering with a per-block ceiling. Such a system would rely proof-heavy operations towards a separate allowance, probably constraining a block earlier than its unusual execution-gas allowance was exhausted. Its safety would depend upon how properly the weights captured troublesome inputs.
Economically, a useful resource cap and a fee rule reply separate questions. A cap can decide how a lot work is admitted with out specifying what an utility consumer pays or what a prover earns. Charging for a proving useful resource would require extra design selections.
EIP-7999’s multidimensional fee-market proposal stays Draft and separates calldata into its personal useful resource.
Opcode repricing would function by the prevailing fuel allowance. Assigning extra fuel to costly operations would enable fewer of them right into a block at a hard and fast fuel restrict. Functions utilizing these operations might eat extra fuel for a similar profitable execution.
Underneath the execution-fee mechanism specified by EIP-1559, charged fuel is multiplied by the efficient fuel value. At an unchanged constructive efficient fuel value, an utility charged extra fuel for a similar profitable transaction would pay extra.
The present elective execution-proof proposal, EIP-8025, stays Draft, offers no prover incentives and retains re-execution even when proofs can be found. The Basis’s September priorities place obligatory proofs later, with fork ordering beneath evaluate.
EIP-7904’s November 1 evaluate deadline issues its CPU evaluation. For unbiased provers, the consequential subsequent step is a sure tied to express workloads, implementations, safety settings and {hardware} assumptions. That might flip a fuel allowance right into a reliable restrict on the proving sources an operator should be prepared to provide.
