fix(tests): ban creates by the frame

[pdobacz]

Create ban keyed on the recipient (all Monad forks).

Fixes a spec (here) <-> client discrepancy of reading of Monad's 7702 vs CREATE/CREATE2 rule.

CREATE/CREATE2 now halt when the executing frame's address holds a 7702 delegation, checked at create time as the client does, instead of a flag set from the called code address. DELEGATECALL/CALLCODE out of a delegated frame no longer create; DELEGATECALL/CALLCODE from a plain contract into a delegated EOA's code now can. Applies to monad_eight, monad_nine, monad_ten and successors + tests

Confidence Score: 5/5

The PR appears safe to merge; the previous finding is fixed and no new blocking issues were found.

Summary

Changes the CREATE and CREATE2 ban to follow the executing account rather than the address supplying its code.

• Create opcodes now check the address where the frame runs.

Diagram

%%{init: {'theme': 'neutral'}}%%
flowchart TD
    A[CREATE or CREATE2] --> B{Static frame?}
    B -->|Yes| C[Halt frame]
    B -->|No| D[Read code at current_target]
    D --> E{Account holds a delegation?}
    E -->|Yes| C
    E -->|No| F[Continue normal creation checks]

Loading

_{Reviews (2) · Last reviewed commit: "test(monad): cover the create ban across..." · Reviewed by Greptile}