diff --git a/.gitignore b/.gitignore
index 6117ff7..eb324ca 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,7 +11,7 @@ publish
 
 # Compilation output
 /build-test/
-/dist
+# /dist
 
 .nyc_output
 
diff --git a/dist/constants.d.ts b/dist/constants.d.ts
new file mode 100644
index 0000000..5e31d73
--- /dev/null
+++ b/dist/constants.d.ts
@@ -0,0 +1,3 @@
+export declare const BN128_CURVE_NAME = "bn128";
+export declare const MAX_FILE_NAME_LENGTH = 255;
+//# sourceMappingURL=constants.d.ts.map
diff --git a/dist/constants.d.ts.map b/dist/constants.d.ts.map
new file mode 100644
index 0000000..4f7ea03
--- /dev/null
+++ b/dist/constants.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,gBAAgB,UAAU,CAAC;AAExC,eAAO,MAAM,oBAAoB,MAAM,CAAC"}
\ No newline at end of file
diff --git a/dist/constants.js b/dist/constants.js
new file mode 100644
index 0000000..dcf9d4b
--- /dev/null
+++ b/dist/constants.js
@@ -0,0 +1,6 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MAX_FILE_NAME_LENGTH = exports.BN128_CURVE_NAME = void 0;
+exports.BN128_CURVE_NAME = "bn128";
+exports.MAX_FILE_NAME_LENGTH = 255;
+//# sourceMappingURL=constants.js.map
\ No newline at end of file
diff --git a/dist/constants.js.map b/dist/constants.js.map
new file mode 100644
index 0000000..0059e85
--- /dev/null
+++ b/dist/constants.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":";;;AAAa,QAAA,gBAAgB,GAAG,OAAO,CAAC;AAE3B,QAAA,oBAAoB,GAAG,GAAG,CAAC"}
\ No newline at end of file
diff --git a/dist/core/CircuitZKit.d.ts b/dist/core/CircuitZKit.d.ts
new file mode 100644
index 0000000..d93a729
--- /dev/null
+++ b/dist/core/CircuitZKit.d.ts
@@ -0,0 +1,147 @@
+import {
+  ArtifactsFileType,
+  CircuitZKitConfig,
+  VerifierLanguageType,
+  Signals,
+  CalldataByProtocol,
+  IProtocolImplementer,
+  ProofStructByProtocol,
+  ProvingSystemType,
+} from "../types";
+/**
+ * `CircuitZKit` represents a single circuit and provides a high-level API to work with it.
+ */
+export declare class CircuitZKit<Type extends ProvingSystemType> {
+  private readonly _config;
+  private readonly _implementer;
+  constructor(_config: CircuitZKitConfig, _implementer: IProtocolImplementer<Type>);
+  /**
+   * Creates a verifier contract for the specified contract language with optional name suffix.
+   * For more details regarding the structure of the contract verifier name, see {@link getVerifierName} description.
+   *
+   * In case the length of the verifier filename exceeds the {@link MAX_FILE_NAME_LENGTH},
+   * the `verifierNameSuffix` will be replaced by the first four bytes of its `sha1` hash.
+   *
+   * If no suffix was passed, but the verifier's filename still exceeds {@link MAX_FILE_NAME_LENGTH}, an error will be thrown.
+   *
+   * @param {VerifierLanguageType} languageExtension - The verifier contract language extension.
+   * @param {string} verifierNameSuffix - The optional verifier name suffix.
+   */
+  createVerifier(languageExtension: VerifierLanguageType, verifierNameSuffix?: string): Promise<void>;
+  /**
+   * Calculates a witness for the given inputs.
+   *
+   * If `witnessOverrides` are provided, the corresponding witness values will be substituted in the result.
+   *
+   * Signal names in `witnessOverrides` must be provided in their full form as represented in the `.sym` file, e.g.,
+   * `main.signal`, `main.component.signal`, or `main.component.signal[n][m]`.
+   *
+   * @param {Signals} inputs - The inputs for the circuit.
+   * @param {Record<string, bigint>} [witnessOverrides] - Optional map of signal names to override their witness values.
+   * @param {string} witnessFilePath - The inputs for the witness file path.
+   * @returns {Promise<bigint[]>} The generated witness.
+   */
+  calculateWitness(
+    inputs: Signals,
+    witnessOverrides?: Record<string, bigint>,
+    witnessFilePath?: string,
+  ): Promise<bigint[]>;
+  /**
+   * Generates a proof for the given inputs.
+   *
+   * @dev The `inputs` should be in the same order as the circuit expects them.
+   *
+   * If `witnessOverrides` are provided, the witness will be calculated from the inputs and overridden accordingly.
+   * Otherwise, a standard witness will be calculated and used.
+   *
+   * Signal names in `witnessOverrides` must be provided in their full form as represented in the `.sym` file, e.g.,
+   * `main.signal`, `main.component.signal`, or `main.component.signal[n][m]`.
+   *
+   * @param {Signals} inputs - The inputs for the circuit.
+   * @param {Record<string, bigint>} [witnessOverrides] - Optional map of signal names to override their witness values.
+   * @param {boolean} uniqueWitnessPath - The flag for unique witness path to avoid I/O concurrent conflicts. default - false
+   * @returns {Promise<ProofStructByProtocol<Type>>} The generated proof.
+   */
+  generateProof(
+    inputs: Signals,
+    witnessOverrides?: Record<string, bigint>,
+    uniqueWitnessPath?: boolean,
+  ): Promise<ProofStructByProtocol<Type>>;
+  /**
+   * Verifies the given proof.
+   *
+   * @dev The `proof` can be generated using the `generateProof` method.
+   * @dev The `proof.publicSignals` should be in the same order as the circuit expects them.
+   *
+   * @param {ProofStructByProtocol<Type>} proof - The proof to verify.
+   * @returns {Promise<boolean>} Whether the proof is valid.
+   */
+  verifyProof(proof: ProofStructByProtocol<Type>): Promise<boolean>;
+  /**
+   * Generates the calldata for the given proof. The calldata can be used to verify the proof on-chain.
+   *
+   * @param {ProofStructByProtocol<Type>} proof - The proof to generate calldata for.
+   * @returns {Promise<CalldataByProtocol<Type>>} - The generated calldata.
+   */
+  generateCalldata(proof: ProofStructByProtocol<Type>): Promise<CalldataByProtocol<Type>>;
+  /**
+   * Returns the circuit name. The circuit name is the name of the circuit file without the extension.
+   *
+   * @returns {string} The circuit name.
+   */
+  getCircuitName(): string;
+  /**
+   * Returns the verifier name. The verifier name has the next structure:
+   * `<template name><suffix><proving system>Verifier.<extension>`.
+   *
+   * @param {string} verifierNameSuffix - The optional verifier name suffix.
+   *
+   * @returns {string} The verifier name.
+   */
+  getVerifierName(verifierNameSuffix?: string): string;
+  /**
+   * Returns the type of the proving protocol
+   *
+   * @returns {ProvingSystemType} The protocol proving system type.
+   */
+  getProvingSystemType(): ProvingSystemType;
+  /**
+   * Returns the Solidity verifier template.
+   *
+   * @returns {string} The Solidity verifier template.
+   */
+  getVerifierTemplate(languageExtension: VerifierLanguageType): string;
+  /**
+   * Returns the path to the temporary witness file.
+   *
+   * The file is stored in the system temporary directory and is named after the circuit.
+   * This file is used for intermediate witness generation and may be deleted after usage.
+   *
+   * @returns {string} The full path to the temporary `.wtns` file.
+   */
+  getTemporaryWitnessPath(): string;
+  /**
+   * Returns the path to the temporary witness file with uniqueness.
+   *
+   * The file is stored in the system temporary directory and is named after the circuit with uniqueness.
+   * This file is used for intermediate witness generation and may be deleted after usage.
+   *
+   * @returns {string} The full path to the temporary `.wtns` file.
+   */
+  getTemporaryUniqueWitnessPath(): string;
+  /**
+   * Returns the path to the file of the given type inside artifacts directory. Throws an error if the file doesn't exist.
+   *
+   * @param {ArtifactsFileType} fileType - The type of the file.
+   * @returns {string} The path to the file.
+   */
+  mustGetArtifactsFilePath(fileType: ArtifactsFileType): string;
+  /**
+   * Returns the path to the file of the given type inside artifacts directory.
+   *
+   * @param {ArtifactsFileType} fileType - The type of the file.
+   * @returns {string} The path to the file.
+   */
+  getArtifactsFilePath(fileType: ArtifactsFileType): string;
+}
+//# sourceMappingURL=CircuitZKit.d.ts.map
diff --git a/dist/core/CircuitZKit.d.ts.map b/dist/core/CircuitZKit.d.ts.map
new file mode 100644
index 0000000..4c547e3
--- /dev/null
+++ b/dist/core/CircuitZKit.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"CircuitZKit.d.ts","sourceRoot":"","sources":["../../src/core/CircuitZKit.ts"],"names":[],"mappings":"AAMA,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EACpB,OAAO,EACP,kBAAkB,EAClB,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,EAElB,MAAM,UAAU,CAAC;AAKlB;;GAEG;AACH,qBAAa,WAAW,CAAC,IAAI,SAAS,iBAAiB;IAEnD,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,YAAY;gBADZ,OAAO,EAAE,iBAAiB,EAC1B,YAAY,EAAE,oBAAoB,CAAC,IAAI,CAAC;IAG3D;;;;;;;;;;;OAWG;IACU,cAAc,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,kBAAkB,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAsBhH;;;;;;;;;;;;OAYG;IACU,gBAAgB,CAC3B,MAAM,EAAE,OAAO,EACf,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACzC,eAAe,CAAC,EAAE,MAAM,GACvB,OAAO,CAAC,MAAM,EAAE,CAAC;IAmBpB;;;;;;;;;;;;;;;OAeG;IACU,aAAa,CACxB,MAAM,EAAE,OAAO,EACf,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACzC,iBAAiB,GAAE,OAAe,GACjC,OAAO,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAuBvC;;;;;;;;OAQG;IACU,WAAW,CAAC,KAAK,EAAE,qBAAqB,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC;IAM9E;;;;;OAKG;IACU,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAIpG;;;;OAIG;IACI,cAAc,IAAI,MAAM;IAI/B;;;;;;;OAOG;IACI,eAAe,CAAC,kBAAkB,CAAC,EAAE,MAAM,GAAG,MAAM;IAI3D;;;;OAIG;IACI,oBAAoB,IAAI,iBAAiB;IAIhD;;;;OAIG;IACI,mBAAmB,CAAC,iBAAiB,EAAE,oBAAoB,GAAG,MAAM;IAI3E;;;;;;;OAOG;IACI,uBAAuB,IAAI,MAAM;IAIxC;;;;;;;OAOG;IACI,6BAA6B,IAAI,MAAM;IAI9C;;;;;OAKG;IACI,wBAAwB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,MAAM;IAUpE;;;;;OAKG;IACI,oBAAoB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,MAAM;CAgCjE"}
\ No newline at end of file
diff --git a/dist/core/CircuitZKit.js b/dist/core/CircuitZKit.js
new file mode 100644
index 0000000..1e44824
--- /dev/null
+++ b/dist/core/CircuitZKit.js
@@ -0,0 +1,272 @@
+"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.CircuitZKit = void 0;
+const fs_1 = __importDefault(require("fs"));
+const path_1 = __importDefault(require("path"));
+const snarkjs = __importStar(require("snarkjs"));
+const crypto_1 = require("crypto");
+const uuid_1 = require("uuid");
+const constants_1 = require("../constants");
+const utils_1 = require("../utils");
+/**
+ * `CircuitZKit` represents a single circuit and provides a high-level API to work with it.
+ */
+class CircuitZKit {
+    _config;
+    _implementer;
+    constructor(_config, _implementer) {
+        this._config = _config;
+        this._implementer = _implementer;
+    }
+    /**
+     * Creates a verifier contract for the specified contract language with optional name suffix.
+     * For more details regarding the structure of the contract verifier name, see {@link getVerifierName} description.
+     *
+     * In case the length of the verifier filename exceeds the {@link MAX_FILE_NAME_LENGTH},
+     * the `verifierNameSuffix` will be replaced by the first four bytes of its `sha1` hash.
+     *
+     * If no suffix was passed, but the verifier's filename still exceeds {@link MAX_FILE_NAME_LENGTH}, an error will be thrown.
+     *
+     * @param {VerifierLanguageType} languageExtension - The verifier contract language extension.
+     * @param {string} verifierNameSuffix - The optional verifier name suffix.
+     */
+    async createVerifier(languageExtension, verifierNameSuffix) {
+        const vKeyFilePath = this.mustGetArtifactsFilePath("vkey");
+        let verifierFileName = `${this.getVerifierName(verifierNameSuffix)}.${languageExtension}`;
+        if (verifierFileName.length >= constants_1.MAX_FILE_NAME_LENGTH) {
+            const modifiedSuffix = verifierNameSuffix
+                ? `_0x${(0, crypto_1.createHash)("sha1").update(verifierNameSuffix).digest("hex").slice(0, 8)}_`
+                : "";
+            verifierFileName = `${this.getVerifierName(modifiedSuffix)}.${languageExtension}`;
+            if (verifierFileName.length >= constants_1.MAX_FILE_NAME_LENGTH) {
+                throw new Error(`Verifier file name "${verifierFileName}" exceeds the maximum file name length`);
+            }
+        }
+        const verifierFilePath = path_1.default.join(this._config.verifierDirPath, verifierFileName);
+        await this._implementer.createVerifier(vKeyFilePath, verifierFilePath, languageExtension);
+    }
+    /**
+     * Calculates a witness for the given inputs.
+     *
+     * If `witnessOverrides` are provided, the corresponding witness values will be substituted in the result.
+     *
+     * Signal names in `witnessOverrides` must be provided in their full form as represented in the `.sym` file, e.g.,
+     * `main.signal`, `main.component.signal`, or `main.component.signal[n][m]`.
+     *
+     * @param {Signals} inputs - The inputs for the circuit.
+     * @param {Record<string, bigint>} [witnessOverrides] - Optional map of signal names to override their witness values.
+     * @param {string} witnessFilePath - The inputs for the witness file path.
+     * @returns {Promise<bigint[]>} The generated witness.
+     */
+    async calculateWitness(inputs, witnessOverrides, witnessFilePath) {
+        const wtnsFile = witnessFilePath ?? this.getTemporaryWitnessPath();
+        const wasmFile = this.mustGetArtifactsFilePath("wasm");
+        let signalIndexes = {};
+        if (witnessOverrides) {
+            const symFile = this.mustGetArtifactsFilePath("sym");
+            signalIndexes = await (0, utils_1.checkWitnessOverrides)(symFile, witnessOverrides);
+        }
+        await snarkjs.wtns.calculate(inputs, wasmFile, wtnsFile);
+        const wtnsJson = (await snarkjs.wtns.exportJson(wtnsFile));
+        return witnessOverrides ? (0, utils_1.modifyWitnessArray)(wtnsJson, signalIndexes, witnessOverrides) : wtnsJson;
+    }
+    /**
+     * Generates a proof for the given inputs.
+     *
+     * @dev The `inputs` should be in the same order as the circuit expects them.
+     *
+     * If `witnessOverrides` are provided, the witness will be calculated from the inputs and overridden accordingly.
+     * Otherwise, a standard witness will be calculated and used.
+     *
+     * Signal names in `witnessOverrides` must be provided in their full form as represented in the `.sym` file, e.g.,
+     * `main.signal`, `main.component.signal`, or `main.component.signal[n][m]`.
+     *
+     * @param {Signals} inputs - The inputs for the circuit.
+     * @param {Record<string, bigint>} [witnessOverrides] - Optional map of signal names to override their witness values.
+     * @param {boolean} uniqueWitnessPath - The flag for unique witness path to avoid I/O concurrent conflicts. default - false
+     * @returns {Promise<ProofStructByProtocol<Type>>} The generated proof.
+     */
+    async generateProof(inputs, witnessOverrides, uniqueWitnessPath = false) {
+        const zKeyFile = this.mustGetArtifactsFilePath("zkey");
+        const witnessFile = uniqueWitnessPath ? this.getTemporaryUniqueWitnessPath() : this.getTemporaryWitnessPath();
+        let proof;
+        try {
+            const witness = await this.calculateWitness(inputs, witnessOverrides, witnessFile);
+            if (witnessOverrides) {
+                await (0, utils_1.writeWitnessFile)(witnessFile, witness);
+            }
+            proof = await this._implementer.generateProof(zKeyFile, witnessFile);
+        }
+        finally {
+            if (fs_1.default.existsSync(witnessFile)) {
+                fs_1.default.rmSync(witnessFile);
+            }
+        }
+        return proof;
+    }
+    /**
+     * Verifies the given proof.
+     *
+     * @dev The `proof` can be generated using the `generateProof` method.
+     * @dev The `proof.publicSignals` should be in the same order as the circuit expects them.
+     *
+     * @param {ProofStructByProtocol<Type>} proof - The proof to verify.
+     * @returns {Promise<boolean>} Whether the proof is valid.
+     */
+    async verifyProof(proof) {
+        const vKeyFile = this.mustGetArtifactsFilePath("vkey");
+        return this._implementer.verifyProof(proof, vKeyFile);
+    }
+    /**
+     * Generates the calldata for the given proof. The calldata can be used to verify the proof on-chain.
+     *
+     * @param {ProofStructByProtocol<Type>} proof - The proof to generate calldata for.
+     * @returns {Promise<CalldataByProtocol<Type>>} - The generated calldata.
+     */
+    async generateCalldata(proof) {
+        return await this._implementer.generateCalldata(proof);
+    }
+    /**
+     * Returns the circuit name. The circuit name is the name of the circuit file without the extension.
+     *
+     * @returns {string} The circuit name.
+     */
+    getCircuitName() {
+        return this._config.circuitName;
+    }
+    /**
+     * Returns the verifier name. The verifier name has the next structure:
+     * `<template name><suffix><proving system>Verifier.<extension>`.
+     *
+     * @param {string} verifierNameSuffix - The optional verifier name suffix.
+     *
+     * @returns {string} The verifier name.
+     */
+    getVerifierName(verifierNameSuffix) {
+        return this._implementer.getVerifierName(this._config.circuitName, verifierNameSuffix);
+    }
+    /**
+     * Returns the type of the proving protocol
+     *
+     * @returns {ProvingSystemType} The protocol proving system type.
+     */
+    getProvingSystemType() {
+        return this._implementer.getProvingSystemType();
+    }
+    /**
+     * Returns the Solidity verifier template.
+     *
+     * @returns {string} The Solidity verifier template.
+     */
+    getVerifierTemplate(languageExtension) {
+        return this._implementer.getTemplate(languageExtension);
+    }
+    /**
+     * Returns the path to the temporary witness file.
+     *
+     * The file is stored in the system temporary directory and is named after the circuit.
+     * This file is used for intermediate witness generation and may be deleted after usage.
+     *
+     * @returns {string} The full path to the temporary `.wtns` file.
+     */
+    getTemporaryWitnessPath() {
+        return path_1.default.join((0, utils_1.getTmpDir)(), `${this.getCircuitName()}.wtns`);
+    }
+    /**
+     * Returns the path to the temporary witness file with uniqueness.
+     *
+     * The file is stored in the system temporary directory and is named after the circuit with uniqueness.
+     * This file is used for intermediate witness generation and may be deleted after usage.
+     *
+     * @returns {string} The full path to the temporary `.wtns` file.
+     */
+    getTemporaryUniqueWitnessPath() {
+        return path_1.default.join((0, utils_1.getTmpDir)(), `${this.getCircuitName()}-${(0, uuid_1.v4)()}.wtns`);
+    }
+    /**
+     * Returns the path to the file of the given type inside artifacts directory. Throws an error if the file doesn't exist.
+     *
+     * @param {ArtifactsFileType} fileType - The type of the file.
+     * @returns {string} The path to the file.
+     */
+    mustGetArtifactsFilePath(fileType) {
+        const file = this.getArtifactsFilePath(fileType);
+        if (!fs_1.default.existsSync(file)) {
+            throw new Error(`Expected the file "${file}" to exist`);
+        }
+        return file;
+    }
+    /**
+     * Returns the path to the file of the given type inside artifacts directory.
+     *
+     * @param {ArtifactsFileType} fileType - The type of the file.
+     * @returns {string} The path to the file.
+     */
+    getArtifactsFilePath(fileType) {
+        const circuitName = this.getCircuitName();
+        let fileName;
+        let fileDir = this._config.circuitArtifactsPath;
+        switch (fileType) {
+            case "r1cs":
+                fileName = `${circuitName}.r1cs`;
+                break;
+            case "zkey":
+                fileName = `${this._implementer.getZKeyFileName(circuitName)}`;
+                break;
+            case "vkey":
+                fileName = `${this._implementer.getVKeyFileName(circuitName)}`;
+                break;
+            case "sym":
+                fileName = `${circuitName}.sym`;
+                break;
+            case "json":
+                fileName = `${circuitName}_constraints.json`;
+                break;
+            case "wasm":
+                fileName = `${circuitName}.wasm`;
+                fileDir = path_1.default.join(fileDir, `${circuitName}_js`);
+                break;
+            default:
+                throw new Error(`Ambiguous file type: ${fileType}.`);
+        }
+        return path_1.default.join(fileDir, fileName);
+    }
+}
+exports.CircuitZKit = CircuitZKit;
+//# sourceMappingURL=CircuitZKit.js.map
\ No newline at end of file
diff --git a/dist/core/CircuitZKit.js.map b/dist/core/CircuitZKit.js.map
new file mode 100644
index 0000000..992156a
--- /dev/null
+++ b/dist/core/CircuitZKit.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"CircuitZKit.js","sourceRoot":"","sources":["../../src/core/CircuitZKit.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,4CAAoB;AACpB,gDAAwB;AACxB,iDAAmC;AACnC,mCAAoC;AACpC,+BAAoC;AAcpC,4CAAoD;AACpD,oCAAkG;AAElG;;GAEG;AACH,MAAa,WAAW;IAEH;IACA;IAFnB,YACmB,OAA0B,EAC1B,YAAwC;QADxC,YAAO,GAAP,OAAO,CAAmB;QAC1B,iBAAY,GAAZ,YAAY,CAA4B;IACxD,CAAC;IAEJ;;;;;;;;;;;OAWG;IACI,KAAK,CAAC,cAAc,CAAC,iBAAuC,EAAE,kBAA2B;QAC9F,MAAM,YAAY,GAAW,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAEnE,IAAI,gBAAgB,GAAW,GAAG,IAAI,CAAC,eAAe,CAAC,kBAAkB,CAAC,IAAI,iBAAiB,EAAE,CAAC;QAElG,IAAI,gBAAgB,CAAC,MAAM,IAAI,gCAAoB,EAAE,CAAC;YACpD,MAAM,cAAc,GAAW,kBAAkB;gBAC/C,CAAC,CAAC,MAAM,IAAA,mBAAU,EAAC,MAAM,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;gBAClF,CAAC,CAAC,EAAE,CAAC;YAEP,gBAAgB,GAAG,GAAG,IAAI,CAAC,eAAe,CAAC,cAAc,CAAC,IAAI,iBAAiB,EAAE,CAAC;YAElF,IAAI,gBAAgB,CAAC,MAAM,IAAI,gCAAoB,EAAE,CAAC;gBACpD,MAAM,IAAI,KAAK,CAAC,uBAAuB,gBAAgB,wCAAwC,CAAC,CAAC;YACnG,CAAC;QACH,CAAC;QAED,MAAM,gBAAgB,GAAG,cAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC;QAEnF,MAAM,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;IAC5F,CAAC;IAED;;;;;;;;;;;;OAYG;IACI,KAAK,CAAC,gBAAgB,CAC3B,MAAe,EACf,gBAAyC,EACzC,eAAwB;QAExB,MAAM,QAAQ,GAAG,eAAe,IAAI,IAAI,CAAC,uBAAuB,EAAE,CAAC;QACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAEvD,IAAI,aAAa,GAA+B,EAAE,CAAC;QAEnD,IAAI,gBAAgB,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC;YAErD,aAAa,GAAG,MAAM,IAAA,6BAAqB,EAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;QACzE,CAAC;QAED,MAAM,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAEzD,MAAM,QAAQ,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAa,CAAC;QAEvE,OAAO,gBAAgB,CAAC,CAAC,CAAC,IAAA,0BAAkB,EAAC,QAAQ,EAAE,aAAa,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IACrG,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACI,KAAK,CAAC,aAAa,CACxB,MAAe,EACf,gBAAyC,EACzC,oBAA6B,KAAK;QAElC,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACvD,MAAM,WAAW,GAAG,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,6BAA6B,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,uBAAuB,EAAE,CAAC;QAE9G,IAAI,KAAkC,CAAC;QAEvC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,EAAE,WAAW,CAAC,CAAC;YAEnF,IAAI,gBAAgB,EAAE,CAAC;gBACrB,MAAM,IAAA,wBAAgB,EAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YAC/C,CAAC;YAED,KAAK,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACvE,CAAC;gBAAS,CAAC;YACT,IAAI,YAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/B,YAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;;;;;OAQG;IACI,KAAK,CAAC,WAAW,CAAC,KAAkC;QACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAEvD,OAAO,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACxD,CAAC;IAED;;;;;OAKG;IACI,KAAK,CAAC,gBAAgB,CAAC,KAAkC;QAC9D,OAAO,MAAM,IAAI,CAAC,YAAY,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC;IAED;;;;OAIG;IACI,cAAc;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IAClC,CAAC;IAED;;;;;;;OAOG;IACI,eAAe,CAAC,kBAA2B;QAChD,OAAO,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC;IACzF,CAAC;IAED;;;;OAIG;IACI,oBAAoB;QACzB,OAAO,IAAI,CAAC,YAAY,CAAC,oBAAoB,EAAE,CAAC;IAClD,CAAC;IAED;;;;OAIG;IACI,mBAAmB,CAAC,iBAAuC;QAChE,OAAO,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC;IAC1D,CAAC;IAED;;;;;;;OAOG;IACI,uBAAuB;QAC5B,OAAO,cAAI,CAAC,IAAI,CAAC,IAAA,iBAAS,GAAE,EAAE,GAAG,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACjE,CAAC;IAED;;;;;;;OAOG;IACI,6BAA6B;QAClC,OAAO,cAAI,CAAC,IAAI,CAAC,IAAA,iBAAS,GAAE,EAAE,GAAG,IAAI,CAAC,cAAc,EAAE,IAAI,IAAA,SAAM,GAAE,OAAO,CAAC,CAAC;IAC7E,CAAC;IAED;;;;;OAKG;IACI,wBAAwB,CAAC,QAA2B;QACzD,MAAM,IAAI,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAEjD,IAAI,CAAC,YAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,YAAY,CAAC,CAAC;QAC1D,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;OAKG;IACI,oBAAoB,CAAC,QAA2B;QACrD,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QAE1C,IAAI,QAAgB,CAAC;QACrB,IAAI,OAAO,GAAW,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;QAExD,QAAQ,QAAQ,EAAE,CAAC;YACjB,KAAK,MAAM;gBACT,QAAQ,GAAG,GAAG,WAAW,OAAO,CAAC;gBACjC,MAAM;YACR,KAAK,MAAM;gBACT,QAAQ,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/D,MAAM;YACR,KAAK,MAAM;gBACT,QAAQ,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/D,MAAM;YACR,KAAK,KAAK;gBACR,QAAQ,GAAG,GAAG,WAAW,MAAM,CAAC;gBAChC,MAAM;YACR,KAAK,MAAM;gBACT,QAAQ,GAAG,GAAG,WAAW,mBAAmB,CAAC;gBAC7C,MAAM;YACR,KAAK,MAAM;gBACT,QAAQ,GAAG,GAAG,WAAW,OAAO,CAAC;gBACjC,OAAO,GAAG,cAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,WAAW,KAAK,CAAC,CAAC;gBAClD,MAAM;YACR;gBACE,MAAM,IAAI,KAAK,CAAC,wBAAwB,QAAQ,GAAG,CAAC,CAAC;QACzD,CAAC;QAED,OAAO,cAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtC,CAAC;CACF;AArQD,kCAqQC"}
\ No newline at end of file
diff --git a/dist/core/protocols/AbstractImplementer.d.ts b/dist/core/protocols/AbstractImplementer.d.ts
new file mode 100644
index 0000000..4a64dda
--- /dev/null
+++ b/dist/core/protocols/AbstractImplementer.d.ts
@@ -0,0 +1,26 @@
+import {
+  IProtocolImplementer,
+  ProvingSystemType,
+  ProofStructByProtocol,
+  CalldataByProtocol,
+  VerifierLanguageType,
+} from "../../types";
+export declare abstract class AbstractProtocolImplementer<T extends ProvingSystemType>
+  implements IProtocolImplementer<T>
+{
+  createVerifier(
+    vKeyFilePath: string,
+    verifierFilePath: string,
+    languageExtension: VerifierLanguageType,
+  ): Promise<void>;
+  abstract generateProof(zKeyFilePath: string, witnessFilePath: string): Promise<ProofStructByProtocol<T>>;
+  abstract verifyProof(proof: ProofStructByProtocol<T>, vKeyFilePath: string): Promise<boolean>;
+  abstract generateCalldata(proof: ProofStructByProtocol<T>): Promise<CalldataByProtocol<T>>;
+  abstract getProvingSystemType(): ProvingSystemType;
+  getTemplate(languageExtension: VerifierLanguageType): string;
+  getVerifierName(circuitName: string, verifierNameSuffix?: string): string;
+  getZKeyFileName(circuitName: string): string;
+  getVKeyFileName(circuitName: string): string;
+  protected withTimeout<T>(promise: Promise<T>, ms: number): Promise<T>;
+}
+//# sourceMappingURL=AbstractImplementer.d.ts.map
diff --git a/dist/core/protocols/AbstractImplementer.d.ts.map b/dist/core/protocols/AbstractImplementer.d.ts.map
new file mode 100644
index 0000000..7b23692
--- /dev/null
+++ b/dist/core/protocols/AbstractImplementer.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"AbstractImplementer.d.ts","sourceRoot":"","sources":["../../../src/core/protocols/AbstractImplementer.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACrB,MAAM,aAAa,CAAC;AAErB,8BAAsB,2BAA2B,CAAC,CAAC,SAAS,iBAAiB,CAAE,YAAW,oBAAoB,CAAC,CAAC,CAAC;IAClG,cAAc,CACzB,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,oBAAoB,GACtC,OAAO,CAAC,IAAI,CAAC;aAeA,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;aAE/F,WAAW,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;aAEpF,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;aAEjF,oBAAoB,IAAI,iBAAiB;IAElD,WAAW,CAAC,iBAAiB,EAAE,oBAAoB,GAAG,MAAM;IAO5D,eAAe,CAAC,WAAW,EAAE,MAAM,EAAE,kBAAkB,CAAC,EAAE,MAAM,GAAG,MAAM;IAOzE,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM;IAI5C,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM;cAInC,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC;CAc5E"}
\ No newline at end of file
diff --git a/dist/core/protocols/AbstractImplementer.js b/dist/core/protocols/AbstractImplementer.js
new file mode 100644
index 0000000..dcb143f
--- /dev/null
+++ b/dist/core/protocols/AbstractImplementer.js
@@ -0,0 +1,51 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.AbstractProtocolImplementer = void 0;
+const fs_1 = __importDefault(require("fs"));
+const ejs_1 = __importDefault(require("ejs"));
+const path_1 = __importDefault(require("path"));
+class AbstractProtocolImplementer {
+    async createVerifier(vKeyFilePath, verifierFilePath, languageExtension) {
+        const verifierTemplate = this.getTemplate(languageExtension);
+        if (!fs_1.default.existsSync(path_1.default.dirname(verifierFilePath))) {
+            fs_1.default.mkdirSync(path_1.default.dirname(verifierFilePath), { recursive: true });
+        }
+        const templateParams = JSON.parse(fs_1.default.readFileSync(vKeyFilePath, "utf-8"));
+        templateParams["verifier_id"] = path_1.default.parse(verifierFilePath).name;
+        const verifierCode = ejs_1.default.render(verifierTemplate, templateParams);
+        fs_1.default.writeFileSync(verifierFilePath, verifierCode, "utf-8");
+    }
+    getTemplate(languageExtension) {
+        return fs_1.default.readFileSync(path_1.default.join(__dirname, "..", "templates", `verifier_${this.getProvingSystemType()}.${languageExtension}.ejs`), "utf8");
+    }
+    getVerifierName(circuitName, verifierNameSuffix) {
+        const protocolType = this.getProvingSystemType();
+        const nameSuffix = verifierNameSuffix ?? "";
+        return `${circuitName}${nameSuffix}${protocolType.charAt(0).toUpperCase() + protocolType.slice(1)}Verifier`;
+    }
+    getZKeyFileName(circuitName) {
+        return `${circuitName}.${this.getProvingSystemType()}.zkey`;
+    }
+    getVKeyFileName(circuitName) {
+        return `${circuitName}.${this.getProvingSystemType()}.vkey.json`;
+    }
+    async withTimeout(promise, ms) {
+        return new Promise((resolve, reject) => {
+            const id = setTimeout(() => reject(new Error("Operation timed out")), ms);
+            promise
+                .then((res) => {
+                clearTimeout(id);
+                resolve(res);
+            })
+                .catch((err) => {
+                clearTimeout(id);
+                reject(err);
+            });
+        });
+    }
+}
+exports.AbstractProtocolImplementer = AbstractProtocolImplementer;
+//# sourceMappingURL=AbstractImplementer.js.map
\ No newline at end of file
diff --git a/dist/core/protocols/AbstractImplementer.js.map b/dist/core/protocols/AbstractImplementer.js.map
new file mode 100644
index 0000000..f22479e
--- /dev/null
+++ b/dist/core/protocols/AbstractImplementer.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"AbstractImplementer.js","sourceRoot":"","sources":["../../../src/core/protocols/AbstractImplementer.ts"],"names":[],"mappings":";;;;;;AAAA,4CAAoB;AACpB,8CAAsB;AACtB,gDAAwB;AAUxB,MAAsB,2BAA2B;IACxC,KAAK,CAAC,cAAc,CACzB,YAAoB,EACpB,gBAAwB,EACxB,iBAAuC;QAEvC,MAAM,gBAAgB,GAAW,IAAI,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC;QAErE,IAAI,CAAC,YAAE,CAAC,UAAU,CAAC,cAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC;YACnD,YAAE,CAAC,SAAS,CAAC,cAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACpE,CAAC;QAED,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,YAAE,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1E,cAAc,CAAC,aAAa,CAAC,GAAG,cAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC;QAElE,MAAM,YAAY,GAAG,aAAG,CAAC,MAAM,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;QAElE,YAAE,CAAC,aAAa,CAAC,gBAAgB,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;IAC5D,CAAC;IAUM,WAAW,CAAC,iBAAuC;QACxD,OAAO,YAAE,CAAC,YAAY,CACpB,cAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,IAAI,CAAC,oBAAoB,EAAE,IAAI,iBAAiB,MAAM,CAAC,EAC3G,MAAM,CACP,CAAC;IACJ,CAAC;IAEM,eAAe,CAAC,WAAmB,EAAE,kBAA2B;QACrE,MAAM,YAAY,GAAsB,IAAI,CAAC,oBAAoB,EAAE,CAAC;QACpE,MAAM,UAAU,GAAW,kBAAkB,IAAI,EAAE,CAAC;QAEpD,OAAO,GAAG,WAAW,GAAG,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC;IAC9G,CAAC;IAEM,eAAe,CAAC,WAAmB;QACxC,OAAO,GAAG,WAAW,IAAI,IAAI,CAAC,oBAAoB,EAAE,OAAO,CAAC;IAC9D,CAAC;IAEM,eAAe,CAAC,WAAmB;QACxC,OAAO,GAAG,WAAW,IAAI,IAAI,CAAC,oBAAoB,EAAE,YAAY,CAAC;IACnE,CAAC;IAES,KAAK,CAAC,WAAW,CAAI,OAAmB,EAAE,EAAU;QAC5D,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;YACrC,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC1E,OAAO;iBACJ,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE;gBACZ,YAAY,CAAC,EAAE,CAAC,CAAC;gBACjB,OAAO,CAAC,GAAG,CAAC,CAAC;YACf,CAAC,CAAC;iBACD,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;gBACb,YAAY,CAAC,EAAE,CAAC,CAAC;gBACjB,MAAM,CAAC,GAAG,CAAC,CAAC;YACd,CAAC,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AAhED,kEAgEC"}
\ No newline at end of file
diff --git a/dist/core/protocols/Groth16Implementer.d.ts b/dist/core/protocols/Groth16Implementer.d.ts
new file mode 100644
index 0000000..77dd0a9
--- /dev/null
+++ b/dist/core/protocols/Groth16Implementer.d.ts
@@ -0,0 +1,9 @@
+import { AbstractProtocolImplementer } from "./AbstractImplementer";
+import { Groth16ProofStruct, Groth16CalldataStruct, ProvingSystemType } from "../../types";
+export declare class Groth16Implementer extends AbstractProtocolImplementer<"groth16"> {
+  generateProof(zKeyFilePath: string, witnessFilePath: string, timeout?: number): Promise<Groth16ProofStruct>;
+  verifyProof(proof: Groth16ProofStruct, vKeyFilePath: string): Promise<boolean>;
+  generateCalldata(proof: Groth16ProofStruct): Promise<Groth16CalldataStruct>;
+  getProvingSystemType(): ProvingSystemType;
+}
+//# sourceMappingURL=Groth16Implementer.d.ts.map
diff --git a/dist/core/protocols/Groth16Implementer.d.ts.map b/dist/core/protocols/Groth16Implementer.d.ts.map
new file mode 100644
index 0000000..abacda1
--- /dev/null
+++ b/dist/core/protocols/Groth16Implementer.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"Groth16Implementer.d.ts","sourceRoot":"","sources":["../../../src/core/protocols/Groth16Implementer.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAEpE,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAI3F,qBAAa,kBAAmB,SAAQ,2BAA2B,CAAC,SAAS,CAAC;IAC/D,aAAa,CACxB,YAAY,EAAE,MAAM,EACpB,eAAe,EAAE,MAAM,EACvB,OAAO,GAAE,MAAc,GACtB,OAAO,CAAC,kBAAkB,CAAC;IAWjB,WAAW,CAAC,KAAK,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAU9E,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,qBAAqB,CAAC;IAejF,oBAAoB,IAAI,iBAAiB;CAGjD"}
\ No newline at end of file
diff --git a/dist/core/protocols/Groth16Implementer.js b/dist/core/protocols/Groth16Implementer.js
new file mode 100644
index 0000000..fde5cda
--- /dev/null
+++ b/dist/core/protocols/Groth16Implementer.js
@@ -0,0 +1,75 @@
+"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.Groth16Implementer = void 0;
+const fs_1 = __importDefault(require("fs"));
+const snarkjs = __importStar(require("snarkjs"));
+const AbstractImplementer_1 = require("./AbstractImplementer");
+const utils_1 = require("../../utils");
+class Groth16Implementer extends AbstractImplementer_1.AbstractProtocolImplementer {
+    async generateProof(zKeyFilePath, witnessFilePath, timeout = 30000) {
+        const generate = async () => {
+            const proof = await snarkjs.groth16.prove(zKeyFilePath, witnessFilePath);
+            await (0, utils_1.terminateCurve)();
+            return proof;
+        };
+        return await this.withTimeout(generate(), timeout);
+    }
+    async verifyProof(proof, vKeyFilePath) {
+        const verifier = JSON.parse(fs_1.default.readFileSync(vKeyFilePath).toString());
+        const proofVerification = await snarkjs.groth16.verify(verifier, proof.publicSignals, proof.proof);
+        await (0, utils_1.terminateCurve)();
+        return proofVerification;
+    }
+    async generateCalldata(proof) {
+        const calldataRawArray = JSON.parse(`[${await snarkjs.groth16.exportSolidityCallData(proof.proof, proof.publicSignals)}]`);
+        return {
+            proofPoints: {
+                a: calldataRawArray[0],
+                b: calldataRawArray[1],
+                c: calldataRawArray[2],
+            },
+            publicSignals: calldataRawArray[3],
+        };
+    }
+    getProvingSystemType() {
+        return "groth16";
+    }
+}
+exports.Groth16Implementer = Groth16Implementer;
+//# sourceMappingURL=Groth16Implementer.js.map
\ No newline at end of file
diff --git a/dist/core/protocols/Groth16Implementer.js.map b/dist/core/protocols/Groth16Implementer.js.map
new file mode 100644
index 0000000..0dc29ec
--- /dev/null
+++ b/dist/core/protocols/Groth16Implementer.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"Groth16Implementer.js","sourceRoot":"","sources":["../../../src/core/protocols/Groth16Implementer.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,4CAAoB;AACpB,iDAAmC;AAEnC,+DAAoE;AAIpE,uCAA6C;AAE7C,MAAa,kBAAmB,SAAQ,iDAAsC;IACrE,KAAK,CAAC,aAAa,CACxB,YAAoB,EACpB,eAAuB,EACvB,UAAkB,KAAK;QAEvB,MAAM,QAAQ,GAAG,KAAK,IAAI,EAAE;YAC1B,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;YAEzE,MAAM,IAAA,sBAAc,GAAE,CAAC;YAEvB,OAAO,KAA2B,CAAC;QACrC,CAAC,CAAC;QACF,OAAO,MAAM,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IAEM,KAAK,CAAC,WAAW,CAAC,KAAyB,EAAE,YAAoB;QACtE,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAE,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAEtE,MAAM,iBAAiB,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAEnG,MAAM,IAAA,sBAAc,GAAE,CAAC;QAEvB,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IAEM,KAAK,CAAC,gBAAgB,CAAC,KAAyB;QACrD,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CACjC,IAAI,MAAM,OAAO,CAAC,OAAO,CAAC,sBAAsB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,GAAG,CACtF,CAAC;QAEF,OAAO;YACL,WAAW,EAAE;gBACX,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC;gBACtB,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC;gBACtB,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC;aACvB;YACD,aAAa,EAAE,gBAAgB,CAAC,CAAC,CAAC;SACnC,CAAC;IACJ,CAAC;IAEM,oBAAoB;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;CACF;AA5CD,gDA4CC"}
\ No newline at end of file
diff --git a/dist/core/protocols/PlonkImplementer.d.ts b/dist/core/protocols/PlonkImplementer.d.ts
new file mode 100644
index 0000000..4f2db4f
--- /dev/null
+++ b/dist/core/protocols/PlonkImplementer.d.ts
@@ -0,0 +1,9 @@
+import { AbstractProtocolImplementer } from "./AbstractImplementer";
+import { PlonkProofStruct, PlonkCalldataStruct, ProvingSystemType } from "../../types";
+export declare class PlonkImplementer extends AbstractProtocolImplementer<"plonk"> {
+  generateProof(zKeyFilePath: string, witnessFilePath: string, timeout?: number): Promise<PlonkProofStruct>;
+  verifyProof(proof: PlonkProofStruct, vKeyFilePath: string): Promise<boolean>;
+  generateCalldata(proof: PlonkProofStruct): Promise<PlonkCalldataStruct>;
+  getProvingSystemType(): ProvingSystemType;
+}
+//# sourceMappingURL=PlonkImplementer.d.ts.map
diff --git a/dist/core/protocols/PlonkImplementer.d.ts.map b/dist/core/protocols/PlonkImplementer.d.ts.map
new file mode 100644
index 0000000..1de1ca7
--- /dev/null
+++ b/dist/core/protocols/PlonkImplementer.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"PlonkImplementer.d.ts","sourceRoot":"","sources":["../../../src/core/protocols/PlonkImplementer.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAEpE,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAIvF,qBAAa,gBAAiB,SAAQ,2BAA2B,CAAC,OAAO,CAAC;IAC3D,aAAa,CACxB,YAAY,EAAE,MAAM,EACpB,eAAe,EAAE,MAAM,EACvB,OAAO,GAAE,MAAc,GACtB,OAAO,CAAC,gBAAgB,CAAC;IAWf,WAAW,CAAC,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAU5E,gBAAgB,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAgB7E,oBAAoB,IAAI,iBAAiB;CAGjD"}
\ No newline at end of file
diff --git a/dist/core/protocols/PlonkImplementer.js b/dist/core/protocols/PlonkImplementer.js
new file mode 100644
index 0000000..094daab
--- /dev/null
+++ b/dist/core/protocols/PlonkImplementer.js
@@ -0,0 +1,75 @@
+"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.PlonkImplementer = void 0;
+const fs_1 = __importDefault(require("fs"));
+const snarkjs = __importStar(require("snarkjs"));
+const AbstractImplementer_1 = require("./AbstractImplementer");
+const utils_1 = require("../../utils");
+class PlonkImplementer extends AbstractImplementer_1.AbstractProtocolImplementer {
+    async generateProof(zKeyFilePath, witnessFilePath, timeout = 30000) {
+        const generate = async () => {
+            const proof = await snarkjs.plonk.prove(zKeyFilePath, witnessFilePath);
+            await (0, utils_1.terminateCurve)();
+            return proof;
+        };
+        return await this.withTimeout(generate(), timeout);
+    }
+    async verifyProof(proof, vKeyFilePath) {
+        const verifier = JSON.parse(fs_1.default.readFileSync(vKeyFilePath).toString());
+        const proofVerification = await snarkjs.plonk.verify(verifier, proof.publicSignals, proof.proof);
+        await (0, utils_1.terminateCurve)();
+        return proofVerification;
+    }
+    async generateCalldata(proof) {
+        const calldata = await snarkjs.plonk.exportSolidityCallData(proof.proof, proof.publicSignals);
+        const proofArrEndIndex = calldata.indexOf("]") + 1;
+        const calldataRawArray = JSON.parse(`[${calldata.slice(0, proofArrEndIndex)},${calldata.slice(proofArrEndIndex, calldata.length)}]`);
+        return {
+            proofPoints: {
+                proofData: calldataRawArray[0],
+            },
+            publicSignals: calldataRawArray[1],
+        };
+    }
+    getProvingSystemType() {
+        return "plonk";
+    }
+}
+exports.PlonkImplementer = PlonkImplementer;
+//# sourceMappingURL=PlonkImplementer.js.map
\ No newline at end of file
diff --git a/dist/core/protocols/PlonkImplementer.js.map b/dist/core/protocols/PlonkImplementer.js.map
new file mode 100644
index 0000000..35e4c74
--- /dev/null
+++ b/dist/core/protocols/PlonkImplementer.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"PlonkImplementer.js","sourceRoot":"","sources":["../../../src/core/protocols/PlonkImplementer.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,4CAAoB;AACpB,iDAAmC;AAEnC,+DAAoE;AAIpE,uCAA6C;AAE7C,MAAa,gBAAiB,SAAQ,iDAAoC;IACjE,KAAK,CAAC,aAAa,CACxB,YAAoB,EACpB,eAAuB,EACvB,UAAkB,KAAK;QAEvB,MAAM,QAAQ,GAAG,KAAK,IAAI,EAAE;YAC1B,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;YAEvE,MAAM,IAAA,sBAAc,GAAE,CAAC;YAEvB,OAAO,KAAyB,CAAC;QACnC,CAAC,CAAC;QACF,OAAO,MAAM,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IAEM,KAAK,CAAC,WAAW,CAAC,KAAuB,EAAE,YAAoB;QACpE,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAE,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAEtE,MAAM,iBAAiB,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAEjG,MAAM,IAAA,sBAAc,GAAE,CAAC;QAEvB,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IAEM,KAAK,CAAC,gBAAgB,CAAC,KAAuB;QACnD,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,sBAAsB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;QAC9F,MAAM,gBAAgB,GAAW,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAE3D,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CACjC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,CAChG,CAAC;QAEF,OAAO;YACL,WAAW,EAAE;gBACX,SAAS,EAAE,gBAAgB,CAAC,CAAC,CAAC;aAC/B;YACD,aAAa,EAAE,gBAAgB,CAAC,CAAC,CAAC;SACnC,CAAC;IACJ,CAAC;IAEM,oBAAoB;QACzB,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AA7CD,4CA6CC"}
\ No newline at end of file
diff --git a/dist/core/protocols/index.d.ts b/dist/core/protocols/index.d.ts
new file mode 100644
index 0000000..454196e
--- /dev/null
+++ b/dist/core/protocols/index.d.ts
@@ -0,0 +1,4 @@
+export { AbstractProtocolImplementer } from "./AbstractImplementer";
+export { Groth16Implementer } from "./Groth16Implementer";
+export { PlonkImplementer } from "./PlonkImplementer";
+//# sourceMappingURL=index.d.ts.map
diff --git a/dist/core/protocols/index.d.ts.map b/dist/core/protocols/index.d.ts.map
new file mode 100644
index 0000000..3bf8c08
--- /dev/null
+++ b/dist/core/protocols/index.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/protocols/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC"}
\ No newline at end of file
diff --git a/dist/core/protocols/index.js b/dist/core/protocols/index.js
new file mode 100644
index 0000000..0768fd4
--- /dev/null
+++ b/dist/core/protocols/index.js
@@ -0,0 +1,10 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PlonkImplementer = exports.Groth16Implementer = exports.AbstractProtocolImplementer = void 0;
+var AbstractImplementer_1 = require("./AbstractImplementer");
+Object.defineProperty(exports, "AbstractProtocolImplementer", { enumerable: true, get: function () { return AbstractImplementer_1.AbstractProtocolImplementer; } });
+var Groth16Implementer_1 = require("./Groth16Implementer");
+Object.defineProperty(exports, "Groth16Implementer", { enumerable: true, get: function () { return Groth16Implementer_1.Groth16Implementer; } });
+var PlonkImplementer_1 = require("./PlonkImplementer");
+Object.defineProperty(exports, "PlonkImplementer", { enumerable: true, get: function () { return PlonkImplementer_1.PlonkImplementer; } });
+//# sourceMappingURL=index.js.map
\ No newline at end of file
diff --git a/dist/core/protocols/index.js.map b/dist/core/protocols/index.js.map
new file mode 100644
index 0000000..9f49015
--- /dev/null
+++ b/dist/core/protocols/index.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/protocols/index.ts"],"names":[],"mappings":";;;AAAA,6DAAoE;AAA3D,kIAAA,2BAA2B,OAAA;AACpC,2DAA0D;AAAjD,wHAAA,kBAAkB,OAAA;AAC3B,uDAAsD;AAA7C,oHAAA,gBAAgB,OAAA"}
\ No newline at end of file
diff --git a/dist/index.d.ts b/dist/index.d.ts
new file mode 100644
index 0000000..3699ca5
--- /dev/null
+++ b/dist/index.d.ts
@@ -0,0 +1,5 @@
+export { CircuitZKit } from "./core/CircuitZKit";
+export * from "./core/protocols";
+export * from "./utils";
+export * from "./types";
+//# sourceMappingURL=index.d.ts.map
diff --git a/dist/index.d.ts.map b/dist/index.d.ts.map
new file mode 100644
index 0000000..0bdfcee
--- /dev/null
+++ b/dist/index.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,cAAc,kBAAkB,CAAC;AACjC,cAAc,SAAS,CAAC;AAExB,cAAc,SAAS,CAAC"}
\ No newline at end of file
diff --git a/dist/index.js b/dist/index.js
new file mode 100644
index 0000000..13e020b
--- /dev/null
+++ b/dist/index.js
@@ -0,0 +1,23 @@
+"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 __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CircuitZKit = void 0;
+var CircuitZKit_1 = require("./core/CircuitZKit");
+Object.defineProperty(exports, "CircuitZKit", { enumerable: true, get: function () { return CircuitZKit_1.CircuitZKit; } });
+__exportStar(require("./core/protocols"), exports);
+__exportStar(require("./utils"), exports);
+__exportStar(require("./types"), exports);
+//# sourceMappingURL=index.js.map
\ No newline at end of file
diff --git a/dist/index.js.map b/dist/index.js.map
new file mode 100644
index 0000000..0b6fd47
--- /dev/null
+++ b/dist/index.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAAA,kDAAiD;AAAxC,0GAAA,WAAW,OAAA;AACpB,mDAAiC;AACjC,0CAAwB;AAExB,0CAAwB"}
\ No newline at end of file
diff --git a/dist/types/circuit-zkit.d.ts b/dist/types/circuit-zkit.d.ts
new file mode 100644
index 0000000..765070a
--- /dev/null
+++ b/dist/types/circuit-zkit.d.ts
@@ -0,0 +1,8 @@
+export type ArtifactsFileType = "r1cs" | "zkey" | "vkey" | "sym" | "json" | "wasm";
+export type VerifierLanguageType = "sol" | "vy";
+export type CircuitZKitConfig = {
+  circuitName: string;
+  circuitArtifactsPath: string;
+  verifierDirPath: string;
+};
+//# sourceMappingURL=circuit-zkit.d.ts.map
diff --git a/dist/types/circuit-zkit.d.ts.map b/dist/types/circuit-zkit.d.ts.map
new file mode 100644
index 0000000..2d6597f
--- /dev/null
+++ b/dist/types/circuit-zkit.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"circuit-zkit.d.ts","sourceRoot":"","sources":["../../src/types/circuit-zkit.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,KAAK,GAAG,MAAM,GAAG,MAAM,CAAC;AACnF,MAAM,MAAM,oBAAoB,GAAG,KAAK,GAAG,IAAI,CAAC;AAEhD,MAAM,MAAM,iBAAiB,GAAG;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC"}
\ No newline at end of file
diff --git a/dist/types/circuit-zkit.js b/dist/types/circuit-zkit.js
new file mode 100644
index 0000000..5a24b4a
--- /dev/null
+++ b/dist/types/circuit-zkit.js
@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=circuit-zkit.js.map
\ No newline at end of file
diff --git a/dist/types/circuit-zkit.js.map b/dist/types/circuit-zkit.js.map
new file mode 100644
index 0000000..c2d28a3
--- /dev/null
+++ b/dist/types/circuit-zkit.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"circuit-zkit.js","sourceRoot":"","sources":["../../src/types/circuit-zkit.ts"],"names":[],"mappings":""}
\ No newline at end of file
diff --git a/dist/types/index.d.ts b/dist/types/index.d.ts
new file mode 100644
index 0000000..907fef6
--- /dev/null
+++ b/dist/types/index.d.ts
@@ -0,0 +1,5 @@
+export * from "./circuit-zkit";
+export * from "./proof-utils";
+export * from "./witness-utils";
+export * from "./protocols";
+//# sourceMappingURL=index.d.ts.map
diff --git a/dist/types/index.d.ts.map b/dist/types/index.d.ts.map
new file mode 100644
index 0000000..b8d35d4
--- /dev/null
+++ b/dist/types/index.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAC;AAC/B,cAAc,eAAe,CAAC;AAC9B,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC"}
\ No newline at end of file
diff --git a/dist/types/index.js b/dist/types/index.js
new file mode 100644
index 0000000..5e2ffdd
--- /dev/null
+++ b/dist/types/index.js
@@ -0,0 +1,21 @@
+"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 __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./circuit-zkit"), exports);
+__exportStar(require("./proof-utils"), exports);
+__exportStar(require("./witness-utils"), exports);
+__exportStar(require("./protocols"), exports);
+//# sourceMappingURL=index.js.map
\ No newline at end of file
diff --git a/dist/types/index.js.map b/dist/types/index.js.map
new file mode 100644
index 0000000..0831603
--- /dev/null
+++ b/dist/types/index.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,iDAA+B;AAC/B,gDAA8B;AAC9B,kDAAgC;AAChC,8CAA4B"}
\ No newline at end of file
diff --git a/dist/types/proof-utils.d.ts b/dist/types/proof-utils.d.ts
new file mode 100644
index 0000000..7590407
--- /dev/null
+++ b/dist/types/proof-utils.d.ts
@@ -0,0 +1,7 @@
+export type NumericString = `${number}` | string;
+export type PublicSignals = NumericString[];
+export type NumberLike = number | bigint | `${number}`;
+export type ArrayLike = NumberLike[] | ArrayLike[];
+export type Signal = NumberLike | ArrayLike;
+export type Signals = Record<string, Signal>;
+//# sourceMappingURL=proof-utils.d.ts.map
diff --git a/dist/types/proof-utils.d.ts.map b/dist/types/proof-utils.d.ts.map
new file mode 100644
index 0000000..790d2d9
--- /dev/null
+++ b/dist/types/proof-utils.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"proof-utils.d.ts","sourceRoot":"","sources":["../../src/types/proof-utils.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,aAAa,GAAG,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC;AAEjD,MAAM,MAAM,aAAa,GAAG,aAAa,EAAE,CAAC;AAE5C,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;AACvD,MAAM,MAAM,SAAS,GAAG,UAAU,EAAE,GAAG,SAAS,EAAE,CAAC;AAEnD,MAAM,MAAM,MAAM,GAAG,UAAU,GAAG,SAAS,CAAC;AAC5C,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC"}
\ No newline at end of file
diff --git a/dist/types/proof-utils.js b/dist/types/proof-utils.js
new file mode 100644
index 0000000..69eab49
--- /dev/null
+++ b/dist/types/proof-utils.js
@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=proof-utils.js.map
\ No newline at end of file
diff --git a/dist/types/proof-utils.js.map b/dist/types/proof-utils.js.map
new file mode 100644
index 0000000..92377e0
--- /dev/null
+++ b/dist/types/proof-utils.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"proof-utils.js","sourceRoot":"","sources":["../../src/types/proof-utils.ts"],"names":[],"mappings":""}
\ No newline at end of file
diff --git a/dist/types/protocols/groth16.d.ts b/dist/types/protocols/groth16.d.ts
new file mode 100644
index 0000000..0c61d8b
--- /dev/null
+++ b/dist/types/protocols/groth16.d.ts
@@ -0,0 +1,22 @@
+import { NumericString, PublicSignals } from "../proof-utils";
+export interface Groth16Proof {
+  pi_a: [NumericString, NumericString];
+  pi_b: [[NumericString, NumericString], [NumericString, NumericString]];
+  pi_c: [NumericString, NumericString];
+  protocol: string;
+  curve: string;
+}
+export interface Groth16ProofStruct {
+  proof: Groth16Proof;
+  publicSignals: PublicSignals;
+}
+export interface Groth16CalldataStruct {
+  proofPoints: Groth16ProofPoints;
+  publicSignals: PublicSignals;
+}
+export interface Groth16ProofPoints {
+  a: [NumericString, NumericString];
+  b: [[NumericString, NumericString], [NumericString, NumericString]];
+  c: [NumericString, NumericString];
+}
+//# sourceMappingURL=groth16.d.ts.map
diff --git a/dist/types/protocols/groth16.d.ts.map b/dist/types/protocols/groth16.d.ts.map
new file mode 100644
index 0000000..7eb203b
--- /dev/null
+++ b/dist/types/protocols/groth16.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"groth16.d.ts","sourceRoot":"","sources":["../../../src/types/protocols/groth16.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE9D,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IACrC,IAAI,EAAE,CAAC,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC,CAAC;IACvE,IAAI,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,YAAY,CAAC;IACpB,aAAa,EAAE,aAAa,CAAC;CAC9B;AAED,MAAM,WAAW,qBAAqB;IACpC,WAAW,EAAE,kBAAkB,CAAC;IAChC,aAAa,EAAE,aAAa,CAAC;CAC9B;AAED,MAAM,WAAW,kBAAkB;IACjC,CAAC,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAClC,CAAC,EAAE,CAAC,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC,CAAC;IACpE,CAAC,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;CACnC"}
\ No newline at end of file
diff --git a/dist/types/protocols/groth16.js b/dist/types/protocols/groth16.js
new file mode 100644
index 0000000..de3c458
--- /dev/null
+++ b/dist/types/protocols/groth16.js
@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=groth16.js.map
\ No newline at end of file
diff --git a/dist/types/protocols/groth16.js.map b/dist/types/protocols/groth16.js.map
new file mode 100644
index 0000000..2e6ae81
--- /dev/null
+++ b/dist/types/protocols/groth16.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"groth16.js","sourceRoot":"","sources":["../../../src/types/protocols/groth16.ts"],"names":[],"mappings":""}
\ No newline at end of file
diff --git a/dist/types/protocols/index.d.ts b/dist/types/protocols/index.d.ts
new file mode 100644
index 0000000..c29c1e2
--- /dev/null
+++ b/dist/types/protocols/index.d.ts
@@ -0,0 +1,34 @@
+import { Groth16ProofStruct, Groth16CalldataStruct } from "./groth16";
+import { PlonkProofStruct, PlonkCalldataStruct } from "./plonk";
+import { VerifierLanguageType } from "../circuit-zkit";
+export * from "./groth16";
+export * from "./plonk";
+export interface IProtocolImplementer<T extends ProvingSystemType> {
+  createVerifier(
+    vKeyFilePath: string,
+    verifierFilePath: string,
+    languageExtension: VerifierLanguageType,
+  ): Promise<void>;
+  generateProof(zKeyFilePath: string, witnessFilePath: string): Promise<ProofStructByProtocol<T>>;
+  verifyProof(proof: ProofStructByProtocol<T>, vKeyFilePath: string): Promise<boolean>;
+  generateCalldata(proof: ProofStructByProtocol<T>): Promise<CalldataByProtocol<T>>;
+  getProvingSystemType(): ProvingSystemType;
+  getTemplate(fileExtension: VerifierLanguageType): string;
+  getVerifierName(circuitName: string, verifierNameSuffix?: string): string;
+  getZKeyFileName(circuitName: string): string;
+  getVKeyFileName(circuitName: string): string;
+}
+export interface ProvingSystemStructMap {
+  groth16: {
+    proofStruct: Groth16ProofStruct;
+    calldataStruct: Groth16CalldataStruct;
+  };
+  plonk: {
+    proofStruct: PlonkProofStruct;
+    calldataStruct: PlonkCalldataStruct;
+  };
+}
+export type ProvingSystemType = keyof ProvingSystemStructMap;
+export type ProofStructByProtocol<T extends ProvingSystemType> = ProvingSystemStructMap[T]["proofStruct"];
+export type CalldataByProtocol<T extends ProvingSystemType> = ProvingSystemStructMap[T]["calldataStruct"];
+//# sourceMappingURL=index.d.ts.map
diff --git a/dist/types/protocols/index.d.ts.map b/dist/types/protocols/index.d.ts.map
new file mode 100644
index 0000000..4bb0249
--- /dev/null
+++ b/dist/types/protocols/index.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/protocols/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,SAAS,CAAC;AAEhE,OAAO,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAEvD,cAAc,WAAW,CAAC;AAC1B,cAAc,SAAS,CAAC;AAExB,MAAM,WAAW,oBAAoB,CAAC,CAAC,SAAS,iBAAiB;IAC/D,cAAc,CACZ,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,oBAAoB,GACtC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEjB,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhG,WAAW,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAErF,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAElF,oBAAoB,IAAI,iBAAiB,CAAC;IAE1C,WAAW,CAAC,aAAa,EAAE,oBAAoB,GAAG,MAAM,CAAC;IAEzD,eAAe,CAAC,WAAW,EAAE,MAAM,EAAE,kBAAkB,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAE1E,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAAC;IAE7C,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAAC;CAC9C;AAED,MAAM,WAAW,sBAAsB;IACrC,OAAO,EAAE;QACP,WAAW,EAAE,kBAAkB,CAAC;QAChC,cAAc,EAAE,qBAAqB,CAAC;KACvC,CAAC;IACF,KAAK,EAAE;QACL,WAAW,EAAE,gBAAgB,CAAC;QAC9B,cAAc,EAAE,mBAAmB,CAAC;KACrC,CAAC;CACH;AAED,MAAM,MAAM,iBAAiB,GAAG,MAAM,sBAAsB,CAAC;AAE7D,MAAM,MAAM,qBAAqB,CAAC,CAAC,SAAS,iBAAiB,IAAI,sBAAsB,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;AAC1G,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,iBAAiB,IAAI,sBAAsB,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC"}
\ No newline at end of file
diff --git a/dist/types/protocols/index.js b/dist/types/protocols/index.js
new file mode 100644
index 0000000..4b6c4dd
--- /dev/null
+++ b/dist/types/protocols/index.js
@@ -0,0 +1,19 @@
+"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 __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./groth16"), exports);
+__exportStar(require("./plonk"), exports);
+//# sourceMappingURL=index.js.map
\ No newline at end of file
diff --git a/dist/types/protocols/index.js.map b/dist/types/protocols/index.js.map
new file mode 100644
index 0000000..48a7ccb
--- /dev/null
+++ b/dist/types/protocols/index.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/types/protocols/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAKA,4CAA0B;AAC1B,0CAAwB"}
\ No newline at end of file
diff --git a/dist/types/protocols/plonk.d.ts b/dist/types/protocols/plonk.d.ts
new file mode 100644
index 0000000..c1706ea
--- /dev/null
+++ b/dist/types/protocols/plonk.d.ts
@@ -0,0 +1,32 @@
+import { NumericString, PublicSignals } from "../proof-utils";
+export interface PlonkProof {
+  A: [NumericString, NumericString];
+  B: [NumericString, NumericString];
+  C: [NumericString, NumericString];
+  Z: [NumericString, NumericString];
+  T1: [NumericString, NumericString];
+  T2: [NumericString, NumericString];
+  T3: [NumericString, NumericString];
+  Wxi: [NumericString, NumericString];
+  Wxiw: [NumericString, NumericString];
+  eval_a: NumericString;
+  eval_b: NumericString;
+  eval_c: NumericString;
+  eval_s1: NumericString;
+  eval_s2: NumericString;
+  eval_zw: NumericString;
+  protocol: string;
+  curve: string;
+}
+export interface PlonkProofStruct {
+  proof: PlonkProof;
+  publicSignals: PublicSignals;
+}
+export interface PlonkCalldataStruct {
+  proofPoints: PlonkProofPoints;
+  publicSignals: PublicSignals;
+}
+export interface PlonkProofPoints {
+  proofData: NumericString[];
+}
+//# sourceMappingURL=plonk.d.ts.map
diff --git a/dist/types/protocols/plonk.d.ts.map b/dist/types/protocols/plonk.d.ts.map
new file mode 100644
index 0000000..9b1a90a
--- /dev/null
+++ b/dist/types/protocols/plonk.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"plonk.d.ts","sourceRoot":"","sources":["../../../src/types/protocols/plonk.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE9D,MAAM,WAAW,UAAU;IACzB,CAAC,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAClC,CAAC,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAClC,CAAC,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAClC,CAAC,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAClC,EAAE,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IACnC,EAAE,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IACnC,EAAE,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IACnC,GAAG,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IACpC,IAAI,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IACrC,MAAM,EAAE,aAAa,CAAC;IACtB,MAAM,EAAE,aAAa,CAAC;IACtB,MAAM,EAAE,aAAa,CAAC;IACtB,OAAO,EAAE,aAAa,CAAC;IACvB,OAAO,EAAE,aAAa,CAAC;IACvB,OAAO,EAAE,aAAa,CAAC;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,UAAU,CAAC;IAClB,aAAa,EAAE,aAAa,CAAC;CAC9B;AAED,MAAM,WAAW,mBAAmB;IAClC,WAAW,EAAE,gBAAgB,CAAC;IAC9B,aAAa,EAAE,aAAa,CAAC;CAC9B;AAED,MAAM,WAAW,gBAAgB;IAC/B,SAAS,EAAE,aAAa,EAAE,CAAC;CAC5B"}
\ No newline at end of file
diff --git a/dist/types/protocols/plonk.js b/dist/types/protocols/plonk.js
new file mode 100644
index 0000000..a1d8263
--- /dev/null
+++ b/dist/types/protocols/plonk.js
@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=plonk.js.map
\ No newline at end of file
diff --git a/dist/types/protocols/plonk.js.map b/dist/types/protocols/plonk.js.map
new file mode 100644
index 0000000..a4ca5f7
--- /dev/null
+++ b/dist/types/protocols/plonk.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"plonk.js","sourceRoot":"","sources":["../../../src/types/protocols/plonk.ts"],"names":[],"mappings":""}
\ No newline at end of file
diff --git a/dist/types/witness-utils.d.ts b/dist/types/witness-utils.d.ts
new file mode 100644
index 0000000..48e7f92
--- /dev/null
+++ b/dist/types/witness-utils.d.ts
@@ -0,0 +1,8 @@
+import { NumberLike } from "./proof-utils";
+export type SignalInfo = {
+  id: NumberLike;
+  witnessIndex: NumberLike;
+  componentId: NumberLike;
+  signalName: string;
+};
+//# sourceMappingURL=witness-utils.d.ts.map
diff --git a/dist/types/witness-utils.d.ts.map b/dist/types/witness-utils.d.ts.map
new file mode 100644
index 0000000..84cf0e9
--- /dev/null
+++ b/dist/types/witness-utils.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"witness-utils.d.ts","sourceRoot":"","sources":["../../src/types/witness-utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAE3C,MAAM,MAAM,UAAU,GAAG;IACvB,EAAE,EAAE,UAAU,CAAC;IACf,YAAY,EAAE,UAAU,CAAC;IACzB,WAAW,EAAE,UAAU,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC"}
\ No newline at end of file
diff --git a/dist/types/witness-utils.js b/dist/types/witness-utils.js
new file mode 100644
index 0000000..146a2d7
--- /dev/null
+++ b/dist/types/witness-utils.js
@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=witness-utils.js.map
\ No newline at end of file
diff --git a/dist/types/witness-utils.js.map b/dist/types/witness-utils.js.map
new file mode 100644
index 0000000..1aa1214
--- /dev/null
+++ b/dist/types/witness-utils.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"witness-utils.js","sourceRoot":"","sources":["../../src/types/witness-utils.ts"],"names":[],"mappings":""}
\ No newline at end of file
diff --git a/dist/utils/index.d.ts b/dist/utils/index.d.ts
new file mode 100644
index 0000000..3ea0c80
--- /dev/null
+++ b/dist/utils/index.d.ts
@@ -0,0 +1,3 @@
+export * from "./witness-utils";
+export * from "./protocol-utils";
+//# sourceMappingURL=index.d.ts.map
diff --git a/dist/utils/index.d.ts.map b/dist/utils/index.d.ts.map
new file mode 100644
index 0000000..42cdedc
--- /dev/null
+++ b/dist/utils/index.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/utils/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC"}
\ No newline at end of file
diff --git a/dist/utils/index.js b/dist/utils/index.js
new file mode 100644
index 0000000..6e3f5fc
--- /dev/null
+++ b/dist/utils/index.js
@@ -0,0 +1,19 @@
+"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 __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./witness-utils"), exports);
+__exportStar(require("./protocol-utils"), exports);
+//# sourceMappingURL=index.js.map
\ No newline at end of file
diff --git a/dist/utils/index.js.map b/dist/utils/index.js.map
new file mode 100644
index 0000000..bd83408
--- /dev/null
+++ b/dist/utils/index.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/utils/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,kDAAgC;AAChC,mDAAiC"}
\ No newline at end of file
diff --git a/dist/utils/protocol-utils.d.ts b/dist/utils/protocol-utils.d.ts
new file mode 100644
index 0000000..d95f576
--- /dev/null
+++ b/dist/utils/protocol-utils.d.ts
@@ -0,0 +1,13 @@
+/**
+ * Terminates the BN128 curve instance used by SnarkJS.
+ */
+export declare function terminateCurve(): Promise<void>;
+/**
+ * Returns the path to the temporary directory used by ZKit.
+ *
+ * Creates the directory if it does not exist.
+ *
+ * @returns {string} The path to the temporary `.zkit` directory inside the OS temp folder.
+ */
+export declare function getTmpDir(): string;
+//# sourceMappingURL=protocol-utils.d.ts.map
diff --git a/dist/utils/protocol-utils.d.ts.map b/dist/utils/protocol-utils.d.ts.map
new file mode 100644
index 0000000..9ee9803
--- /dev/null
+++ b/dist/utils/protocol-utils.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"protocol-utils.d.ts","sourceRoot":"","sources":["../../src/utils/protocol-utils.ts"],"names":[],"mappings":"AAQA;;GAEG;AACH,wBAAsB,cAAc,kBAEnC;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,IAAI,MAAM,CAQlC"}
\ No newline at end of file
diff --git a/dist/utils/protocol-utils.js b/dist/utils/protocol-utils.js
new file mode 100644
index 0000000..7c59888
--- /dev/null
+++ b/dist/utils/protocol-utils.js
@@ -0,0 +1,66 @@
+"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.terminateCurve = terminateCurve;
+exports.getTmpDir = getTmpDir;
+const os_1 = __importDefault(require("os"));
+const fs_1 = __importDefault(require("fs"));
+const path_1 = __importDefault(require("path"));
+const snarkjs = __importStar(require("snarkjs"));
+const constants_1 = require("../constants");
+/**
+ * Terminates the BN128 curve instance used by SnarkJS.
+ */
+async function terminateCurve() {
+    await (await snarkjs.curves.getCurveFromName(constants_1.BN128_CURVE_NAME)).terminate();
+}
+/**
+ * Returns the path to the temporary directory used by ZKit.
+ *
+ * Creates the directory if it does not exist.
+ *
+ * @returns {string} The path to the temporary `.zkit` directory inside the OS temp folder.
+ */
+function getTmpDir() {
+    const tmpDir = path_1.default.join(os_1.default.tmpdir(), ".zkit");
+    if (!fs_1.default.existsSync(tmpDir)) {
+        fs_1.default.mkdirSync(tmpDir, { recursive: true });
+    }
+    return tmpDir;
+}
+//# sourceMappingURL=protocol-utils.js.map
\ No newline at end of file
diff --git a/dist/utils/protocol-utils.js.map b/dist/utils/protocol-utils.js.map
new file mode 100644
index 0000000..725d49b
--- /dev/null
+++ b/dist/utils/protocol-utils.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"protocol-utils.js","sourceRoot":"","sources":["../../src/utils/protocol-utils.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAWA,wCAEC;AASD,8BAQC;AA9BD,4CAAoB;AACpB,4CAAoB;AACpB,gDAAwB;AAExB,iDAAmC;AAEnC,4CAAgD;AAEhD;;GAEG;AACI,KAAK,UAAU,cAAc;IAClC,MAAM,CAAC,MAAO,OAAe,CAAC,MAAM,CAAC,gBAAgB,CAAC,4BAAgB,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AACvF,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,SAAS;IACvB,MAAM,MAAM,GAAG,cAAI,CAAC,IAAI,CAAC,YAAE,CAAC,MAAM,EAAE,EAAE,OAAO,CAAC,CAAC;IAE/C,IAAI,CAAC,YAAE,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,YAAE,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}
\ No newline at end of file
diff --git a/dist/utils/witness-utils.d.ts b/dist/utils/witness-utils.d.ts
new file mode 100644
index 0000000..7281868
--- /dev/null
+++ b/dist/utils/witness-utils.d.ts
@@ -0,0 +1,55 @@
+import { NumberLike, SignalInfo } from "../types";
+/**
+ * Validates the provided witness overrides against the `.sym` file and returns the signal-to-index map.
+ *
+ * Reads the `.sym` file line by line and builds a mapping of signal names to their witness indices.
+ * Ensures that all keys in `overrides` exist in the `.sym` file.
+ * Throws an error listing all missing signals if any override key is not found.
+ *
+ * Signal names in `overrides` must be in their full form as represented in the `.sym` file, e.g.,
+ * `main.signal`, `main.component.signal`, or `main.component.signal[n][m]`.
+ *
+ * @param {string} symFilePath - Path to the `.sym` file.
+ * @param {Record<string, bigint>} overrides - Map of signal names to new witness values.
+ * @returns {Promise<Record<string, NumberLike>>} Map of signal names to their corresponding witness indices.
+ */
+export declare function checkWitnessOverrides(
+  symFilePath: string,
+  overrides: Record<string, bigint>,
+): Promise<Record<string, NumberLike>>;
+/**
+ * Iterates over signal entries in a `.sym` file line by line.
+ *
+ * Each line is parsed into a `SignalInfo` object which is passed to the provided callback.
+ *
+ * @param {string} symFilePath - The full path to the `.sym` file to read.
+ * @param {(signalInfo: SignalInfo) => void} onSignal - Callback invoked for each signal line.
+ */
+export declare function iterateSymFile(symFilePath: string, onSignal: (signalInfo: SignalInfo) => void): Promise<void>;
+/**
+ * Modifies specific signal values in a witness array.
+ * Substitutes signal from `overrides` in the witness array at positions defined in `signalIndexes`.
+ *
+ * Signal names in `overrides` must be provided in their full form as represented in the `.sym` file, e.g.,
+ * `main.signal`, `main.component.signal`, or `main.component.signal[n][m]`.
+ *
+ * @param {bigint[]} witness - The original witness array.
+ * @param {Record<string, NumberLike>} signalIndexes - Map of signal names to their witness indices.
+ * @param {Record<string, bigint>} overrides - Map of signal names to new witness values.
+ * @returns {Promise<bigint[]>} The modified witness array.
+ */
+export declare function modifyWitnessArray(
+  witness: bigint[],
+  signalIndexes: Record<string, NumberLike>,
+  overrides: Record<string, bigint>,
+): Promise<bigint[]>;
+/**
+ * Writes a witness array to a `.wtns` binary file.
+ *
+ * Reference: https://github.com/iden3/snarkjs/blob/bf28b1cb5aefcefab7e0f70f1fa5e40f764cca72/src/wtns_utils.js#L25C42-L25C47
+ *
+ * @param {string} witnessPath - Path to the existing `.wtns` file to read prime and overwrite with new witness.
+ * @param {bigint[]} witness - The witness array to write.
+ */
+export declare function writeWitnessFile(witnessPath: string, witness: bigint[]): Promise<void>;
+//# sourceMappingURL=witness-utils.d.ts.map
diff --git a/dist/utils/witness-utils.d.ts.map b/dist/utils/witness-utils.d.ts.map
new file mode 100644
index 0000000..912dac9
--- /dev/null
+++ b/dist/utils/witness-utils.d.ts.map
@@ -0,0 +1 @@
+{"version":3,"file":"witness-utils.d.ts","sourceRoot":"","sources":["../../src/utils/witness-utils.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAElD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,qBAAqB,CACzC,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAChC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAkBrC;AAED;;;;;;;GAOG;AACH,wBAAsB,cAAc,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI,iBAkBnG;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,MAAM,EAAE,EACjB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,EACzC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAChC,OAAO,CAAC,MAAM,EAAE,CAAC,CAQnB;AAED;;;;;;;GAOG;AACH,wBAAsB,gBAAgB,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,iBAwB5E"}
\ No newline at end of file
diff --git a/dist/utils/witness-utils.js b/dist/utils/witness-utils.js
new file mode 100644
index 0000000..e209234
--- /dev/null
+++ b/dist/utils/witness-utils.js
@@ -0,0 +1,160 @@
+"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.checkWitnessOverrides = checkWitnessOverrides;
+exports.iterateSymFile = iterateSymFile;
+exports.modifyWitnessArray = modifyWitnessArray;
+exports.writeWitnessFile = writeWitnessFile;
+const fs_1 = __importDefault(require("fs"));
+const readline = __importStar(require("readline"));
+// @ts-ignore
+const ffjavascript_1 = require("ffjavascript");
+// @ts-ignore
+const binFileUtils = __importStar(require("@iden3/binfileutils"));
+/**
+ * Validates the provided witness overrides against the `.sym` file and returns the signal-to-index map.
+ *
+ * Reads the `.sym` file line by line and builds a mapping of signal names to their witness indices.
+ * Ensures that all keys in `overrides` exist in the `.sym` file.
+ * Throws an error listing all missing signals if any override key is not found.
+ *
+ * Signal names in `overrides` must be in their full form as represented in the `.sym` file, e.g.,
+ * `main.signal`, `main.component.signal`, or `main.component.signal[n][m]`.
+ *
+ * @param {string} symFilePath - Path to the `.sym` file.
+ * @param {Record<string, bigint>} overrides - Map of signal names to new witness values.
+ * @returns {Promise<Record<string, NumberLike>>} Map of signal names to their corresponding witness indices.
+ */
+async function checkWitnessOverrides(symFilePath, overrides) {
+    const signalToWitnessIndex = {};
+    const missingSignals = new Set(Object.keys(overrides));
+    await iterateSymFile(symFilePath, (signalInfo) => {
+        if (BigInt(signalInfo.witnessIndex) >= 0) {
+            signalToWitnessIndex[signalInfo.signalName] = signalInfo.witnessIndex;
+            missingSignals.delete(signalInfo.signalName);
+        }
+    });
+    if (missingSignals.size > 0) {
+        throw new Error(`Signals not found in .sym file: ${Array.from(missingSignals).join(", ")}`);
+    }
+    return signalToWitnessIndex;
+}
+/**
+ * Iterates over signal entries in a `.sym` file line by line.
+ *
+ * Each line is parsed into a `SignalInfo` object which is passed to the provided callback.
+ *
+ * @param {string} symFilePath - The full path to the `.sym` file to read.
+ * @param {(signalInfo: SignalInfo) => void} onSignal - Callback invoked for each signal line.
+ */
+async function iterateSymFile(symFilePath, onSignal) {
+    const fileStream = fs_1.default.createReadStream(symFilePath, { encoding: "utf8" });
+    const signals = readline.createInterface({ input: fileStream, crlfDelay: Infinity });
+    for await (const signal of signals) {
+        const signalInfo = signal.split(",");
+        if (signalInfo.length != 4) {
+            continue;
+        }
+        onSignal({
+            id: BigInt(signalInfo[0]),
+            witnessIndex: BigInt(signalInfo[1]),
+            componentId: BigInt(signalInfo[2]),
+            signalName: signalInfo[3],
+        });
+    }
+}
+/**
+ * Modifies specific signal values in a witness array.
+ * Substitutes signal from `overrides` in the witness array at positions defined in `signalIndexes`.
+ *
+ * Signal names in `overrides` must be provided in their full form as represented in the `.sym` file, e.g.,
+ * `main.signal`, `main.component.signal`, or `main.component.signal[n][m]`.
+ *
+ * @param {bigint[]} witness - The original witness array.
+ * @param {Record<string, NumberLike>} signalIndexes - Map of signal names to their witness indices.
+ * @param {Record<string, bigint>} overrides - Map of signal names to new witness values.
+ * @returns {Promise<bigint[]>} The modified witness array.
+ */
+async function modifyWitnessArray(witness, signalIndexes, overrides) {
+    for (const [signal, value] of Object.entries(overrides)) {
+        const index = Number(signalIndexes[signal]);
+        witness[index] = value;
+    }
+    return witness;
+}
+/**
+ * Writes a witness array to a `.wtns` binary file.
+ *
+ * Reference: https://github.com/iden3/snarkjs/blob/bf28b1cb5aefcefab7e0f70f1fa5e40f764cca72/src/wtns_utils.js#L25C42-L25C47
+ *
+ * @param {string} witnessPath - Path to the existing `.wtns` file to read prime and overwrite with new witness.
+ * @param {bigint[]} witness - The witness array to write.
+ */
+async function writeWitnessFile(witnessPath, witness) {
+    const prime = await getWitnessPrime(witnessPath);
+    const fd = await binFileUtils.createBinFile(witnessPath, "wtns", 2, 2);
+    await binFileUtils.startWriteSection(fd, 1);
+    const n8 = (Math.floor((ffjavascript_1.Scalar.bitLength(prime) - 1) / 64) + 1) * 8;
+    await fd.writeULE32(n8);
+    await binFileUtils.writeBigInt(fd, prime, n8);
+    await fd.writeULE32(witness.length);
+    await binFileUtils.endWriteSection(fd);
+    await binFileUtils.startWriteSection(fd, 2);
+    for (let i = 0; i < witness.length; i++) {
+        await binFileUtils.writeBigInt(fd, witness[i], n8);
+    }
+    await binFileUtils.endWriteSection(fd, 2);
+    await fd.close();
+}
+/**
+ * Extracts the prime field value from a `.wtns` witness file.
+ *
+ * @param {string} wtnsPath - Full path to the `.wtns` witness file.
+ * @returns {Promise<bigint>} The prime field value used in the witness file.
+ */
+async function getWitnessPrime(wtnsPath) {
+    const { fd, sections } = await binFileUtils.readBinFile(wtnsPath, "wtns", 2);
+    await binFileUtils.startReadUniqueSection(fd, sections, 1);
+    const n8 = await fd.readULE32();
+    const prime = await binFileUtils.readBigInt(fd, n8);
+    await fd.readULE32();
+    await binFileUtils.endReadSection(fd);
+    await fd.close();
+    return prime;
+}
+//# sourceMappingURL=witness-utils.js.map
\ No newline at end of file
diff --git a/dist/utils/witness-utils.js.map b/dist/utils/witness-utils.js.map
new file mode 100644
index 0000000..33a7a2e
--- /dev/null
+++ b/dist/utils/witness-utils.js.map
@@ -0,0 +1 @@
+{"version":3,"file":"witness-utils.js","sourceRoot":"","sources":["../../src/utils/witness-utils.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyBA,sDAqBC;AAUD,wCAkBC;AAcD,gDAYC;AAUD,4CAwBC;AAtID,4CAAoB;AAEpB,mDAAqC;AAErC,aAAa;AACb,+CAAsC;AACtC,aAAa;AACb,kEAAoD;AAIpD;;;;;;;;;;;;;GAaG;AACI,KAAK,UAAU,qBAAqB,CACzC,WAAmB,EACnB,SAAiC;IAEjC,MAAM,oBAAoB,GAA+B,EAAE,CAAC;IAE5D,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IAEvD,MAAM,cAAc,CAAC,WAAW,EAAE,CAAC,UAAU,EAAE,EAAE;QAC/C,IAAI,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,oBAAoB,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,UAAU,CAAC,YAAY,CAAC;YAEtE,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,cAAc,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,mCAAmC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9F,CAAC;IAED,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED;;;;;;;GAOG;AACI,KAAK,UAAU,cAAc,CAAC,WAAmB,EAAE,QAA0C;IAClG,MAAM,UAAU,GAAG,YAAE,CAAC,gBAAgB,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,QAAQ,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC;IAErF,IAAI,KAAK,EAAE,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAErC,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC3B,SAAS;QACX,CAAC;QAED,QAAQ,CAAC;YACP,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACzB,YAAY,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACnC,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAClC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;SAC1B,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACI,KAAK,UAAU,kBAAkB,CACtC,OAAiB,EACjB,aAAyC,EACzC,SAAiC;IAEjC,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;QAE5C,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IACzB,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;GAOG;AACI,KAAK,UAAU,gBAAgB,CAAC,WAAmB,EAAE,OAAiB;IAC3E,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC,WAAW,CAAC,CAAC;IAEjD,MAAM,EAAE,GAAG,MAAM,YAAY,CAAC,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAEvE,MAAM,YAAY,CAAC,iBAAiB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAE5C,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,qBAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACpE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IACxB,MAAM,YAAY,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAE9C,MAAM,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAEpC,MAAM,YAAY,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;IAEvC,MAAM,YAAY,CAAC,iBAAiB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAE5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,YAAY,CAAC,WAAW,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,YAAY,CAAC,eAAe,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAE1C,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,eAAe,CAAC,QAAgB;IAC7C,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,MAAM,YAAY,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAE7E,MAAM,YAAY,CAAC,sBAAsB,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;IAE3D,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,SAAS,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACpD,MAAM,EAAE,CAAC,SAAS,EAAE,CAAC;IAErB,MAAM,YAAY,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;IACtC,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC;IAEjB,OAAO,KAAK,CAAC;AACf,CAAC"}
\ No newline at end of file
diff --git a/package-lock.json b/package-lock.json
index c6b236c..edfc5d7 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -13,7 +13,8 @@
         "ejs": "3.1.10",
         "ffjavascript": "0.3.1",
         "readline": "1.3.0",
-        "snarkjs": "0.7.5"
+        "snarkjs": "0.7.5",
+        "uuid": "^11.1.0"
       },
       "devDependencies": {
         "@nomicfoundation/hardhat-ethers": "3.0.5",
@@ -3440,6 +3441,15 @@
         }
       }
     },
+    "node_modules/hardhat/node_modules/uuid": {
+      "version": "8.3.2",
+      "resolved": "https://registry.npmjs.org/uuid/-/uuid-8.3.2.tgz",
+      "integrity": "sha512-+NYs2QeMWy+GWFOEm9xnn6HCDp0l7QBD7ml8zLUmJ+93Q5NF0NocErnwkTkXVFNiX3/fpC6afS8Dhb/gz7R7eg==",
+      "dev": true,
+      "bin": {
+        "uuid": "dist/bin/uuid"
+      }
+    },
     "node_modules/hardhat/node_modules/ws": {
       "version": "7.5.10",
       "resolved": "https://registry.npmjs.org/ws/-/ws-7.5.10.tgz",
@@ -3876,6 +3886,15 @@
         "node": ">=8"
       }
     },
+    "node_modules/istanbul-lib-processinfo/node_modules/uuid": {
+      "version": "8.3.2",
+      "resolved": "https://registry.npmjs.org/uuid/-/uuid-8.3.2.tgz",
+      "integrity": "sha512-+NYs2QeMWy+GWFOEm9xnn6HCDp0l7QBD7ml8zLUmJ+93Q5NF0NocErnwkTkXVFNiX3/fpC6afS8Dhb/gz7R7eg==",
+      "dev": true,
+      "bin": {
+        "uuid": "dist/bin/uuid"
+      }
+    },
     "node_modules/istanbul-lib-report": {
       "version": "3.0.1",
       "resolved": "https://registry.npmjs.org/istanbul-lib-report/-/istanbul-lib-report-3.0.1.tgz",
@@ -6061,13 +6080,15 @@
       "license": "MIT"
     },
     "node_modules/uuid": {
-      "version": "8.3.2",
-      "resolved": "https://registry.npmjs.org/uuid/-/uuid-8.3.2.tgz",
-      "integrity": "sha512-+NYs2QeMWy+GWFOEm9xnn6HCDp0l7QBD7ml8zLUmJ+93Q5NF0NocErnwkTkXVFNiX3/fpC6afS8Dhb/gz7R7eg==",
-      "dev": true,
-      "license": "MIT",
+      "version": "11.1.0",
+      "resolved": "https://registry.npmjs.org/uuid/-/uuid-11.1.0.tgz",
+      "integrity": "sha512-0/A9rDy9P7cJ+8w1c9WD9V//9Wj15Ce2MPz8Ri6032usz+NfePxx5AcN3bN+r6ZL6jEo066/yNYB3tn4pQEx+A==",
+      "funding": [
+        "https://github.com/sponsors/broofa",
+        "https://github.com/sponsors/ctavan"
+      ],
       "bin": {
-        "uuid": "dist/bin/uuid"
+        "uuid": "dist/esm/bin/uuid"
       }
     },
     "node_modules/v8-compile-cache-lib": {
diff --git a/package.json b/package.json
index 176aa45..007bb7b 100644
--- a/package.json
+++ b/package.json
@@ -38,11 +38,12 @@
     ]
   },
   "dependencies": {
-    "ejs": "3.1.10",
-    "snarkjs": "0.7.5",
     "@iden3/binfileutils": "0.0.12",
+    "ejs": "3.1.10",
     "ffjavascript": "0.3.1",
-    "readline": "1.3.0"
+    "readline": "1.3.0",
+    "snarkjs": "0.7.5",
+    "uuid": "^11.1.0"
   },
   "devDependencies": {
     "@nomicfoundation/hardhat-ethers": "3.0.5",
diff --git a/src/core/CircuitZKit.ts b/src/core/CircuitZKit.ts
index df6e65d..662f3ac 100644
--- a/src/core/CircuitZKit.ts
+++ b/src/core/CircuitZKit.ts
@@ -2,6 +2,7 @@ import fs from "fs";
 import path from "path";
 import * as snarkjs from "snarkjs";
 import { createHash } from "crypto";
+import { v4 as uuidv4 } from "uuid";
 
 import {
   ArtifactsFileType,
@@ -71,10 +72,15 @@ export class CircuitZKit<Type extends ProvingSystemType> {
    *
    * @param {Signals} inputs - The inputs for the circuit.
    * @param {Record<string, bigint>} [witnessOverrides] - Optional map of signal names to override their witness values.
+   * @param {string} witnessFilePath - The inputs for the witness file path.
    * @returns {Promise<bigint[]>} The generated witness.
    */
-  public async calculateWitness(inputs: Signals, witnessOverrides?: Record<string, bigint>): Promise<bigint[]> {
-    const wtnsFile = this.getTemporaryWitnessPath();
+  public async calculateWitness(
+    inputs: Signals,
+    witnessOverrides?: Record<string, bigint>,
+    witnessFilePath?: string,
+  ): Promise<bigint[]> {
+    const wtnsFile = witnessFilePath ?? this.getTemporaryWitnessPath();
     const wasmFile = this.mustGetArtifactsFilePath("wasm");
 
     let signalIndexes: Record<string, NumberLike> = {};
@@ -105,19 +111,21 @@ export class CircuitZKit<Type extends ProvingSystemType> {
    *
    * @param {Signals} inputs - The inputs for the circuit.
    * @param {Record<string, bigint>} [witnessOverrides] - Optional map of signal names to override their witness values.
+   * @param {boolean} uniqueWitnessPath - The flag for unique witness path to avoid I/O concurrent conflicts. default - false
    * @returns {Promise<ProofStructByProtocol<Type>>} The generated proof.
    */
   public async generateProof(
     inputs: Signals,
     witnessOverrides?: Record<string, bigint>,
+    uniqueWitnessPath: boolean = false,
   ): Promise<ProofStructByProtocol<Type>> {
     const zKeyFile = this.mustGetArtifactsFilePath("zkey");
-    const witnessFile = this.getTemporaryWitnessPath();
+    const witnessFile = uniqueWitnessPath ? this.getTemporaryUniqueWitnessPath() : this.getTemporaryWitnessPath();
 
     let proof: ProofStructByProtocol<Type>;
 
     try {
-      const witness = await this.calculateWitness(inputs, witnessOverrides);
+      const witness = await this.calculateWitness(inputs, witnessOverrides, witnessFile);
 
       if (witnessOverrides) {
         await writeWitnessFile(witnessFile, witness);
@@ -209,6 +217,18 @@ export class CircuitZKit<Type extends ProvingSystemType> {
     return path.join(getTmpDir(), `${this.getCircuitName()}.wtns`);
   }
 
+  /**
+   * Returns the path to the temporary witness file with uniqueness.
+   *
+   * The file is stored in the system temporary directory and is named after the circuit with uniqueness.
+   * This file is used for intermediate witness generation and may be deleted after usage.
+   *
+   * @returns {string} The full path to the temporary `.wtns` file.
+   */
+  public getTemporaryUniqueWitnessPath(): string {
+    return path.join(getTmpDir(), `${this.getCircuitName()}-${uuidv4()}.wtns`);
+  }
+
   /**
    * Returns the path to the file of the given type inside artifacts directory. Throws an error if the file doesn't exist.
    *
diff --git a/src/core/protocols/AbstractImplementer.ts b/src/core/protocols/AbstractImplementer.ts
index 36d44ea..30f48bf 100644
--- a/src/core/protocols/AbstractImplementer.ts
+++ b/src/core/protocols/AbstractImplementer.ts
@@ -59,4 +59,19 @@ export abstract class AbstractProtocolImplementer<T extends ProvingSystemType> i
   public getVKeyFileName(circuitName: string): string {
     return `${circuitName}.${this.getProvingSystemType()}.vkey.json`;
   }
+
+  protected async withTimeout<T>(promise: Promise<T>, ms: number): Promise<T> {
+    return new Promise((resolve, reject) => {
+      const id = setTimeout(() => reject(new Error("Operation timed out")), ms);
+      promise
+        .then((res) => {
+          clearTimeout(id);
+          resolve(res);
+        })
+        .catch((err) => {
+          clearTimeout(id);
+          reject(err);
+        });
+    });
+  }
 }
diff --git a/src/core/protocols/Groth16Implementer.ts b/src/core/protocols/Groth16Implementer.ts
index e121b11..c6eb772 100644
--- a/src/core/protocols/Groth16Implementer.ts
+++ b/src/core/protocols/Groth16Implementer.ts
@@ -8,12 +8,19 @@ import { Groth16ProofStruct, Groth16CalldataStruct, ProvingSystemType } from "..
 import { terminateCurve } from "../../utils";
 
 export class Groth16Implementer extends AbstractProtocolImplementer<"groth16"> {
-  public async generateProof(zKeyFilePath: string, witnessFilePath: string): Promise<Groth16ProofStruct> {
-    const proof = await snarkjs.groth16.prove(zKeyFilePath, witnessFilePath);
+  public async generateProof(
+    zKeyFilePath: string,
+    witnessFilePath: string,
+    timeout: number = 30000,
+  ): Promise<Groth16ProofStruct> {
+    const generate = async () => {
+      const proof = await snarkjs.groth16.prove(zKeyFilePath, witnessFilePath);
 
-    await terminateCurve();
+      await terminateCurve();
 
-    return proof as Groth16ProofStruct;
+      return proof as Groth16ProofStruct;
+    };
+    return await this.withTimeout(generate(), timeout);
   }
 
   public async verifyProof(proof: Groth16ProofStruct, vKeyFilePath: string): Promise<boolean> {
diff --git a/src/core/protocols/PlonkImplementer.ts b/src/core/protocols/PlonkImplementer.ts
index 1fdbee9..0a6bed5 100644
--- a/src/core/protocols/PlonkImplementer.ts
+++ b/src/core/protocols/PlonkImplementer.ts
@@ -8,12 +8,19 @@ import { PlonkProofStruct, PlonkCalldataStruct, ProvingSystemType } from "../../
 import { terminateCurve } from "../../utils";
 
 export class PlonkImplementer extends AbstractProtocolImplementer<"plonk"> {
-  public async generateProof(zKeyFilePath: string, witnessFilePath: string): Promise<PlonkProofStruct> {
-    const proof = await snarkjs.plonk.prove(zKeyFilePath, witnessFilePath);
+  public async generateProof(
+    zKeyFilePath: string,
+    witnessFilePath: string,
+    timeout: number = 30000,
+  ): Promise<PlonkProofStruct> {
+    const generate = async () => {
+      const proof = await snarkjs.plonk.prove(zKeyFilePath, witnessFilePath);
 
-    await terminateCurve();
+      await terminateCurve();
 
-    return proof as PlonkProofStruct;
+      return proof as PlonkProofStruct;
+    };
+    return await this.withTimeout(generate(), timeout);
   }
 
   public async verifyProof(proof: PlonkProofStruct, vKeyFilePath: string): Promise<boolean> {