feat(tests): test that 7702 set code txs are rejected pre-prague (#1463)

* chore(fw): add `TYPE_4_TX_PRE_FORK` exception

* feat(tests): add a test to verify 7702 set code txs are rejected pre-prague

* docs: update changelog

Author: danceratopz

Diff for: docs/CHANGELOG.md

@@ -24,6 +24,7 @@ Test fixtures for use by clients are available for each release on the [Github r
 
 - ✨ [EIP-7702](https://eips.ethereum.org/EIPS/eip-7702): Test precompile case in same transaction as delegation without extra gas in case of precompile code execution; parametrize all call opcodes in existing precompile test ([#1431](https://github.com/ethereum/execution-spec-tests/pull/1431)).
 - ✨ [EIP-7702](https://eips.ethereum.org/EIPS/eip-7702): Add invalid nonce authorizations tests for the case of multiple signers when the sender's nonce gets increased ([#1441](https://github.com/ethereum/execution-spec-tests/pull/1441)).
+- ✨ [EIP-7702](https://eips.ethereum.org/EIPS/eip-7702): Add a test that verifies that set code transactions are correctly rejected before Prague activation ([#1463](https://github.com/ethereum/execution-spec-tests/pull/1463)).
 - ✨ [EIP-7623](https://eips.ethereum.org/EIPS/eip-7623): Additionally parametrize transaction validity tests with the `to` set to an EOA account (previously only contracts) ([#1422](https://github.com/ethereum/execution-spec-tests/pull/1422)).
 
 ### 📋 Misc

Diff for: src/ethereum_clis/clis/execution_specs.py

@@ -146,6 +146,7 @@ class ExecutionSpecsExceptionMapper(ExceptionMapper):
         TransactionException.TYPE_3_TX_PRE_FORK: (
             "module 'ethereum.shanghai.transactions' has no attribute 'BlobTransaction'"
         ),
+        TransactionException.TYPE_4_TX_PRE_FORK: "Unknown transaction type: 0x4",
         TransactionException.TYPE_3_TX_INVALID_BLOB_VERSIONED_HASH: "d transaction: ",
         # This message is the same as TYPE_3_TX_MAX_BLOB_GAS_ALLOWANCE_EXCEEDED
         TransactionException.TYPE_3_TX_BLOB_COUNT_EXCEEDED: " transaction: ",

Diff for: src/ethereum_test_exceptions/exceptions.py

@@ -381,6 +381,10 @@ class TransactionException(ExceptionBase):
     """
     Transaction is type 4, but contains an authorization that has an invalid format.
     """
+    TYPE_4_TX_PRE_FORK = auto()
+    """
+    Transaction type 4 included before activation fork.
+    """
 
 
 @unique

Diff for: tests/prague/eip7702_set_code_tx/test_set_code_txs_2.py

@@ -21,6 +21,7 @@
     Storage,
     Switch,
     Transaction,
+    TransactionException,
     compute_create_address,
 )
 from ethereum_test_tools.vm.opcode import Opcodes as Op
@@ -1689,3 +1690,63 @@ def test_pointer_resets_an_empty_code_account_with_storage(
             Block(txs=[tx_create_suicide_from_pointer]),
         ],
     )
+
+
+@pytest.mark.parametrize(
+    "tx_value",
+    [0, 1],
+)
+@pytest.mark.exception_test
+@pytest.mark.valid_at_transition_to("Prague")
+def test_set_code_type_tx_pre_fork(
+    state_test: StateTestFiller,
+    pre: Alloc,
+    tx_value: int,
+):
+    """
+    Reject blocks with set code type transactions before the Prague fork.
+
+    This test was based on:
+    tests/prague/eip7702_set_code_tx/test_set_code_txs.py::test_self_sponsored_set_code
+    """
+    storage = Storage()
+    sender = pre.fund_eoa()
+
+    set_code = (
+        Op.SSTORE(storage.store_next(sender), Op.ORIGIN)
+        + Op.SSTORE(storage.store_next(sender), Op.CALLER)
+        + Op.SSTORE(storage.store_next(tx_value), Op.CALLVALUE)
+        + Op.STOP
+    )
+    set_code_to_address = pre.deploy_contract(
+        set_code,
+    )
+
+    tx = Transaction(
+        gas_limit=10_000_000,
+        to=sender,
+        value=tx_value,
+        authorization_list=[
+            AuthorizationTuple(
+                address=set_code_to_address,
+                nonce=1,
+                signer=sender,
+            ),
+        ],
+        sender=sender,
+        error=TransactionException.TYPE_4_TX_PRE_FORK,
+    )
+
+    state_test(
+        env=Environment(),
+        pre=pre,
+        tx=tx,
+        post={
+            set_code_to_address: Account(storage={k: 0 for k in storage}),
+            sender: Account(
+                nonce=0,
+                code="",
+                storage={},
+            ),
+        },
+    )