返回目录

Ethereum Research Daily

以太坊研究日报

Vitalik 发文回应“AI 找漏洞让安全代码不可能”的说法,认为 AI 辅助形式化验证是乐观的重要理由。ERC-8265 预备交易信封与交易事件清单 EIP 草案都在解决“用户签的和最终执行的不一致”的问题。ACDT #80 上 EIP-7954 合约大小上限更新为 64KiB。_julianma 宣布离开 EF。

2026年5月18日 配图

配图来源:Ethereum Magicians, ERC-8265: Prepared Transaction Envelope (mike-diamond)

钱包与签名:签的就是执行的

ERCs #1753

ERC-8265:预备交易信封 15:40(mike-diamond),对应 ERCs #1753 提交:定义一个链下信封,把已准备但未签名的交易、批处理或签名请求,从准备方(中继、DeFi 前端、intent solver、多签协调器、硬件钱包配套应用)传给签名方。

https://github.com/ethereum/ERCs/pull/1753

安全:AI 与形式化验证

协议

其他动态

社区讨论