pbc/g2_test.pbc

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