test_mixed_gas_regimes()

Documentation for tests/amsterdam/eip7778_block_gas_accounting_without_refunds/test_gas_accounting.py::test_mixed_gas_regimes@c74f1a67.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip7778_block_gas_accounting_without_refunds/test_gas_accounting.py::test_mixed_gas_regimes --fork Amsterdam

Lock in block-level gas accounting across a block where each tx hits a different regime.

tx1: SSTORE-set fresh slot (no refund, pre_refund > floor). tx2: SSTORE-clear x10 (normal refund, refund not clipped to floor). tx3: 1000 zero-byte calldata to STOP (floor binds fee and block gas).

The floor binds the tx-level fee (tx_gas_used = max(post_refund, floor)) and the block's regular dimension (max(pre_refund gas minus state gas, floor)) alike. Per-tx sender balance is also asserted to lock in that the floor-binding tx pays floor * gas_price, not pre_refund * gas_price.

Source code in tests/amsterdam/eip7778_block_gas_accounting_without_refunds/test_gas_accounting.py

@pytest.mark.execute(pytest.mark.skip(reason="Requires specific gas price"))
@pytest.mark.valid_from("EIP8037")
def test_mixed_gas_regimes(
    blockchain_test: BlockchainTestFiller,
    pre: Alloc,
    fork: Fork,
) -> None:
    """
    Lock in block-level gas accounting across a block where each tx hits a
    different regime.

    tx1: SSTORE-set fresh slot (no refund, pre_refund > floor).
    tx2: SSTORE-clear x10 (normal refund, refund not clipped to floor).
    tx3: 1000 zero-byte calldata to STOP (floor binds fee and block gas).

    The floor binds the tx-level fee (tx_gas_used = max(post_refund,
    floor)) and the block's regular dimension (max(pre_refund gas minus
    state gas, floor)) alike. Per-tx sender balance is also asserted to
    lock in that the floor-binding tx pays `floor * gas_price`, not
    `pre_refund * gas_price`.
    """
    intrinsic_cost_calc = fork.transaction_intrinsic_cost_calculator()
    data_floor_calc = fork.transaction_data_floor_cost_calculator()
    initial_fund = 10**18

    post = Alloc()

    # tx1: SSTORE-set to a fresh slot. No refund.
    tx1_code = Op.SSTORE(0, 1, original_value=0, new_value=1)
    tx1_target = pre.deploy_contract(code=tx1_code)
    tx1_sender = pre.fund_eoa(initial_fund)
    tx1_data = b""
    # Full intrinsic + execution gas (regular + state) sizes the gas limit
    # and the balance charged to the sender.
    tx1_pre_refund = intrinsic_cost_calc(
        calldata=tx1_data,
        return_cost_deducted_prior_execution=True,
    ) + tx1_code.gas_cost(fork)
    tx1_floor = data_floor_calc(data=tx1_data)
    assert tx1_pre_refund > tx1_floor, "tx1: pre_refund must exceed floor"
    tx1_contribution = max(tx1_pre_refund, tx1_floor)
    # EIP-8037: block gas_used counts only regular gas; the SSTORE-set
    # state gas lives in the separate state dimension, so the block-level
    # contribution excludes it.
    tx1_block_contribution = max(
        tx1_pre_refund - Op.SSTORE(new_value=1).state_cost(fork), tx1_floor
    )
    tx1 = Transaction(
        to=tx1_target,
        gas_limit=tx1_contribution,
        sender=tx1_sender,
        data=tx1_data,
        # TODO: gas_used in expected_receipt is ignored by
        # verify_transaction_receipt; only cumulative_gas_used is
        # checked. To be fixed by #2855.
        expected_receipt={"gas_used": tx1_contribution},
    )
    tx1_gas_price = tx1.gas_price if tx1.gas_price else tx1.max_fee_per_gas
    assert tx1_gas_price is not None
    post[tx1_target] = Account(storage={0: 1})
    post[tx1_sender] = Account(
        balance=initial_fund - tx1_contribution * tx1_gas_price
    )

    # tx2: SSTORE-clear with normal refund, refund not clipped to floor.
    (
        tx2_post_refund,
        tx2_pre_refund,
        _,
        tx2_floor,
        tx2,
    ) = build_refund_tx(
        fork=fork,
        pre=pre,
        post=post,
        refund_types={RefundTypes.STORAGE_CLEAR},
        refunds_count=10,
    )
    assert tx2_pre_refund > tx2_floor, "tx2: pre_refund must exceed floor"
    assert tx2_post_refund > tx2_floor, (
        "tx2: refund must not be clipped to floor"
    )
    tx2_contribution = max(tx2_pre_refund, tx2_floor)

    # tx3: floor-binding via 1000 zero bytes of calldata to STOP.
    tx3_target = pre.deterministic_deploy_contract(deploy_code=Op.STOP)
    tx3_sender = pre.fund_eoa(initial_fund)
    tx3_data = b"\x00" * 1000
    tx3_pre_refund = intrinsic_cost_calc(
        calldata=tx3_data,
        return_cost_deducted_prior_execution=True,
    )
    tx3_floor = data_floor_calc(data=tx3_data)
    assert tx3_floor > tx3_pre_refund, "tx3: floor must bind upward"
    tx3_fee_gas = max(tx3_pre_refund, tx3_floor)
    # The floor binds the block's regular dimension as well as the fee.
    tx3_block_contribution = max(tx3_pre_refund, tx3_floor)
    tx3 = Transaction(
        to=tx3_target,
        gas_limit=tx3_fee_gas,
        sender=tx3_sender,
        data=tx3_data,
        # TODO: gas_used in expected_receipt is ignored by
        # verify_transaction_receipt; only cumulative_gas_used is
        # checked. To be fixed by #2855.
        expected_receipt={"gas_used": tx3_fee_gas},
    )
    tx3_gas_price = tx3.gas_price if tx3.gas_price else tx3.max_fee_per_gas
    assert tx3_gas_price is not None
    post[tx3_sender] = Account(
        balance=initial_fund - tx3_fee_gas * tx3_gas_price
    )

    total_gas_used = (
        tx1_block_contribution + tx2_contribution + tx3_block_contribution
    )

    blockchain_test(
        pre=pre,
        blocks=[
            Block(
                txs=[tx1, tx2, tx3],
                expected_gas_used=total_gas_used,
            )
        ],
        post=post,
    )

Parametrized Test Cases

This test generates 1 parametrized test case across 1 fork.