test_bal_selfdestruct_to_coinbase()

Documentation for tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists.py::test_bal_selfdestruct_to_coinbase@87aba1a3.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists.py::test_bal_selfdestruct_to_coinbase --fork Amsterdam

Ensure BAL records SELFDESTRUCT when the beneficiary is the coinbase.

Post-Cancun (EIP-6780) the contract is only actually destroyed when created in the same tx; the pre-deployed path only transfers balance and preserves the contract. Both shapes must appear in BAL.

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

@pytest.mark.parametrize(
    "same_tx", [False, True], ids=["pre_deploy", "same_tx"]
)
def test_bal_selfdestruct_to_coinbase(
    pre: Alloc,
    state_test: StateTestFiller,
    same_tx: bool,
) -> None:
    """
    Ensure BAL records SELFDESTRUCT when the beneficiary is the coinbase.

    Post-Cancun (EIP-6780) the contract is only actually destroyed when
    created in the same tx; the pre-deployed path only transfers balance
    and preserves the contract. Both shapes must appear in BAL.
    """
    alice = pre.fund_eoa()
    coinbase = pre.fund_eoa(amount=0)
    victim_balance = 100
    victim_code = Op.SELFDESTRUCT(Op.COINBASE)

    # Match gas_price to base_fee so the priority-fee tip is zero;
    # coinbase's BAL entry then carries only the SELFDESTRUCT transfer.
    base_fee_per_gas = 7
    env = Environment(
        base_fee_per_gas=base_fee_per_gas, fee_recipient=coinbase
    )

    account_expectations: dict[Address, BalAccountExpectation]

    if same_tx:
        initcode = Initcode(deploy_code=victim_code)
        factory_code = Om.MSTORE(initcode, 0) + Op.CALL(
            gas=Op.GAS,
            address=Op.CREATE(
                value=victim_balance, offset=0, size=len(initcode)
            ),
        )
        factory = pre.deploy_contract(
            code=factory_code, balance=victim_balance
        )
        victim = compute_create_address(address=factory, nonce=1)
        tx_target = factory
        post = {
            factory: Account(balance=0),
            victim: Account.NONEXISTENT,
            coinbase: Account(balance=victim_balance),
        }
        account_expectations = {
            factory: BalAccountExpectation(
                nonce_changes=[
                    BalNonceChange(block_access_index=1, post_nonce=2)
                ],
                balance_changes=[
                    BalBalanceChange(block_access_index=1, post_balance=0)
                ],
            ),
            # Created and destroyed in the same tx — empty changes.
            victim: BalAccountExpectation.empty(),
            coinbase: BalAccountExpectation(
                balance_changes=[
                    BalBalanceChange(
                        block_access_index=1, post_balance=victim_balance
                    )
                ],
            ),
        }
    else:
        victim = pre.deploy_contract(code=victim_code, balance=victim_balance)
        tx_target = victim
        # Pre-deployed and not same-tx: post-Cancun preserves the contract.
        post = {
            victim: Account(balance=0, code=victim_code),
            coinbase: Account(balance=victim_balance),
        }
        account_expectations = {
            victim: BalAccountExpectation(
                balance_changes=[
                    BalBalanceChange(block_access_index=1, post_balance=0)
                ],
            ),
            coinbase: BalAccountExpectation(
                balance_changes=[
                    BalBalanceChange(
                        block_access_index=1, post_balance=victim_balance
                    )
                ],
            ),
        }

    tx = Transaction(
        sender=alice,
        to=tx_target,
        gas_price=base_fee_per_gas,
    )

    state_test(
        env=env,
        pre=pre,
        post=post,
        tx=tx,
        blockchain_test_header_verify=Header(
            base_fee_per_gas=base_fee_per_gas
        ),
        expected_block_access_list=BlockAccessListExpectation(
            account_expectations=account_expectations,
        ),
    )

Parametrized Test Cases

This test generates 2 parametrized test cases across 1 fork.