Verity and Ethereum Foundation Revise EIP-8282 After Formal Verification Uncovers Documentation Discrepancies

Ethereum researchers have revised the EIP-8282 specification after formal verification firm Verity uncovered three discrepancies between its written documentation and executable code. EIP-8282 establishes dedicated smart contracts governing builder deposits and network exits alongside EIP-7732's enshrined Proposer-Builder Separation architecture. Completed in September 2026 ahead of the November 1 Last Call deadline, the audit produced three mathematically proven guarantees using AI-assisted Lean proofs and six bytecode mutations. The verification confirmed core runtime logic for user submissions, queue processing, and system calls, prompting updates to align the proposal's documentation with its bytecode.