Formally verified Ethereum consensus proposal moves toward 4-8x faster finality
DavideCrapis · x · 2026-09-26
Ethereum researcher fradamt announced a formally verified proposal for a decoupled consensus protocol in I, a step toward 4-8x faster finality in a future Ethereum upgrade.
Key points:
- Not yet a full spec, but includes all consensus-relevant details needed to become one.
- Because Ethereum must stay live with most stake offline, the protocol has far more components than a standard BFT protocol, and its nuanced correctness properties are now verified.
- The author argues all future protocol design will use AI-assisted formal verification, turning design into a loop: design → formal model → pinpoint exactly what breaks → iterate.
Related event: Ethereum's Decoupled Consensus Protocol Formally Verified with AI(2 posts)→
More from Research
- TorchCurves: Differentiable Learnable Parametric Curves for PyTorch — Alex Shtoff · 2026-11-11
- AI-assisted proof shows no voting rule beats Borda on strategyproofness — conitzer · 2026-11-11
- Markowitz mean-variance portfolio theory applied to mixing MCMC samplers — michaelchchoi · 2026-11-11
- AI agents run 24/7 for a month to rewrite Météo-France's AROME weather model — IgorCarron · 2026-11-11
- NYU's Steertuning Lets a Robot Learn a Chore From 5 Minutes of Human Demo — CyberRobooo · 2026-11-11
- New preprint maps human embryonic patterning in early organogenesis at spatial single-cell resolution — anshulkundaje · 2026-11-11