Tier 1: Spec Correctness & Testing Infrastructure

[mw2000]

Summary

Tracking issue for achieving spec correctness against official Ethereum test vectors. These are foundational gaps that must be closed before eevm can claim correctness for any hardfork.

Priority

Highest — without these, we can't validate anything against official tests.

Sub-issues

Correctness Fixes

• Reject 0xEF code prefix in CREATE/CREATE2 (EIP-3541) #72 — Reject 0xEF code prefix in CREATE/CREATE2 (EIP-3541)
• Implement empty account clearing (EIP-161) #73 — Implement empty account clearing (EIP-161)
• Pre-warm COINBASE address in access set (EIP-3651) #74 — Pre-warm COINBASE address in access set (EIP-3651)
• Verify EIP-2028 calldata pricing in intrinsic gas #76 — Verify EIP-2028 calldata pricing in intrinsic gas

Infrastructure

• Add hardfork configuration system #75 — Add hardfork configuration system
• Implement StateTest JSON runner for official test vectors #77 — Implement StateTest JSON runner for official test vectors

Implementation Order

Independent (can start now):
  #72  0xEF rejection (small, isolated)
  #73  Empty account clearing (medium)
  #74  COINBASE pre-warming (small)
  #76  Calldata pricing verification (small)

Sequential:
  #75  Hardfork config → needed to gate all EIP behavior
  #77  StateTest runner → the big unlock, depends on everything else

Definition of Done

• All 6 sub-issues closed
• StateTest runner passes basic arithmetic/comparison/bitwise test fixtures
• Hardfork config gates existing EIP implementations

Parent

• EVM Completeness: Missing opcodes, precompiles, and gas rules #30 — EVM Completeness tracking issue