test_bal_7702_invalid_authority_has_code_authorization()

Documentation for tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists_eip7702.py::test_bal_7702_invalid_authority_has_code_authorization@5c024cbb.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists_eip7702.py::test_bal_7702_invalid_authority_has_code_authorization --fork Amsterdam

Ensure BAL handles failed authorization where the authority already has non-empty, non-delegation code (EIP-7702 step-5 rejection, post-load).

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

@pytest.mark.pre_alloc_mutable()
def test_bal_7702_invalid_authority_has_code_authorization(
    pre: Alloc,
    blockchain_test: BlockchainTestFiller,
) -> None:
    """
    Ensure BAL handles failed authorization where the authority already has
    non-empty, non-delegation code (EIP-7702 step-5 rejection, post-load).
    """
    # Pre-existing non-delegation code on the authority blocks the 7702
    # delegation at step 5, after the authority is already loaded.
    alice = pre.fund_eoa(amount=0, code=Op.STOP, nonce=1)
    bob = pre.fund_eoa(amount=0)
    relayer = pre.fund_eoa()
    oracle = pre.deploy_contract(code=Op.STOP)

    tx = Transaction(
        sender=relayer,  # Sponsored transaction
        to=bob,
        value=10,
        authorization_list=[
            AuthorizationTuple(
                address=oracle,
                nonce=alice.nonce,
                signer=alice,
            )
        ],
    )

    block = Block(
        txs=[tx],
        expected_block_access_list=BlockAccessListExpectation(
            account_expectations={
                bob: BalAccountExpectation(
                    balance_changes=[
                        BalBalanceChange(block_access_index=1, post_balance=10)
                    ]
                ),
                relayer: BalAccountExpectation(
                    nonce_changes=[
                        BalNonceChange(block_access_index=1, post_nonce=1)
                    ],
                ),
                # Alice loaded at step 4 then step 5 rejects.
                alice: BalAccountExpectation.empty(),
                # Oracle never loaded as delegation target.
                oracle: None,
            }
        ),
    )

    post = {
        relayer: Account(nonce=1),
        bob: Account(balance=10),
        alice: Account(code=Op.STOP, nonce=1),
    }

    blockchain_test(
        pre=pre,
        blocks=[block],
        post=post,
    )

Parametrized Test Cases

This test generates 1 parametrized test case across 1 fork.