snarkjs/test/calculatewitness.js
test/calculatewitness.jsRaw
1/*
2 Copyright 2018 0kims association
3
4 This file is part of zksnark javascript library.
5
6 zksnark javascript library is free software: you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation, either version 3 of the License, or
9 (at your option) any later version.
10
11 zksnark javascript library is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with zksnark javascript library. If not, see <https://www.gnu.org/licenses/>.
18*/
19const chai = require("chai");
20const fs = require("fs");
21
22const Circuit = require("../src/circuit.js");
23const BN128 = require("../src/BN128.js");
24const F1Field = require("../src/zqfield.js");
25
26const assert = chai.assert;
27
28
29describe("Calculate witness", () => {
30 it("Should calculate the witness of a sum circuit", () => {
31
32 const cirDef = JSON.parse(fs.readFileSync("../jaz/sum.json", "utf8"));
33 const cir = new Circuit(cirDef);
34 const witness = cir.calculateWitness({"a": "33", "b": "34"});
35
36 assert.equal(witness[cir.getSignalIdx("main.out")].toString(), "67");
37 });
38});