AI 辅助形式化验证以太坊解耦共识协议,迈向 4-8 倍最终性提速
DavideCrapis · x · 2026-09-26
以太坊研究员 fradamt 宣布完成对解耦共识协议的形式化验证提案(用于未来以太坊升级),有望将最终性提速 4-8 倍。
要点:
- 提案已在 I 中完成形式化验证,虽非完整规范,但包含成为规范所需的全部共识关键细节。
- 由于以太坊要求大多数质押者不在线也能保持活性,协议组件远多于普通 BFT 协议,正确性涉及标准安全性与活性之外的细微性质,这些均已验证。
- 作者认为所有未来协议设计都将采用 AI 辅助形式化验证:流程从「设计→验证」变成「设计→形式化模型→精确定位破坏点→迭代」的闭环,兼顾正确性与迭代速度。
所属事件:以太坊解耦共识协议完成 AI 辅助形式化验证(2 条相关)→
「研究」频道最新
- Explosion 发布 Ellf 目录：52 个 NLP 模板与多智能体标注工作流 — _inesmontani · 2026-11-11
- STABLE 优化器入选 NeurIPS 2026,从优化器层面遏制持续学习遗忘 — v_lomonaco · 2026-11-11
- 从 Bahdanau 到 FlashAttention:一图看懂注意力机制八年演进史 — cneuralnetwork · 2026-11-11
- 三年造 CPU、内存与脉冲网络：一位芯片爱好者的加速器之路 — k7agar · 2026-11-11
- 数学家 Strogatz 探问：当 AI 成为「神谕」，数学将走向何方 — stevenstrogatz · 2026-11-11
- 从莱布尼茨行列式到向量空间：线性代数两百年演化一图看懂 — burny_tech · 2026-11-11