Verity完成EIP-8282形式化验证

据吴说区块链发布，形式化验证团队 Verity 宣布，已为以太坊基金会完成 EIP-8282 的形式化验证。该验证利用 AI 辅助 Lean 证明流程，直接对 EVM 字节码进行数学验证，并由 Lean 内核检查证明，共发现 3 处文档与代码不一致。