feat(spec-specs): EIP-8037 - check static context upfront in CREATE opcodes

Author: spencer-tb

src/ethereum/forks/amsterdam/vm/instructions/system.py

@@ -99,9 +99,6 @@ def generic_create(
     create_message_gas = max_message_call_gas(Uint(evm.gas_left))
     evm.gas_left -= create_message_gas
 
-    if evm.message.is_static:
-        raise WriteInStaticContext
-
     # Move full reservoir to child (no 63/64 rule for state gas). Parent's
     # `state_gas_left` is zeroed and restored when the child returns.
     create_message_state_gas_reservoir = evm.state_gas_left
@@ -182,6 +179,9 @@ def create(evm: Evm) -> None:
         The current EVM frame.
 
     """
+    if evm.message.is_static:
+        raise WriteInStaticContext
+
     # STACK
     endowment = pop(evm.stack)
     memory_start_position = pop(evm.stack)
@@ -231,6 +231,9 @@ def create2(evm: Evm) -> None:
         The current EVM frame.
 
     """
+    if evm.message.is_static:
+        raise WriteInStaticContext
+
     # STACK
     endowment = pop(evm.stack)
     memory_start_position = pop(evm.stack)