circom-helper/build/__tests__/snarks.test.js

A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.

"use strict";
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
    if (k2 === undefined) k2 = k;
    Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });
}) : (function(o, m, k, k2) {
    if (k2 === undefined) k2 = k;
    o[k2] = m[k];
}));
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
    Object.defineProperty(o, "default", { enumerable: true, value: v });
}) : function(o, v) {
    o["default"] = v;
});
var __importStar = (this && this.__importStar) || function (mod) {
    if (mod && mod.__esModule) return mod;
    var result = {};
    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
    __setModuleDefault(result, mod);
    return result;
};
var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
    function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
    return new (P || (P = Promise))(function (resolve, reject) {
        function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
        function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
        function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
        step((generator = generator.apply(thisArg, _arguments || [])).next());
    });
};
var __generator = (this && this.__generator) || function (thisArg, body) {
    var _ = { label: 0, sent: function() { if (t[0] & 1) throw t[1]; return t[1]; }, trys: [], ops: [] }, f, y, t, g;
    return g = { next: verb(0), "throw": verb(1), "return": verb(2) }, typeof Symbol === "function" && (g[Symbol.iterator] = function() { return this; }), g;
    function verb(n) { return function (v) { return step([n, v]); }; }
    function step(op) {
        if (f) throw new TypeError("Generator is already executing.");
        while (_) try {
            if (f = 1, y && (t = op[0] & 2 ? y["return"] : op[0] ? y["throw"] || ((t = y["return"]) && t.call(y), 0) : y.next) && !(t = t.call(y, op[1])).done) return t;
            if (y = 0, t) op = [op[0] & 2, t.value];
            switch (op[0]) {
                case 0: case 1: t = op; break;
                case 4: _.label++; return { value: op[1], done: false };
                case 5: _.label++; y = op[1]; op = [0]; continue;
                case 7: op = _.ops.pop(); _.trys.pop(); continue;
                default:
                    if (!(t = _.trys, t = t.length > 0 && t[t.length - 1]) && (op[0] === 6 || op[0] === 2)) { _ = 0; continue; }
                    if (op[0] === 3 && (!t || (op[1] > t[0] && op[1] < t[3]))) { _.label = op[1]; break; }
                    if (op[0] === 6 && _.label < t[1]) { _.label = t[1]; t = op; break; }
                    if (t && _.label < t[2]) { _.label = t[2]; _.ops.push(op); break; }
                    if (t[2]) _.ops.pop();
                    _.trys.pop(); continue;
            }
            op = body.call(thisArg, _);
        } catch (e) { op = [6, e]; y = 0; } finally { f = t = 0; }
        if (op[0] & 5) throw op[1]; return { value: op[0] ? op[1] : void 0, done: true };
    }
};
exports.__esModule = true;
jest.setTimeout(90000);
var Koa = require('koa');
var path = __importStar(require("path"));
var fs = __importStar(require("fs"));
var ff = require('ffjavascript');
var stringifyBigInts = ff.utils.stringifyBigInts;
var __1 = require("../");
var __2 = require("../");
var PORT = 9002;
var HOST = 'http://localhost:' + PORT;
var sleep = function (ms) {
    return new Promise(function (resolve) {
        setTimeout(resolve, ms);
    });
};
var server;
var cmd = "node ./build/index.js -c ./config.example.json -b ./compiled/ -t ./temp/ -p 9000 -nc";
var rootDir = path.join(path.resolve(__dirname), '..', '..');
var circuitDirs = JSON.parse(fs.readFileSync(path.join(rootDir, 'config.example.json')).toString()).circuitDirs;
var circomPath = path.join(rootDir, 'node_modules/circom/cli.js');
var snarkjsPath = path.join(rootDir, 'node_modules/snarkjs/build/cli.cjs');
describe('Witness generation', function () {
    beforeAll(function () { return __awaiter(void 0, void 0, void 0, function () {
        return __generator(this, function (_a) {
            switch (_a.label) {
                case 0: return [4 /*yield*/, __1.run(circomPath, snarkjsPath, circuitDirs, path.join(rootDir, 'compiled'), PORT, true, false, false)];
                case 1:
                    server = _a.sent();
                    return [2 /*return*/];
            }
        });
    }); });
    test('the gen_witness method should return a valid witness', function () { return __awaiter(void 0, void 0, void 0, function () {
        var circuit, inputs, witness, expectedOut, _a;
        return __generator(this, function (_b) {
            switch (_b.label) {
                case 0:
                    circuit = 'poseidon';
                    inputs = stringifyBigInts({
                        "in": [BigInt(1), BigInt(2)],
                        expectedHash: BigInt('0x115cc0f5e7d690413df64c6b9662e9cf2a3617f2743245519e19607a4417189a')
                    });
                    return [4 /*yield*/, __2.callGenWitness(circuit, inputs, HOST)];
                case 1:
                    witness = _b.sent();
                    _a = BigInt;
                    return [4 /*yield*/, __2.callGetSignalByName(circuit, witness, 'main.out', HOST)];
                case 2:
                    expectedOut = _a.apply(void 0, [_b.sent()]).toString(16);
                    expect(expectedOut).toEqual('115cc0f5e7d690413df64c6b9662e9cf2a3617f2743245519e19607a4417189a');
                    return [2 /*return*/];
            }
        });
    }); });
    test('the gen_witness method should return an error if the inputs are wrong', function () { return __awaiter(void 0, void 0, void 0, function () {
        var circuit, inputs, witness, _a;
        return __generator(this, function (_b) {
            switch (_b.label) {
                case 0:
                    expect.assertions(1);
                    circuit = 'poseidon';
                    inputs = stringifyBigInts({
                        "in": [BigInt(1), BigInt(2)],
                        expectedHash: BigInt(1234)
                    });
                    _b.label = 1;
                case 1:
                    _b.trys.push([1, 3, , 4]);
                    return [4 /*yield*/, __2.callGenWitness(circuit, inputs, HOST)];
                case 2:
                    witness = _b.sent();
                    return [3 /*break*/, 4];
                case 3:
                    _a = _b.sent();
                    expect(true).toBeTruthy();
                    return [3 /*break*/, 4];
                case 4: return [2 /*return*/];
            }
        });
    }); });
    test('the gen_witness method should return an error if an input is missing', function () { return __awaiter(void 0, void 0, void 0, function () {
        var circuit, inputs, witness, _a;
        return __generator(this, function (_b) {
            switch (_b.label) {
                case 0:
                    expect.assertions(1);
                    circuit = 'poseidon';
                    inputs = stringifyBigInts({
                        "in": [BigInt(1), BigInt(2)]
                    });
                    _b.label = 1;
                case 1:
                    _b.trys.push([1, 3, , 4]);
                    return [4 /*yield*/, __2.callGenWitness(circuit, inputs, HOST)];
                case 2:
                    witness = _b.sent();
                    return [3 /*break*/, 4];
                case 3:
                    _a = _b.sent();
                    expect(true).toBeTruthy();
                    return [3 /*break*/, 4];
                case 4: return [2 /*return*/];
            }
        });
    }); });
    afterAll(function () { return __awaiter(void 0, void 0, void 0, function () {
        return __generator(this, function (_a) {
            switch (_a.label) {
                case 0: return [4 /*yield*/, server.close()];
                case 1:
                    _a.sent();
                    return [2 /*return*/];
            }
        });
    }); });
});
//# sourceMappingURL=snarks.test.js.map