test_top_level_halt_keeps_intrinsic_auth_state_gas()

Documentation for tests/amsterdam/eip8037_state_creation_gas_cost_increase/test_state_gas_set_code.py::test_top_level_halt_keeps_intrinsic_auth_state_gas@8acae1b0.

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

Verify a top-level exceptional halt keeps the full authorization state gas in the state dimension while the burned child spill stays in the execution dimension: the header reports max(gas_limit - auth_state, auth_state) regardless of the spill shape burned inside the halted frame.

The tx gas limit sits below the EIP-7825 cap, so the reservoir is empty and every state charge inside the halted frame spills from gas_left.

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

@pytest.mark.parametrize(
    "inner_shape",
    [
        pytest.param("burned_child_spill", id="burned_child_spill"),
        pytest.param("revoked_advance", id="revoked_advance"),
    ],
)
@pytest.mark.valid_from("EIP8037")
@pytest.mark.parametrize(
    "authority_exists", [False, True], ids=["new", "existing"]
)
def test_top_level_halt_keeps_intrinsic_auth_state_gas(
    state_test: StateTestFiller,
    pre: Alloc,
    fork: Fork,
    inner_shape: str,
    authority_exists: bool,
) -> None:
    """
    Verify a top-level exceptional halt keeps the full authorization
    state gas in the state dimension while the burned child spill stays
    in the execution dimension: the header reports
    ``max(gas_limit - auth_state, auth_state)`` regardless of the
    spill shape burned inside the halted frame.

    The tx gas limit sits below the EIP-7825 cap, so the reservoir is
    empty and every state charge inside the halted frame spills from
    `gas_left`.
    """
    gas_limit = 1_000_000

    if inner_shape == "burned_child_spill":
        inner = pre.deploy_contract(code=Op.SSTORE(0, 1) + Op.INVALID)
    else:
        inner = revoked_advance_call_tree(pre)

    recipient = pre.deploy_contract(
        code=Op.POP(Op.CALL(gas=Op.GAS, address=inner)) + Op.INVALID,
    )

    delegate = pre.deploy_contract(code=Op.STOP)
    signer = pre.fund_eoa() if authority_exists else pre.fund_eoa(amount=0)
    authorization_list = [
        AuthorizationTuple(
            address=delegate,
            nonce=0,
            signer=signer,
            creates_account=not authority_exists,
            writes_delegation=True,
        ),
    ]
    _, _, auth_state_gas = _auth_gas(fork, authorization_list)

    # The halt consumes the whole limit: the execution and state
    # dimensions sum to `gas_limit` however the split falls.
    tx = Transaction(
        ty=4,
        to=recipient,
        gas_limit=gas_limit,
        authorization_list=authorization_list,
        sender=pre.fund_eoa(),
        expected_receipt=TransactionReceipt(
            status=0,
            cumulative_gas_used=gas_limit,
        ),
    )

    post = {
        signer: Account(
            nonce=1, code=Spec7702.delegation_designation(delegate)
        ),
    }
    state_test(
        pre=pre,
        post=post,
        tx=tx,
        blockchain_test_header_verify=Header(
            gas_used=max(gas_limit - auth_state_gas, auth_state_gas)
        ),
    )

Parametrized Test Cases

This test generates 4 parametrized test cases across 1 fork.