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