circomlib/test/binsum.js
test/binsum.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, 97); // 32 (in1) + 32(in2) + 32(out) + 1 (carry)
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});