Ethereum Outlines Ambitious Post-Fork Overhaul for Quantum Resistance and Faster Finality

Vitalik Buterin says Ethereum’s planned Hegotá upgrade may be its last conventional fork, after which development could shift toward a redesigned “cryptographic world computer” using recursive STARKs, formal verification, optimized consensus and quantum-resistant cryptography. The vision builds on tools such as PeerDAS and could move more computation offchain while using Ethereum to verify results and preserve shared records. Separately, Ethereum Foundation researchers have formally verified a consensus model that separates transaction finality from block production, aiming to reduce finality from roughly 16 minutes to under a minute and eventually seconds. The Foundation is targeting a fully post-quantum Ethereum Layer 1 by the end of 2029, with upgrades across its execution, consensus and data layers; this is a development goal, not evidence that current cryptography has been broken.
Ethereum researcher Barnabé Monnot cautioned that even if more computation moves offchain, records applications depend on should remain onchain so users can inspect what they are interacting with.
The proposed faster-consensus design could assign block production to committees of roughly 256 to 512 validators, while the full validator set continues to secure finality.
Researchers used Lean 4 to formally verify the decoupled consensus model, reporting that key safety and finalization properties were proved without “sorry” placeholders for unproven steps.
Buterin described the broader Lean Ethereum effort as a multi-year overhaul that could replace almost every major part of the protocol and rival the scale of Ethereum’s 2022 transition to proof-of-stake.
Publishers
35
Articles
26
Reach
61