test_call_to_pre_authorized_oog()

Documentation for tests/prague/eip7702_set_code_tx/test_gas.py::test_call_to_pre_authorized_oog@20373115.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/prague/eip7702_set_code_tx/test_gas.py::test_call_to_pre_authorized_oog --fork Amsterdam

Test additional cost of delegation contract access in call instructions.

Source code in tests/prague/eip7702_set_code_tx/test_gas.py

@pytest.mark.with_all_call_opcodes()
def test_call_to_pre_authorized_oog(
    state_test: StateTestFiller,
    pre: Alloc,
    fork: Fork,
    call_opcode: Op,
) -> None:
    """
    Test additional cost of delegation contract access in call instructions.
    """
    # Delegation contract. It should never be reached by a call.
    delegation_code = Op.SSTORE(0, 1)
    delegation = pre.deploy_contract(delegation_code)

    # Delegate to the delegation contract.
    auth_signer = pre.fund_eoa(0, delegation=delegation)

    # Callee tries to call the auth_signer which delegates
    # to the delegation contract. The call instruction should out-of-gas
    # because of the addition cost of the delegation account access.
    callee_code = Op.SSTORE(0, call_opcode(gas=0, address=auth_signer))
    callee_storage = Storage()
    callee_storage[0] = 0xFF  # Value other than 0 or 1. Should not be changed.
    callee_address = pre.deploy_contract(callee_code, storage=callee_storage)

    intrinsic_gas_cost_calculator = (
        fork.transaction_intrinsic_cost_calculator()
    )
    tx_gas_limit = (
        intrinsic_gas_cost_calculator()
        + (
            Op.PUSH1(0) * len(call_opcode.kwargs)
            + call_opcode(address_warm=False, delegated_address=True)
        ).gas_cost(fork)
        - 1
    )
    tx = Transaction(
        gas_limit=tx_gas_limit,  # Specific gas to trigger CALL out-of-gas.
        to=callee_address,
        sender=pre.fund_eoa(),
    )

    expected_block_access_list = None
    if fork.is_eip_enabled(7928):
        # Sender nonce changes, callee is accessed but storage unchanged (OOG)
        # auth_signer is tracked (we read its code to check delegation)
        # delegation is NOT tracked (OOG before reading it)
        account_expectations = {
            tx.sender: BalAccountExpectation(
                nonce_changes=[
                    BalNonceChange(block_access_index=1, post_nonce=1)
                ],
            ),
            callee_address: BalAccountExpectation.empty(),
            # read for calculating delegation access cost:
            auth_signer: BalAccountExpectation.empty(),
            # OOG - not enough gas for delegation access:
            delegation: None,
        }
        expected_block_access_list = BlockAccessListExpectation(
            account_expectations=account_expectations
        )

    state_test(
        pre=pre,
        tx=tx,
        post={
            callee_address: Account(storage=callee_storage),
            auth_signer: Account(code=Spec.delegation_designation(delegation)),
            delegation: Account(storage=Storage()),
        },
        expected_block_access_list=expected_block_access_list,
    )

Parametrized Test Cases

This test generates 4 parametrized test cases across 3 forks.