Skip to content

test_invalid_history_contract_calls()

Documentation for tests/prague/eip2935_historical_block_hashes_from_state/test_block_hashes.py::test_invalid_history_contract_calls@008e492e.

Generate fixtures for these test cases for Prague with:

fill -v tests/prague/eip2935_historical_block_hashes_from_state/test_block_hashes.py::test_invalid_history_contract_calls --fork Prague

Test calling the history contract with invalid block numbers, such as blocks from the future or overflowing block numbers.

Also test the BLOCKHASH opcode with the same block numbers, which should not affect the behavior of the opcode, even after verkle.

Source code in tests/prague/eip2935_historical_block_hashes_from_state/test_block_hashes.py
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
@pytest.mark.parametrize(
    "block_number,reverts",
    [
        pytest.param(1, True, id="current_block"),
        pytest.param(2, True, id="future_block"),
        pytest.param(2**64 - 1, True, id="2**64-1"),
        pytest.param(2**64, True, id="2**64"),
    ],
)
@pytest.mark.valid_from("Prague")
def test_invalid_history_contract_calls(
    blockchain_test: BlockchainTestFiller,
    pre: Alloc,
    block_number: int,
    reverts: bool,
):
    """
    Test calling the history contract with invalid block numbers, such as blocks from the future
    or overflowing block numbers.

    Also test the BLOCKHASH opcode with the same block numbers, which should not affect the
    behavior of the opcode, even after verkle.
    """
    storage = Storage()

    return_code_slot = storage.store_next(not reverts)
    returned_block_hash_slot = storage.store_next(0)
    block_hash_opcode_slot = storage.store_next(0)

    return_offset = 64
    return_size = 32
    args_size = 32

    # Check the first block outside of the window if any
    code = (
        Op.MSTORE(0, block_number)
        + Op.SSTORE(
            return_code_slot,
            Op.CALL(
                address=Spec.HISTORY_STORAGE_ADDRESS,
                args_offset=0,
                args_size=args_size,
                ret_offset=return_offset,
                ret_size=return_size,
            ),
        )
        + Op.SSTORE(returned_block_hash_slot, Op.MLOAD(return_offset))
        + Op.SSTORE(block_hash_opcode_slot, Op.BLOCKHASH(block_number))
    )
    check_contract_address = pre.deploy_contract(code, storage=storage.canary())

    txs = [
        Transaction(
            to=check_contract_address,
            gas_limit=10_000_000,
            sender=pre.fund_eoa(),
        )
    ]
    post = {check_contract_address: Account(storage=storage)}

    blocks = [Block(txs=txs)]
    blockchain_test(
        pre=pre,
        blocks=blocks,
        post=post,
        reverts=reverts,
    )

Parametrized Test Cases

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

Test ID (Abbreviated) block_number reverts
...fork_Prague-blockchain_test-current_block 1 True
...fork_Prague-blockchain_test-future_block 2 True
...fork_Prague-blockchain_test-2**64-1 18446744073709551615 True
...fork_Prague-blockchain_test-2**64 18446744073709551616 True
...fork_Osaka-blockchain_test-current_block 1 True
...fork_Osaka-blockchain_test-future_block 2 True
...fork_Osaka-blockchain_test-2**64-1 18446744073709551615 True
...fork_Osaka-blockchain_test-2**64 18446744073709551616 True