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
38
39
40
41
42
43
44
|
// Check product of pairings works for F pairings when initialized via
// pairing_init_pbc_param().
//
// By Michael Adjedj, Ben Lynn.
#include "pbc.h"
#include "pbc_test.h"
int main(void) {
pbc_param_t param;
pbc_param_init_f_gen(param, 200);
pairing_t pairing;
pairing_init_pbc_param(pairing, param);
element_t P[2], Q[2], res, tmp, tmp2;
element_init_G1(P[0], pairing); element_random(P[0]);
element_init_G1(P[1], pairing); element_random(P[1]);
element_init_G2(Q[0], pairing); element_random(Q[0]);
element_init_G2(Q[1], pairing); element_random(Q[1]);
element_init_GT(res, pairing);
element_init_GT(tmp, pairing);
element_init_GT(tmp2, pairing);
element_prod_pairing(res, P, Q, 2);
element_pairing(tmp, P[0], Q[0]);
element_pairing(tmp2, P[1], Q[1]);
element_mul(tmp, tmp, tmp2);
EXPECT(!element_cmp(res, tmp));
element_clear(P[0]);
element_clear(P[1]);
element_clear(Q[0]);
element_clear(Q[1]);
element_clear(res);
element_clear(tmp);
element_clear(tmp2);
pairing_clear(pairing);
pbc_param_clear(param);
return 0;
}
|
