test_top_frame_charges_delegation_is_precompile()

Documentation for tests/amsterdam/eip2780_reduce_intrinsic_tx_gas/test_warmth_invariants.py::test_top_frame_charges_delegation_is_precompile@5c024cbb.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip2780_reduce_intrinsic_tx_gas/test_warmth_invariants.py::test_top_frame_charges_delegation_is_precompile --fork Amsterdam

Recipient holds a pre-existing EIP-7702 delegation pointing at a precompile address (IDENTITY, 0x04), which is warm, so the top-frame charges WARM_ACCESS; the dispatched EVM frame sets disable_precompiles = True for delegated calls, so the precompile body does not run. The code lookup at the precompile address returns the empty byte string and the frame exits immediately.

Source code in tests/amsterdam/eip2780_reduce_intrinsic_tx_gas/test_warmth_invariants.py

@pytest.mark.parametrize(
    "value",
    [
        pytest.param(0, id="zero_value"),
        pytest.param(1, id="non-zero_value"),
    ],
)
def test_top_frame_charges_delegation_is_precompile(
    fork: Fork,
    pre: Alloc,
    state_test: StateTestFiller,
    value: int,
) -> None:
    """
    Recipient holds a pre-existing EIP-7702 delegation pointing at a
    precompile address (``IDENTITY``, ``0x04``), which is warm, so the
    top-frame charges ``WARM_ACCESS``; the dispatched EVM frame sets
    ``disable_precompiles = True`` for delegated calls, so the
    precompile body does not run. The code lookup at the precompile
    address returns the empty byte string and the frame exits
    immediately.
    """
    sender_initial_balance = 10**18
    sender = pre.fund_eoa(sender_initial_balance)

    delegated_to = Address(0x04)
    target_code = Spec7702.delegation_designation(delegated_to)
    target = pre.deploy_contract(code=target_code)

    intrinsic_gas = fork.transaction_intrinsic_cost_calculator()(
        sends_value=bool(value),
        recipient_type=RecipientType.DELEGATION_7702,
        return_cost_deducted_prior_execution=True,
    )
    top_frame_gas = fork.transaction_top_frame_gas_calculator()(
        sends_value=bool(value),
        recipient_type=RecipientType.DELEGATION_7702,
        delegation_warm=True,
    )

    total_gas_cost = intrinsic_gas + top_frame_gas
    gas_price = 1_000_000_000
    gas_limit = total_gas_cost + 1000

    tx = Transaction(
        sender=sender,
        to=target,
        value=value,
        gas_limit=gas_limit,
        gas_price=gas_price,
    )

    sender_final_balance = (
        sender_initial_balance - value - total_gas_cost * gas_price
    )

    post = {
        sender: Account(nonce=1, balance=sender_final_balance),
        target: Account(balance=value, code=target_code),
    }

    state_test(pre=pre, tx=tx, post=post)

Parametrized Test Cases

This test generates 2 parametrized test cases across 1 fork.