blob: 892660f9317fa192b9cfb713cffd29265b7d401c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
# Exercises a bug found by Zhang Ye.
define test_cmp_0(initfn) {
initfn();
CHECK(random(G2) != G2(0));
CHECK(G2(0) != random(G2));
CHECK(G2(0) == G2(0));
CHECK(random(G1) != G1(0));
CHECK(G1(0) != random(G1));
CHECK(G1(0) == G1(0));
}
test_cmp_0(init_pairing_a);
test_cmp_0(init_pairing_d);
test_cmp_0(init_pairing_e);
test_cmp_0(init_pairing_f);
test_cmp_0(init_pairing_g);
test_cmp_0(init_pairing_i);
# Exercises a bug found by Mario Di Raimondo.
define test_g2_cmp(initfn) {
initfn();
a := rnd(G2);
m := rnd(Zr);
n := rnd(Zr);
CHECK((a^m)^n == a^(m*n));
CHECK(a != a^m);
CHECK(a != a^n);
}
test_g2_cmp(init_pairing_a);
test_g2_cmp(init_pairing_d);
test_g2_cmp(init_pairing_e);
test_g2_cmp(init_pairing_f);
test_g2_cmp(init_pairing_g);
test_g2_cmp(init_pairing_i);
|
