Ethereum (ETH) EIP-8282 verification reveals builder contract mismatch

The Ethereum Foundation and Verity have completed a formal verification of EIP-8282, the proposal governing builder deposit and exit contracts for block construction on Ethereum (ETH), confirming three behavioral guarantees across execution paths for user-submitted calls and protocol SYSTEM calls as of September 2026. The review also surfaced inconsistencies in the bytecode that researchers must now resolve, though the article does not specify their severity or scope. The work matters because builder deposit and exit mechanics underpin block-building incentives and validator-set integrity, so machine-checked guarantees reduce the risk of subtle contract bugs in a core protocol path. What to watch next is how the identified mismatches are addressed—whether through spec revisions or contract changes—and whether the verification extends beyond the current scope to the full proposal.