Test Blobgasfee Opcode

Documentation for tests/cancun/eip7516_blobgasfee/test_blobgasfee_opcode.py.

Generate fixtures for these test cases with:

fill -v tests/cancun/eip7516_blobgasfee/test_blobgasfee_opcode.py

Tests EIP-7516: BLOBBASEFEE opcode

Test BLOBGASFEE opcode EIP-7516: BLOBBASEFEE opcode

test_blobbasefee_stack_overflow(state_test, pre, tx, call_fails)

Tests that the BLOBBASEFEE opcode produces a stack overflow by using it repeatedly.

Source code in tests/cancun/eip7516_blobgasfee/test_blobgasfee_opcode.py

@pytest.mark.parametrize(
    "callee_code,call_fails",
    [
        pytest.param(Op.BLOBBASEFEE * 1024, False, id="no_stack_overflow"),
        pytest.param(Op.BLOBBASEFEE * 1025, True, id="stack_overflow"),
    ],
)
@pytest.mark.valid_from("Cancun")
def test_blobbasefee_stack_overflow(
    state_test: StateTestFiller,
    pre: Alloc,
    tx: Transaction,
    call_fails: bool,
):
    """
    Tests that the BLOBBASEFEE opcode produces a stack overflow by using it repeatedly.
    """
    post = {
        code_caller_address: Account(
            storage={1: 0 if call_fails else 1},
        ),
        code_callee_address: Account(
            balance=0,
        ),
    }
    state_test(
        env=Environment(),
        pre=pre,
        tx=tx,
        post=post,
    )

test_blobbasefee_out_of_gas(state_test, pre, tx, call_fails)

Tests that the BLOBBASEFEE opcode fails with insufficient gas.

Source code in tests/cancun/eip7516_blobgasfee/test_blobgasfee_opcode.py

@pytest.mark.parametrize(
    "call_gas,call_fails",
    [
        pytest.param(BLOBBASEFEE_GAS, False, id="enough_gas"),
        pytest.param(BLOBBASEFEE_GAS - 1, True, id="out_of_gas"),
    ],
)
@pytest.mark.valid_from("Cancun")
def test_blobbasefee_out_of_gas(
    state_test: StateTestFiller,
    pre: Alloc,
    tx: Transaction,
    call_fails: bool,
):
    """
    Tests that the BLOBBASEFEE opcode fails with insufficient gas.
    """
    post = {
        code_caller_address: Account(
            storage={1: 0 if call_fails else 1},
        ),
        code_callee_address: Account(
            balance=0,
        ),
    }
    state_test(
        env=Environment(),
        pre=pre,
        tx=tx,
        post=post,
    )

test_blobbasefee_before_fork(state_test, pre, tx)

Tests that the BLOBBASEFEE opcode results on exception when called before the fork.

Source code in tests/cancun/eip7516_blobgasfee/test_blobgasfee_opcode.py

@pytest.mark.valid_at_transition_to("Cancun")
def test_blobbasefee_before_fork(
    state_test: StateTestFiller,
    pre: Alloc,
    tx: Transaction,
):
    """
    Tests that the BLOBBASEFEE opcode results on exception when called before the fork.
    """
    # Fork happens at timestamp 15_000
    timestamp = 7_500
    code_caller_account = pre[code_caller_address]
    assert code_caller_account is not None
    pre[code_caller_address] = code_caller_account.copy(
        storage={1: 1},
    )
    post = {
        code_caller_address: Account(
            storage={1: 0},
        ),
        code_callee_address: Account(
            balance=0,
        ),
    }
    state_test(
        env=Environment(
            timestamp=timestamp,
        ),
        pre=pre,
        tx=tx,
        post=post,
    )

test_blobbasefee_during_fork(blockchain_test, pre, tx)

Tests that the BLOBBASEFEE opcode results on exception when called before the fork and succeeds when called after the fork.

Source code in tests/cancun/eip7516_blobgasfee/test_blobgasfee_opcode.py

@pytest.mark.valid_at_transition_to("Cancun")
def test_blobbasefee_during_fork(
    blockchain_test: BlockchainTestFiller,
    pre: Alloc,
    tx: Transaction,
):
    """
    Tests that the BLOBBASEFEE opcode results on exception when called before the fork and
    succeeds when called after the fork.
    """
    code_caller_pre_storage = Storage()
    code_caller_post_storage = Storage()

    nonce = count(0)

    timestamps = [7_500, 14_999, 15_000]

    blocks = []

    for block_number, timestamp in enumerate(timestamps, start=1):
        blocks.append(
            Block(
                txs=[tx.with_nonce(next(nonce))],
                timestamp=timestamp,
            ),
        )
        # pre-set storage just to make sure we detect the change
        code_caller_pre_storage[block_number] = 0xFF
        code_caller_post_storage[block_number] = 0 if timestamp < 15_000 else 1

    code_caller_account = pre[code_caller_address]
    assert code_caller_account is not None
    pre[code_caller_address] = code_caller_account.copy(
        storage=code_caller_pre_storage,
    )
    post = {
        code_caller_address: Account(
            storage=code_caller_post_storage,
        ),
        code_callee_address: Account(
            balance=0,
        ),
    }
    blockchain_test(
        genesis_environment=Environment(),
        pre=pre,
        blocks=blocks,
        post=post,
    )