1use ark_ec::{AffineCurve, PairingEngine, ProjectiveCurve};
 2use ark_ff::{test_rng, Field, One, PrimeField, UniformRand};
 3use rand::Rng;
 4
 5use crate::*;
 6
 7use ark_curve_tests::{curves::*, groups::*};
 8
 9#[test]
10fn test_g1_projective_curve() {
11    curve_tests::<G1Projective>();
12
13    sw_tests::<g1::Parameters>();
14}
15
16#[test]
17fn test_g1_projective_group() {
18    let mut rng = test_rng();
19    let a: G1Projective = rng.gen();
20    let b: G1Projective = rng.gen();
21    group_test(a, b);
22}
23
24#[test]
25fn test_g1_generator() {
26    let generator = G1Affine::prime_subgroup_generator();
27    assert!(generator.is_on_curve());
28    assert!(generator.is_in_correct_subgroup_assuming_on_curve());
29}
30
31#[test]
32fn test_g2_projective_curve() {
33    curve_tests::<G2Projective>();
34
35    sw_tests::<g2::Parameters>();
36}
37
38#[test]
39fn test_g2_projective_group() {
40    let mut rng = test_rng();
41    let a: G2Projective = rng.gen();
42    let b: G2Projective = rng.gen();
43    group_test(a, b);
44}
45
46#[test]
47fn test_g2_generator() {
48    let generator = G2Affine::prime_subgroup_generator();
49    assert!(generator.is_on_curve());
50    assert!(generator.is_in_correct_subgroup_assuming_on_curve());
51}
52
53#[test]
54fn test_bilinearity() {
55    let mut rng = test_rng();
56    let a: G1Projective = rng.gen();
57    let b: G2Projective = rng.gen();
58    let s: Fr = rng.gen();
59
60    let sa = a.mul(s);
61    let sb = b.mul(s);
62
63    let ans1 = MNT4_753::pairing(sa, b);
64    let ans2 = MNT4_753::pairing(a, sb);
65    let ans3 = MNT4_753::pairing(a, b).pow(s.into_repr());
66
67    assert_eq!(ans1, ans2);
68    assert_eq!(ans2, ans3);
69
70    assert_ne!(ans1, Fq4::one());
71    assert_ne!(ans2, Fq4::one());
72    assert_ne!(ans3, Fq4::one());
73
74    assert_eq!(ans1.pow(Fr::characteristic()), Fq4::one());
75    assert_eq!(ans2.pow(Fr::characteristic()), Fq4::one());
76    assert_eq!(ans3.pow(Fr::characteristic()), Fq4::one());
77}
78
79#[test]
80fn test_product_of_pairings() {
81    let rng = &mut test_rng();
82
83    let a = G1Projective::rand(rng).into_affine();
84    let b = G2Projective::rand(rng).into_affine();
85    let c = G1Projective::rand(rng).into_affine();
86    let d = G2Projective::rand(rng).into_affine();
87    let ans1 = MNT4_753::pairing(a, b) * &MNT4_753::pairing(c, d);
88    let ans2 = MNT4_753::product_of_pairings(&[(a.into(), b.into()), (c.into(), d.into())]);
89    assert_eq!(ans1, ans2);
90}