以太坊基金会与Verity完成EIP-8282形式化验证

以太坊基金会与形式化验证公司 Verity 合作，对管理区块构建者进入与退出机制的 EIP-8282 提案进行数学验证，证明其运行时字节码在付费调用和 SYSTEM 调用场景下符合规范。Verity 于 2026 年 9 月完成验证工作。 验证结果同时发现待处理差异，即字节码与规范之间仍有未解决的问题。EIP-8282 的 Last Call 截止日期为 2026 年 11 月 1 日。

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

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