AI 辅助形式化验证以太坊解耦共识协议,迈向 4-8 倍最终性提速
DavideCrapis · x · 2026-09-26
以太坊研究员 fradamt 宣布完成对解耦共识协议的形式化验证提案(用于未来以太坊升级),有望将最终性提速 4-8 倍。
要点:
- 提案已在 I 中完成形式化验证,虽非完整规范,但包含成为规范所需的全部共识关键细节。
- 由于以太坊要求大多数质押者不在线也能保持活性,协议组件远多于普通 BFT 协议,正确性涉及标准安全性与活性之外的细微性质,这些均已验证。
- 作者认为所有未来协议设计都将采用 AI 辅助形式化验证:流程从「设计→验证」变成「设计→形式化模型→精确定位破坏点→迭代」的闭环,兼顾正确性与迭代速度。
「研究」频道最新
- ImageJevBench 发布：5 个模型全榜评测仅花 0.02 美元 — airesearch12 · 2026-09-26
- Biopharma Bench：71 项真实任务，仅 GPT-6 Astra 完成 8 项 — AllThingsApx · 2026-09-26
- Matryoshka Attribution 用梯度下降做归因，登顶可解释性基准 — stanfordnlp · 2026-09-26
- UniReps 研讨会征稿:NeurIPS 落选者 12 月巴黎再战 — Pseudomanifold · 2026-09-26
- Creative Destruction Lab 开放 15 年科技创业面板数据 — avicgoldfarb · 2026-09-26
- skalskip92 招募高手共建新版 OCR 基准,征集手写与专业文档难题 — BLUECOW009 · 2026-09-26