以太坊解耦共识协议完成 AI 辅助形式化验证

以太坊 OG 研究员 fradamt（EthLabs，18 项 EIP 署名作者）宣布，已借助 AI 智能体与 Lean 为解耦共识协议提案 I（面向未来以太坊升级方向）完成形式化验证。该提案有望将以太坊最终性提速 4-8 倍。验证虽非完整证明，但被視为迈向更快终局性的重要一步。

2026-09-26 ~ 2026-09-26 · 2 条相关

• AI 辅助形式化验证以太坊解耦共识协议,迈向 4-8 倍最终性提速 — DavideCrapis · 2026-09-26

另有 1 条近重复转述:anselm