@@ -2877,10 +2877,23 @@ def case18_fail_pairing_check():
2877
2877
"Name" : "bls_pairing_e(G1,G2_not_in_correct_subgroup)" ,
2878
2878
},
2879
2879
{
2880
- "Input" : int_to_hex (int (G1_wrong_order [0 ]), 64 ) + (int_to_hex (int (G1_wrong_order [1 ]), 64 )) + int_to_hex (int (G2 [0 ].coeffs [0 ]), 64 ) + int_to_hex (
2881
- 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 (
2882
- int (G1 [0 ]), 64 ) + (int_to_hex (int (G1 [1 ]), 64 )) + int_to_hex (int (neg (G2 )[0 ].coeffs [0 ]), 64 ) + int_to_hex (
2883
- 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 ),
2880
+ "Input" : ""
2881
+ # G1 point 1 (not in the correct subgroup)
2882
+ + int_to_hex (int (G1_wrong_order [0 ]), 64 )
2883
+ + int_to_hex (int (G1_wrong_order [1 ]), 64 )
2884
+ # G2 point 1
2885
+ + int_to_hex (int (G2 [0 ].coeffs [0 ]), 64 )
2886
+ + int_to_hex (int (G2 [0 ].coeffs [1 ]), 64 )
2887
+ + int_to_hex (int (G2 [1 ].coeffs [0 ]), 64 )
2888
+ + int_to_hex (int (G2 [1 ].coeffs [1 ]), 64 )
2889
+ # G1 point 2
2890
+ + int_to_hex (int (G1 [0 ]), 64 )
2891
+ + int_to_hex (int (G1 [1 ]), 64 )
2892
+ # G2 point 2
2893
+ + int_to_hex (int (neg (G2 )[0 ].coeffs [0 ]), 64 )
2894
+ + int_to_hex (int (neg (G2 )[0 ].coeffs [1 ]), 64 )
2895
+ + int_to_hex (int (neg (G2 )[1 ].coeffs [0 ]), 64 )
2896
+ + int_to_hex (int (neg (G2 )[1 ].coeffs [1 ]), 64 ),
2884
2897
"ExpectedError" : "g1 point is not in the correct subgroup" ,
2885
2898
"Name" : "bls_pairing_e(G1_not_in_correct_subgroup,-G2)=e(-G1,G2)"
2886
2899
},
0 commit comments