feat(tests): EIP-7702: test set code tx ideas implementation (ethereum#981)

* test set code tx ideas

* address comments

* changelog

* 7702 gas measure

* make black happy

* storage modifications, static context

* clarify gas prices

* reentrancy test

* revert scenarios

* suicide a pointer that points to newly created account

* fix Ruff

* apply suggestions

* Update tests/prague/eip7702_set_code_tx/test_set_code_txs_2.py

---------

Co-authored-by: Mario Vega <[email protected]>

Author: winsvega

prague/eip7702_set_code_tx/test_set_code_txs.py

@@ -3237,6 +3237,52 @@ def test_deploying_delegation_designation_contract(
     )
 
 
+@pytest.mark.parametrize("create_opcode", [Op.CREATE, Op.CREATE2])
+def test_creating_delegation_designation_contract(
+    state_test: StateTestFiller, pre: Alloc, create_opcode: Op
+):
+    """
+    Tx -> create -> pointer bytecode
+    Attempt to deploy contract with magic bytes result in no contract being created.
+    """
+    env = Environment()
+
+    storage: Storage = Storage()
+
+    sender = pre.fund_eoa()
+
+    # 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))
+    contract_a = pre.deploy_contract(
+        balance=100,
+        code=Op.MSTORE(0, Op.CALLDATALOAD(0))
+        + Op.SSTORE(
+            storage.store_next(0, "contract_a_create_result"),
+            create_opcode(value=1, offset=0, size=Op.CALLDATASIZE(), salt=0),
+        )
+        + Op.STOP,
+    )
+
+    tx = Transaction(
+        to=contract_a,
+        gas_limit=1_000_000,
+        data=create_init,
+        value=0,
+        sender=sender,
+    )
+
+    create_address = compute_create_address(
+        address=contract_a, nonce=1, initcode=create_init, salt=0, opcode=create_opcode
+    )
+    post = {
+        contract_a: Account(balance=100, storage=storage),
+        create_address: Account.NONEXISTENT,
+    }
+    state_test(env=env, pre=pre, post=post, tx=tx)
+
+
 @pytest.mark.parametrize(
     "signer_balance",
     [