arnaucube
arnaucube/kestoPublic Self-hosted repository
kesto/circom-examples/test/equation.test.ts
circom-examples/test/equation.test.tsRaw
 1const path = require("path");
 2const tester = require("circom").tester;
 3const chai = require("chai");
 4const assert = chai.assert;
 5
 6export {};
 7
 8describe("equation test", function () {
 9    this.timeout(200000);
10
11
12    it("Test equation", async () => {
13        const circuit = await tester(
14            path.join(__dirname, "../circuits", "equation.circom"),
15            {reduceConstraints: false}
16        );
17        
18        const witness = await circuit.calculateWitness({
19            "x": 4,
20            "y": 2
21        });
22        await circuit.checkConstraints(witness);
23    });
24});