RecodeX 重构消息，Verity对以太坊EIP-8282开展审查，采用AI辅助的Lean证明对EVM字节码进行验证，审查范围覆盖请求提交、队列处理、费用与控制逻辑。审查结果显示，该提案的文档与代码之间存在三处不一致。