Skip to content

test_valid()

Documentation for tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1msm.py::test_valid@ffe48572.

Generate fixtures for these test cases for Bogota with:

fill -v tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1msm.py::test_valid --fork Bogota

Test valid calls to the BLS12_G1MSM precompile.

Source code in tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1msm.py 
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
@pytest.mark.parametrize(
    "input_data,expected_output,vector_gas_value",
    # Test vectors from the reference spec (from the cryptography team)
    vectors_from_file("msm_G1_bls.json")
    + [
        # Multiple pair scalar multiplication cases.
        pytest.param(
            Spec.G1 + Scalar(1) + Spec.INF_G1 + Scalar(1),
            Spec.G1,
            None,
            id="g1_plus_inf",
        ),
        pytest.param(
            Spec.G1
            + Scalar(0)
            + Spec.P1
            + Scalar(0)
            + Spec.INF_G1
            + Scalar(0),
            Spec.INF_G1,
            None,
            id="all_zero_scalars",
        ),
        pytest.param(
            Spec.G1 + Scalar(1) + (-Spec.G1) + Scalar(1),
            Spec.INF_G1,
            None,
            id="sum_to_identity_opposite",
        ),
        pytest.param(
            Spec.G1 + Scalar(Spec.Q - 1) + Spec.G1 + Scalar(1),
            Spec.INF_G1,
            None,
            id="scalars_sum_to_q",
        ),
        pytest.param(
            Spec.G1
            + Scalar(1)
            + Spec.G1
            + Scalar(0)
            + Spec.INF_G1
            + Scalar(5),
            Spec.G1,
            None,
            id="combined_basic_cases",
        ),
        pytest.param(
            Spec.G1 + Scalar(1) + Spec.INF_G1 + Scalar(500),
            Spec.G1,
            None,
            id="identity_with_large_scalar",
        ),
        pytest.param(
            Spec.G1 + Scalar(0) + Spec.P1 + Scalar(0) + (-Spec.G1) + Scalar(0),
            Spec.INF_G1,
            None,
            id="multiple_points_zero_scalar",
        ),
        pytest.param(  # Scalar above Q with bit 255 set on the multi-pair path
            Spec.G1
            + Scalar(2**256 - 1)
            + Spec.G1
            + Scalar(Spec.Q - (2**256 - 1) % Spec.Q),
            Spec.INF_G1,
            None,
            id="max_scalar_sum_to_identity",
        ),
        # Cases with maximum discount table (test vector for gas cost
        # calculation)
        pytest.param(
            (Spec.P1 + Scalar(Spec.Q)) * (len(Spec.G1MSM_DISCOUNT_TABLE) - 1),
            Spec.INF_G1,
            None,
            id="max_discount",
        ),
        pytest.param(
            (Spec.P1 + Scalar(Spec.Q)) * len(Spec.G1MSM_DISCOUNT_TABLE),
            Spec.INF_G1,
            None,
            id="max_discount_plus_1",
        ),
    ],
)
@pytest.mark.slow()
def test_valid(
    state_test: StateTestFiller,
    pre: Alloc,
    post: dict,
    tx: Transaction,
) -> None:
    """Test valid calls to the BLS12_G1MSM precompile."""
    state_test(
        env=Environment(),
        pre=pre,
        tx=tx,
        post=post,
    )

Parametrized Test Cases

This test generates 173 parametrized test cases across 4 forks.