test_valid_gas_pairing()

Documentation for tests/prague/eip2537_bls_12_381_precompiles/test_bls12_variable_length_input_contracts.py::test_valid_gas_pairing@verkle@v0.0.6.

Generate fixtures for these test cases for Prague with:

Prague only:

fill -v tests/prague/eip2537_bls_12_381_precompiles/test_bls12_variable_length_input_contracts.py::test_valid_gas_pairing --fork=Prague --evm-bin=/path/to/evm-tool-dev-version

For all forks up to and including Prague:

fill -v tests/prague/eip2537_bls_12_381_precompiles/test_bls12_variable_length_input_contracts.py::test_valid_gas_pairing --until=Prague

Test the BLS12_PAIRING precompile, by expecting the call to succeed for all possible input lengths (up to k == PAIRINGS_TO_TEST).

If any of the calls fails, the test will fail.

Source code in tests/prague/eip2537_bls_12_381_precompiles/test_bls12_variable_length_input_contracts.py

@pytest.mark.parametrize(
    "precompile_gas_list,precompile_data_length_list",
    [
        pytest.param(
            [PAIRING_GAS(i * Spec.LEN_PER_PAIR) for i in range(1, PAIRINGS_TO_TEST + 1)],
            [i * Spec.LEN_PER_PAIR for i in range(1, PAIRINGS_TO_TEST + 1)],
            id="sufficient_gas",
        ),
        pytest.param(
            [PAIRING_GAS(i * Spec.LEN_PER_PAIR) + 1 for i in range(1, PAIRINGS_TO_TEST + 1)],
            [i * Spec.LEN_PER_PAIR for i in range(1, PAIRINGS_TO_TEST + 1)],
            id="extra_gas",
        ),
    ],
)
@pytest.mark.parametrize("expected_output", [Spec.PAIRING_TRUE], ids=[""])
@pytest.mark.parametrize("tx_gas_limit", [100_000_000], ids=[""])
@pytest.mark.parametrize("precompile_address", [Spec.PAIRING])
def test_valid_gas_pairing(
    state_test: StateTestFiller,
    pre: Alloc,
    post: dict,
    tx: Transaction,
):
    """
    Test the BLS12_PAIRING precompile, by expecting the call to succeed for all possible input
    lengths (up to k == PAIRINGS_TO_TEST).

    If any of the calls fails, the test will fail.
    """
    state_test(
        env=Environment(),
        pre=pre,
        tx=tx,
        post=post,
    )

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	precompile_address	tx_gas_limit	expected_output	precompile_gas_list	precompile_data_length_list
precompile_address_17---sufficient_gas	17	100000000	00000000000000000000000000000000 00000000000000000000000000000001	[108000, 151000, 194000, 237000, 280000, 323000, 366000, 409000, 452000, 495000, 538000, 581000, 624000, 667000, 710000, 753000, 796000, 839000, 882000, 925000]	[384, 768, 1152, 1536, 1920, 2304, 2688, 3072, 3456, 3840, 4224, 4608, 4992, 5376, 5760, 6144, 6528, 6912, 7296, 7680]
precompile_address_17---extra_gas	17	100000000	00000000000000000000000000000000 00000000000000000000000000000001	[108001, 151001, 194001, 237001, 280001, 323001, 366001, 409001, 452001, 495001, 538001, 581001, 624001, 667001, 710001, 753001, 796001, 839001, 882001, 925001]	[384, 768, 1152, 1536, 1920, 2304, 2688, 3072, 3456, 3840, 4224, 4608, 4992, 5376, 5760, 6144, 6528, 6912, 7296, 7680]
precompile_address_17---sufficient_gas	17	100000000	00000000000000000000000000000000 00000000000000000000000000000001	[108000, 151000, 194000, 237000, 280000, 323000, 366000, 409000, 452000, 495000, 538000, 581000, 624000, 667000, 710000, 753000, 796000, 839000, 882000, 925000]	[384, 768, 1152, 1536, 1920, 2304, 2688, 3072, 3456, 3840, 4224, 4608, 4992, 5376, 5760, 6144, 6528, 6912, 7296, 7680]
precompile_address_17---extra_gas	17	100000000	00000000000000000000000000000000 00000000000000000000000000000001	[108001, 151001, 194001, 237001, 280001, 323001, 366001, 409001, 452001, 495001, 538001, 581001, 624001, 667001, 710001, 753001, 796001, 839001, 882001, 925001]	[384, 768, 1152, 1536, 1920, 2304, 2688, 3072, 3456, 3840, 4224, 4608, 4992, 5376, 5760, 6144, 6528, 6912, 7296, 7680]