test_bal_cross_tx_storage_write()

Documentation for tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists.py::test_bal_cross_tx_storage_write@87aba1a3.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists.py::test_bal_cross_tx_storage_write --fork Amsterdam

Tx1's storage_change must be preserved regardless of tx2's write.

Regression for the blobhash scenario where back-to-pre writes were filtered as net-zero across tx boundaries. The same-value case additionally exercises the uniqueness rule: a slot in storage_changes MUST NOT also appear in storage_reads.

Source code in tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists.py

@pytest.mark.parametrize(
    "tx2_value",
    [
        pytest.param(0x0, id="tx2_reverts_to_zero"),
        pytest.param(0xABCD, id="tx2_rewrites_same_value"),
    ],
)
def test_bal_cross_tx_storage_write(
    pre: Alloc,
    blockchain_test: BlockchainTestFiller,
    tx2_value: int,
) -> None:
    """
    Tx1's storage_change must be preserved regardless of tx2's write.

    Regression for the blobhash scenario where back-to-pre writes were
    filtered as net-zero across tx boundaries. The same-value case
    additionally exercises the uniqueness rule: a slot in storage_changes
    MUST NOT also appear in storage_reads.
    """
    alice = pre.fund_eoa()
    tx1_value = 0xABCD

    contract = pre.deploy_contract(code=Op.SSTORE(0, Op.CALLDATALOAD(0)))

    tx1 = Transaction(
        sender=alice,
        to=contract,
        data=Hash(tx1_value),
    )

    tx2 = Transaction(
        sender=alice,
        to=contract,
        data=Hash(tx2_value),
    )

    slot_changes = [
        BalStorageChange(block_access_index=1, post_value=tx1_value),
    ]
    if tx2_value != tx1_value:
        slot_changes.append(
            BalStorageChange(block_access_index=2, post_value=tx2_value)
        )

    account_expectations = {
        alice: BalAccountExpectation(
            nonce_changes=[
                BalNonceChange(block_access_index=1, post_nonce=1),
                BalNonceChange(block_access_index=2, post_nonce=2),
            ],
        ),
        contract: BalAccountExpectation(
            storage_changes=[
                BalStorageSlot(slot=0, slot_changes=slot_changes),
            ],
            storage_reads=[],
        ),
    }

    blockchain_test(
        pre=pre,
        blocks=[
            Block(
                txs=[tx1, tx2],
                expected_block_access_list=BlockAccessListExpectation(
                    account_expectations=account_expectations
                ),
            )
        ],
        post={
            alice: Account(nonce=2),
            contract: Account(storage={0: tx2_value}),
        },
    )

Parametrized Test Cases

This test generates 2 parametrized test cases across 1 fork.