test_tx_entry_point()

Documentation for tests/cancun/eip4844_blobs/test_point_evaluation_precompile.py::test_tx_entry_point@verkle@v0.0.6.

Generate fixtures for these test cases for Cancun with:

Cancun only:

fill -v tests/cancun/eip4844_blobs/test_point_evaluation_precompile.py::test_tx_entry_point --fork=Cancun --evm-bin=/path/to/evm-tool-dev-version

For all forks up to and including Cancun:

fill -v tests/cancun/eip4844_blobs/test_point_evaluation_precompile.py::test_tx_entry_point --until=Cancun

Test calling the Point Evaluation Precompile directly as transaction entry point, and measure the gas consumption.

• Using gas_limit with exact necessary gas, insufficient gas and extra gas.
• Using correct and incorrect proofs

Source code in tests/cancun/eip4844_blobs/test_point_evaluation_precompile.py

@pytest.mark.parametrize(
    "call_gas",
    [
        (Spec.POINT_EVALUATION_PRECOMPILE_GAS),
        (Spec.POINT_EVALUATION_PRECOMPILE_GAS + 1),
        (Spec.POINT_EVALUATION_PRECOMPILE_GAS - 1),
    ],
    ids=["exact_gas", "extra_gas", "insufficient_gas"],
)
@pytest.mark.parametrize(
    "z,y,kzg_commitment,kzg_proof,versioned_hash,proof_correct",
    [
        [Z, 0, INF_POINT, INF_POINT, None, True],
        [Z, 1, INF_POINT, INF_POINT, None, False],
    ],
    ids=["correct_proof", "incorrect_proof"],
)
@pytest.mark.valid_from("Cancun")
def test_tx_entry_point(
    state_test: StateTestFiller,
    precompile_input: bytes,
    call_gas: int,
    pre: Alloc,
    proof_correct: bool,
):
    """
    Test calling the Point Evaluation Precompile directly as
    transaction entry point, and measure the gas consumption.

    - Using `gas_limit` with exact necessary gas, insufficient gas and extra gas.
    - Using correct and incorrect proofs
    """
    start_balance = 10**18
    sender = pre.fund_eoa(amount=start_balance)

    # Gas is appended the intrinsic gas cost of the transaction
    intrinsic_gas_cost = 21_000 + eip_2028_transaction_data_cost(precompile_input)

    # Consumed gas will only be the precompile gas if the proof is correct and
    # the call gas is sufficient.
    # Otherwise, the call gas will be consumed in full.
    consumed_gas = (
        Spec.POINT_EVALUATION_PRECOMPILE_GAS
        if call_gas >= Spec.POINT_EVALUATION_PRECOMPILE_GAS and proof_correct
        else call_gas
    ) + intrinsic_gas_cost

    fee_per_gas = 7

    tx = Transaction(
        sender=sender,
        data=precompile_input,
        to=Address(Spec.POINT_EVALUATION_PRECOMPILE_ADDRESS),
        gas_limit=call_gas + intrinsic_gas_cost,
        gas_price=fee_per_gas,
    )

    post = {
        sender: Account(
            nonce=1,
            balance=start_balance - (consumed_gas * fee_per_gas),
        )
    }

    state_test(
        env=Environment(),
        pre=pre,
        post=post,
        tx=tx,
    )

Parametrized Test Cases

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

Skipped Parameters

For more concise readability, the table below does not list the following parameter values: fork, blockchain_test, state_test, state_test_only, eof_test, eof_state_test.

Test ID	z	y	kzg_commitment	kzg_proof	versioned_hash	proof_correct	call_gas
correct_proof-exact_gas	44434237462617176941757081182233388991875531411361848851531703873752436619102	0	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	None	True	50000
correct_proof-extra_gas	44434237462617176941757081182233388991875531411361848851531703873752436619102	0	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	None	True	50001
correct_proof-insufficient_gas	44434237462617176941757081182233388991875531411361848851531703873752436619102	0	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	None	True	49999
incorrect_proof-exact_gas	44434237462617176941757081182233388991875531411361848851531703873752436619102	1	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	None	False	50000
incorrect_proof-extra_gas	44434237462617176941757081182233388991875531411361848851531703873752436619102	1	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	None	False	50001
incorrect_proof-insufficient_gas	44434237462617176941757081182233388991875531411361848851531703873752436619102	1	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	None	False	49999
correct_proof-exact_gas	44434237462617176941757081182233388991875531411361848851531703873752436619102	0	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	None	True	50000
correct_proof-extra_gas	44434237462617176941757081182233388991875531411361848851531703873752436619102	0	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	None	True	50001
correct_proof-insufficient_gas	44434237462617176941757081182233388991875531411361848851531703873752436619102	0	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	None	True	49999
incorrect_proof-exact_gas	44434237462617176941757081182233388991875531411361848851531703873752436619102	1	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	None	False	50000
incorrect_proof-extra_gas	44434237462617176941757081182233388991875531411361848851531703873752436619102	1	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	None	False	50001
incorrect_proof-insufficient_gas	44434237462617176941757081182233388991875531411361848851531703873752436619102	1	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	c0000000000000000000000000000000 00000000000000000000000000000000 00000000000000000000000000000000	None	False	49999