web3wagmi
← All standards

EIP-8337 Validated EVM Code

DraftCorecreated 2026-07-09requires EIP-3541, EIP-7979

Code prefixed with MAGIC bytes is proven at CREATE time to have fully static control flow and to never underflow the data stack.

Authors: Greg Colvin (@gcolvin), Martin Holst Swende (@holiman), Brooklyn Zelenka (@expede), John Max Skaller

Depends on (2)

Proposals this one names in its requires field.

EIP-3541Reject new contract code starting with the 0xEF byteEIP-7979Call and Return Opcodes for the EVM

What the specification covers

AbstractMotivationSpecificationMAGIC (0xEF....)ValidityDefinitionsConstraints on valid codeValidationSemantics versus SyntaxRationaleWhy validation?Why is validation optional?Why not prove overflow?How can you prove underflow?What does validation cost?Why are the arguments to JUMP and JUMPI restricted in MAGIC code?How can dynamic jumps explode control flow analysis?Backwards CompatibilityTest CasesValidationReference ImplementationAlgorithmThe ideaThe detailsPythonWhy it is linearSecurity ConsiderationsCopyright

This proposal declares no Solidity interface, so there is nothing to compute. It may be a core protocol change, a meta proposal, or written in prose only.

Compare with

Parsed from the canonical specification · discussion