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");
21const path = require("path");
22
23const Circuit = require("../src/circuit.js");
24const BN128 = require("../src/BN128.js");
25const F1Field = require("../src/zqfield.js");
26
27const assert = chai.assert;
28
29
30describe("Calculate witness", () => {
31 it("Should calculate the witness of a sum circuit", () => {
32
33 const cirDef = JSON.parse(fs.readFileSync(path.join(__dirname, "circuit", "sum.json"), "utf8"));
34 const cir = new Circuit(cirDef);
35 const witness = cir.calculateWitness({"a": "33", "b": "34"});
36
37 assert.equal(witness[cir.getSignalIdx("main.out")].toString(), "67");
38 });
39});