diff --git a/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1add.py b/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1add.py index 82d41f525a2..c7c7db4b5d9 100644 --- a/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1add.py +++ b/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1add.py @@ -139,6 +139,14 @@ def test_valid( b"", id="zero_length_input", ), + pytest.param( + Spec.G1, + id="only_one_point", + ), + pytest.param( + Spec.G2 + Spec.G2, + id="g2_points", + ), ], ) @pytest.mark.parametrize("expected_output", [Spec.INVALID], ids=[""]) diff --git a/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1msm.py b/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1msm.py index 06db6666dd8..ee0e5c8513b 100644 --- a/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1msm.py +++ b/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1msm.py @@ -90,6 +90,10 @@ def test_valid( Spec.P1_NOT_IN_SUBGROUP_TIMES_2 + Scalar(Spec.Q), id="not_in_subgroup_2", ), + pytest.param( + Spec.G1, + id="bls_g1_truncated_input", + ), ], # Input length tests can be found in ./test_bls12_variable_length_input_contracts.py ) diff --git a/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2add.py b/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2add.py index 977a7278934..ab96f72fed4 100644 --- a/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2add.py +++ b/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2add.py @@ -145,6 +145,14 @@ def test_valid( b"", id="zero_length_input", ), + pytest.param( + Spec.G2, + id="only_one_point", + ), + pytest.param( + Spec.G1 + Spec.G1, + id="g1_points", + ), ], ) @pytest.mark.parametrize("expected_output", [Spec.INVALID], ids=[""]) diff --git a/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2msm.py b/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2msm.py index edd46ed2000..7516fc0ccb5 100644 --- a/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2msm.py +++ b/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2msm.py @@ -83,6 +83,10 @@ def test_valid( Spec.P2_NOT_IN_SUBGROUP + Scalar(1), id="bls_g2mul_not_in_subgroup", ), + pytest.param( + Spec.G2, + id="bls_g2_truncated_input", + ), # Input length tests can be found in ./test_bls12_variable_length_input_contracts.py ], ) diff --git a/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_map_fp2_to_g2.py b/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_map_fp2_to_g2.py index d8ee1bd8515..c8ed789cd1b 100644 --- a/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_map_fp2_to_g2.py +++ b/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_map_fp2_to_g2.py @@ -87,6 +87,7 @@ def test_valid( pytest.param(FP2((0, Spec.P)), id="fq_eq_q_2"), pytest.param(FP2((2**512 - 1, 0)), id="fq_eq_2_512_minus_1"), pytest.param(FP2((0, 2**512 - 1)), id="fq_eq_2_512_minus_1_2"), + pytest.param(Spec.G2, id="g2_input"), ], ) @pytest.mark.parametrize("expected_output", [Spec.INVALID], ids=[""]) diff --git a/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_map_fp_to_g1.py b/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_map_fp_to_g1.py index 378f60ba076..e2ff93071b8 100644 --- a/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_map_fp_to_g1.py +++ b/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_map_fp_to_g1.py @@ -73,6 +73,7 @@ def test_valid( pytest.param(b"", id="zero_length_input"), pytest.param(FP(Spec.P), id="fq_eq_q"), pytest.param(FP(2**512 - 1), id="fq_eq_2_512_minus_1"), + pytest.param(Spec.G1, id="g1_point_input"), ], ) @pytest.mark.parametrize("expected_output", [Spec.INVALID], ids=[""])