test_bal_nonexistent_account_access_read_only()

Documentation for tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists.py::test_bal_nonexistent_account_access_read_only@c74f1a67.

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_nonexistent_account_access_read_only --fork Amsterdam

Ensure BAL captures non-existent account access via read-only opcodes.

Alice calls Oracle contract which uses read-only opcodes to access non-existent Bob (BALANCE, EXTCODESIZE, EXTCODECOPY, EXTCODEHASH, STATICCALL, DELEGATECALL).

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

@pytest.mark.parametrize(
    "account_access_opcode",
    [
        pytest.param(
            lambda target_addr: Op.BALANCE(target_addr),
            id="balance",
        ),
        pytest.param(
            lambda target_addr: Op.EXTCODESIZE(target_addr),
            id="extcodesize",
        ),
        pytest.param(
            lambda target_addr: Op.EXTCODECOPY(target_addr, 0, 0, 32),
            id="extcodecopy",
        ),
        pytest.param(
            lambda target_addr: Op.EXTCODEHASH(target_addr),
            id="extcodehash",
        ),
        pytest.param(
            lambda target_addr: Op.STATICCALL(0, target_addr, 0, 0, 0, 0),
            id="staticcall",
        ),
        pytest.param(
            lambda target_addr: Op.DELEGATECALL(0, target_addr, 0, 0, 0, 0),
            id="delegatecall",
        ),
    ],
)
def test_bal_nonexistent_account_access_read_only(
    pre: Alloc,
    blockchain_test: BlockchainTestFiller,
    account_access_opcode: Callable[[Address], Op],
) -> None:
    """
    Ensure BAL captures non-existent account access via read-only opcodes.

    Alice calls Oracle contract which uses read-only opcodes to access
    non-existent Bob (BALANCE, EXTCODESIZE, EXTCODECOPY, EXTCODEHASH,
    STATICCALL, DELEGATECALL).
    """
    alice = pre.fund_eoa()
    bob = pre.nonexistent_account()
    oracle_balance = 2 * 10**18

    oracle_code = account_access_opcode(bob)
    oracle = pre.deploy_contract(code=oracle_code, balance=oracle_balance)

    tx = Transaction(sender=alice, to=oracle)

    block = Block(
        txs=[tx],
        expected_block_access_list=BlockAccessListExpectation(
            account_expectations={
                alice: BalAccountExpectation(
                    nonce_changes=[
                        BalNonceChange(block_access_index=1, post_nonce=1)
                    ],
                ),
                oracle: BalAccountExpectation.empty(),
                bob: BalAccountExpectation.empty(),
            }
        ),
    )

    blockchain_test(
        pre=pre,
        blocks=[block],
        post={
            alice: Account(nonce=1),
            oracle: Account(balance=oracle_balance),
            bob: Account.NONEXISTENT,
        },
    )

Parametrized Test Cases

This test generates 6 parametrized test cases across 1 fork.