test_bal_create_storage_op_then_selfdestruct_same_tx()

Documentation for tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists_opcodes.py::test_bal_create_storage_op_then_selfdestruct_same_tx@c74f1a67.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists_opcodes.py::test_bal_create_storage_op_then_selfdestruct_same_tx --fork Amsterdam

Same-tx CREATE/CREATE2 + storage_op + SELFDESTRUCT.

The deterministic address A is pre-funded. A single tx deploys a contract at A via the parametrized create opcode; init code performs SLOAD or SSTORE on slot B then SELFDESTRUCTs. Because the contract is destroyed in the same tx, slot B MUST appear in storage_reads and MUST NOT appear in storage_changes (writes demoted to reads per EIP-7928).

Source code in tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists_opcodes.py

@pytest.mark.with_all_create_opcodes
@pytest.mark.parametrize(
    "storage_op",
    ["read", "write"],
    ids=["sload_then_selfdestruct", "sstore_then_selfdestruct"],
)
def test_bal_create_storage_op_then_selfdestruct_same_tx(
    pre: Alloc,
    blockchain_test: BlockchainTestFiller,
    create_opcode: Op,
    storage_op: str,
) -> None:
    """
    Same-tx CREATE/CREATE2 + storage_op + SELFDESTRUCT.

    The deterministic address A is pre-funded. A single tx deploys a
    contract at A via the parametrized create opcode; init code performs
    SLOAD or SSTORE on slot B then SELFDESTRUCTs. Because the contract
    is destroyed in the same tx, slot B MUST appear in `storage_reads`
    and MUST NOT appear in `storage_changes` (writes demoted to reads
    per EIP-7928).
    """
    alice = pre.fund_eoa()
    beneficiary = pre.fund_eoa(amount=0)
    fund_amount = 100
    slot_b = 0x07

    if storage_op == "read":
        initcode = Op.POP(Op.SLOAD(slot_b)) + Op.SELFDESTRUCT(beneficiary)
    else:
        initcode = Op.SSTORE(slot_b, 0xCAFE) + Op.SELFDESTRUCT(beneficiary)
    initcode_bytes = bytes(initcode)

    salt = 0
    is_create2 = create_opcode == Op.CREATE2
    if is_create2:
        deploy_op = Op.CREATE2(
            value=0, offset=0, size=Op.CALLDATASIZE, salt=salt
        )
    else:
        deploy_op = Op.CREATE(value=0, offset=0, size=Op.CALLDATASIZE)

    factory_code = (
        Op.CALLDATACOPY(0, 0, Op.CALLDATASIZE)
        + Op.SSTORE(0, deploy_op)
        + Op.STOP
    )
    factory = pre.deploy_contract(code=factory_code)
    target_a = compute_create_address(
        address=factory,
        nonce=1,
        salt=salt,
        initcode=initcode_bytes,
        opcode=create_opcode,
    )
    pre.fund_address(target_a, fund_amount)

    tx = Transaction(sender=alice, to=factory, data=initcode_bytes)

    block = Block(
        txs=[tx],
        expected_block_access_list=BlockAccessListExpectation(
            account_expectations={
                target_a: BalAccountExpectation(
                    balance_changes=[
                        BalBalanceChange(block_access_index=1, post_balance=0),
                    ],
                    storage_reads=[slot_b],
                    storage_changes=[],
                    code_changes=[],
                    nonce_changes=[],
                ),
                beneficiary: BalAccountExpectation(
                    balance_changes=[
                        BalBalanceChange(
                            block_access_index=1,
                            post_balance=fund_amount,
                        )
                    ],
                ),
            }
        ),
    )

    blockchain_test(
        pre=pre,
        blocks=[block],
        post={
            target_a: Account.NONEXISTENT,
            beneficiary: Account(balance=fund_amount),
            factory: Account(nonce=2, storage={0: target_a}),
        },
    )

Parametrized Test Cases

This test generates 4 parametrized test cases across 1 fork.