The Ethereum Foundation collaborated with the formal verification firm Verity to conduct a mathematical analysis of EIP-8282. This proposal, introduced on May 22, 2026, defines the lifecycle and operational rules for block builders within the network.
Verity completed its verification process in September 2026, ahead of the November 1, 2026, Last Call deadline. The firm focused on the correctness of the proposal's runtime bytecode, utilizing six distinct bytecode mutations to validate its properties.
The analysis resulted in three proven guarantees regarding the handling of paid user submissions and SYSTEM calls. However, the verification also identified several discrepancies that now require resolution by Ethereum researchers.
Developers must now address these findings by either modifying the code, adjusting the specification, or providing further clarification on the intended protocol behavior before the final implementation.
