@maci-protocol/circuits 0.0.0-ci.185b643

package/LICENSE

@@ -0,0 +1,22 @@
+MIT License
+
+Copyright (c) 2020 Barry WhiteHat, Kendrick Tan, Kobi Gurkan, Kirill Goncharov
+Cory Dickson, Han Jian, Chih-Cheng Liang, and Koh Wei Jie
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,20 @@
+# Circuits
+
+[![NPM Package][circuits-npm-badge]][circuits-npm-link]
+[![Actions Status][circuits-actions-badge]][circuits-actions-link]
+
+This package contains the zk-SNARK circuits written in Circom 2.0.
+
+The main circuits are:
+
+- `processMessages.circom`
+- `tallyVotes.circom`
+
+The rest of the circuits are utilities templates that are required for the main circuits to work correctly. These include utilities such as float math, conversion of private keys, and Poseidon hashing/encryption.
+
+Please refer to the [documentation](https://maci.pse.dev/docs/category/zk-snark-circuits) for a more in depth explanation.
+
+[circuits-npm-badge]: https://img.shields.io/npm/v/maci-circuits.svg
+[circuits-npm-link]: https://www.npmjs.com/package/maci-circuits
+[circuits-actions-badge]: https://github.com/privacy-scaling-explorations/maci/actions/workflows/circuit-build.yml/badge.svg
+[circuits-actions-link]: https://github.com/privacy-scaling-explorations/maci/actions?query=workflow%3ACircuit

package/build/ts/compile.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Compile MACI's circuits using circomkit
+ * and setup the dir structure
+ * @param cWitness - whether to compile to the c witness generator
+ * or not
+ * @param outputPath - the path to the output folder
+ * @returns the build directory
+ */
+export declare const compileCircuits: (cWitness?: boolean, outputPath?: string) => Promise<string>;
+//# sourceMappingURL=compile.d.ts.map

package/build/ts/compile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../ts/compile.ts"],"names":[],"mappings":"AAQA;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,GAAU,WAAW,OAAO,EAAE,aAAa,MAAM,KAAG,OAAO,CAAC,MAAM,CA6D7F,CAAC"}

package/build/ts/compile.js

@@ -0,0 +1,123 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (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 () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.compileCircuits = void 0;
+const circomkit_1 = require("circomkit");
+const child_process_1 = __importDefault(require("child_process"));
+const fs_1 = __importDefault(require("fs"));
+const path_1 = __importDefault(require("path"));
+/**
+ * Compile MACI's circuits using circomkit
+ * and setup the dir structure
+ * @param cWitness - whether to compile to the c witness generator
+ * or not
+ * @param outputPath - the path to the output folder
+ * @returns the build directory
+ */
+const compileCircuits = async (cWitness, outputPath) => {
+    // read circomkit config files
+    const configFilePath = path_1.default.resolve(__dirname, "..", "circomkit.json");
+    const circomKitConfig = JSON.parse(await fs_1.default.promises.readFile(configFilePath, "utf-8"));
+    const circuitsConfigPath = path_1.default.resolve(__dirname, "..", "circom", "circuits.json");
+    const circuitsConfigContent = JSON.parse(await fs_1.default.promises.readFile(circuitsConfigPath, "utf-8"));
+    const circuitsConfigs = Object.entries(circuitsConfigContent).map(([name, config]) => ({
+        name,
+        ...config,
+    }));
+    // generate the absolute path to the output folder
+    const outputPathUpdated = outputPath ? path_1.default.resolve(outputPath) : undefined;
+    // set the config based on whether to compile the c witness or no
+    if (cWitness) {
+        circomKitConfig.cWitness = true;
+    }
+    else {
+        circomKitConfig.cWitness = false;
+    }
+    // update the build directory if we have an output path
+    if (outputPathUpdated) {
+        circomKitConfig.dirBuild = outputPathUpdated;
+        circomKitConfig.dirPtau = outputPathUpdated;
+    }
+    // create an instance of circomkit with a custom config
+    const circomkitInstance = new circomkit_1.Circomkit({
+        ...circomKitConfig,
+        verbose: false,
+    });
+    const { promisify } = await Promise.resolve().then(() => __importStar(require("util")));
+    const execFile = promisify(child_process_1.default.execFile);
+    // loop through each circuit config and compile them
+    // eslint-disable-next-line @typescript-eslint/prefer-for-of
+    for (let i = 0; i < circuitsConfigs.length; i += 1) {
+        const circuit = circuitsConfigs[i];
+        // eslint-disable-next-line no-console
+        console.log(`Compiling ${circuit.name}...`);
+        // eslint-disable-next-line no-await-in-loop
+        const outPath = await circomkitInstance.compile(circuit.name, circuit);
+        // if the circuit is compiled with a c witness, then let's run make in the directory
+        if (cWitness) {
+            try {
+                // build
+                // eslint-disable-next-line no-await-in-loop
+                await execFile("bash", ["-c", `cd ${outPath}/${circuit.name}_cpp && make`]);
+            }
+            catch (error) {
+                throw new Error(`Failed to compile the c witness for ${circuit.name}`);
+            }
+        }
+    }
+    // return the build directory
+    return circomKitConfig.dirBuild;
+};
+exports.compileCircuits = compileCircuits;
+if (require.main === module) {
+    (async () => {
+        // check if we want to compile the c witness or not
+        const cWitness = process.argv.includes("--cWitness");
+        // the output path is the next argument after the --outPath flag
+        // and is not mandatory
+        const outputPathIndex = process.argv.indexOf("--outPath");
+        if (outputPathIndex === -1) {
+            await (0, exports.compileCircuits)(cWitness);
+        }
+        else {
+            const outputFolder = process.argv[outputPathIndex + 1];
+            await (0, exports.compileCircuits)(cWitness, outputFolder);
+        }
+    })();
+}
+//# sourceMappingURL=compile.js.map

package/build/ts/compile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../../ts/compile.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,yCAAgF;AAEhF,kEAAyC;AACzC,4CAAoB;AACpB,gDAAwB;AAIxB;;;;;;;GAOG;AACI,MAAM,eAAe,GAAG,KAAK,EAAE,QAAkB,EAAE,UAAmB,EAAmB,EAAE;IAChG,8BAA8B;IAC9B,MAAM,cAAc,GAAG,cAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACvE,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,YAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,CAAoB,CAAC;IAC3G,MAAM,kBAAkB,GAAG,cAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;IACpF,MAAM,qBAAqB,GAAG,IAAI,CAAC,KAAK,CACtC,MAAM,YAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC,CACZ,CAAC;IAC9C,MAAM,eAAe,GAA4B,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9G,IAAI;QACJ,GAAG,MAAM;KACV,CAAC,CAAC,CAAC;IAEJ,kDAAkD;IAClD,MAAM,iBAAiB,GAAG,UAAU,CAAC,CAAC,CAAC,cAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,iEAAiE;IACjE,IAAI,QAAQ,EAAE,CAAC;QACb,eAAe,CAAC,QAAQ,GAAG,IAAI,CAAC;IAClC,CAAC;SAAM,CAAC;QACN,eAAe,CAAC,QAAQ,GAAG,KAAK,CAAC;IACnC,CAAC;IAED,uDAAuD;IACvD,IAAI,iBAAiB,EAAE,CAAC;QACtB,eAAe,CAAC,QAAQ,GAAG,iBAAiB,CAAC;QAC7C,eAAe,CAAC,OAAO,GAAG,iBAAiB,CAAC;IAC9C,CAAC;IAED,uDAAuD;IACvD,MAAM,iBAAiB,GAAG,IAAI,qBAAS,CAAC;QACtC,GAAG,eAAe;QAClB,OAAO,EAAE,KAAK;KACf,CAAC,CAAC;IAEH,MAAM,EAAE,SAAS,EAAE,GAAG,wDAAa,MAAM,GAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,SAAS,CAAC,uBAAY,CAAC,QAAQ,CAAC,CAAC;IAElD,oDAAoD;IACpD,4DAA4D;IAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QACnC,sCAAsC;QACtC,OAAO,CAAC,GAAG,CAAC,aAAa,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC;QAE5C,4CAA4C;QAC5C,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEvE,oFAAoF;QACpF,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC;gBACH,QAAQ;gBACR,4CAA4C;gBAC5C,MAAM,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,OAAO,IAAI,OAAO,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC;YAC9E,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,IAAI,KAAK,CAAC,uCAAuC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YACzE,CAAC;QACH,CAAC;IACH,CAAC;IAED,6BAA6B;IAC7B,OAAO,eAAe,CAAC,QAAQ,CAAC;AAClC,CAAC,CAAC;AA7DW,QAAA,eAAe,mBA6D1B;AAEF,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;IAC5B,CAAC,KAAK,IAAI,EAAE;QACV,mDAAmD;QACnD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QACrD,gEAAgE;QAChE,uBAAuB;QACvB,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC1D,IAAI,eAAe,KAAK,CAAC,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAA,uBAAe,EAAC,QAAQ,CAAC,CAAC;QAClC,CAAC;aAAM,CAAC;YACN,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC;YACvD,MAAM,IAAA,uBAAe,EAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,EAAE,CAAC;AACP,CAAC"}

package/build/ts/genZkeys.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Generate the zkeys for MACI's circuits using circomkit
+ * @dev This should only be used for testing purposes, or to generate the genesis zkey
+ * for a new trusted setup ceremony. Never use zkeys that have not undergone a ceremony
+ * in production.
+ * @param outPath - the path to the output folder
+ */
+export declare const generateZkeys: (outputPath?: string) => Promise<void>;
+//# sourceMappingURL=genZkeys.d.ts.map

package/build/ts/genZkeys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"genZkeys.d.ts","sourceRoot":"","sources":["../../ts/genZkeys.ts"],"names":[],"mappings":"AAQA;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,GAAU,aAAa,MAAM,KAAG,OAAO,CAAC,IAAI,CA2CrE,CAAC"}

package/build/ts/genZkeys.js

@@ -0,0 +1,67 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.generateZkeys = void 0;
+const sdk_1 = require("@maci-protocol/sdk");
+const circomkit_1 = require("circomkit");
+const fs_1 = __importDefault(require("fs"));
+const path_1 = __importDefault(require("path"));
+/**
+ * Generate the zkeys for MACI's circuits using circomkit
+ * @dev This should only be used for testing purposes, or to generate the genesis zkey
+ * for a new trusted setup ceremony. Never use zkeys that have not undergone a ceremony
+ * in production.
+ * @param outPath - the path to the output folder
+ */
+const generateZkeys = async (outputPath) => {
+    // read circomkit config files
+    const configFilePath = path_1.default.resolve(__dirname, "..", "circomkit.json");
+    const circomKitConfig = JSON.parse(await fs_1.default.promises.readFile(configFilePath, "utf-8"));
+    const circuitsConfigPath = path_1.default.resolve(__dirname, "..", "circom", "circuits.json");
+    const circuitsConfigContent = JSON.parse(await fs_1.default.promises.readFile(circuitsConfigPath, "utf-8"));
+    const circuitsConfigs = Object.entries(circuitsConfigContent).map(([name, config]) => ({
+        name,
+        ...config,
+    }));
+    const outPath = outputPath ? path_1.default.resolve(outputPath) : undefined;
+    // update the output directory
+    if (outPath) {
+        circomKitConfig.dirBuild = outPath;
+        circomKitConfig.dirPtau = outPath;
+    }
+    const circomkitInstance = new circomkit_1.Circomkit({
+        ...circomKitConfig,
+        verbose: false,
+    });
+    // loop through each circuit config and compile them
+    // eslint-disable-next-line @typescript-eslint/prefer-for-of
+    for (let i = 0; i < circuitsConfigs.length; i += 1) {
+        const circuit = circuitsConfigs[i];
+        // eslint-disable-next-line no-console
+        console.log(`Generating zKey for ${circuit.name}...`);
+        // eslint-disable-next-line no-await-in-loop
+        const { proverKeyPath } = await circomkitInstance.setup(circuit.name);
+        // rename the zkey
+        const zkeyPath = path_1.default.resolve(circomKitConfig.dirBuild, circuit.name, `${circuit.name}.0.zkey`);
+        // eslint-disable-next-line no-await-in-loop
+        await fs_1.default.promises.rename(proverKeyPath, zkeyPath);
+    }
+    // clean up the threads so we can exit
+    await (0, sdk_1.cleanThreads)();
+};
+exports.generateZkeys = generateZkeys;
+if (require.main === module) {
+    (async () => {
+        const outputPathIndex = process.argv.indexOf("--outPath");
+        if (outputPathIndex === -1) {
+            await (0, exports.generateZkeys)();
+        }
+        else {
+            const outputFolder = process.argv[process.argv.indexOf("--outPath") + 1];
+            await (0, exports.generateZkeys)(outputFolder);
+        }
+    })();
+}
+//# sourceMappingURL=genZkeys.js.map

package/build/ts/genZkeys.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"genZkeys.js","sourceRoot":"","sources":["../../ts/genZkeys.ts"],"names":[],"mappings":";;;;;;AAAA,4CAAkD;AAClD,yCAAgF;AAEhF,4CAAoB;AACpB,gDAAwB;AAIxB;;;;;;GAMG;AACI,MAAM,aAAa,GAAG,KAAK,EAAE,UAAmB,EAAiB,EAAE;IACxE,8BAA8B;IAC9B,MAAM,cAAc,GAAG,cAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACvE,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,YAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,CAAoB,CAAC;IAC3G,MAAM,kBAAkB,GAAG,cAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;IACpF,MAAM,qBAAqB,GAAG,IAAI,CAAC,KAAK,CACtC,MAAM,YAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC,CACZ,CAAC;IAC9C,MAAM,eAAe,GAA4B,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9G,IAAI;QACJ,GAAG,MAAM;KACV,CAAC,CAAC,CAAC;IAEJ,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,cAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClE,8BAA8B;IAC9B,IAAI,OAAO,EAAE,CAAC;QACZ,eAAe,CAAC,QAAQ,GAAG,OAAO,CAAC;QACnC,eAAe,CAAC,OAAO,GAAG,OAAO,CAAC;IACpC,CAAC;IAED,MAAM,iBAAiB,GAAG,IAAI,qBAAS,CAAC;QACtC,GAAG,eAAe;QAClB,OAAO,EAAE,KAAK;KACf,CAAC,CAAC;IAEH,oDAAoD;IACpD,4DAA4D;IAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QAEnC,sCAAsC;QACtC,OAAO,CAAC,GAAG,CAAC,uBAAuB,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC;QAEtD,4CAA4C;QAC5C,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACtE,kBAAkB;QAClB,MAAM,QAAQ,GAAG,cAAI,CAAC,OAAO,CAAC,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,OAAO,CAAC,IAAI,SAAS,CAAC,CAAC;QAChG,4CAA4C;QAC5C,MAAM,YAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;IACpD,CAAC;IAED,sCAAsC;IACtC,MAAM,IAAA,kBAAY,GAAE,CAAC;AACvB,CAAC,CAAC;AA3CW,QAAA,aAAa,iBA2CxB;AAEF,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;IAC5B,CAAC,KAAK,IAAI,EAAE;QACV,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC1D,IAAI,eAAe,KAAK,CAAC,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAA,qBAAa,GAAE,CAAC;QACxB,CAAC;aAAM,CAAC;YACN,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;YACzE,MAAM,IAAA,qBAAa,EAAC,YAAY,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC,EAAE,CAAC;AACP,CAAC"}

package/build/ts/info.d.ts

@@ -0,0 +1,2 @@
+export declare function info(zkeysPath: string): Promise<void>;
+//# sourceMappingURL=info.d.ts.map

package/build/ts/info.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"info.d.ts","sourceRoot":"","sources":["../../ts/info.ts"],"names":[],"mappings":"AASA,wBAAsB,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CA+B3D"}

package/build/ts/info.js

@@ -0,0 +1,72 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (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 () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.info = info;
+// eslint-disable-next-line import/no-extraneous-dependencies
+const glob_1 = require("glob");
+const child_process_1 = __importDefault(require("child_process"));
+const fs_1 = __importDefault(require("fs"));
+const path_1 = __importDefault(require("path"));
+async function info(zkeysPath) {
+    const files = await (0, glob_1.glob)("**/*.r1cs", { cwd: zkeysPath });
+    const circuitsConfigPath = path_1.default.resolve(__dirname, "..", "circom", "circuits.json");
+    const circuitsConfig = JSON.parse(await fs_1.default.promises.readFile(circuitsConfigPath, "utf-8"));
+    const params = files
+        .map((file) => ({ config: circuitsConfig[file.split("/")[0]], file }))
+        .reduce((acc, { config, file }) => {
+        acc[file] = `${config.template} [${config.params?.toString()}]`;
+        return acc;
+    }, {});
+    const { promisify } = await Promise.resolve().then(() => __importStar(require("util")));
+    const execFile = promisify(child_process_1.default.execFile);
+    const data = [];
+    // eslint-disable-next-line @typescript-eslint/prefer-for-of
+    for (let index = 0; index < files.length; index += 1) {
+        // eslint-disable-next-line no-await-in-loop
+        const result = await execFile("snarkjs", ["r1cs", "info", path_1.default.resolve(zkeysPath, files[index])]);
+        data.push(result);
+    }
+    // eslint-disable-next-line no-console
+    console.log(data.map(({ stdout }, index) => `${files[index]}\n${params[files[index]]}\n${stdout}`).join("\n"));
+}
+if (require.main === module) {
+    (async () => {
+        await info(process.argv[process.argv.indexOf("--zkeys") + 1]);
+    })();
+}
+//# sourceMappingURL=info.js.map

package/build/ts/info.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"info.js","sourceRoot":"","sources":["../../ts/info.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AASA,oBA+BC;AAxCD,6DAA6D;AAC7D,+BAA4B;AAE5B,kEAAyC;AACzC,4CAAoB;AACpB,gDAAwB;AAIjB,KAAK,UAAU,IAAI,CAAC,SAAiB;IAC1C,MAAM,KAAK,GAAG,MAAM,IAAA,WAAI,EAAC,WAAW,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;IAE1D,MAAM,kBAAkB,GAAG,cAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;IACpF,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,YAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC,CAGxF,CAAC;IAEF,MAAM,MAAM,GAAG,KAAK;SACjB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;SACrE,MAAM,CAAyB,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE;QACxD,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC;QAEhE,OAAO,GAAG,CAAC;IACb,CAAC,EAAE,EAAE,CAAC,CAAC;IAET,MAAM,EAAE,SAAS,EAAE,GAAG,wDAAa,MAAM,GAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,SAAS,CAAC,uBAAY,CAAC,QAAQ,CAAC,CAAC;IAElD,MAAM,IAAI,GAAyC,EAAE,CAAC;IAEtD,4DAA4D;IAC5D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,4CAA4C;QAC5C,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,cAAI,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAClG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpB,CAAC;IAED,sCAAsC;IACtC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AACjH,CAAC;AAED,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;IAC5B,CAAC,KAAK,IAAI,EAAE;QACV,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,EAAE,CAAC;AACP,CAAC"}

package/build/ts/types.d.ts

@@ -0,0 +1,104 @@
+import type { CircuitConfig } from "circomkit";
+export type BigNumberish = number | string | bigint;
+/**
+ * Interface that represents Verification key
+ */
+export interface ISnarkJSVerificationKey {
+    protocol: BigNumberish;
+    curve: BigNumberish;
+    nPublic: BigNumberish;
+    vk_alpha_1: BigNumberish[];
+    vk_beta_2: BigNumberish[][];
+    vk_gamma_2: BigNumberish[][];
+    vk_delta_2: BigNumberish[][];
+    vk_alphabeta_12: BigNumberish[][][];
+    IC: BigNumberish[][];
+}
+/**
+ * Inputs for circuit PollJoining
+ */
+export interface IPollJoiningInputs {
+    privKey: bigint;
+    pollPubKey: bigint[][];
+    stateLeaf: bigint[];
+    siblings: bigint[][];
+    indices: bigint[];
+    nullifier: bigint;
+    credits: bigint;
+    stateRoot: bigint;
+    actualStateTreeDepth: bigint;
+    pollId: bigint;
+}
+/**
+ * Inputs for circuit PollJoined
+ */
+export interface IPollJoinedInputs {
+    privKey: bigint;
+    voiceCreditsBalance: bigint;
+    stateLeaf: bigint[];
+    pathElements: bigint[][];
+    pathIndices: bigint[];
+    credits: bigint;
+    stateRoot: bigint;
+    actualStateTreeDepth: bigint;
+}
+/**
+ * Inputs for circuit ProcessMessages
+ */
+export interface IProcessMessagesInputs {
+    actualStateTreeDepth: bigint;
+    numSignUps: bigint;
+    batchEndIndex: bigint;
+    index: bigint;
+    inputBatchHash: bigint;
+    outputBatchHash: bigint;
+    msgs: bigint[];
+    coordPrivKey: bigint;
+    coordinatorPublicKeyHash: bigint;
+    encPubKeys: bigint[];
+    currentStateRoot: bigint;
+    currentStateLeaves: bigint[];
+    currentStateLeavesPathElements: bigint[][];
+    currentSbCommitment: bigint;
+    currentSbSalt: bigint;
+    newSbCommitment: bigint;
+    newSbSalt: bigint;
+    currentBallotRoot: bigint;
+    currentBallots: bigint[];
+    currentBallotsPathElements: bigint[][];
+    currentVoteWeights: bigint[];
+    currentVoteWeightsPathElements: bigint[][];
+    voteOptions: bigint;
+}
+/**
+ * Inputs for circuit TallyVotes
+ */
+export interface ITallyVotesInputs {
+    stateRoot: bigint;
+    ballotRoot: bigint;
+    sbSalt: bigint;
+    index: bigint;
+    numSignUps: bigint;
+    sbCommitment: bigint;
+    currentTallyCommitment: bigint;
+    newTallyCommitment: bigint;
+    ballots: bigint[];
+    ballotPathElements: bigint[];
+    votes: bigint[][];
+    currentResults: bigint[];
+    currentResultsRootSalt: bigint;
+    currentSpentVoiceCreditSubtotal: bigint;
+    currentSpentVoiceCreditSubtotalSalt: bigint;
+    currentPerVOSpentVoiceCredits: bigint[];
+    currentPerVOSpentVoiceCreditsRootSalt: bigint;
+    newResultsRootSalt: bigint;
+    newPerVOSpentVoiceCreditsRootSalt: bigint;
+    newSpentVoiceCreditSubtotalSalt: bigint;
+}
+/**
+ * Extend CircuitConfig type to include the name of the circuit
+ */
+export interface CircuitConfigWithName extends CircuitConfig {
+    name: string;
+}
+//# sourceMappingURL=types.d.ts.map

package/build/ts/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../ts/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAE/C,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAEpD;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,EAAE,YAAY,CAAC;IACvB,KAAK,EAAE,YAAY,CAAC;IACpB,OAAO,EAAE,YAAY,CAAC;IACtB,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,SAAS,EAAE,YAAY,EAAE,EAAE,CAAC;IAC5B,UAAU,EAAE,YAAY,EAAE,EAAE,CAAC;IAC7B,UAAU,EAAE,YAAY,EAAE,EAAE,CAAC;IAC7B,eAAe,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC;IACpC,EAAE,EAAE,YAAY,EAAE,EAAE,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC;IACvB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC;IACrB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,EAAE,CAAC;IACzB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,oBAAoB,EAAE,MAAM,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,wBAAwB,EAAE,MAAM,CAAC;IACjC,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,gBAAgB,EAAE,MAAM,CAAC;IACzB,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,8BAA8B,EAAE,MAAM,EAAE,EAAE,CAAC;IAC3C,mBAAmB,EAAE,MAAM,CAAC;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,0BAA0B,EAAE,MAAM,EAAE,EAAE,CAAC;IACvC,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,8BAA8B,EAAE,MAAM,EAAE,EAAE,CAAC;IAC3C,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,sBAAsB,EAAE,MAAM,CAAC;IAC/B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC;IAClB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,sBAAsB,EAAE,MAAM,CAAC;IAC/B,+BAA+B,EAAE,MAAM,CAAC;IACxC,mCAAmC,EAAE,MAAM,CAAC;IAC5C,6BAA6B,EAAE,MAAM,EAAE,CAAC;IACxC,qCAAqC,EAAE,MAAM,CAAC;IAC9C,kBAAkB,EAAE,MAAM,CAAC;IAC3B,iCAAiC,EAAE,MAAM,CAAC;IAC1C,+BAA+B,EAAE,MAAM,CAAC;CACzC;AAED;;GAEG;AACH,MAAM,WAAW,qBAAsB,SAAQ,aAAa;IAC1D,IAAI,EAAE,MAAM,CAAC;CACd"}

package/build/ts/types.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/build/ts/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../ts/types.ts"],"names":[],"mappings":""}