Proposals · 2026-10-26 16:47 UTC

ETH: Researcher shares Lean 4 formal verification of Ethereum's EIP-7002 withdrawal request contract: system call always succeeds, FIFO order holds

Loading the story on Tree News…