Ethereum Research· skbaek·· 2 小时前精选AI 评分80
Lean 4 形式化验证 EIP-7002 系统调用成功性与 FIFO 请求机制
Lean verification of EIP-7002: system-call success and FIFO requests
AI 导读
作者使用 Lean 4 对 EIP-7002 部署后的运行时字节码进行了形式化验证，证明在 Prague、Osaka、BPO1 和 BPO2 分叉下，针对退出和提取请求的系统调用始终成功且消耗不超过 210,000 gas，同时确保请求严格按先进先出（FIFO）顺序处理。
推荐理由
原文通过形式化验证证明了EIP-7002系统调用的确定性与请求队列的FIFO特性，并界定了该结论在特定分叉下的适用边界与前提假设。
来源：Ethereum Research · ethresear.ch
入库时 BTC：$80,279.10 USD
入库时间：
行情时间： · 来源：Coinbase