Ethereum’s consensus layer is about to get a structural overhaul. Researchers from the Ethereum Foundation’s Consensus team have formally verified a new protocol model that decouples finality from block production and fork choice, a foundational change designed to dramatically reduce the time it takes for transactions to become irreversible on the network.
Right now, Ethereum finality takes roughly 16 minutes. The goal is to compress that window to under a minute, and eventually to mere seconds.
What decoupling actually means
Ethereum’s consensus protocol currently bundles together three distinct jobs: producing blocks, choosing between competing chain forks, and finalizing transactions. The decoupling approach separates finality into its own independent track. Block production and fork choice continue running on their own cadence, while a trailing finality gadget operates alongside them, confirming blocks as irreversible on a parallel timeline.
Under this architecture, fast block production could be handled by smaller committees of around 256 to 512 validators, while the full validator set maintains the finality gadget running behind it. That’s a significant reduction in coordination overhead for the block-by-block work, while preserving the security guarantees that come from having the entire validator set sign off on finalized checkpoints.
Machine-checked proofs, not just promises
The milestone that triggered this announcement is the formal verification of the decoupled protocol model using Lean 4, a proof assistant that provides machine-checked mathematical guarantees. The researchers confirmed key properties like safety and finalization without relying on any “sorry” statements, which are essentially placeholders that skip unproven steps in formal verification.
The current 16-minute finality window exists because Ethereum requires two full epochs to finalize, with each epoch consisting of 32 slots at 12 seconds per slot. That math works out to roughly 12.8 minutes at minimum, often stretching longer in practice.
The roadmap to single-slot finality
Ben Edgington, one of the researchers driving this effort, outlined the practical roadmap in a May 2026 blog post. The strategy follows a deliberate sequence: first decouple the processes, then enhance finality incrementally.
Once finality operates independently, future improvements could draw on protocols like Minmitt and Goldfish, which are being researched in parallel and target dynamically available, single-round finality options. The Goldfish protocol, in particular, explores dynamic availability — the ability to maintain consensus even when large portions of the validator set go offline temporarily.
This work aligns with the broader “strawmap” roadmap that Vitalik Buterin has articulated, which targets finality improvements likely arriving by 2029.
Why faster finality changes the competitive picture
Ethereum’s 16-minute finality window has been a persistent competitive disadvantage. Several alternative Layer 1 networks already offer finality in seconds, and that gap matters most in two areas: high-value transactions and cross-chain bridging. Bridges between Ethereum and other networks must account for the long finality window by either imposing delays or accepting reorganization risk.
The decoupled approach also points toward a leaner, more verifiable consensus mechanism that the researchers say anticipates eventual quantum resistance, with the modular architecture making it easier to swap in quantum-resistant cryptographic primitives without rebuilding the entire protocol.
Disclosure: This article was edited by Estefano Gomez. For more information on how we create and review content, see our Editorial Policy.

2 hours ago
5







English (US) ·