feat(tests): eip-2537: Add inputs to mul precompiles

ethereum · May 17, 2024 · 2e0832e · 2e0832e
1 parent 9be500f
commit 2e0832e
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 0 deletions.
diff --git a/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1mul.py b/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g1mul.py
@@ -139,6 +139,18 @@ def test_valid(
             Spec.P1_NOT_IN_SUBGROUP + Scalar(Spec.Q),
             id="bls_g1mul_not_in_subgroup_times_q_2",
         ),
+        pytest.param(
+            Spec.G1 + Spec.G1,
+            id="bls_g1_add_input_invalid_length",
+        ),
+        pytest.param(
+            Spec.G2 + Spec.G2,
+            id="bls_g2_add_input_invalid_length",
+        ),
+        pytest.param(
+            Spec.G1,
+            id="bls_g1_truncated_input",
+        ),
     ],
 )
 @pytest.mark.parametrize("expected_output", [Spec.INVALID], ids=[""])

diff --git a/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2mul.py b/tests/prague/eip2537_bls_12_381_precompiles/test_bls12_g2mul.py
@@ -162,6 +162,18 @@ def test_valid(
             Spec.P2_NOT_IN_SUBGROUP + Scalar(Spec.Q),
             id="bls_g2mul_not_in_subgroup_times_q",
         ),
+        pytest.param(
+            Spec.G1 + Spec.G1,
+            id="bls_g1_add_input_invalid_length",
+        ),
+        pytest.param(
+            Spec.G2 + Spec.G2,
+            id="bls_g2_add_input_invalid_length",
+        ),
+        pytest.param(
+            Spec.G2,
+            id="bls_g2_truncated_input",
+        ),
     ],
 )
 @pytest.mark.parametrize("expected_output", [Spec.INVALID], ids=[""])