@solarity/zkit 0.3.6 → 0.3.7-rc.1

package/dist/core/CircuitZKit.d.ts

@@ -24,20 +24,32 @@ export declare class CircuitZKit<Type extends ProvingSystemType> {
     /**
      * 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.
      * @returns {Promise<bigint[]>} The generated witness.
      */
-    calculateWitness(inputs: Signals): Promise<bigint[]>;
+    calculateWitness(inputs: Signals, witnessOverrides?: Record<string, bigint>): 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.
      * @returns {Promise<ProofStructByProtocol<Type>>} The generated proof.
-     * @todo Add support for other proving systems.
      */
-    generateProof(inputs: Signals): Promise<ProofStructByProtocol<Type>>;
+    generateProof(inputs: Signals, witnessOverrides?: Record<string, bigint>): Promise<ProofStructByProtocol<Type>>;
     /**
      * Verifies the given proof.
      *
@@ -53,7 +65,6 @@ export declare class CircuitZKit<Type extends ProvingSystemType> {
      *
      * @param {ProofStructByProtocol<Type>} proof - The proof to generate calldata for.
      * @returns {Promise<CalldataByProtocol<Type>>} - The generated calldata.
-     * @todo Add other types of calldata.
      */
     generateCalldata(proof: ProofStructByProtocol<Type>): Promise<CalldataByProtocol<Type>>;
     /**
@@ -83,6 +94,15 @@ export declare class CircuitZKit<Type extends ProvingSystemType> {
      * @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 file of the given type inside artifacts directory. Throws an error if the file doesn't exist.
      *

package/dist/core/CircuitZKit.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"CircuitZKit.d.ts","sourceRoot":"","sources":["../../src/core/CircuitZKit.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AACnG,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAIxH;;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;;;;;OAKG;IACU,gBAAgB,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAiBjE;;;;;;;;OAQG;IACU,aAAa,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAOjF;;;;;;;;OAQG;IACU,WAAW,CAAC,KAAK,EAAE,qBAAqB,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC;IAM9E;;;;;;OAMG;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;;;;;OAKG;IACI,wBAAwB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,MAAM;IAUpE;;;;;OAKG;IACI,oBAAoB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,MAAM;CAgCjE"}
+{"version":3,"file":"CircuitZKit.d.ts","sourceRoot":"","sources":["../../src/core/CircuitZKit.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AACnG,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAKxH;;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;;;;;;;;;;;OAWG;IACU,gBAAgB,CAAC,MAAM,EAAE,OAAO,EAAE,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAmB5G;;;;;;;;;;;;;;OAcG;IACU,aAAa,CACxB,MAAM,EAAE,OAAO,EACf,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACxC,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;;;;;OAKG;IACI,wBAAwB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,MAAM;IAUpE;;;;;OAKG;IACI,oBAAoB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,MAAM;CAgCjE"}

package/dist/core/CircuitZKit.js

@@ -39,10 +39,10 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.CircuitZKit = void 0;
 const fs_1 = __importDefault(require("fs"));
 const path_1 = __importDefault(require("path"));
-const os = __importStar(require("os"));
 const snarkjs = __importStar(require("snarkjs"));
 const crypto_1 = require("crypto");
 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.
  */
@@ -78,38 +78,64 @@ class CircuitZKit {
             }
         }
         const verifierFilePath = path_1.default.join(this._config.verifierDirPath, verifierFileName);
-        this._implementer.createVerifier(vKeyFilePath, verifierFilePath, languageExtension);
+        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.
      * @returns {Promise<bigint[]>} The generated witness.
      */
-    async calculateWitness(inputs) {
-        const tmpDir = path_1.default.join(os.tmpdir(), ".zkit");
-        if (!fs_1.default.existsSync(tmpDir)) {
-            fs_1.default.mkdirSync(tmpDir, { recursive: true });
-        }
-        const wtnsFile = path_1.default.join(tmpDir, `${this.getCircuitName()}.wtns`);
+    async calculateWitness(inputs, witnessOverrides) {
+        const wtnsFile = 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 wtnsJson;
+        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.
      * @returns {Promise<ProofStructByProtocol<Type>>} The generated proof.
-     * @todo Add support for other proving systems.
      */
-    async generateProof(inputs) {
+    async generateProof(inputs, witnessOverrides) {
         const zKeyFile = this.mustGetArtifactsFilePath("zkey");
-        const wasmFile = this.mustGetArtifactsFilePath("wasm");
-        return await this._implementer.generateProof(inputs, zKeyFile, wasmFile);
+        const witnessFile = this.getTemporaryWitnessPath();
+        let proof;
+        try {
+            const witness = await this.calculateWitness(inputs, witnessOverrides);
+            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.
@@ -129,7 +155,6 @@ class CircuitZKit {
      *
      * @param {ProofStructByProtocol<Type>} proof - The proof to generate calldata for.
      * @returns {Promise<CalldataByProtocol<Type>>} - The generated calldata.
-     * @todo Add other types of calldata.
      */
     async generateCalldata(proof) {
         return await this._implementer.generateCalldata(proof);
@@ -169,6 +194,17 @@ class CircuitZKit {
     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 file of the given type inside artifacts directory. Throws an error if the file doesn't exist.
      *

package/dist/core/CircuitZKit.js.map

@@ -1 +1 @@
-{"version":3,"file":"CircuitZKit.js","sourceRoot":"","sources":["../../src/core/CircuitZKit.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,4CAAoB;AACpB,gDAAwB;AACxB,uCAAyB;AACzB,iDAAmC;AACnC,mCAAoC;AAMpC,4CAAoD;AAEpD;;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,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;IACtF,CAAC;IAED;;;;;OAKG;IACI,KAAK,CAAC,gBAAgB,CAAC,MAAe;QAC3C,MAAM,MAAM,GAAG,cAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,OAAO,CAAC,CAAC;QAE/C,IAAI,CAAC,YAAE,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,YAAE,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5C,CAAC;QAED,MAAM,QAAQ,GAAG,cAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QACpE,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAEvD,MAAM,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAEzD,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAEzD,OAAO,QAAoB,CAAC;IAC9B,CAAC;IAED;;;;;;;;OAQG;IACI,KAAK,CAAC,aAAa,CAAC,MAAe;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAEvD,OAAO,MAAM,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC3E,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;;;;;;OAMG;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;;;;;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;AAtMD,kCAsMC"}
+{"version":3,"file":"CircuitZKit.js","sourceRoot":"","sources":["../../src/core/CircuitZKit.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,4CAAoB;AACpB,gDAAwB;AACxB,iDAAmC;AACnC,mCAAoC;AAMpC,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;;;;;;;;;;;OAWG;IACI,KAAK,CAAC,gBAAgB,CAAC,MAAe,EAAE,gBAAyC;QACtF,MAAM,QAAQ,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAC;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAEvD,IAAI,aAAa,GAA2B,EAAE,CAAC;QAE/C,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;;;;;;;;;;;;;;OAcG;IACI,KAAK,CAAC,aAAa,CACxB,MAAe,EACf,gBAAyC;QAEzC,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACvD,MAAM,WAAW,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAC;QAEnD,IAAI,KAAkC,CAAC;QAEvC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;YAEtE,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;;;;;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;AAlPD,kCAkPC"}

package/dist/core/protocols/AbstractImplementer.d.ts

@@ -1,9 +1,8 @@
-import { Signals } from "../../types/proof-utils";
 import { IProtocolImplementer, ProvingSystemType, ProofStructByProtocol, CalldataByProtocol } from "../../types/protocols";
 import { VerifierLanguageType } from "../../types/circuit-zkit";
 export declare abstract class AbstractProtocolImplementer<T extends ProvingSystemType> implements IProtocolImplementer<T> {
     createVerifier(vKeyFilePath: string, verifierFilePath: string, languageExtension: VerifierLanguageType): Promise<void>;
-    abstract generateProof(inputs: Signals, zKeyFilePath: string, wasmFilePath: string): Promise<ProofStructByProtocol<T>>;
+    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;

package/dist/core/protocols/AbstractImplementer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"AbstractImplementer.d.ts","sourceRoot":"","sources":["../../../src/core/protocols/AbstractImplementer.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,EACnB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAEhE,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,CAC3B,MAAM,EAAE,OAAO,EACf,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;aAEpB,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;CAGpD"}
+{"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,EACnB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAEhE,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;CAGpD"}

package/dist/core/protocols/AbstractImplementer.js.map

@@ -1 +1 @@
-{"version":3,"file":"AbstractImplementer.js","sourceRoot":"","sources":["../../../src/core/protocols/AbstractImplementer.ts"],"names":[],"mappings":";;;;;;AAAA,4CAAoB;AACpB,8CAAsB;AACtB,gDAAwB;AAWxB,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;IAcM,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;CACF;AArDD,kEAqDC"}
+{"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;CACF;AAjDD,kEAiDC"}

package/dist/core/protocols/Groth16Implementer.d.ts

@@ -1,8 +1,7 @@
 import { AbstractProtocolImplementer } from "./AbstractImplementer";
-import { Signals } from "../../types/proof-utils";
 import { Groth16ProofStruct, Groth16CalldataStruct, ProvingSystemType } from "../../types/protocols";
 export declare class Groth16Implementer extends AbstractProtocolImplementer<"groth16"> {
-    generateProof(inputs: Signals, zKeyFilePath: string, wasmFilePath: string): Promise<Groth16ProofStruct>;
+    generateProof(zKeyFilePath: string, witnessFilePath: string): Promise<Groth16ProofStruct>;
     verifyProof(proof: Groth16ProofStruct, vKeyFilePath: string): Promise<boolean>;
     generateCalldata(proof: Groth16ProofStruct): Promise<Groth16CalldataStruct>;
     getProvingSystemType(): ProvingSystemType;

package/dist/core/protocols/Groth16Implementer.d.ts.map

@@ -1 +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,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAIrG,qBAAa,kBAAmB,SAAQ,2BAA2B,CAAC,SAAS,CAAC;IAC/D,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAQvG,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"}
+{"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,uBAAuB,CAAC;AAIrG,qBAAa,kBAAmB,SAAQ,2BAA2B,CAAC,SAAS,CAAC;IAC/D,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAQzF,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"}

package/dist/core/protocols/Groth16Implementer.js

@@ -42,10 +42,10 @@ const snarkjs = __importStar(require("snarkjs"));
 const AbstractImplementer_1 = require("./AbstractImplementer");
 const utils_1 = require("../../utils");
 class Groth16Implementer extends AbstractImplementer_1.AbstractProtocolImplementer {
-    async generateProof(inputs, zKeyFilePath, wasmFilePath) {
-        const fullProof = await snarkjs.groth16.fullProve(inputs, wasmFilePath, zKeyFilePath);
+    async generateProof(zKeyFilePath, witnessFilePath) {
+        const proof = await snarkjs.groth16.prove(zKeyFilePath, witnessFilePath);
         await (0, utils_1.terminateCurve)();
-        return fullProof;
+        return proof;
     }
     async verifyProof(proof, vKeyFilePath) {
         const verifier = JSON.parse(fs_1.default.readFileSync(vKeyFilePath).toString());

package/dist/core/protocols/Groth16Implementer.js.map

@@ -1 +1 @@
-{"version":3,"file":"Groth16Implementer.js","sourceRoot":"","sources":["../../../src/core/protocols/Groth16Implementer.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,4CAAoB;AACpB,iDAAmC;AAEnC,+DAAoE;AAKpE,uCAA6C;AAE7C,MAAa,kBAAmB,SAAQ,iDAAsC;IACrE,KAAK,CAAC,aAAa,CAAC,MAAe,EAAE,YAAoB,EAAE,YAAoB;QACpF,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;QAEtF,MAAM,IAAA,sBAAc,GAAE,CAAC;QAEvB,OAAO,SAA+B,CAAC;IACzC,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;AArCD,gDAqCC"}
+{"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,CAAC,YAAoB,EAAE,eAAuB;QACtE,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;QAEzE,MAAM,IAAA,sBAAc,GAAE,CAAC;QAEvB,OAAO,KAA2B,CAAC;IACrC,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;AArCD,gDAqCC"}

package/dist/core/protocols/PlonkImplementer.d.ts

@@ -1,8 +1,7 @@
 import { AbstractProtocolImplementer } from "./AbstractImplementer";
-import { Signals } from "../../types/proof-utils";
 import { PlonkProofStruct, PlonkCalldataStruct, ProvingSystemType } from "../../types/protocols";
 export declare class PlonkImplementer extends AbstractProtocolImplementer<"plonk"> {
-    generateProof(inputs: Signals, zKeyFilePath: string, wasmFilePath: string): Promise<PlonkProofStruct>;
+    generateProof(zKeyFilePath: string, witnessFilePath: string): Promise<PlonkProofStruct>;
     verifyProof(proof: PlonkProofStruct, vKeyFilePath: string): Promise<boolean>;
     generateCalldata(proof: PlonkProofStruct): Promise<PlonkCalldataStruct>;
     getProvingSystemType(): ProvingSystemType;

package/dist/core/protocols/PlonkImplementer.d.ts.map

@@ -1 +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,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAIjG,qBAAa,gBAAiB,SAAQ,2BAA2B,CAAC,OAAO,CAAC;IAC3D,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAQrG,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"}
+{"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,uBAAuB,CAAC;AAIjG,qBAAa,gBAAiB,SAAQ,2BAA2B,CAAC,OAAO,CAAC;IAC3D,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAQvF,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"}

package/dist/core/protocols/PlonkImplementer.js

@@ -42,10 +42,10 @@ const snarkjs = __importStar(require("snarkjs"));
 const AbstractImplementer_1 = require("./AbstractImplementer");
 const utils_1 = require("../../utils");
 class PlonkImplementer extends AbstractImplementer_1.AbstractProtocolImplementer {
-    async generateProof(inputs, zKeyFilePath, wasmFilePath) {
-        const fullProof = await snarkjs.plonk.fullProve(inputs, wasmFilePath, zKeyFilePath);
+    async generateProof(zKeyFilePath, witnessFilePath) {
+        const proof = await snarkjs.plonk.prove(zKeyFilePath, witnessFilePath);
         await (0, utils_1.terminateCurve)();
-        return fullProof;
+        return proof;
     }
     async verifyProof(proof, vKeyFilePath) {
         const verifier = JSON.parse(fs_1.default.readFileSync(vKeyFilePath).toString());

package/dist/core/protocols/PlonkImplementer.js.map

@@ -1 +1 @@
-{"version":3,"file":"PlonkImplementer.js","sourceRoot":"","sources":["../../../src/core/protocols/PlonkImplementer.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,4CAAoB;AACpB,iDAAmC;AAEnC,+DAAoE;AAKpE,uCAA6C;AAE7C,MAAa,gBAAiB,SAAQ,iDAAoC;IACjE,KAAK,CAAC,aAAa,CAAC,MAAe,EAAE,YAAoB,EAAE,YAAoB;QACpF,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;QAEpF,MAAM,IAAA,sBAAc,GAAE,CAAC;QAEvB,OAAO,SAA6B,CAAC;IACvC,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;AAtCD,4CAsCC"}
+{"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,CAAC,YAAoB,EAAE,eAAuB;QACtE,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;QAEvE,MAAM,IAAA,sBAAc,GAAE,CAAC;QAEvB,OAAO,KAAyB,CAAC;IACnC,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;AAtCD,4CAsCC"}

package/dist/types/protocols/index.d.ts

@@ -1,12 +1,11 @@
 import { Groth16ProofStruct, Groth16CalldataStruct } from "./groth16";
 import { PlonkProofStruct, PlonkCalldataStruct } from "./plonk";
-import { Signals } from "../proof-utils";
 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(inputs: Signals, zKeyFilePath: string, wasmFilePath: string): Promise<ProofStructByProtocol<T>>;
+    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;

package/dist/types/protocols/index.d.ts.map

@@ -1 +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,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACzC,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,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;IAE9G,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"}
+{"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"}

package/dist/types/protocols/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/types/protocols/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAMA,4CAA0B;AAC1B,0CAAwB"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/types/protocols/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAKA,4CAA0B;AAC1B,0CAAwB"}

package/dist/utils/index.d.ts

@@ -0,0 +1,14 @@
+/**
+ * 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;
+export * from "./witness-utils";
+//# sourceMappingURL=index.d.ts.map

package/dist/utils/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/utils/index.ts"],"names":[],"mappings":"AAQA;;GAEG;AACH,wBAAsB,cAAc,kBAEnC;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,IAAI,MAAM,CAQlC;AAED,cAAc,iBAAiB,CAAC"}

package/dist/{utils.js → utils/index.js}

@@ -32,11 +32,39 @@ var __importStar = (this && this.__importStar) || (function () {
         return result;
     };
 })();
+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);
+};
+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 constants_1 = require("../constants");
 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();
 }
-//# sourceMappingURL=utils.js.map
+/**
+ * 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;
+}
+__exportStar(require("./witness-utils"), exports);
+//# sourceMappingURL=index.js.map

package/dist/utils/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/utils/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAWA,wCAEC;AASD,8BAQC;AA9BD,4CAAoB;AACpB,4CAAoB;AACpB,gDAAwB;AAExB,4CAAgD;AAEhD,iDAAmC;AAEnC;;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;AAED,kDAAgC"}

package/dist/utils/witness-utils.d.ts

@@ -0,0 +1,38 @@
+/**
+ * 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} symFile - Path to the `.sym` file.
+ * @param {Record<string, bigint>} overrides - Map of signal names to new witness values.
+ * @returns {Promise<Record<string, number>>} Map of signal names to their corresponding witness indices.
+ */
+export declare function checkWitnessOverrides(symFile: string, overrides: Record<string, bigint>): Promise<Record<string, number>>;
+/**
+ * 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, number>} 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, number>, 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

package/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;;;;;;;;;;;;;GAaG;AACH,wBAAsB,qBAAqB,CACzC,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAChC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAyBjC;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,MAAM,EAAE,EACjB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACrC,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"}

package/dist/utils/witness-utils.js

@@ -0,0 +1,139 @@
+"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.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} symFile - Path to the `.sym` file.
+ * @param {Record<string, bigint>} overrides - Map of signal names to new witness values.
+ * @returns {Promise<Record<string, number>>} Map of signal names to their corresponding witness indices.
+ */
+async function checkWitnessOverrides(symFile, overrides) {
+    const signalToWitnessIndex = {};
+    const missingSignals = new Set(Object.keys(overrides));
+    const fileStream = fs_1.default.createReadStream(symFile, { encoding: "utf8" });
+    const signals = readline.createInterface({ input: fileStream, crlfDelay: Infinity });
+    for await (const signal of signals) {
+        const signalInfo = signal.split(",");
+        if (signalInfo.length != 4 || Number(signalInfo[1]) < 0) {
+            continue;
+        }
+        signalToWitnessIndex[signalInfo[3]] = Number(signalInfo[1]);
+        missingSignals.delete(signalInfo[3]);
+    }
+    if (missingSignals.size > 0) {
+        throw new Error(`Signals not found in .sym file: ${Array.from(missingSignals).join(", ")}`);
+    }
+    return signalToWitnessIndex;
+}
+/**
+ * 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, number>} 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 = 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

package/dist/utils/witness-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"witness-utils.js","sourceRoot":"","sources":["../../src/utils/witness-utils.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuBA,sDA4BC;AAcD,gDAYC;AAUD,4CAwBC;AA/GD,4CAAoB;AAEpB,mDAAqC;AAErC,aAAa;AACb,+CAAsC;AACtC,aAAa;AACb,kEAAoD;AAEpD;;;;;;;;;;;;;GAaG;AACI,KAAK,UAAU,qBAAqB,CACzC,OAAe,EACf,SAAiC;IAEjC,MAAM,oBAAoB,GAA2B,EAAE,CAAC;IAExD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IAEvD,MAAM,UAAU,GAAG,YAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IACtE,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,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YACxD,SAAS;QACX,CAAC;QAED,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAE5D,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC;IAED,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;;;;;;;;;;;GAWG;AACI,KAAK,UAAU,kBAAkB,CACtC,OAAiB,EACjB,aAAqC,EACrC,SAAiC;IAEjC,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QAEpC,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"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@solarity/zkit",
-  "version": "0.3.6",
+  "version": "0.3.7-rc.1",
   "license": "MIT",
   "author": "Distributed Lab",
   "readme": "README.md",
@@ -42,6 +42,7 @@
     "snarkjs": "0.7.5"
   },
   "devDependencies": {
+    "@iden3/binfileutils": "^0.0.12",
     "@nomicfoundation/hardhat-ethers": "3.0.5",
     "@nomiclabs/hardhat-vyper": "^3.0.7",
     "@solarity/solidity-lib": "3.0.0-rc.3",
@@ -53,11 +54,13 @@
     "chai": "^4.4.1",
     "chai-as-promised": "^7.1.1",
     "ethers": "^6.11.1",
+    "ffjavascript": "^0.3.1",
     "hardhat": "2.22.7",
     "husky": "^9.0.11",
     "mocha": "^10.3.0",
     "nyc": "^15.1.0",
     "prettier": "^3.2.5",
+    "readline": "^1.3.0",
     "ts-node": "^10.9.2",
     "typescript": "^5.4.5"
   }

package/src/core/CircuitZKit.ts

@@ -1,6 +1,5 @@
 import fs from "fs";
 import path from "path";
-import * as os from "os";
 import * as snarkjs from "snarkjs";
 import { createHash } from "crypto";
 
@@ -9,6 +8,7 @@ import { Signals } from "../types/proof-utils";
 import { CalldataByProtocol, IProtocolImplementer, ProofStructByProtocol, ProvingSystemType } from "../types/protocols";
 
 import { MAX_FILE_NAME_LENGTH } from "../constants";
+import { getTmpDir, modifyWitnessArray, checkWitnessOverrides, writeWitnessFile } from "../utils";
 
 /**
  * `CircuitZKit` represents a single circuit and provides a high-level API to work with it.
@@ -50,30 +50,38 @@ export class CircuitZKit<Type extends ProvingSystemType> {
 
     const verifierFilePath = path.join(this._config.verifierDirPath, verifierFileName);
 
-    this._implementer.createVerifier(vKeyFilePath, verifierFilePath, languageExtension);
+    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.
    * @returns {Promise<bigint[]>} The generated witness.
    */
-  public async calculateWitness(inputs: Signals): Promise<bigint[]> {
-    const tmpDir = path.join(os.tmpdir(), ".zkit");
+  public async calculateWitness(inputs: Signals, witnessOverrides?: Record<string, bigint>): Promise<bigint[]> {
+    const wtnsFile = this.getTemporaryWitnessPath();
+    const wasmFile = this.mustGetArtifactsFilePath("wasm");
 
-    if (!fs.existsSync(tmpDir)) {
-      fs.mkdirSync(tmpDir, { recursive: true });
-    }
+    let signalIndexes: Record<string, number> = {};
 
-    const wtnsFile = path.join(tmpDir, `${this.getCircuitName()}.wtns`);
-    const wasmFile = this.mustGetArtifactsFilePath("wasm");
+    if (witnessOverrides) {
+      const symFile = this.mustGetArtifactsFilePath("sym");
+
+      signalIndexes = await checkWitnessOverrides(symFile, witnessOverrides);
+    }
 
     await snarkjs.wtns.calculate(inputs, wasmFile, wtnsFile);
 
-    const wtnsJson = await snarkjs.wtns.exportJson(wtnsFile);
+    const wtnsJson = (await snarkjs.wtns.exportJson(wtnsFile)) as bigint[];
 
-    return wtnsJson as bigint[];
+    return witnessOverrides ? modifyWitnessArray(wtnsJson, signalIndexes, witnessOverrides) : wtnsJson;
   }
 
   /**
@@ -81,15 +89,40 @@ export class CircuitZKit<Type extends ProvingSystemType> {
    *
    * @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.
    * @returns {Promise<ProofStructByProtocol<Type>>} The generated proof.
-   * @todo Add support for other proving systems.
    */
-  public async generateProof(inputs: Signals): Promise<ProofStructByProtocol<Type>> {
+  public async generateProof(
+    inputs: Signals,
+    witnessOverrides?: Record<string, bigint>,
+  ): Promise<ProofStructByProtocol<Type>> {
     const zKeyFile = this.mustGetArtifactsFilePath("zkey");
-    const wasmFile = this.mustGetArtifactsFilePath("wasm");
+    const witnessFile = this.getTemporaryWitnessPath();
+
+    let proof: ProofStructByProtocol<Type>;
+
+    try {
+      const witness = await this.calculateWitness(inputs, witnessOverrides);
 
-    return await this._implementer.generateProof(inputs, zKeyFile, wasmFile);
+      if (witnessOverrides) {
+        await writeWitnessFile(witnessFile, witness);
+      }
+
+      proof = await this._implementer.generateProof(zKeyFile, witnessFile);
+    } finally {
+      if (fs.existsSync(witnessFile)) {
+        fs.rmSync(witnessFile);
+      }
+    }
+
+    return proof;
   }
 
   /**
@@ -112,7 +145,6 @@ export class CircuitZKit<Type extends ProvingSystemType> {
    *
    * @param {ProofStructByProtocol<Type>} proof - The proof to generate calldata for.
    * @returns {Promise<CalldataByProtocol<Type>>} - The generated calldata.
-   * @todo Add other types of calldata.
    */
   public async generateCalldata(proof: ProofStructByProtocol<Type>): Promise<CalldataByProtocol<Type>> {
     return await this._implementer.generateCalldata(proof);
@@ -157,6 +189,18 @@ export class CircuitZKit<Type extends ProvingSystemType> {
     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.
+   */
+  public getTemporaryWitnessPath(): string {
+    return path.join(getTmpDir(), `${this.getCircuitName()}.wtns`);
+  }
+
   /**
    * Returns the path to the file of the given type inside artifacts directory. Throws an error if the file doesn't exist.
    *

package/src/core/protocols/AbstractImplementer.ts

@@ -2,7 +2,6 @@ import fs from "fs";
 import ejs from "ejs";
 import path from "path";
 
-import { Signals } from "../../types/proof-utils";
 import {
   IProtocolImplementer,
   ProvingSystemType,
@@ -31,11 +30,7 @@ export abstract class AbstractProtocolImplementer<T extends ProvingSystemType> i
     fs.writeFileSync(verifierFilePath, verifierCode, "utf-8");
   }
 
-  public abstract generateProof(
-    inputs: Signals,
-    zKeyFilePath: string,
-    wasmFilePath: string,
-  ): Promise<ProofStructByProtocol<T>>;
+  public abstract generateProof(zKeyFilePath: string, witnessFilePath: string): Promise<ProofStructByProtocol<T>>;
 
   public abstract verifyProof(proof: ProofStructByProtocol<T>, vKeyFilePath: string): Promise<boolean>;
 

package/src/core/protocols/Groth16Implementer.ts

@@ -3,18 +3,17 @@ import * as snarkjs from "snarkjs";
 
 import { AbstractProtocolImplementer } from "./AbstractImplementer";
 
-import { Signals } from "../../types/proof-utils";
 import { Groth16ProofStruct, Groth16CalldataStruct, ProvingSystemType } from "../../types/protocols";
 
 import { terminateCurve } from "../../utils";
 
 export class Groth16Implementer extends AbstractProtocolImplementer<"groth16"> {
-  public async generateProof(inputs: Signals, zKeyFilePath: string, wasmFilePath: string): Promise<Groth16ProofStruct> {
-    const fullProof = await snarkjs.groth16.fullProve(inputs, wasmFilePath, zKeyFilePath);
+  public async generateProof(zKeyFilePath: string, witnessFilePath: string): Promise<Groth16ProofStruct> {
+    const proof = await snarkjs.groth16.prove(zKeyFilePath, witnessFilePath);
 
     await terminateCurve();
 
-    return fullProof as Groth16ProofStruct;
+    return proof as Groth16ProofStruct;
   }
 
   public async verifyProof(proof: Groth16ProofStruct, vKeyFilePath: string): Promise<boolean> {

package/src/core/protocols/PlonkImplementer.ts

@@ -3,18 +3,17 @@ import * as snarkjs from "snarkjs";
 
 import { AbstractProtocolImplementer } from "./AbstractImplementer";
 
-import { Signals } from "../../types/proof-utils";
 import { PlonkProofStruct, PlonkCalldataStruct, ProvingSystemType } from "../../types/protocols";
 
 import { terminateCurve } from "../../utils";
 
 export class PlonkImplementer extends AbstractProtocolImplementer<"plonk"> {
-  public async generateProof(inputs: Signals, zKeyFilePath: string, wasmFilePath: string): Promise<PlonkProofStruct> {
-    const fullProof = await snarkjs.plonk.fullProve(inputs, wasmFilePath, zKeyFilePath);
+  public async generateProof(zKeyFilePath: string, witnessFilePath: string): Promise<PlonkProofStruct> {
+    const proof = await snarkjs.plonk.prove(zKeyFilePath, witnessFilePath);
 
     await terminateCurve();
 
-    return fullProof as PlonkProofStruct;
+    return proof as PlonkProofStruct;
   }
 
   public async verifyProof(proof: PlonkProofStruct, vKeyFilePath: string): Promise<boolean> {

package/src/types/protocols/index.ts

@@ -1,7 +1,6 @@
 import { Groth16ProofStruct, Groth16CalldataStruct } from "./groth16";
 import { PlonkProofStruct, PlonkCalldataStruct } from "./plonk";
 
-import { Signals } from "../proof-utils";
 import { VerifierLanguageType } from "../circuit-zkit";
 
 export * from "./groth16";
@@ -14,7 +13,7 @@ export interface IProtocolImplementer<T extends ProvingSystemType> {
     languageExtension: VerifierLanguageType,
   ): Promise<void>;
 
-  generateProof(inputs: Signals, zKeyFilePath: string, wasmFilePath: string): Promise<ProofStructByProtocol<T>>;
+  generateProof(zKeyFilePath: string, witnessFilePath: string): Promise<ProofStructByProtocol<T>>;
 
   verifyProof(proof: ProofStructByProtocol<T>, vKeyFilePath: string): Promise<boolean>;
 

package/src/utils/index.ts

@@ -0,0 +1,33 @@
+import os from "os";
+import fs from "fs";
+import path from "path";
+
+import { BN128_CURVE_NAME } from "../constants";
+
+import * as snarkjs from "snarkjs";
+
+/**
+ * Terminates the BN128 curve instance used by SnarkJS.
+ */
+export async function terminateCurve() {
+  await (await (snarkjs as any).curves.getCurveFromName(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.
+ */
+export function getTmpDir(): string {
+  const tmpDir = path.join(os.tmpdir(), ".zkit");
+
+  if (!fs.existsSync(tmpDir)) {
+    fs.mkdirSync(tmpDir, { recursive: true });
+  }
+
+  return tmpDir;
+}
+
+export * from "./witness-utils";

package/src/utils/witness-utils.ts

@@ -0,0 +1,133 @@
+import fs from "fs";
+
+import * as readline from "readline";
+
+// @ts-ignore
+import { Scalar } from "ffjavascript";
+// @ts-ignore
+import * as binFileUtils from "@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} symFile - Path to the `.sym` file.
+ * @param {Record<string, bigint>} overrides - Map of signal names to new witness values.
+ * @returns {Promise<Record<string, number>>} Map of signal names to their corresponding witness indices.
+ */
+export async function checkWitnessOverrides(
+  symFile: string,
+  overrides: Record<string, bigint>,
+): Promise<Record<string, number>> {
+  const signalToWitnessIndex: Record<string, number> = {};
+
+  const missingSignals = new Set(Object.keys(overrides));
+
+  const fileStream = fs.createReadStream(symFile, { encoding: "utf8" });
+  const signals = readline.createInterface({ input: fileStream, crlfDelay: Infinity });
+
+  for await (const signal of signals) {
+    const signalInfo = signal.split(",");
+
+    if (signalInfo.length != 4 || Number(signalInfo[1]) < 0) {
+      continue;
+    }
+
+    signalToWitnessIndex[signalInfo[3]] = Number(signalInfo[1]);
+
+    missingSignals.delete(signalInfo[3]);
+  }
+
+  if (missingSignals.size > 0) {
+    throw new Error(`Signals not found in .sym file: ${Array.from(missingSignals).join(", ")}`);
+  }
+
+  return signalToWitnessIndex;
+}
+
+/**
+ * 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, number>} 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 async function modifyWitnessArray(
+  witness: bigint[],
+  signalIndexes: Record<string, number>,
+  overrides: Record<string, bigint>,
+): Promise<bigint[]> {
+  for (const [signal, value] of Object.entries(overrides)) {
+    const index = 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.
+ */
+export async function writeWitnessFile(witnessPath: string, witness: bigint[]) {
+  const prime = await getWitnessPrime(witnessPath);
+
+  const fd = await binFileUtils.createBinFile(witnessPath, "wtns", 2, 2);
+
+  await binFileUtils.startWriteSection(fd, 1);
+
+  const n8 = (Math.floor((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: string): Promise<bigint> {
+  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;
+}

package/dist/utils.d.ts

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

package/dist/utils.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAGA,wBAAsB,cAAc,kBAEnC"}

package/dist/utils.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"utils.js","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAGA,wCAEC;AALD,iDAAmC;AACnC,2CAA+C;AAExC,KAAK,UAAU,cAAc;IAClC,MAAM,CAAC,MAAO,OAAe,CAAC,MAAM,CAAC,gBAAgB,CAAC,4BAAgB,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AACvF,CAAC"}

package/src/utils.ts

@@ -1,6 +0,0 @@
-import * as snarkjs from "snarkjs";
-import { BN128_CURVE_NAME } from "./constants";
-
-export async function terminateCurve() {
-  await (await (snarkjs as any).curves.getCurveFromName(BN128_CURVE_NAME)).terminate();
-}