@@ -2808,10 +2808,23 @@ def case18_fail_pairing_check():
2808
2808
"Name" : "bls_pairing_e(G1_not_on_curve,-G2)=e(-G1,G2)"
2809
2809
},
2810
2810
{
2811
- "Input" : int_to_hex (int (G1 [0 ]), 64 ) + (int_to_hex (int (G1 [1 ]), 64 )) + int_to_hex (int (G2 [0 ].coeffs [0 ]), 64 ) + int_to_hex (
2812
- int (P2 [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 (
2813
- int (G1 [0 ]), 64 ) + (int_to_hex (int (G1 [1 ]), 64 )) + int_to_hex (int (neg (G2 )[0 ].coeffs [0 ]), 64 ) + int_to_hex (
2814
- 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 ),
2811
+ "Input" : ""
2812
+ # G1 point 1
2813
+ + int_to_hex (int (G1 [0 ]), 64 )
2814
+ + int_to_hex (int (G1 [1 ]), 64 )
2815
+ # G2 point 1 (not on curve)
2816
+ + int_to_hex (int (G2 [0 ].coeffs [0 ]), 64 )
2817
+ + int_to_hex (int (P2 [0 ].coeffs [1 ]), 64 )
2818
+ + int_to_hex (int (G2 [1 ].coeffs [0 ]), 64 )
2819
+ + int_to_hex (int (G2 [1 ].coeffs [1 ]), 64 )
2820
+ # G1 point 2
2821
+ + int_to_hex (int (G1 [0 ]), 64 )
2822
+ + int_to_hex (int (G1 [1 ]), 64 )
2823
+ # G2 point 2
2824
+ + int_to_hex (int (neg (G2 )[0 ].coeffs [0 ]), 64 )
2825
+ + int_to_hex (int (neg (G2 )[0 ].coeffs [1 ]), 64 )
2826
+ + int_to_hex (int (neg (G2 )[1 ].coeffs [0 ]), 64 )
2827
+ + int_to_hex (int (neg (G2 )[1 ].coeffs [1 ]), 64 ),
2815
2828
"ExpectedError" : "invalid point: not on curve" ,
2816
2829
"Name" : "bls_pairing_e(G1,G2_not_on_curve)=e(-G1,G2)"
2817
2830
},
0 commit comments