arnaucube
arnaucube/circomlibPublic Self-hosted repository
circomlib/test/sum.js
test/sum.jsRaw
 1const chai = require("chai");
 2const path = require("path");
 3const snarkjs = require("snarkjs");
 4const crypto = require("crypto");
 5
 6const compiler = require("circom");
 7
 8const assert = chai.assert;
 9
10describe("Sum test", () => {
11    it("Should create a constant circuit", async () => {
12
13        const cirDef = await compiler(path.join(__dirname, "circuits", "constants_test.circom"));
14        assert.equal(cirDef.nVars, 2);
15
16        const circuit = new snarkjs.Circuit(cirDef);
17
18        const witness = circuit.calculateWitness({ "in": "0xd807aa98" });
19
20        assert(witness[0].equals(snarkjs.bigInt(1)));
21        assert(witness[1].equals(snarkjs.bigInt("0xd807aa98")));
22    });
23    it("Should create a sum circuit", async () => {
24
25        const cirDef = await compiler(path.join(__dirname, "circuits", "sum_test.circom"));
26        assert.equal(cirDef.nVars, 101);
27
28        const circuit = new snarkjs.Circuit(cirDef);
29
30        const witness = circuit.calculateWitness({ "a": "111", "b": "222" });
31
32        assert(witness[0].equals(snarkjs.bigInt(1)));
33        assert(witness[1].equals(snarkjs.bigInt("333")));
34    });
35});