test_bal_invalid_omitted_slot_change_at_index()

Documentation for tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists_invalid.py::test_bal_invalid_omitted_slot_change_at_index@26332146.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists_invalid.py::test_bal_invalid_omitted_slot_change_at_index --fork Amsterdam

Test that clients reject a BAL that drops a slot's earlier change while keeping its later one, misattributing the slot's first recorded change to a later transaction than the one that made it.

Two transactions each write storage slot 0 of the same contract via the transaction's call value. The BAL is corrupted by removing only the first transaction's slot_changes entry for slot 0, leaving the second transaction's entry as the slot's only recorded change.

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

@pytest.mark.valid_from("Amsterdam")
@pytest.mark.exception_test
def test_bal_invalid_omitted_slot_change_at_index(
    blockchain_test: BlockchainTestFiller,
    pre: Alloc,
) -> None:
    """
    Test that clients reject a BAL that drops a slot's earlier change
    while keeping its later one, misattributing the slot's first
    recorded change to a later transaction than the one that made it.

    Two transactions each write storage slot 0 of the same contract via
    the transaction's call value. The BAL is corrupted by removing only
    the first transaction's slot_changes entry for slot 0, leaving the
    second transaction's entry as the slot's only recorded change.
    """
    alice = pre.fund_eoa()
    writer = pre.deploy_contract(code=Op.SSTORE(0, Op.CALLVALUE))

    tx1 = Transaction(sender=alice, to=writer, value=1)
    tx2 = Transaction(sender=alice, to=writer, value=2)

    blockchain_test(
        pre=pre,
        # The block reverts and the post state remains unchanged.
        post=pre,
        blocks=[
            Block(
                txs=[tx1, tx2],
                # Clients that execute against the declared BAL see gas
                # diverge before the BAL comparison (e.g. geth, reth).
                exception=[
                    BlockException.INVALID_BLOCK_ACCESS_LIST,
                    BlockException.INVALID_GAS_USED,
                ],
                expected_block_access_list=BlockAccessListExpectation(
                    account_expectations={
                        alice: BalAccountExpectation(
                            nonce_changes=[
                                BalNonceChange(
                                    block_access_index=1, post_nonce=1
                                ),
                                BalNonceChange(
                                    block_access_index=2, post_nonce=2
                                ),
                            ],
                        ),
                        writer: BalAccountExpectation(
                            balance_changes=[
                                BalBalanceChange(
                                    block_access_index=1, post_balance=1
                                ),
                                BalBalanceChange(
                                    block_access_index=2, post_balance=3
                                ),
                            ],
                            storage_changes=[
                                BalStorageSlot(
                                    slot=0,
                                    slot_changes=[
                                        BalStorageChange(
                                            block_access_index=1,
                                            post_value=1,
                                        ),
                                        BalStorageChange(
                                            block_access_index=2,
                                            post_value=2,
                                        ),
                                    ],
                                ),
                            ],
                        ),
                    }
                ).modify(
                    remove_slot_change(writer, slot=0, block_access_index=1)
                ),
            )
        ],
    )

Parametrized Test Cases

This test generates 1 parametrized test case across 1 fork.