test_worst_tstore()

Documentation for tests/zkevm/test_worst_compute.py::test_worst_tstore@64f949d0.

Generate fixtures for these test cases for Prague with:

fill -v tests/zkevm/test_worst_compute.py::test_worst_tstore --fork Prague

Test running a block with as many TSTORE calls as possible.

Source code in tests/zkevm/test_worst_compute.py

@pytest.mark.valid_from("Cancun")
@pytest.mark.parametrize("key_mut", [True, False])
@pytest.mark.parametrize("dense_val_mut", [True, False])
def test_worst_tstore(
    state_test: StateTestFiller,
    fork: Fork,
    pre: Alloc,
    key_mut: bool,
    dense_val_mut: bool,
):
    """Test running a block with as many TSTORE calls as possible."""
    env = Environment()
    max_code_size = fork.max_code_size()

    init_key = 42
    code_prefix = Op.PUSH1(init_key) + Op.JUMPDEST

    # If `key_mut` is True, we mutate the key on every iteration of the big loop.
    code_key_mut = Op.POP + Op.GAS if key_mut else Bytecode()
    code_suffix = code_key_mut + Op.JUMP(len(code_prefix) - 1)

    # If `dense_val_mut` is set, we use GAS as a cheap way of always storing a different value than
    # the previous one.
    loop_iter = Op.TSTORE(Op.DUP2, Op.GAS if dense_val_mut else Op.DUP1)

    code_body_len = (max_code_size - len(code_prefix) - len(code_suffix)) // len(loop_iter)
    code_body = loop_iter * code_body_len
    code = code_prefix + code_body + code_suffix
    assert len(code) <= max_code_size

    tx = Transaction(
        to=pre.deploy_contract(code),
        gas_limit=env.gas_limit,
        sender=pre.fund_eoa(),
    )

    state_test(
        env=env,
        pre=pre,
        post={},
        tx=tx,
    )

Parametrized Test Cases

The interactive table below is also available as a standalone page.

Fork All Forks Cancun Prague Osaka

Fixture Type All Fixture Types state_test blockchain_test

Test ID (Abbreviated)	dense_val_mut	key_mut
...fork_Cancun-state_test-dense_val_mut_True-key_mut_True	True	True
...fork_Cancun-state_test-dense_val_mut_True-key_mut_False	True	False
...fork_Cancun-state_test-dense_val_mut_False-key_mut_True	False	True
...fork_Cancun-state_test-dense_val_mut_False-key_mut_False	False	False
...fork_Cancun-blockchain_test_from_state_test-dense_val_mut_True-key_mut_True	True	True
...fork_Cancun-blockchain_test_from_state_test-dense_val_mut_True-key_mut_False	True	False
...fork_Cancun-blockchain_test_from_state_test-dense_val_mut_False-key_mut_True	False	True
...fork_Cancun-blockchain_test_from_state_test-dense_val_mut_False-key_mut_False	False	False
...fork_Prague-state_test-dense_val_mut_True-key_mut_True	True	True
...fork_Prague-state_test-dense_val_mut_True-key_mut_False	True	False
...fork_Prague-state_test-dense_val_mut_False-key_mut_True	False	True
...fork_Prague-state_test-dense_val_mut_False-key_mut_False	False	False
...fork_Prague-blockchain_test_from_state_test-dense_val_mut_True-key_mut_True	True	True
...fork_Prague-blockchain_test_from_state_test-dense_val_mut_True-key_mut_False	True	False
...fork_Prague-blockchain_test_from_state_test-dense_val_mut_False-key_mut_True	False	True
...fork_Prague-blockchain_test_from_state_test-dense_val_mut_False-key_mut_False	False	False
...fork_Osaka-state_test-dense_val_mut_True-key_mut_True	True	True
...fork_Osaka-state_test-dense_val_mut_True-key_mut_False	True	False
...fork_Osaka-state_test-dense_val_mut_False-key_mut_True	False	True
...fork_Osaka-state_test-dense_val_mut_False-key_mut_False	False	False
...fork_Osaka-blockchain_test_from_state_test-dense_val_mut_True-key_mut_True	True	True
...fork_Osaka-blockchain_test_from_state_test-dense_val_mut_True-key_mut_False	True	False
...fork_Osaka-blockchain_test_from_state_test-dense_val_mut_False-key_mut_True	False	True
...fork_Osaka-blockchain_test_from_state_test-dense_val_mut_False-key_mut_False	False	False