aboutsummaryrefslogtreecommitdiffstats
path: root/vendor/github.com/byzantine-lab/mcl/sample/pairing_c.c
blob: 5c2cd222aba1c31aefa21502781fbc4102f84ed2 (plain) (blame)
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
45
46
47
48
49
50
51
52
#include <stdio.h>
#include <string.h>
#define MCLBN_FP_UNIT_SIZE 4
#include <mcl/bn.h>

int g_err = 0;
#define ASSERT(x) { if (!(x)) { printf("err %s:%d\n", __FILE__, __LINE__); g_err++; } }

int main()
{
    char buf[1024];
    const char *aStr = "123";
    const char *bStr = "456";
    mclBn_init(MCL_BN254, MCLBN_FP_UNIT_SIZE);
    mclBnFr a, b, ab;
    mclBnG1 P, aP;
    mclBnG2 Q, bQ;
    mclBnGT e, e1, e2;
    mclBnFr_setStr(&a, aStr, strlen(aStr), 10);
    mclBnFr_setStr(&b, bStr, strlen(bStr), 10);
    mclBnFr_mul(&ab, &a, &b);
    mclBnFr_getStr(buf, sizeof(buf), &ab, 10);
    printf("%s x %s = %s\n", aStr, bStr, buf);

    ASSERT(!mclBnG1_hashAndMapTo(&P, "this", 4));
    ASSERT(!mclBnG2_hashAndMapTo(&Q, "that", 4));
    mclBnG1_getStr(buf, sizeof(buf), &P, 16);
    printf("P = %s\n", buf);
    mclBnG2_getStr(buf, sizeof(buf), &Q, 16);
    printf("Q = %s\n", buf);

    mclBnG1_mul(&aP, &P, &a);
    mclBnG2_mul(&bQ, &Q, &b);

    mclBn_pairing(&e, &P, &Q);
    mclBnGT_getStr(buf, sizeof(buf), &e, 16);
    printf("e = %s\n", buf);
    mclBnGT_pow(&e1, &e, &a);
    mclBn_pairing(&e2, &aP, &Q);
    ASSERT(mclBnGT_isEqual(&e1, &e2));

    mclBnGT_pow(&e1, &e, &b);
    mclBn_pairing(&e2, &P, &bQ);
    ASSERT(mclBnGT_isEqual(&e1, &e2));
    if (g_err) {
        printf("err %d\n", g_err);
        return 1;
    } else {
        printf("no err\n");
        return 0;
    }
}