69 lines
2.5 KiB
JavaScript
69 lines
2.5 KiB
JavaScript
|
|
||
|
|
const assert = require("assert");
|
||
|
|
const fs = require("fs");
|
||
|
|
const path = require("path");
|
||
|
|
const snarkjs = require("@tornado/snarkjs");
|
||
|
|
|
||
|
|
const buildGroth16 = require("../index.js").buildGroth16;
|
||
|
|
|
||
|
|
describe("Basic tests for groth16 proof generator", () => {
|
||
|
|
it("should do basic multiexponentiation", async () => {
|
||
|
|
const groth16 = await buildGroth16();
|
||
|
|
|
||
|
|
const signalsAll = fs.readFileSync(path.join(__dirname, "data", "witness.bin"));
|
||
|
|
const provingKey = fs.readFileSync(path.join(__dirname, "data", "proving_key.bin"));
|
||
|
|
|
||
|
|
const nSignals = 1;
|
||
|
|
|
||
|
|
const pkey32 = new Uint32Array(provingKey);
|
||
|
|
const pPointsA = pkey32[5];
|
||
|
|
|
||
|
|
const points = provingKey.slice(pPointsA, pPointsA + nSignals*64);
|
||
|
|
const signals = signalsAll.slice(0, nSignals*32);
|
||
|
|
|
||
|
|
const pr1 = groth16.alloc(96);
|
||
|
|
const pPoints = groth16.alloc(points.byteLength);
|
||
|
|
groth16.putBin(pPoints, points);
|
||
|
|
|
||
|
|
const pSignals = groth16.alloc(signals.byteLength);
|
||
|
|
groth16.putBin(pSignals, signals);
|
||
|
|
|
||
|
|
groth16.instance.exports.g1_zero(pr1);
|
||
|
|
groth16.instance.exports.g1_multiexp(pSignals, pPoints, nSignals, 1, pr1);
|
||
|
|
groth16.instance.exports.g1_affine(pr1, pr1);
|
||
|
|
groth16.instance.exports.g1_fromMontgomery(pr1, pr1);
|
||
|
|
|
||
|
|
const r1 = groth16.bin2g1(groth16.getBin(pr1, 96));
|
||
|
|
|
||
|
|
groth16.instance.exports.g1_zero(pr1);
|
||
|
|
groth16.instance.exports.g1_multiexp2(pSignals, pPoints, nSignals, 1, pr1);
|
||
|
|
groth16.instance.exports.g1_affine(pr1, pr1);
|
||
|
|
groth16.instance.exports.g1_fromMontgomery(pr1, pr1);
|
||
|
|
|
||
|
|
const r2 = groth16.bin2g1(groth16.getBin(pr1, 96));
|
||
|
|
|
||
|
|
assert.equal(r1[0],r2[0]);
|
||
|
|
assert.equal(r1[1],r2[1]);
|
||
|
|
|
||
|
|
groth16.terminate();
|
||
|
|
|
||
|
|
});
|
||
|
|
|
||
|
|
it("It should do a basic point doubling G1", async () => {
|
||
|
|
const groth16 = await buildGroth16();
|
||
|
|
|
||
|
|
const signals = fs.readFileSync(path.join(__dirname, "data", "witness.bin"));
|
||
|
|
const provingKey = fs.readFileSync(path.join(__dirname, "data", "proving_key.bin"));
|
||
|
|
const proofS = await groth16.proof(signals.buffer, provingKey.buffer);
|
||
|
|
|
||
|
|
const proof = snarkjs.unstringifyBigInts(proofS);
|
||
|
|
const verifierKey = snarkjs.unstringifyBigInts(JSON.parse(fs.readFileSync(path.join(__dirname, "data", "verification_key.json"), "utf8")));
|
||
|
|
const pub = snarkjs.unstringifyBigInts(JSON.parse(fs.readFileSync(path.join(__dirname, "data", "public.json"), "utf8")));
|
||
|
|
|
||
|
|
assert(snarkjs.groth.isValid(verifierKey, proof, pub));
|
||
|
|
|
||
|
|
groth16.terminate();
|
||
|
|
}).timeout(10000000);
|
||
|
|
|
||
|
|
});
|