@@ -7,34 +7,6 @@ macro_rules! test_pairing {
7
7
use ark_ff:: { CyclotomicMultSubgroup , Field , PrimeField } ;
8
8
use ark_std:: { test_rng, One , UniformRand , Zero } ;
9
9
10
- #[ test]
11
- fn test_multi_pairing_bilinearity( ) {
12
- let mut rng = test_rng( ) ;
13
- let g1: <$Pairing as Pairing >:: G1 = UniformRand :: rand( & mut rng) ;
14
- let g2: <$Pairing as Pairing >:: G2 = UniformRand :: rand( & mut rng) ;
15
- let s1: <$Pairing as Pairing >:: ScalarField = UniformRand :: rand( & mut rng) ;
16
- let s2: <$Pairing as Pairing >:: ScalarField = UniformRand :: rand( & mut rng) ;
17
- let s3 = s1 + s2;
18
-
19
- let ( p1, p2, p3) = ( g1. into_affine( ) , ( g1 * s2) . into_affine( ) , g1. into_affine( ) ) ;
20
- let ( q1, q2, q3) = (
21
- ( g2 * s1) . into_affine( ) ,
22
- g2. into_affine( ) ,
23
- ( g2 * s3) . into_affine( ) ,
24
- ) ;
25
- let e1 = <$Pairing>:: pairing( p1, q1) ;
26
- let e2 = <$Pairing>:: pairing( p2, q2) ;
27
- let e3 = <$Pairing>:: pairing( p3, q3) ;
28
- let e33 = <$Pairing>:: multi_pairing( & [ p1, p2] , & [ q1, q2] ) ;
29
- assert_eq!( e1 + e2, e3) ;
30
- assert_eq!( e3, e33) ;
31
-
32
- let e4 = <$Pairing>:: multi_pairing( & [ -p1, p2, p3] , & [ q1, q2, q3] ) ;
33
- let e5 = <$Pairing>:: multi_pairing( & [ p1, p2, -p3] , & [ q1, q2, q3] ) ;
34
- assert_eq!( e4, e5) ;
35
- assert_eq!( e4, PairingOutput :: zero( ) ) ;
36
- }
37
-
38
10
#[ test]
39
11
fn test_bilinearity_projective( ) {
40
12
for _ in 0 ..100 {
0 commit comments