Skip to content

test_selfdestruct_after_create2_collision()

Documentation for tests/paris/eip7610_create_collision/test_collision_selfdestruct.py::test_selfdestruct_after_create2_collision@b47f0253.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/paris/eip7610_create_collision/test_collision_selfdestruct.py::test_selfdestruct_after_create2_collision --fork Amsterdam

Test that a failed CREATE2 collision does not count as creation.

A CREATE2 that collides with an existing contract fails. A subsequent SELFDESTRUCT on the same address must not destroy the contract because EIP-6780 only allows destruction if the contract was created in the same transaction.

Source code in tests/paris/eip7610_create_collision/test_collision_selfdestruct.py 
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
@pytest.mark.valid_from("Cancun")
@pytest.mark.pre_alloc_mutable
def test_selfdestruct_after_create2_collision(
    state_test: StateTestFiller,
    pre: Alloc,
) -> None:
    """
    Test that a failed CREATE2 collision does not count as creation.

    A CREATE2 that collides with an existing contract fails. A
    subsequent SELFDESTRUCT on the same address must not destroy the
    contract because EIP-6780 only allows destruction if the contract
    was created in the same transaction.
    """
    env = Environment()
    storage = Storage()

    salt = 0
    initcode = Initcode(deploy_code=Op.STOP)

    deployer_storage = Storage()
    deployer_code = Op.CALLDATACOPY(0, 0, Op.CALLDATASIZE) + Op.SSTORE(
        deployer_storage.store_next(0, "create2_result"),
        Op.CREATE2(value=0, offset=0, size=Op.CALLDATASIZE, salt=salt),
    )
    deployer = pre.deploy_contract(
        deployer_code, storage=deployer_storage.canary()
    )

    target_address = compute_create2_address(deployer, salt, initcode)

    beneficiary = pre.fund_eoa(amount=0)

    # Target already exists with balance and code (causes collision).
    target_code = Op.SELFDESTRUCT(beneficiary)
    pre[target_address] = Account(
        balance=1,
        nonce=1,
        code=target_code,
    )

    # Controller: attempt CREATE2 (will collide), then call target
    # (SELFDESTRUCT should NOT destroy since target was not created
    # in this tx).
    controller = pre.deploy_contract(
        Op.CALLDATACOPY(0, 0, Op.CALLDATASIZE)
        # CREATE2 via deployer — will fail (collision)
        + Op.SSTORE(
            storage.store_next(1, "create2_call_success"),
            Op.CALL(
                gas=500_000,
                address=deployer,
                args_size=Op.CALLDATASIZE,
            ),
        )
        # Call target to trigger SELFDESTRUCT
        + Op.SSTORE(
            storage.store_next(1, "selfdestruct_call_success"),
            Op.CALL(gas=100_000, address=target_address),
        )
        + Op.STOP
    )

    sender = pre.fund_eoa()

    post = {
        controller: Account(storage=storage),
        # CREATE2 failed due to collision — returned 0.
        deployer: Account(storage=deployer_storage),
        # Target must still exist (SELFDESTRUCT did not destroy because
        # it was NOT created in this tx). Balance was transferred to
        # beneficiary.
        target_address: Account(
            balance=0,
            nonce=1,
            code=target_code,
        ),
        beneficiary: Account(balance=1),
    }

    state_test(
        env=env,
        pre=pre,
        post=post,
        tx=Transaction(
            sender=sender,
            to=controller,
            gas_limit=2_000_000,
            data=initcode,
        ),
    )

Parametrized Test Cases

This test generates 1 parametrized test case across 4 forks.