Ethereum Research· skbaek·· 5 小时前AI 评分42
EIP-7002 的 Lean 验证：系统调用必然成功且请求严格 FIFO
Lean verification of EIP-7002: system-call success and FIFO requests
AI brief
Since Prague, execution-layer requests for validator exits and partial withdrawals go through a 504-byte contract at 0x00000961Ef480Eb55e80D19ad83579A64c007002 , hand-written for the geas assembler. At the end of every block the protocol makes a system call to it, and that call is consensus-critical: EIP-7002 requires…
Source: Ethereum Research · ethresear.ch