test_invalid_auth_rule1_refill_by_reason()

Documentation for tests/amsterdam/eip8037_state_creation_gas_cost_increase/test_state_gas_set_code.py::test_invalid_auth_rule1_refill_by_reason@c74f1a67.

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

Verify an invalid authorization refills its full intrinsic state gas.

A rejected authorization is skipped during processing. Its whole state portion of NEW_ACCOUNT plus AUTH_BASE refills the reservoir and one ACCOUNT_WRITE refunds to the refund counter. The regular per authorization base cost stays charged 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_rule1_refill_by_reason(
    state_test: StateTestFiller,
    pre: Alloc,
    fork: Fork,
    invalidity: str,
) -> None:
    """
    Verify an invalid authorization refills its full intrinsic state gas.

    A rejected authorization is skipped during processing. Its whole
    state portion of NEW_ACCOUNT plus AUTH_BASE refills the reservoir
    and one ACCOUNT_WRITE refunds to the refund counter. The regular
    per authorization base cost stays charged and the authority is
    never created. Swept over the reasons an authorization is rejected.
    """
    per_auth_state = fork.transaction_intrinsic_state_gas(
        authorization_count=1,
    )
    total_intrinsic = fork.transaction_intrinsic_cost_calculator()(
        authorization_list_or_count=1,
    )
    intrinsic_regular = total_intrinsic - per_auth_state
    account_write = fork.gas_costs().ACCOUNT_WRITE

    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)
    elif invalidity == "nonce_at_u64_max":
        auth = AuthorizationTuple(
            address=target,
            nonce=2**64 - 1,
            signer=signer,
        )
    elif invalidity == "chain_id_mismatch":
        auth = AuthorizationTuple(
            address=target,
            nonce=0,
            chain_id=9999,
            signer=signer,
        )
    else:
        raise ValueError(f"unknown invalidity: {invalidity!r}")

    # The skipped auth refills its whole state portion to the reservoir
    # so the net state charge is zero, and one ACCOUNT_WRITE returns to
    # the capped refund counter.
    auth_refund = per_auth_state
    refund_counter = account_write

    header_gas_used = max(intrinsic_regular, per_auth_state - auth_refund)
    gas_used_before_refund = total_intrinsic - auth_refund
    regular_refund = min(
        gas_used_before_refund // fork.max_refund_quotient(),
        refund_counter,
    )
    receipt_cumulative_gas_used = gas_used_before_refund - regular_refund

    tx = Transaction(
        to=target,
        state_gas_reservoir=per_auth_state,
        authorization_list=[auth],
        sender=pre.fund_eoa(),
        expected_receipt=TransactionReceipt(
            cumulative_gas_used=receipt_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.