EIP-3860: Limit and meter initcode

EIPs EIPs core
,
15

In CREATE and CREATE2 we have OOG errors (terminating the current execution context) and “light” errors (instruction returns 0 address).

CREATE2 pre EIP-3860:

  1. Memory expansion (OOG)
  2. Initcode hashing cost (OOG)
  3. Call depth check (light)
  4. Balance check (light)

CREATE2 after EIP-3860:

  1. Memory expansion (OOG)
  2. Initcode size limit check (light)
  3. Initcode hashing cost (OOG)
  4. Initcode cost (OOG)
  5. Call depth check (light)
  6. Balance check (light)

The 3 and 4 can be combined into single one, but 3 does not exist in CREATE.

The light check are sensitive to the order of checks while OOG checks can happen in any order. Somehow EIP-3860 introduced a light check in between of two OOG checks. This caused a lot confusion and bugs in implementations. To the point the official ethereum/tests still contains incorrect tests as of today.

I think this design choice was a mistake and we should change the limit check to OOG one. Interpretation: the cost of initcode above the limit is infinite.

2 Likes