@@ -2730,7 +2730,7 @@ def case18_fail_pairing_check():
2730
2730
# G1 point 2
2731
2731
+ int_to_hex (int (G1 [0 ]), 64 )
2732
2732
+ int_to_hex (int (G1 [1 ]), 64 )
2733
- # G1 point 2
2733
+ # G2 point 2
2734
2734
+ int_to_hex (int (neg (G2 )[0 ].coeffs [0 ]), 64 )
2735
2735
+ int_to_hex (int (neg (G2 )[0 ].coeffs [1 ]), 64 )
2736
2736
+ int_to_hex (int (neg (G2 )[1 ].coeffs [0 ]), 64 )
@@ -2787,10 +2787,23 @@ def case18_fail_pairing_check():
2787
2787
"Name" : "bls_pairing_e(G1,G2_not_on_curve)" ,
2788
2788
},
2789
2789
{
2790
- "Input" : int_to_hex (int (G1 [0 ]), 64 ) + (int_to_hex (int (P1 [1 ]), 64 )) + int_to_hex (int (G2 [0 ].coeffs [0 ]), 64 ) + int_to_hex (
2791
- int (G2 [0 ].coeffs [1 ]), 64 ) + int_to_hex (int (G2 [1 ].coeffs [0 ]), 64 ) + int_to_hex (int (G2 [1 ].coeffs [1 ]), 64 ) + int_to_hex (
2792
- int (G1 [0 ]), 64 ) + (int_to_hex (int (G1 [1 ]), 64 )) + int_to_hex (int (neg (G2 )[0 ].coeffs [0 ]), 64 ) + int_to_hex (
2793
- int (neg (G2 )[0 ].coeffs [1 ]), 64 ) + int_to_hex (int (neg (G2 )[1 ].coeffs [0 ]), 64 ) + int_to_hex (int (neg (G2 )[1 ].coeffs [1 ]), 64 ),
2790
+ "Input" : ""
2791
+ # G1 point (not on curve)
2792
+ + int_to_hex (int (G1 [0 ]), 64 )
2793
+ + int_to_hex (int (P1 [1 ]), 64 )
2794
+ # G2 point 1
2795
+ + int_to_hex (int (G2 [0 ].coeffs [0 ]), 64 )
2796
+ + int_to_hex (int (G2 [0 ].coeffs [1 ]), 64 )
2797
+ + int_to_hex (int (G2 [1 ].coeffs [0 ]), 64 )
2798
+ + int_to_hex (int (G2 [1 ].coeffs [1 ]), 64 )
2799
+ # G1 point 2
2800
+ + int_to_hex (int (G1 [0 ]), 64 )
2801
+ + int_to_hex (int (G1 [1 ]), 64 )
2802
+ # G2 point 2
2803
+ + int_to_hex (int (neg (G2 )[0 ].coeffs [0 ]), 64 )
2804
+ + int_to_hex (int (neg (G2 )[0 ].coeffs [1 ]), 64 )
2805
+ + int_to_hex (int (neg (G2 )[1 ].coeffs [0 ]), 64 )
2806
+ + int_to_hex (int (neg (G2 )[1 ].coeffs [1 ]), 64 ),
2794
2807
"ExpectedError" : "invalid point: not on curve" ,
2795
2808
"Name" : "bls_pairing_e(G1_not_on_curve,-G2)=e(-G1,G2)"
2796
2809
},
0 commit comments