@maci-protocol/sdk 0.0.0-ci.2653bc0

package/build/ts/utils/proofs.d.ts

@@ -0,0 +1,13 @@
+import type { CircuitInputs } from "./types";
+/**
+ * Generate and verify poll proof
+ * @param inputs - the inputs to the circuit
+ * @param zkeyPath - the path to the zkey
+ * @param useWasm - whether we want to use the wasm witness or not
+ * @param rapidsnarkExePath - the path to the rapidnsark binary
+ * @param witnessExePath - the path to the compiled witness binary
+ * @param wasmPath - the path to the wasm witness
+ * @returns proof - an array of strings
+ */
+export declare const generateAndVerifyProof: (inputs: CircuitInputs, zkeyPath: string, useWasm: boolean | undefined, rapidsnarkExePath: string | undefined, witnessExePath: string | undefined, wasmPath: string | undefined) => Promise<string[]>;
+//# sourceMappingURL=proofs.d.ts.map

package/build/ts/utils/proofs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proofs.d.ts","sourceRoot":"","sources":["../../../ts/utils/proofs.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAE7C;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB,GACjC,QAAQ,aAAa,EACrB,UAAU,MAAM,EAChB,SAAS,OAAO,GAAG,SAAS,EAC5B,mBAAmB,MAAM,GAAG,SAAS,EACrC,gBAAgB,MAAM,GAAG,SAAS,EAClC,UAAU,MAAM,GAAG,SAAS,KAC3B,OAAO,CAAC,MAAM,EAAE,CA4BlB,CAAC"}

package/build/ts/utils/proofs.js

@@ -0,0 +1,41 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.generateAndVerifyProof = void 0;
+const contracts_1 = require("@maci-protocol/contracts");
+/**
+ * Generate and verify poll proof
+ * @param inputs - the inputs to the circuit
+ * @param zkeyPath - the path to the zkey
+ * @param useWasm - whether we want to use the wasm witness or not
+ * @param rapidsnarkExePath - the path to the rapidnsark binary
+ * @param witnessExePath - the path to the compiled witness binary
+ * @param wasmPath - the path to the wasm witness
+ * @returns proof - an array of strings
+ */
+const generateAndVerifyProof = async (inputs, zkeyPath, useWasm, rapidsnarkExePath, witnessExePath, wasmPath) => {
+    let r;
+    const vk = await (0, contracts_1.extractVk)(zkeyPath);
+    if (useWasm === true || useWasm === undefined) {
+        r = await (0, contracts_1.genProofSnarkjs)({
+            inputs,
+            zkeyPath,
+            wasmPath,
+        });
+    }
+    else {
+        r = await (0, contracts_1.genProofRapidSnark)({
+            inputs,
+            zkeyPath,
+            rapidsnarkExePath,
+            witnessExePath,
+        });
+    }
+    // verify it
+    const isValid = await (0, contracts_1.verifyProof)(r.publicSignals, r.proof, vk);
+    if (!isValid) {
+        throw new Error("Generated an invalid proof");
+    }
+    return (0, contracts_1.formatProofForVerifierContract)(r.proof);
+};
+exports.generateAndVerifyProof = generateAndVerifyProof;
+//# sourceMappingURL=proofs.js.map

package/build/ts/utils/proofs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proofs.js","sourceRoot":"","sources":["../../../ts/utils/proofs.ts"],"names":[],"mappings":";;;AAAA,wDAOkC;AAIlC;;;;;;;;;GASG;AACI,MAAM,sBAAsB,GAAG,KAAK,EACzC,MAAqB,EACrB,QAAgB,EAChB,OAA4B,EAC5B,iBAAqC,EACrC,cAAkC,EAClC,QAA4B,EACT,EAAE;IACrB,IAAI,CAAkB,CAAC;IAEvB,MAAM,EAAE,GAAG,MAAM,IAAA,qBAAS,EAAC,QAAQ,CAAC,CAAC;IAErC,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC9C,CAAC,GAAG,MAAM,IAAA,2BAAe,EAAC;YACxB,MAAM;YACN,QAAQ;YACR,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,CAAC,GAAG,MAAM,IAAA,8BAAkB,EAAC;YAC3B,MAAM;YACN,QAAQ;YACR,iBAAiB;YACjB,cAAc;SACf,CAAC,CAAC;IACL,CAAC;IAED,YAAY;IACZ,MAAM,OAAO,GAAG,MAAM,IAAA,uBAAW,EAAC,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAEhE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAChD,CAAC;IAED,OAAO,IAAA,0CAA8B,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AACjD,CAAC,CAAC;AAnCW,QAAA,sBAAsB,0BAmCjC"}

package/build/ts/utils/timeTravel.d.ts

@@ -0,0 +1,7 @@
+import type { ITimeTravelArgs } from "./types";
+/**
+ * Utility to travel in time when using a local blockchain
+ * @param args time travel args
+ */
+export declare const timeTravel: ({ seconds, signer }: ITimeTravelArgs) => Promise<void>;
+//# sourceMappingURL=timeTravel.d.ts.map

package/build/ts/utils/timeTravel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"timeTravel.d.ts","sourceRoot":"","sources":["../../../ts/utils/timeTravel.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAG/C;;;GAGG;AACH,eAAO,MAAM,UAAU,GAAU,qBAAqB,eAAe,KAAG,OAAO,CAAC,IAAI,CAInF,CAAC"}

package/build/ts/utils/timeTravel.js

@@ -0,0 +1,14 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.timeTravel = void 0;
+/**
+ * Utility to travel in time when using a local blockchain
+ * @param args time travel args
+ */
+const timeTravel = async ({ seconds, signer }) => {
+    // send the instructions to the provider
+    await signer.provider.send("evm_increaseTime", [Number(seconds)]);
+    await signer.provider.send("evm_mine", []);
+};
+exports.timeTravel = timeTravel;
+//# sourceMappingURL=timeTravel.js.map

package/build/ts/utils/timeTravel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"timeTravel.js","sourceRoot":"","sources":["../../../ts/utils/timeTravel.ts"],"names":[],"mappings":";;;AAGA;;;GAGG;AACI,MAAM,UAAU,GAAG,KAAK,EAAE,EAAE,OAAO,EAAE,MAAM,EAAmB,EAAiB,EAAE;IACtF,wCAAwC;IACxC,MAAO,MAAM,CAAC,QAA4B,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACvF,MAAO,MAAM,CAAC,QAA4B,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;AAClE,CAAC,CAAC;AAJW,QAAA,UAAU,cAIrB"}

package/build/ts/utils/trees.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Utility to calculate the depth of a binary tree
+ * @param maxLeaves - the number of leaves in the tree
+ * @returns the depth of the tree
+ */
+export declare const calculateBinaryTreeDepthFromMaxLeaves: (maxLeaves: number) => number;
+/**
+ * Utility to calculate the depth of a quin tree
+ * @param maxLeaves the number of leaves in the tree
+ * @returns the depth of the tree
+ */
+export declare const calculateQuinTreeDepthFromMaxLeaves: (maxLeaves: number) => number;
+//# sourceMappingURL=trees.d.ts.map

package/build/ts/utils/trees.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"trees.d.ts","sourceRoot":"","sources":["../../../ts/utils/trees.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,eAAO,MAAM,qCAAqC,GAAI,WAAW,MAAM,KAAG,MAQzE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,mCAAmC,GAAI,WAAW,MAAM,KAAG,MAQvE,CAAC"}

package/build/ts/utils/trees.js

@@ -0,0 +1,30 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.calculateQuinTreeDepthFromMaxLeaves = exports.calculateBinaryTreeDepthFromMaxLeaves = void 0;
+/**
+ * Utility to calculate the depth of a binary tree
+ * @param maxLeaves - the number of leaves in the tree
+ * @returns the depth of the tree
+ */
+const calculateBinaryTreeDepthFromMaxLeaves = (maxLeaves) => {
+    let result = 0;
+    while (2 ** result < maxLeaves) {
+        result += 1;
+    }
+    return result;
+};
+exports.calculateBinaryTreeDepthFromMaxLeaves = calculateBinaryTreeDepthFromMaxLeaves;
+/**
+ * Utility to calculate the depth of a quin tree
+ * @param maxLeaves the number of leaves in the tree
+ * @returns the depth of the tree
+ */
+const calculateQuinTreeDepthFromMaxLeaves = (maxLeaves) => {
+    let result = 0;
+    while (5 ** result < maxLeaves) {
+        result += 1;
+    }
+    return result;
+};
+exports.calculateQuinTreeDepthFromMaxLeaves = calculateQuinTreeDepthFromMaxLeaves;
+//# sourceMappingURL=trees.js.map

package/build/ts/utils/trees.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trees.js","sourceRoot":"","sources":["../../../ts/utils/trees.ts"],"names":[],"mappings":";;;AAAA;;;;GAIG;AACI,MAAM,qCAAqC,GAAG,CAAC,SAAiB,EAAU,EAAE;IACjF,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,OAAO,CAAC,IAAI,MAAM,GAAG,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,CAAC,CAAC;IACd,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AARW,QAAA,qCAAqC,yCAQhD;AAEF;;;;GAIG;AACI,MAAM,mCAAmC,GAAG,CAAC,SAAiB,EAAU,EAAE;IAC/E,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,OAAO,CAAC,IAAI,MAAM,GAAG,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,CAAC,CAAC;IACd,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AARW,QAAA,mCAAmC,uCAQ9C"}

package/build/ts/utils/types.d.ts

@@ -0,0 +1,71 @@
+import type { BigNumberish, Signer } from "ethers";
+/**
+ * A circuit inputs for the circom circuit
+ */
+export type CircuitInputs = Record<string, string | bigint | bigint[] | bigint[][] | string[] | bigint[][][]>;
+/**
+ * Circuit parameters
+ */
+export interface ICircuitParams {
+    /**
+     * The state tree depth
+     */
+    stateTreeDepth: number;
+    /**
+     * The intermediate state tree depth (ballot tree)
+     */
+    intStateTreeDepth: number;
+    /**
+     * The vote option tree depth
+     */
+    voteOptionTreeDepth: number;
+    /**
+     * The message batch size
+     */
+    messageBatchSize: number;
+}
+/**
+ * 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[][];
+}
+/**
+ * Interface for the arguments to the TimeTravel command
+ */
+export interface ITimeTravelArgs {
+    /**
+     * The number of seconds to time travel
+     */
+    seconds: number;
+    /**
+     * A signer object
+     */
+    signer: Signer;
+}
+/**
+ * Interface for the arguments to the FundWallet command
+ */
+export interface IFundWalletArgs {
+    /**
+     * The amount to fund
+     */
+    amount: number;
+    /**
+     * The address of the wallet to fund
+     */
+    address: string;
+    /**
+     * A signer object
+     */
+    signer: Signer;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../ts/utils/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEnD;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;AAE9G;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B;;OAEG;IACH,cAAc,EAAE,MAAM,CAAC;IACvB;;OAEG;IACH,iBAAiB,EAAE,MAAM,CAAC;IAC1B;;OAEG;IACH,mBAAmB,EAAE,MAAM,CAAC;IAC5B;;OAEG;IACH,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED;;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,eAAe;IAC9B;;OAEG;IACH,OAAO,EAAE,MAAM,CAAC;IAEhB;;OAEG;IACH,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B;;OAEG;IACH,MAAM,EAAE,MAAM,CAAC;IAEf;;OAEG;IACH,OAAO,EAAE,MAAM,CAAC;IAEhB;;OAEG;IACH,MAAM,EAAE,MAAM,CAAC;CAChB"}

package/build/ts/utils/types.js

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

package/build/ts/utils/types.js.map

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

package/build/ts/utils/utils.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Check if we are running on an arm chip
+ * @returns whether we are running on an arm chip
+ */
+export declare const isArm: () => boolean;
+/**
+ * Remove a file
+ * @param filepath - the path to the file
+ */
+export declare const unlinkFile: (filepath: string) => Promise<void>;
+/**
+ * Pause the thread for n milliseconds
+ * @param ms - the amount of time to sleep in milliseconds
+ */
+export declare const sleep: (ms: number) => Promise<void>;
+//# sourceMappingURL=utils.d.ts.map

package/build/ts/utils/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../ts/utils/utils.ts"],"names":[],"mappings":"AAGA;;;GAGG;AACH,eAAO,MAAM,KAAK,QAAO,OAAoC,CAAC;AAE9D;;;GAGG;AACH,eAAO,MAAM,UAAU,GAAU,UAAU,MAAM,KAAG,OAAO,CAAC,IAAI,CAM/D,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,KAAK,GAAU,IAAI,MAAM,KAAG,OAAO,CAAC,IAAI,CAIpD,CAAC"}

package/build/ts/utils/utils.js

@@ -0,0 +1,36 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.sleep = exports.unlinkFile = exports.isArm = void 0;
+const fs_1 = __importDefault(require("fs"));
+const os_1 = __importDefault(require("os"));
+/**
+ * Check if we are running on an arm chip
+ * @returns whether we are running on an arm chip
+ */
+const isArm = () => os_1.default.arch().includes("arm");
+exports.isArm = isArm;
+/**
+ * Remove a file
+ * @param filepath - the path to the file
+ */
+const unlinkFile = async (filepath) => {
+    const isFileExists = fs_1.default.existsSync(filepath);
+    if (isFileExists) {
+        await fs_1.default.promises.unlink(filepath);
+    }
+};
+exports.unlinkFile = unlinkFile;
+/**
+ * Pause the thread for n milliseconds
+ * @param ms - the amount of time to sleep in milliseconds
+ */
+const sleep = async (ms) => {
+    await new Promise((resolve) => {
+        setTimeout(resolve, ms);
+    });
+};
+exports.sleep = sleep;
+//# sourceMappingURL=utils.js.map

package/build/ts/utils/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../../ts/utils/utils.ts"],"names":[],"mappings":";;;;;;AAAA,4CAAoB;AACpB,4CAAoB;AAEpB;;;GAGG;AACI,MAAM,KAAK,GAAG,GAAY,EAAE,CAAC,YAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAAjD,QAAA,KAAK,SAA4C;AAE9D;;;GAGG;AACI,MAAM,UAAU,GAAG,KAAK,EAAE,QAAgB,EAAiB,EAAE;IAClE,MAAM,YAAY,GAAG,YAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAE7C,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,YAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACrC,CAAC;AACH,CAAC,CAAC;AANW,QAAA,UAAU,cAMrB;AAEF;;;GAGG;AACI,MAAM,KAAK,GAAG,KAAK,EAAE,EAAU,EAAiB,EAAE;IACvD,MAAM,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QAC5B,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAJW,QAAA,KAAK,SAIhB"}

package/build/ts/verifyingKeys/checkVerifyingKeys.d.ts

@@ -0,0 +1,10 @@
+import type { ICheckVerifyingKeysArgs } from "./types";
+/**
+ * Command to confirm that the verifying keys in the contract match the
+ * local ones
+ * @note see different options for zkey files to use specific circuits https://maci.pse.dev/docs/trusted-setup, https://maci.pse.dev/docs/testing/#pre-compiled-artifacts-for-testing
+ * @param CheckVerifyingKeysArgs - The arguments for the checkVerifyingKeys command
+ * @returns Whether the verifying keys match or not
+ */
+export declare const checkVerifyingKeys: ({ stateTreeDepth, intStateTreeDepth, voteOptionTreeDepth, messageBatchSize, processMessagesZkeyPath, tallyVotesZkeyPath, pollJoiningZkeyPath, pollJoinedZkeyPath, vkRegistry, signer, useQuadraticVoting, }: ICheckVerifyingKeysArgs) => Promise<boolean>;
+//# sourceMappingURL=checkVerifyingKeys.d.ts.map

package/build/ts/verifyingKeys/checkVerifyingKeys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkVerifyingKeys.d.ts","sourceRoot":"","sources":["../../../ts/verifyingKeys/checkVerifyingKeys.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,SAAS,CAAC;AAMvD;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,GAAU,6MAYtC,uBAAuB,KAAG,OAAO,CAAC,OAAO,CA6D3C,CAAC"}

package/build/ts/verifyingKeys/checkVerifyingKeys.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.checkVerifyingKeys = void 0;
+const contracts_1 = require("@maci-protocol/contracts");
+const fs_1 = __importDefault(require("fs"));
+const utils_1 = require("../utils");
+const utils_2 = require("./utils");
+/**
+ * Command to confirm that the verifying keys in the contract match the
+ * local ones
+ * @note see different options for zkey files to use specific circuits https://maci.pse.dev/docs/trusted-setup, https://maci.pse.dev/docs/testing/#pre-compiled-artifacts-for-testing
+ * @param CheckVerifyingKeysArgs - The arguments for the checkVerifyingKeys command
+ * @returns Whether the verifying keys match or not
+ */
+const checkVerifyingKeys = async ({ stateTreeDepth, intStateTreeDepth, voteOptionTreeDepth, messageBatchSize, processMessagesZkeyPath, tallyVotesZkeyPath, pollJoiningZkeyPath, pollJoinedZkeyPath, vkRegistry, signer, useQuadraticVoting = true, }) => {
+    if (!vkRegistry) {
+        throw new Error("Please provide a VkRegistry contract address");
+    }
+    const isVkExists = await (0, utils_1.contractExists)(signer.provider, vkRegistry);
+    if (!isVkExists) {
+        throw new Error("The VkRegistry contract does not exist");
+    }
+    // we need to ensure that the zkey files exist
+    const isProcessMessagesZkeyPathExists = fs_1.default.existsSync(processMessagesZkeyPath);
+    if (!isProcessMessagesZkeyPathExists) {
+        throw new Error("The provided Process messages zkey does not exist");
+    }
+    const isTallyVotesZkeyPathExists = fs_1.default.existsSync(tallyVotesZkeyPath);
+    if (!isTallyVotesZkeyPathExists) {
+        throw new Error("The provided Tally votes zkey does not exist");
+    }
+    // extract the verification keys from the zkey files
+    const { pollJoiningVk, pollJoinedVk, processVk, tallyVk } = await (0, utils_2.extractAllVks)({
+        processMessagesZkeyPath,
+        tallyVotesZkeyPath,
+        pollJoiningZkeyPath,
+        pollJoinedZkeyPath,
+    });
+    const mode = useQuadraticVoting ? contracts_1.EMode.QV : contracts_1.EMode.NON_QV;
+    const { pollJoiningVkOnChain, pollJoinedVkOnChain, processVkOnChain, tallyVkOnChain } = await (0, utils_2.getAllOnChainVks)({
+        vkRegistryAddress: vkRegistry,
+        signer,
+        stateTreeDepth,
+        voteOptionTreeDepth,
+        messageBatchSize,
+        intStateTreeDepth,
+        mode,
+    });
+    if (!(0, utils_2.compareVks)(pollJoiningVkOnChain, pollJoiningVk)) {
+        throw new Error("Poll verifying keys do not match");
+    }
+    if (!(0, utils_2.compareVks)(pollJoinedVkOnChain, pollJoinedVk)) {
+        throw new Error("Poll verifying keys do not match");
+    }
+    if (!(0, utils_2.compareVks)(processVkOnChain, processVk)) {
+        throw new Error("Process verifying keys do not match");
+    }
+    if (!(0, utils_2.compareVks)(tallyVkOnChain, tallyVk)) {
+        throw new Error("Tally verifying keys do not match");
+    }
+    return true;
+};
+exports.checkVerifyingKeys = checkVerifyingKeys;
+//# sourceMappingURL=checkVerifyingKeys.js.map

package/build/ts/verifyingKeys/checkVerifyingKeys.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkVerifyingKeys.js","sourceRoot":"","sources":["../../../ts/verifyingKeys/checkVerifyingKeys.ts"],"names":[],"mappings":";;;;;;AAAA,wDAAiD;AAEjD,4CAAoB;AAIpB,oCAA0C;AAE1C,mCAAsE;AAEtE;;;;;;GAMG;AACI,MAAM,kBAAkB,GAAG,KAAK,EAAE,EACvC,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EAChB,uBAAuB,EACvB,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,UAAU,EACV,MAAM,EACN,kBAAkB,GAAG,IAAI,GACD,EAAoB,EAAE;IAC9C,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,IAAA,sBAAc,EAAC,MAAM,CAAC,QAAS,EAAE,UAAU,CAAC,CAAC;IAEtE,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,CAAC;IAED,8CAA8C;IAC9C,MAAM,+BAA+B,GAAG,YAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC,CAAC;IAE/E,IAAI,CAAC,+BAA+B,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IAED,MAAM,0BAA0B,GAAG,YAAE,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC;IAErE,IAAI,CAAC,0BAA0B,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IAED,oDAAoD;IACpD,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,MAAM,IAAA,qBAAa,EAAC;QAC9E,uBAAuB;QACvB,kBAAkB;QAClB,mBAAmB;QACnB,kBAAkB;KACnB,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,kBAAkB,CAAC,CAAC,CAAC,iBAAK,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAK,CAAC,MAAM,CAAC;IAE1D,MAAM,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,cAAc,EAAE,GAAG,MAAM,IAAA,wBAAgB,EAAC;QAC7G,iBAAiB,EAAE,UAAU;QAC7B,MAAM;QACN,cAAc;QACd,mBAAmB;QACnB,gBAAgB;QAChB,iBAAiB;QACjB,IAAI;KACL,CAAC,CAAC;IAEH,IAAI,CAAC,IAAA,kBAAU,EAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACtD,CAAC;IAED,IAAI,CAAC,IAAA,kBAAU,EAAC,mBAAmB,EAAE,YAAY,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACtD,CAAC;IAED,IAAI,CAAC,IAAA,kBAAU,EAAC,gBAAgB,EAAE,SAAS,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IAED,IAAI,CAAC,IAAA,kBAAU,EAAC,cAAc,EAAE,OAAO,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACvD,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAzEW,QAAA,kBAAkB,sBAyE7B"}

package/build/ts/verifyingKeys/index.d.ts

@@ -0,0 +1,5 @@
+export { checkVerifyingKeys } from "./checkVerifyingKeys";
+export { setVerifyingKeys } from "./setVerifyingKeys";
+export { getAllOnChainVks, compareVks, extractAllVks, extractVkToFile } from "./utils";
+export type { IGetAllVksArgs, IMaciVerifyingKeys, IExtractAllVksArgs, IMaciVks, ISetVerifyingKeysArgs, ICheckVerifyingKeysArgs, } from "./types";
+//# sourceMappingURL=index.d.ts.map

package/build/ts/verifyingKeys/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../ts/verifyingKeys/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AACvF,YAAY,EACV,cAAc,EACd,kBAAkB,EAClB,kBAAkB,EAClB,QAAQ,EACR,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,SAAS,CAAC"}

package/build/ts/verifyingKeys/index.js

@@ -0,0 +1,13 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.extractVkToFile = exports.extractAllVks = exports.compareVks = exports.getAllOnChainVks = exports.setVerifyingKeys = exports.checkVerifyingKeys = void 0;
+var checkVerifyingKeys_1 = require("./checkVerifyingKeys");
+Object.defineProperty(exports, "checkVerifyingKeys", { enumerable: true, get: function () { return checkVerifyingKeys_1.checkVerifyingKeys; } });
+var setVerifyingKeys_1 = require("./setVerifyingKeys");
+Object.defineProperty(exports, "setVerifyingKeys", { enumerable: true, get: function () { return setVerifyingKeys_1.setVerifyingKeys; } });
+var utils_1 = require("./utils");
+Object.defineProperty(exports, "getAllOnChainVks", { enumerable: true, get: function () { return utils_1.getAllOnChainVks; } });
+Object.defineProperty(exports, "compareVks", { enumerable: true, get: function () { return utils_1.compareVks; } });
+Object.defineProperty(exports, "extractAllVks", { enumerable: true, get: function () { return utils_1.extractAllVks; } });
+Object.defineProperty(exports, "extractVkToFile", { enumerable: true, get: function () { return utils_1.extractVkToFile; } });
+//# sourceMappingURL=index.js.map

package/build/ts/verifyingKeys/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../ts/verifyingKeys/index.ts"],"names":[],"mappings":";;;AAAA,2DAA0D;AAAjD,wHAAA,kBAAkB,OAAA;AAC3B,uDAAsD;AAA7C,oHAAA,gBAAgB,OAAA;AACzB,iCAAuF;AAA9E,yGAAA,gBAAgB,OAAA;AAAE,mGAAA,UAAU,OAAA;AAAE,sGAAA,aAAa,OAAA;AAAE,wGAAA,eAAe,OAAA"}

package/build/ts/verifyingKeys/setVerifyingKeys.d.ts

@@ -0,0 +1,7 @@
+import type { ISetVerifyingKeysArgs } from "./types";
+/**
+ * Set the verifying keys on the contract
+ * @param args - The arguments for the setVerifyingKeys function
+ */
+export declare const setVerifyingKeys: ({ pollJoiningVk, pollJoinedVk, processMessagesVk, tallyVotesVk, stateTreeDepth, intStateTreeDepth, voteOptionTreeDepth, messageBatchSize, vkRegistryAddress, signer, mode, }: ISetVerifyingKeysArgs) => Promise<void>;
+//# sourceMappingURL=setVerifyingKeys.d.ts.map

package/build/ts/verifyingKeys/setVerifyingKeys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setVerifyingKeys.d.ts","sourceRoot":"","sources":["../../../ts/verifyingKeys/setVerifyingKeys.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,SAAS,CAAC;AAMrD;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAAU,8KAYpC,qBAAqB,KAAG,OAAO,CAAC,IAAI,CAwFtC,CAAC"}

package/build/ts/verifyingKeys/setVerifyingKeys.js

@@ -0,0 +1,73 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.setVerifyingKeys = void 0;
+const contracts_1 = require("@maci-protocol/contracts");
+const core_1 = require("@maci-protocol/core");
+const utils_1 = require("../utils");
+const utils_2 = require("./utils");
+/**
+ * Set the verifying keys on the contract
+ * @param args - The arguments for the setVerifyingKeys function
+ */
+const setVerifyingKeys = async ({ pollJoiningVk, pollJoinedVk, processMessagesVk, tallyVotesVk, stateTreeDepth, intStateTreeDepth, voteOptionTreeDepth, messageBatchSize, vkRegistryAddress, signer, mode, }) => {
+    // validate args
+    if (stateTreeDepth < 1 || intStateTreeDepth < 1 || voteOptionTreeDepth < 1 || messageBatchSize < 1) {
+        throw new Error("Invalid depth or batch size parameters");
+    }
+    if (stateTreeDepth < intStateTreeDepth) {
+        throw new Error("Invalid state tree depth or intermediate state tree depth");
+    }
+    const vkRegistryContractExists = await (0, utils_1.contractExists)(signer.provider, vkRegistryAddress);
+    // ensure we have a contract deployed at the provided address
+    if (!vkRegistryContractExists) {
+        throw new Error(`A VkRegistry contract is not deployed at ${vkRegistryAddress}`);
+    }
+    // connect to VkRegistry contract
+    const vkRegistryContract = contracts_1.VkRegistry__factory.connect(vkRegistryAddress, signer);
+    // check if the poll vk was already set
+    const pollJoiningVkSig = (0, core_1.genPollJoiningVkSig)(stateTreeDepth);
+    if (await vkRegistryContract.isPollJoiningVkSet(pollJoiningVkSig)) {
+        throw new Error("This poll verifying key is already set in the contract");
+    }
+    // check if the poll vk was already set
+    const pollJoinedVkSig = (0, core_1.genPollJoinedVkSig)(stateTreeDepth);
+    if (await vkRegistryContract.isPollJoinedVkSet(pollJoinedVkSig)) {
+        throw new Error("This poll verifying key is already set in the contract");
+    }
+    // check if the process messages vk was already set
+    const processVkSig = (0, core_1.genProcessVkSig)(stateTreeDepth, voteOptionTreeDepth, messageBatchSize);
+    if (await vkRegistryContract.isProcessVkSet(processVkSig, contracts_1.EMode.QV)) {
+        throw new Error("This process verifying key is already set in the contract");
+    }
+    // do the same for the tally votes vk
+    const tallyVkSig = (0, core_1.genTallyVkSig)(stateTreeDepth, intStateTreeDepth, voteOptionTreeDepth);
+    if (await vkRegistryContract.isTallyVkSet(tallyVkSig, mode)) {
+        throw new Error("This tally verifying key is already set in the contract");
+    }
+    // set them onchain
+    const tx = await vkRegistryContract.setVerifyingKeysBatch(stateTreeDepth, intStateTreeDepth, voteOptionTreeDepth, messageBatchSize, [mode], pollJoiningVk.asContractParam(), pollJoinedVk.asContractParam(), [processMessagesVk.asContractParam()], [tallyVotesVk.asContractParam()]);
+    const receipt = await tx.wait();
+    if (receipt?.status !== 1) {
+        throw new Error("Set verifying keys transaction failed");
+    }
+    const [pollJoiningVkOnChain, pollJoinedVkOnChain, processVkOnChain, tallyVkOnChain] = await Promise.all([
+        vkRegistryContract.getPollJoiningVk(stateTreeDepth),
+        vkRegistryContract.getPollJoinedVk(stateTreeDepth),
+        vkRegistryContract.getProcessVk(stateTreeDepth, voteOptionTreeDepth, messageBatchSize, mode),
+        vkRegistryContract.getTallyVk(stateTreeDepth, intStateTreeDepth, voteOptionTreeDepth, mode),
+    ]);
+    if (!(0, utils_2.compareVks)(pollJoiningVkOnChain, pollJoiningVk)) {
+        throw new Error("pollJoiningVk mismatch");
+    }
+    if (!(0, utils_2.compareVks)(pollJoinedVkOnChain, pollJoinedVk)) {
+        throw new Error("pollJoinedVk mismatch");
+    }
+    if (!(0, utils_2.compareVks)(processVkOnChain, processMessagesVk)) {
+        throw new Error("processVk mismatch");
+    }
+    if (!(0, utils_2.compareVks)(tallyVkOnChain, tallyVotesVk)) {
+        throw new Error("tallyVk mismatch");
+    }
+};
+exports.setVerifyingKeys = setVerifyingKeys;
+//# sourceMappingURL=setVerifyingKeys.js.map

package/build/ts/verifyingKeys/setVerifyingKeys.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"setVerifyingKeys.js","sourceRoot":"","sources":["../../../ts/verifyingKeys/setVerifyingKeys.ts"],"names":[],"mappings":";;;AAAA,wDAAgH;AAChH,8CAA8G;AAI9G,oCAA0C;AAE1C,mCAAqC;AAErC;;;GAGG;AACI,MAAM,gBAAgB,GAAG,KAAK,EAAE,EACrC,aAAa,EACb,YAAY,EACZ,iBAAiB,EACjB,YAAY,EACZ,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACjB,MAAM,EACN,IAAI,GACkB,EAAiB,EAAE;IACzC,gBAAgB;IAChB,IAAI,cAAc,GAAG,CAAC,IAAI,iBAAiB,GAAG,CAAC,IAAI,mBAAmB,GAAG,CAAC,IAAI,gBAAgB,GAAG,CAAC,EAAE,CAAC;QACnG,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,cAAc,GAAG,iBAAiB,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC/E,CAAC;IAED,MAAM,wBAAwB,GAAG,MAAM,IAAA,sBAAc,EAAC,MAAM,CAAC,QAAS,EAAE,iBAAiB,CAAC,CAAC;IAC3F,6DAA6D;IAC7D,IAAI,CAAC,wBAAwB,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,4CAA4C,iBAAiB,EAAE,CAAC,CAAC;IACnF,CAAC;IAED,iCAAiC;IACjC,MAAM,kBAAkB,GAAG,+BAAiB,CAAC,OAAO,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;IAEhF,uCAAuC;IACvC,MAAM,gBAAgB,GAAG,IAAA,0BAAmB,EAAC,cAAc,CAAC,CAAC;IAE7D,IAAI,MAAM,kBAAkB,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IAED,uCAAuC;IACvC,MAAM,eAAe,GAAG,IAAA,yBAAkB,EAAC,cAAc,CAAC,CAAC;IAE3D,IAAI,MAAM,kBAAkB,CAAC,iBAAiB,CAAC,eAAe,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IAED,mDAAmD;IACnD,MAAM,YAAY,GAAG,IAAA,sBAAe,EAAC,cAAc,EAAE,mBAAmB,EAAE,gBAAgB,CAAC,CAAC;IAE5F,IAAI,MAAM,kBAAkB,CAAC,cAAc,CAAC,YAAY,EAAE,iBAAK,CAAC,EAAE,CAAC,EAAE,CAAC;QACpE,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC/E,CAAC;IAED,qCAAqC;IACrC,MAAM,UAAU,GAAG,IAAA,oBAAa,EAAC,cAAc,EAAE,iBAAiB,EAAE,mBAAmB,CAAC,CAAC;IAEzF,IAAI,MAAM,kBAAkB,CAAC,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IAED,mBAAmB;IACnB,MAAM,EAAE,GAAG,MAAM,kBAAkB,CAAC,qBAAqB,CACvD,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EAChB,CAAC,IAAI,CAAC,EACN,aAAa,CAAC,eAAe,EAAyB,EACtD,YAAY,CAAC,eAAe,EAAyB,EACrD,CAAC,iBAAiB,CAAC,eAAe,EAAyB,CAAC,EAC5D,CAAC,YAAY,CAAC,eAAe,EAAyB,CAAC,CACxD,CAAC;IAEF,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC;IAEhC,IAAI,OAAO,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,CAAC,oBAAoB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,cAAc,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACtG,kBAAkB,CAAC,gBAAgB,CAAC,cAAc,CAAC;QACnD,kBAAkB,CAAC,eAAe,CAAC,cAAc,CAAC;QAClD,kBAAkB,CAAC,YAAY,CAAC,cAAc,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,IAAI,CAAC;QAC5F,kBAAkB,CAAC,UAAU,CAAC,cAAc,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,IAAI,CAAC;KAC5F,CAAC,CAAC;IAEH,IAAI,CAAC,IAAA,kBAAU,EAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC5C,CAAC;IAED,IAAI,CAAC,IAAA,kBAAU,EAAC,mBAAmB,EAAE,YAAY,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;IAC3C,CAAC;IAED,IAAI,CAAC,IAAA,kBAAU,EAAC,gBAAgB,EAAE,iBAAiB,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;IACxC,CAAC;IAED,IAAI,CAAC,IAAA,kBAAU,EAAC,cAAc,EAAE,YAAY,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC;IACtC,CAAC;AACH,CAAC,CAAC;AApGW,QAAA,gBAAgB,oBAoG3B"}