new(tests): EIP-7702: Delegation Designation as Initcode, max-fee-per-gas tests (#1372)

* new(tests): EIP-7702: Delegation designation as initcode

* new(tests): EIP-7702: Invalid max_fee_per_gas/max_priority_fee_per_gas

* docs: changelog

* refactor(tests): Combine similar cases into one

Co-Authored-By: spencer <[email protected]>

---------

Co-authored-by: spencer <[email protected]>

Author: marioevz

docs/CHANGELOG.md

@@ -67,6 +67,7 @@ consume cache --help
 - ✨ Add additional test coverage for EIP-152 Blake2 precompiles ([#1244](https://github.com/ethereum/execution-spec-tests/pull/1244)). Refactor to add variables for spec constants and common fixture code. ([#1395](https://github.com/ethereum/execution-spec-tests/pull/1395)).
 - ✨ Add EIP-7702 incorrect-rlp-encoding tests ([#1347](https://github.com/ethereum/execution-spec-tests/pull/1347)).
 - ✨ Add EIP-2935 tests for all call opcodes ([#1379](https://github.com/ethereum/execution-spec-tests/pull/1379)).
+- ✨ Add more tests for EIP-7702: max-fee-per-gas verification, delegation-designation as initcode tests ([#1372](https://github.com/ethereum/execution-spec-tests/pull/1372)).
 
 ## [v4.1.0](https://github.com/ethereum/execution-spec-tests/releases/tag/v4.1.0) - 2025-03-11
 

tests/prague/eip7702_set_code_tx/test_set_code_txs.py

@@ -3230,9 +3230,17 @@ def test_delegation_clearing_failing_tx(
     )
 
 
+@pytest.mark.parametrize(
+    "initcode_is_delegation_designation",
+    [
+        pytest.param(True, id="initcode_deploys_delegation_designation"),
+        pytest.param(False, id="initcode_is_delegation_designation"),
+    ],
+)
 def test_deploying_delegation_designation_contract(
     state_test: StateTestFiller,
     pre: Alloc,
+    initcode_is_delegation_designation: bool,
 ):
     """
     Test attempting to deploy a contract that has the same format as a
@@ -3243,7 +3251,11 @@ def test_deploying_delegation_designation_contract(
     set_to_code = Op.RETURN(0, 1)
     set_to_address = pre.deploy_contract(set_to_code)
 
-    initcode = Initcode(deploy_code=Spec.delegation_designation(set_to_address))
+    initcode: Bytes | Bytecode
+    if initcode_is_delegation_designation:
+        initcode = Spec.delegation_designation(set_to_address)
+    else:
+        initcode = Initcode(deploy_code=Spec.delegation_designation(set_to_address))
 
     tx = Transaction(
         sender=sender,
@@ -3265,9 +3277,19 @@ def test_deploying_delegation_designation_contract(
     )
 
 
+@pytest.mark.parametrize(
+    "initcode_is_delegation_designation",
+    [
+        pytest.param(True, id="initcode_deploys_delegation_designation"),
+        pytest.param(False, id="initcode_is_delegation_designation"),
+    ],
+)
 @pytest.mark.parametrize("create_opcode", [Op.CREATE, Op.CREATE2])
 def test_creating_delegation_designation_contract(
-    state_test: StateTestFiller, pre: Alloc, create_opcode: Op
+    state_test: StateTestFiller,
+    pre: Alloc,
+    create_opcode: Op,
+    initcode_is_delegation_designation: bool,
 ):
     """
     Tx -> create -> pointer bytecode
@@ -3282,7 +3304,11 @@ def test_creating_delegation_designation_contract(
     # An attempt to deploy code starting with ef01 result in no
     # contract being created as it is prohibited
 
-    create_init = Initcode(deploy_code=Spec.delegation_designation(sender))
+    create_init: Bytes | Bytecode
+    if initcode_is_delegation_designation:
+        create_init = Spec.delegation_designation(sender)
+    else:
+        create_init = Initcode(deploy_code=Spec.delegation_designation(sender))
     contract_a = pre.deploy_contract(
         balance=100,
         code=Op.MSTORE(0, Op.CALLDATALOAD(0))
@@ -3565,3 +3591,49 @@ def test_set_code_from_account_with_non_delegating_code(
             callee_address: Account(storage={0: 0}),
         },
     )
+
+
+@pytest.mark.parametrize(
+    "max_fee_per_gas, max_priority_fee_per_gas, expected_error",
+    [
+        (6, 0, TransactionException.INSUFFICIENT_MAX_FEE_PER_GAS),
+        (7, 8, TransactionException.PRIORITY_GREATER_THAN_MAX_FEE_PER_GAS),
+    ],
+    ids=[
+        "insufficient_max_fee_per_gas",
+        "priority_greater_than_max_fee_per_gas",
+    ],
+)
+def test_set_code_transaction_fee_validations(
+    state_test: StateTestFiller,
+    pre: Alloc,
+    max_fee_per_gas: int,
+    max_priority_fee_per_gas: int,
+    expected_error: TransactionException,
+):
+    """Test that a transaction with an insufficient max fee per gas is rejected."""
+    set_to_code = pre.deploy_contract(Op.STOP)
+    auth_signer = pre.fund_eoa(amount=0)
+    tx = Transaction(
+        sender=pre.fund_eoa(),
+        gas_limit=500_000,
+        to=auth_signer,
+        value=0,
+        max_fee_per_gas=max_fee_per_gas,
+        max_priority_fee_per_gas=max_priority_fee_per_gas,
+        authorization_list=[
+            AuthorizationTuple(
+                address=set_to_code,
+                nonce=0,
+                signer=auth_signer,
+            ),
+        ],
+        error=expected_error,
+    )
+
+    state_test(
+        env=Environment(),
+        pre=pre,
+        tx=tx,
+        post={},
+    )