Vitalik Sets Hard Cost Limit for Ethereum Proofs, Testing ZKsync's Speed

Precedent & Market Context

Ethereum's scaling race has been a topic of discussion for several years, with various solutions proposed to increase transaction throughput. Zero-knowledge proofs (ZKPs) have been a key area of focus, with several projects aiming to improve the speed and efficiency of these proofs. ZKsync's recent speed gains have brought attention to the importance of formal verification and secure computation in ZKPs.

Main Event

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 ZKPs. This move brings the hardest permitted blocks into focus after ZKsync's speed gains. Buterin's comments highlight the importance of secure and verifiable computation and the need for formal verification.

Analysis & Market Impact

The proposed hard cost limit will require ZKsync and other proof systems to demonstrate their commitment to formal verification and secure computation. This will involve implementing cost bounds and securing the proof system itself. The impact on the market will depend on the specific details of the proposal and how it is implemented. However, it is clear that this move will bring increased scrutiny to the speed and efficiency of ZKPs.

Implications & Outlook

The proposal by Vitalik Buterin sets a new benchmark for the speed and efficiency of ZKPs. ZKsync and other proof systems will need to demonstrate their ability to meet this standard. The Ethereum Foundation's January worst-case benchmarking framework provides a clear framework for evaluating the required proving throughput. The future of ZKPs will depend on the ability of proof systems to meet this standard and demonstrate their commitment to formal verification and secure computation.

• Vitalik Buterin proposes a hard cost limit for Ethereum proving costs per unit of block gas.

ZKsync, Vitalik Buterin, Ethereum Foundation

Layer 1 / Layer 2 Infrastructure