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.
More from Research
- Biopharma Bench: agents complete only 8 of 71 real biopharma tasks, GPT-6 Astra leads — AllThingsApx · 2026-09-26
- Matryoshka Attribution finds neural network circuits via gradient descent, tops interpretability benchmark by 2.9x — stanfordnlp · 2026-09-26
- Anthropic's science blog shows Claude pulling off 'Nine Loops' particle physics calculations — rohanpaul_ai · 2026-09-26
- UniReps workshop invites NeurIPS rejects, deadline Oct 4 for Paris event — Pseudomanifold · 2026-09-26
- Creative Destruction Lab opens 15-year tech startup panel dataset to researchers — avicgoldfarb · 2026-09-26
- Building the next OCR benchmark: skalskip92 seeks hard samples from handwriting to technical drawings — BLUECOW009 · 2026-09-26