test_multi_block_mixed_state_operations()

Documentation for tests/amsterdam/eip8037_state_creation_gas_cost_increase/test_state_gas_multi_block.py::test_multi_block_mixed_state_operations@5c024cbb.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip8037_state_creation_gas_cost_increase/test_state_gas_multi_block.py::test_multi_block_mixed_state_operations --fork Amsterdam

Verify coinbase fee across blocks with diverse state operations.

Block 1: Simple SSTORE transactions (state gas from reservoir). Block 2: Child spill + revert transactions (reservoir recovery). Block 3: Child spill + halt transactions (halt recovery).

This mixed scenario tests that receipt_gas_used is consistent across different state gas paths within a multi-block chain.

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

@pytest.mark.valid_from("EIP8037")
def test_multi_block_mixed_state_operations(
    blockchain_test: BlockchainTestFiller,
    pre: Alloc,
    fork: Fork,
) -> None:
    """
    Verify coinbase fee across blocks with diverse state operations.

    Block 1: Simple SSTORE transactions (state gas from reservoir).
    Block 2: Child spill + revert transactions (reservoir recovery).
    Block 3: Child spill + halt transactions (halt recovery).

    This mixed scenario tests that `receipt_gas_used` is consistent
    across different state gas paths within a multi-block chain.
    """
    sstore_state_gas = Op.SSTORE(new_value=1).state_cost(fork)

    reverting_child = pre.deploy_contract(
        code=(Op.SSTORE(0, 1) + Op.SSTORE(1, 1) + Op.REVERT(0, 0)),
    )
    halting_child = pre.deploy_contract(
        code=(Op.SSTORE(0, 1) + Op.SSTORE(1, 1) + Op.INVALID),
    )

    all_contracts = []
    all_storages = []

    # Simple SSTOREs from reservoir
    block1_txs = []
    for _ in range(2):
        storage = Storage()
        contract = pre.deploy_contract(
            code=(Op.SSTORE(storage.store_next(1), 1)),
        )
        all_contracts.append(contract)
        all_storages.append(storage)
        block1_txs.append(
            Transaction(
                to=contract,
                state_gas_reservoir=sstore_state_gas,
                max_priority_fee_per_gas=1,
                max_fee_per_gas=8,
                sender=pre.fund_eoa(),
            )
        )

    # Child spill + revert
    block2_txs = []
    for _ in range(2):
        storage = Storage()
        parent = pre.deploy_contract(
            code=(
                Op.POP(
                    Op.CALL(
                        gas=500_000,
                        address=reverting_child,
                    )
                )
                + Op.SSTORE(storage.store_next(1), 1)
            ),
        )
        all_contracts.append(parent)
        all_storages.append(storage)
        block2_txs.append(
            Transaction(
                to=parent,
                state_gas_reservoir=sstore_state_gas,
                max_priority_fee_per_gas=1,
                max_fee_per_gas=8,
                sender=pre.fund_eoa(),
            )
        )

    # Child spill + exceptional halt
    block3_txs = []
    for _ in range(2):
        storage = Storage()
        parent = pre.deploy_contract(
            code=(
                Op.POP(
                    Op.CALL(
                        gas=500_000,
                        address=halting_child,
                    )
                )
                + Op.SSTORE(storage.store_next(1), 1)
            ),
        )
        all_contracts.append(parent)
        all_storages.append(storage)
        block3_txs.append(
            Transaction(
                to=parent,
                state_gas_reservoir=sstore_state_gas,
                max_priority_fee_per_gas=1,
                max_fee_per_gas=8,
                sender=pre.fund_eoa(),
            )
        )

    blocks = [
        Block(txs=block1_txs),
        Block(txs=block2_txs),
        Block(txs=block3_txs),
    ]
    post = {
        c: Account(storage=s)
        for c, s in zip(all_contracts, all_storages, strict=False)
    }
    blockchain_test(pre=pre, blocks=blocks, post=post)

Parametrized Test Cases

This test generates 1 parametrized test case across 1 fork.