以太坊FCR获Lean安全性证明并发现Gloas漏洞

以太坊基金会研究员 fradamt 称，以太坊快速确认规则（FCR）已在 Lean 中获得安全性证明，模型贴近共识规范，证明在 FCR 假设下已确认区块保持规范链。 fradamt 表示，将模型适配到即将到来的 Gloas 变更时，发现分叉选择改动引入的一处规范层面细微漏洞；该漏洞已修复，修正后协议的形式化验证通过。其称大部分验证工作仅用 4-5 天，且智能体基本在无人监督下完成。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。