snarkjs/scripts/prover_fftext.js at master · jboldmr/snarkjs · GitHub

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
53
54
55
56
57
58
59
60
61
62
63


import {getCurveFromName} from "../src/curves.js";


async function run() {

    const curve = await getCurveFromName("bn128");

    const Fr = curve.Fr;

    Fr.s = 2;


    const p = [Fr.e(1), Fr.e(2), Fr.e(3), Fr.e(4), Fr.e(-1), Fr.e(-2), Fr.e(-3), Fr.e(-4)];

    printArr("p", p);

    const P = await Fr.fft(p);

    printArr("P", P);

    const pOdd = [];

    let accShift;
    const shift_to_small_m = Fr.exp(Fr.shift, 4);
    // accShift = Fr.e(-1);
    accShift = Fr.sub(Fr.one, shift_to_small_m);
    for (let i=0; i<4; i++) {
        pOdd[i] = Fr.mul(p[i], accShift);
        accShift = Fr.mul(accShift, Fr.shift);
    }

    printArr("pOdd", pOdd);

    const POdd = await Fr.fft(pOdd);

    printArr("POdd", POdd);

    function printArr(s, a) {
        console.log(s+": [");
        for (let i=0; i<a.length; i++) {
            console.log("    "+ Fr.toString(a[i]));
        }
        console.log("]");
    }

    function lc(a, b) {
        let acc = Fr.e(0);
        for (let i=0; i<a.length; i++) {
            acc = Fr.add(acc, Fr.mul(a[i], b[i]));
        }
        return acc;
    }

}

run().then( () => {
    process.exit(0);
});