EIP-8337
Validated EVM Code
Code prefixed with MAGIC bytes is proven at CREATE time to have fully static control flow and to never underflow the data stack.
DraftSplurge
Status history
- Draft9 Jul 2026
Abstract
Code can be prefixed with MAGIC bytes. MAGIC code is validated at CREATE time to ensure that it cannot execute invalid instructions, jump to invalid destinations, or underflow the data stack, that every return has a call to return from, and that within each subroutine the depth of the data stack at every instruction is the same on every execution. Stack overflow remains checked at run time, as…