test_invalid_auth_no_top_frame_charge()

Documentation for tests/amsterdam/eip8037_state_creation_gas_cost_increase/test_state_gas_set_code.py::test_invalid_auth_no_top_frame_charge@26332146.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip8037_state_creation_gas_cost_increase/test_state_gas_set_code.py::test_invalid_auth_no_top_frame_charge --fork Amsterdam

Verify a rejected authorization incurs no top-frame charge.

A rejected authorization is skipped during set_delegation, so it writes no delegation indicator and creates no account: it incurs neither NEW_ACCOUNT / ACCOUNT_WRITE nor AUTH_BASE at the top frame (and, unlike the superseded EIP-8037 model, nothing is refilled because nothing was charged). Only the intrinsic EXECUTION_PER_AUTH_BASE_COST is paid and the authority is never created. Swept over the reasons an authorization is rejected.

Source code in tests/amsterdam/eip8037_state_creation_gas_cost_increase/test_state_gas_set_code.py

@pytest.mark.parametrize(
    "invalidity",
    [
        pytest.param("nonce_mismatch", id="nonce_mismatch"),
        pytest.param("nonce_at_u64_max", id="nonce_at_u64_max"),
        pytest.param("chain_id_mismatch", id="chain_id_mismatch"),
    ],
)
@pytest.mark.valid_from("EIP8037")
def test_invalid_auth_no_top_frame_charge(
    state_test: StateTestFiller,
    pre: Alloc,
    fork: Fork,
    invalidity: str,
) -> None:
    """
    Verify a rejected authorization incurs no top-frame charge.

    A rejected authorization is skipped during ``set_delegation``, so it
    writes no delegation indicator and creates no account: it incurs
    neither ``NEW_ACCOUNT`` / ``ACCOUNT_WRITE`` nor ``AUTH_BASE`` at the
    top frame (and, unlike the superseded EIP-8037 model, nothing is
    refilled because nothing was charged). Only the intrinsic
    ``EXECUTION_PER_AUTH_BASE_COST`` is paid and the authority is never
    created. Swept over the reasons an authorization is rejected.
    """
    target = pre.deploy_contract(code=Op.STOP)
    signer = pre.fund_eoa(amount=0)

    if invalidity == "nonce_mismatch":
        auth = AuthorizationTuple(
            address=target,
            nonce=99,
            signer=signer,
            creates_account=False,
            writes_delegation=False,
            first_write=False,
        )
    elif invalidity == "nonce_at_u64_max":
        auth = AuthorizationTuple(
            address=target,
            nonce=2**64 - 1,
            signer=signer,
            creates_account=False,
            writes_delegation=False,
            first_write=False,
        )
    elif invalidity == "chain_id_mismatch":
        auth = AuthorizationTuple(
            address=target,
            nonce=0,
            chain_id=9999,
            signer=signer,
            creates_account=False,
            writes_delegation=False,
            first_write=False,
        )
    else:
        raise ValueError(f"unknown invalidity: {invalidity!r}")

    intrinsic_execution, top_frame_execution, top_frame_state = _auth_gas(
        fork, [auth]
    )
    assert top_frame_execution == 0
    assert top_frame_state == 0
    cumulative_gas_used, header_gas_used = _receipt_and_header(
        intrinsic_execution, top_frame_execution, top_frame_state
    )

    tx = Transaction(
        to=target,
        authorization_list=[auth],
        sender=pre.fund_eoa(),
        expected_receipt=TransactionReceipt(
            cumulative_gas_used=cumulative_gas_used,
        ),
    )

    state_test(
        pre=pre,
        post={signer: Account.NONEXISTENT},
        tx=tx,
        blockchain_test_header_verify=Header(gas_used=header_gas_used),
    )

Parametrized Test Cases

This test generates 3 parametrized test cases across 1 fork.