@solarity/zkit 0.1.1 → 0.2.1

package/dist/core/CircuitZKit.js

@@ -27,75 +27,58 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
 };
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.CircuitZKit = void 0;
-const crypto_1 = require("crypto");
 const ejs_1 = __importDefault(require("ejs"));
 const fs_1 = __importDefault(require("fs"));
 const path_1 = __importDefault(require("path"));
 const snarkjs = __importStar(require("snarkjs"));
-const config_1 = require("../config/config");
-const utils_1 = require("../utils/utils");
-const { CircomRunner, bindings } = require("@distributedlab/circom2");
 /**
  * `CircuitZKit` represents a single circuit and provides a high-level API to work with it.
- *
- * @dev This class is not meant to be used directly. Use the `CircomZKit` to create its instance.
  */
 class CircuitZKit {
-    _circuit;
-    _manager;
-    /**
-     * Creates a new instance of `CircuitZKit`.
-     *
-     * @param {string} _circuit - The path to the circuit.
-     * @param {ManagerZKit} _manager - The manager that maintains the global state.
-     */
-    constructor(_circuit, _manager) {
-        this._circuit = _circuit;
-        this._manager = _manager;
+    _config;
+    constructor(_config) {
+        this._config = _config;
     }
     /**
-     * Compiles the circuit and generates the artifacts.
-     *
-     * @dev If compilation fails, the latest valid artifacts will be preserved.
-     * @dev Doesn't show the compilation error if `quiet` is set to `true`.
+     * Returns the Solidity verifier template for the specified proving system.
      *
-     * @param {Partial<CompileOptions>} [options=defaultCompileOptions] - Compilation options.
+     * @param {VerifierTemplateType} templateType - The template type.
+     * @returns {string} The Solidity verifier template.
      */
-    async compile(options = config_1.defaultCompileOptions) {
-        const tempDir = this._manager.getTempDir();
-        try {
-            const artifactDir = this._getDir("artifact");
-            fs_1.default.mkdirSync(tempDir, { recursive: true });
-            const overriddenOptions = { ...config_1.defaultCompileOptions, ...options };
-            await this._compile(overriddenOptions, tempDir);
-            await this._generateZKey(overriddenOptions, tempDir);
-            await this._generateVKey(tempDir);
-            this._moveFromTempDirToOutDir(tempDir, artifactDir);
-        }
-        finally {
-            fs_1.default.rmSync(tempDir, { recursive: true, force: true });
+    static getTemplate(templateType) {
+        switch (templateType) {
+            case "groth16":
+                return fs_1.default.readFileSync(path_1.default.join(__dirname, "templates", "verifier_groth16.sol.ejs"), "utf8");
+            default:
+                throw new Error(`Ambiguous template type: ${templateType}.`);
         }
     }
     /**
-     * Creates a verifier contract.
+     * Creates a Solidity verifier contract.
      */
     async createVerifier() {
-        const tempDir = this._manager.getTempDir();
-        try {
-            const verifierDir = this._getDir("verifier");
-            fs_1.default.mkdirSync(tempDir, { recursive: true });
-            const vKeyFile = this._mustGetFile("vkey");
-            const verifierFile = this._getFile("sol", tempDir);
-            const groth16Template = this._manager.getTemplate("groth16");
-            const templateParams = JSON.parse(fs_1.default.readFileSync(vKeyFile, "utf-8"));
-            templateParams["verifier_id"] = this.getVerifierId();
-            const verifierCode = ejs_1.default.render(groth16Template, templateParams);
-            fs_1.default.writeFileSync(verifierFile, verifierCode, "utf-8");
-            this._moveFromTempDirToOutDir(tempDir, verifierDir);
-        }
-        finally {
-            fs_1.default.rmSync(tempDir, { recursive: true, force: true });
+        const vKeyFilePath = this.mustGetArtifactsFilePath("vkey");
+        const verifierFilePath = path_1.default.join(this._config.verifierDirPath, `${this.getVerifierName()}.sol`);
+        const verifierTemplate = CircuitZKit.getTemplate(this.getTemplateType());
+        if (!fs_1.default.existsSync(this._config.verifierDirPath)) {
+            fs_1.default.mkdirSync(this._config.verifierDirPath, { recursive: true });
         }
+        const templateParams = JSON.parse(fs_1.default.readFileSync(vKeyFilePath, "utf-8"));
+        templateParams["verifier_id"] = this.getVerifierName();
+        const verifierCode = ejs_1.default.render(verifierTemplate, templateParams);
+        fs_1.default.writeFileSync(verifierFilePath, verifierCode, "utf-8");
+    }
+    /**
+     * Creates a witness for the given inputs.
+     *
+     * @dev The `inputs` should be in the same order as the circuit expects them.
+     *
+     * @param {Inputs} inputs - The inputs for the circuit.
+     */
+    async createWitness(inputs) {
+        const wasmFile = this.mustGetArtifactsFilePath("wasm");
+        const wtnsFile = this.getArtifactsFilePath("wtns");
+        await snarkjs.wtns.calculate(inputs, wasmFile, wtnsFile);
     }
     /**
      * Generates a proof for the given inputs.
@@ -107,8 +90,8 @@ class CircuitZKit {
      * @todo Add support for other proving systems.
      */
     async generateProof(inputs) {
-        const zKeyFile = this._mustGetFile("zkey");
-        const wasmFile = this._mustGetFile("wasm");
+        const zKeyFile = this.mustGetArtifactsFilePath("zkey");
+        const wasmFile = this.mustGetArtifactsFilePath("wasm");
         return (await snarkjs.groth16.fullProve(inputs, wasmFile, zKeyFile));
     }
     /**
@@ -121,7 +104,7 @@ class CircuitZKit {
      * @returns {Promise<boolean>} Whether the proof is valid.
      */
     async verifyProof(proof) {
-        const vKeyFile = this._mustGetFile("vkey");
+        const vKeyFile = this.mustGetArtifactsFilePath("vkey");
         const verifier = JSON.parse(fs_1.default.readFileSync(vKeyFile).toString());
         return await snarkjs.groth16.verify(verifier, proof.publicSignals, proof.proof);
     }
@@ -137,217 +120,79 @@ class CircuitZKit {
         return JSON.parse(`[${calldata}]`);
     }
     /**
-     * Returns the circuit ID. The circuit ID is the name of the circuit file without the extension.
+     * Returns the circuit name. The circuit name is the name of the circuit file without the extension.
      *
-     * @returns {string} The circuit ID.
+     * @returns {string} The circuit name.
      */
-    getCircuitId() {
-        return path_1.default.parse(this._circuit).name;
+    getCircuitName() {
+        return this._config.circuitName;
     }
     /**
-     * Returns the verifier ID. The verifier ID is the name of the circuit file without the extension, suffixed with "Verifier".
+     * Returns the verifier name. The verifier name is the name of the circuit file without the extension, suffixed with "Verifier".
      *
-     * @returns {string} The verifier ID.
+     * @returns {string} The verifier name.
      */
-    getVerifierId() {
-        return `${path_1.default.parse(this._circuit).name}Verifier`;
+    getVerifierName() {
+        return `${this._config.circuitName}Verifier`;
     }
     /**
-     * Generates zero-knowledge key for the circuit.
+     * Returns the type of verifier template that was stored in the config
      *
-     * @param {CompileOptions} options - Compilation options.
-     * @param {string} outDir - The directory to save the generated key.
-     * @todo This method may cause issues https://github.com/iden3/snarkjs/issues/494
+     * @returns {VerifierTemplateType} The verifier template type.
      */
-    async _generateZKey(options, outDir) {
-        const r1csFile = this._getFile("r1cs", outDir);
-        const zKeyFile = this._getFile("zkey", outDir);
-        const constraints = await this._getConstraints(outDir);
-        const ptauFile = await this._manager.fetchPtauFile(constraints);
-        if (options.setup == "groth16") {
-            await snarkjs.zKey.newZKey(r1csFile, ptauFile, zKeyFile);
-            const zKeyFileNext = `${zKeyFile}.next.zkey`;
-            for (let i = 0; i < options.contributions; ++i) {
-                await snarkjs.zKey.contribute(zKeyFile, zKeyFileNext, `${zKeyFile}_contribution_${i}`, (0, crypto_1.randomBytes)(32).toString("hex"));
-                fs_1.default.rmSync(zKeyFile);
-                fs_1.default.renameSync(zKeyFileNext, zKeyFile);
-            }
-        }
-    }
-    /**
-     * Generates verification key for the circuit.
-     *
-     * @param {string} outDir - The directory to save the generated key.
-     */
-    async _generateVKey(outDir) {
-        const zKeyFile = this._getFile("zkey", outDir);
-        const vKeyFile = this._getFile("vkey", outDir);
-        const vKeyData = await snarkjs.zKey.exportVerificationKey(zKeyFile);
-        fs_1.default.writeFileSync(vKeyFile, JSON.stringify(vKeyData));
-    }
-    /**
-     * Returns the arguments to compile the circuit.
-     *
-     * @param {CompileOptions} options - Compilation options.
-     * @param {string} outDir - The directory to save the compiled artifacts.
-     * @returns {string[]} The arguments to compile the circuit.
-     */
-    _getCompileArgs(options, outDir) {
-        let args = [this._circuit, "--r1cs", "--wasm"];
-        options.sym && args.push("--sym");
-        options.json && args.push("--json");
-        options.c && args.push("--c");
-        args.push("-o", outDir);
-        return args;
-    }
-    /**
-     * Compiles the circuit.
-     *
-     * @param {CompileOptions} options - Compilation options.
-     * @param {string} outDir - The directory to save the compiled artifacts.
-     */
-    async _compile(options, outDir) {
-        const args = this._getCompileArgs(options, outDir);
-        try {
-            await this._getCircomRunner(args, options.quiet).execute(this._manager.getCompiler());
-        }
-        catch (err) {
-            if (options.quiet) {
-                throw new Error('Compilation failed with an unknown error. Consider passing "quiet=false" flag to see the compilation error.', { cause: err });
-            }
-            throw new Error("Compilation failed.", { cause: err });
-        }
+    getTemplateType() {
+        return this._config.templateType ?? "groth16";
     }
     /**
-     * Returns the number of constraints in the circuit. This value is used to fetch the correct `ptau` file.
+     * Returns the path to the file of the given type inside artifacts directory. Throws an error if the file doesn't exist.
      *
-     * @param {string} outDir - The directory where the compiled artifacts are saved.
-     * @returns {Promise<number>} The number of constraints in the circuit.
+     * @param {ArtifactsFileType} fileType - The type of the file.
+     * @returns {string} The path to the file.
      */
-    async _getConstraints(outDir) {
-        const r1csFile = this._getFile("r1cs", outDir);
-        const r1csDescriptor = fs_1.default.openSync(r1csFile, "r");
-        const readBytes = (position, length) => {
-            const buffer = Buffer.alloc(length);
-            fs_1.default.readSync(r1csDescriptor, buffer, { length, position });
-            return BigInt(`0x${buffer.reverse().toString("hex")}`);
-        };
-        /// @dev https://github.com/iden3/r1csfile/blob/d82959da1f88fbd06db0407051fde94afbf8824a/doc/r1cs_bin_format.md#format-of-the-file
-        const numberOfSections = readBytes(8, 4);
-        let sectionStart = 12;
-        for (let i = 0; i < numberOfSections; ++i) {
-            const sectionType = Number(readBytes(sectionStart, 4));
-            const sectionSize = Number(readBytes(sectionStart + 4, 8));
-            /// @dev Reading header section
-            if (sectionType == 1) {
-                const totalConstraintsOffset = 4 + 8 + 4 + 32 + 4 + 4 + 4 + 4 + 8;
-                return Number(readBytes(sectionStart + totalConstraintsOffset, 4));
-            }
-            sectionStart += 4 + 8 + sectionSize;
+    mustGetArtifactsFilePath(fileType) {
+        const file = this.getArtifactsFilePath(fileType);
+        if (!fs_1.default.existsSync(file)) {
+            throw new Error(`Expected the file "${file}" to exist`);
         }
-        throw new Error("Header section is not found.");
+        return file;
     }
     /**
-     * Returns the path to the file of the given type.
+     * Returns the path to the file of the given type inside artifacts directory.
      *
-     * @param {FileType} fileType - The type of the file.
-     * @param {string | undefined} temp - The temporary directory to use.
+     * @param {ArtifactsFileType} fileType - The type of the file.
      * @returns {string} The path to the file.
      */
-    _getFile(fileType, temp) {
-        const circuitId = this.getCircuitId();
+    getArtifactsFilePath(fileType) {
+        const circuitName = this.getCircuitName();
+        let fileName;
+        let fileDir = this._config.circuitArtifactsPath;
         switch (fileType) {
             case "r1cs":
-                return path_1.default.join(temp ?? this._getDir("artifact"), `${circuitId}.r1cs`);
+                fileName = `${circuitName}.r1cs`;
+                break;
             case "zkey":
-                return path_1.default.join(temp ?? this._getDir("artifact"), `${circuitId}.zkey`);
+                fileName = `${circuitName}.zkey`;
+                break;
             case "vkey":
-                return path_1.default.join(temp ?? this._getDir("artifact"), `${circuitId}.vkey.json`);
+                fileName = `${circuitName}.vkey.json`;
+                break;
             case "sym":
-                return path_1.default.join(temp ?? this._getDir("artifact"), `${circuitId}.sym`);
+                fileName = `${circuitName}.sym`;
+                break;
             case "json":
-                return path_1.default.join(temp ?? this._getDir("artifact"), `${circuitId}.json`);
+                fileName = `${circuitName}_constraints.json`;
+                break;
+            case "wtns":
+                fileName = `${circuitName}.wtns`;
+                break;
             case "wasm":
-                return path_1.default.join(temp ?? this._getDir("artifact"), `${circuitId}_js`, `${circuitId}.wasm`);
-            case "sol":
-                return path_1.default.join(temp ?? this._getDir("verifier"), `${circuitId}Verifier.sol`);
+                fileName = `${circuitName}.wasm`;
+                fileDir = path_1.default.join(fileDir, `${circuitName}_js`);
+                break;
             default:
                 throw new Error(`Ambiguous file type: ${fileType}.`);
         }
-    }
-    /**
-     * Returns the path to the directory of the given type.
-     *
-     * @param {DirType} dirType - The type of the directory.
-     * @returns {string} The path to the directory.
-     */
-    _getDir(dirType) {
-        const circuitRelativePath = path_1.default.relative(this._manager.getCircuitsDir(), this._circuit);
-        switch (dirType) {
-            case "circuit":
-                return path_1.default.join(this._manager.getCircuitsDir(), circuitRelativePath, "..");
-            case "artifact":
-                return path_1.default.join(this._manager.getArtifactsDir(), circuitRelativePath);
-            case "verifier":
-                return path_1.default.join(this._manager.getVerifiersDir(), circuitRelativePath, "..");
-            default:
-                throw new Error(`Ambiguous dir type: ${dirType}.`);
-        }
-    }
-    /**
-     * Returns the path to the file of the given type. Throws an error if the file doesn't exist.
-     *
-     * @param {FileType} fileType - The type of the file.
-     * @param {string | undefined} temp - The temporary directory to use.
-     * @returns {string} The path to the file.
-     */
-    _mustGetFile(fileType, temp) {
-        const file = this._getFile(fileType, temp);
-        if (!fs_1.default.existsSync(file)) {
-            throw new Error(`Expected the file "${file}" to exist`);
-        }
-        return file;
-    }
-    /**
-     * Moves the files from the temporary directory to the output directory.
-     *
-     * @param {string} tempDir - The temporary directory.
-     * @param {string} outDir - The output directory.
-     */
-    _moveFromTempDirToOutDir(tempDir, outDir) {
-        fs_1.default.mkdirSync(outDir, { recursive: true });
-        (0, utils_1.readDirRecursively)(tempDir, (dir, file) => {
-            const correspondingOutDir = path_1.default.join(outDir, path_1.default.relative(tempDir, dir));
-            const correspondingOutFile = path_1.default.join(outDir, path_1.default.relative(tempDir, file));
-            if (!fs_1.default.existsSync(correspondingOutDir)) {
-                fs_1.default.mkdirSync(correspondingOutDir);
-            }
-            if (fs_1.default.existsSync(correspondingOutFile)) {
-                fs_1.default.rmSync(correspondingOutFile);
-            }
-            fs_1.default.copyFileSync(file, correspondingOutFile);
-        });
-    }
-    /**
-     * Returns a new instance of `CircomRunner`. The `CircomRunner` is used to compile the circuit.
-     *
-     * @param {string[]} args - The arguments to run the `circom` compiler.
-     * @param {boolean} quiet - Whether to suppress the compilation error.
-     * @returns {typeof CircomRunner} The `CircomRunner` instance.
-     */
-    _getCircomRunner(args, quiet) {
-        return new CircomRunner({
-            args,
-            preopens: { "/": "/" },
-            bindings: {
-                ...bindings,
-                exit(code) {
-                    throw new Error(`Compilation error. Exit code: ${code}.`);
-                },
-                fs: fs_1.default,
-            },
-            quiet,
-        });
+        return path_1.default.join(fileDir, fileName);
     }
 }
 exports.CircuitZKit = CircuitZKit;

package/dist/core/CircuitZKit.js.map

@@ -1 +1 @@
-{"version":3,"file":"CircuitZKit.js","sourceRoot":"","sources":["../../src/core/CircuitZKit.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,mCAAqC;AACrC,8CAAsB;AACtB,4CAAoB;AACpB,gDAAwB;AACxB,iDAAmC;AAEnC,6CAAyE;AAGzE,0CAAoD;AAEpD,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;AAEtE;;;;GAIG;AACH,MAAa,WAAW;IAQH;IACA;IARnB;;;;;OAKG;IACH,YACmB,QAAgB,EAChB,QAAqB;QADrB,aAAQ,GAAR,QAAQ,CAAQ;QAChB,aAAQ,GAAR,QAAQ,CAAa;IACrC,CAAC;IAEJ;;;;;;;OAOG;IACI,KAAK,CAAC,OAAO,CAAC,UAAmC,8BAAqB;QAC3E,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;QAE3C,IAAI,CAAC;YACH,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAE7C,YAAE,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAE3C,MAAM,iBAAiB,GAAmB,EAAE,GAAG,8BAAqB,EAAE,GAAG,OAAO,EAAE,CAAC;YAEnF,MAAM,IAAI,CAAC,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;YAEhD,MAAM,IAAI,CAAC,aAAa,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;YACrD,MAAM,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;YAElC,IAAI,CAAC,wBAAwB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QACtD,CAAC;gBAAS,CAAC;YACT,YAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,cAAc;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;QAE3C,IAAI,CAAC;YACH,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAE7C,YAAE,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAE3C,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAEnD,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;YAE7D,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,YAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;YACtE,cAAc,CAAC,aAAa,CAAC,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;YAErD,MAAM,YAAY,GAAG,aAAG,CAAC,MAAM,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC;YAEjE,YAAE,CAAC,aAAa,CAAC,YAAY,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;YAEtD,IAAI,CAAC,wBAAwB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QACtD,CAAC;gBAAS,CAAC;YACT,YAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED;;;;;;;;OAQG;IACI,KAAK,CAAC,aAAa,CAAC,MAAc;QACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAE3C,OAAO,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAgB,CAAC;IACtF,CAAC;IAED;;;;;;;;OAQG;IACI,KAAK,CAAC,WAAW,CAAC,KAAkB;QACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAE3C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAElE,OAAO,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAClF,CAAC;IAED;;;;;;OAMG;IACI,KAAK,CAAC,gBAAgB,CAAC,KAAkB;QAC9C,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,sBAAsB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;QAEhG,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,QAAQ,GAAG,CAAa,CAAC;IACjD,CAAC;IAED;;;;OAIG;IACI,YAAY;QACjB,OAAO,cAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC;IACxC,CAAC;IAED;;;;OAIG;IACI,aAAa;QAClB,OAAO,GAAG,cAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,UAAU,CAAC;IACrD,CAAC;IAED;;;;;;OAMG;IACK,KAAK,CAAC,aAAa,CAAC,OAAuB,EAAE,MAAc;QACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAE/C,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;QAEhE,IAAI,OAAO,CAAC,KAAK,IAAI,SAAS,EAAE,CAAC;YAC/B,MAAM,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAEzD,MAAM,YAAY,GAAG,GAAG,QAAQ,YAAY,CAAC;YAE7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,EAAE,CAAC;gBAC/C,MAAM,OAAO,CAAC,IAAI,CAAC,UAAU,CAC3B,QAAQ,EACR,YAAY,EACZ,GAAG,QAAQ,iBAAiB,CAAC,EAAE,EAC/B,IAAA,oBAAW,EAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAChC,CAAC;gBAEF,YAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACpB,YAAE,CAAC,UAAU,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;OAIG;IACK,KAAK,CAAC,aAAa,CAAC,MAAc;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAE/C,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QAEpE,YAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;IACvD,CAAC;IAED;;;;;;OAMG;IACK,eAAe,CAAC,OAAuB,EAAE,MAAc;QAC7D,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAE/C,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpC,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE9B,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAExB,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;OAKG;IACK,KAAK,CAAC,QAAQ,CAAC,OAAuB,EAAE,MAAc;QAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAEnD,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;QACxF,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;gBAClB,MAAM,IAAI,KAAK,CACb,6GAA6G,EAC7G,EAAE,KAAK,EAAE,GAAG,EAAE,CACf,CAAC;YACJ,CAAC;YAED,MAAM,IAAI,KAAK,CAAC,qBAAqB,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,eAAe,CAAC,MAAc;QAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAE/C,MAAM,cAAc,GAAG,YAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAElD,MAAM,SAAS,GAAG,CAAC,QAAgB,EAAE,MAAc,EAAU,EAAE;YAC7D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAEpC,YAAE,CAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;YAE1D,OAAO,MAAM,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACzD,CAAC,CAAC;QAEF,kIAAkI;QAClI,MAAM,gBAAgB,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzC,IAAI,YAAY,GAAG,EAAE,CAAC;QAEtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,gBAAgB,EAAE,EAAE,CAAC,EAAE,CAAC;YAC1C,MAAM,WAAW,GAAG,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,WAAW,GAAG,MAAM,CAAC,SAAS,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAE3D,+BAA+B;YAC/B,IAAI,WAAW,IAAI,CAAC,EAAE,CAAC;gBACrB,MAAM,sBAAsB,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAElE,OAAO,MAAM,CAAC,SAAS,CAAC,YAAY,GAAG,sBAAsB,EAAE,CAAC,CAAC,CAAC,CAAC;YACrE,CAAC;YAED,YAAY,IAAI,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC;QACtC,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAClD,CAAC;IAED;;;;;;OAMG;IACK,QAAQ,CAAC,QAAkB,EAAE,IAAa;QAChD,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAEtC,QAAQ,QAAQ,EAAE,CAAC;YACjB,KAAK,MAAM;gBACT,OAAO,cAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,GAAG,SAAS,OAAO,CAAC,CAAC;YAC1E,KAAK,MAAM;gBACT,OAAO,cAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,GAAG,SAAS,OAAO,CAAC,CAAC;YAC1E,KAAK,MAAM;gBACT,OAAO,cAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,GAAG,SAAS,YAAY,CAAC,CAAC;YAC/E,KAAK,KAAK;gBACR,OAAO,cAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,GAAG,SAAS,MAAM,CAAC,CAAC;YACzE,KAAK,MAAM;gBACT,OAAO,cAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,GAAG,SAAS,OAAO,CAAC,CAAC;YAC1E,KAAK,MAAM;gBACT,OAAO,cAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,GAAG,SAAS,KAAK,EAAE,GAAG,SAAS,OAAO,CAAC,CAAC;YAC7F,KAAK,KAAK;gBACR,OAAO,cAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,GAAG,SAAS,cAAc,CAAC,CAAC;YACjF;gBACE,MAAM,IAAI,KAAK,CAAC,wBAAwB,QAAQ,GAAG,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACK,OAAO,CAAC,OAAgB;QAC9B,MAAM,mBAAmB,GAAG,cAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEzF,QAAQ,OAAO,EAAE,CAAC;YAChB,KAAK,SAAS;gBACZ,OAAO,cAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,EAAE,mBAAmB,EAAE,IAAI,CAAC,CAAC;YAC9E,KAAK,UAAU;gBACb,OAAO,cAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,EAAE,mBAAmB,CAAC,CAAC;YACzE,KAAK,UAAU;gBACb,OAAO,cAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,EAAE,mBAAmB,EAAE,IAAI,CAAC,CAAC;YAC/E;gBACE,MAAM,IAAI,KAAK,CAAC,uBAAuB,OAAO,GAAG,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED;;;;;;OAMG;IACK,YAAY,CAAC,QAAkB,EAAE,IAAa;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAE3C,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;IACK,wBAAwB,CAAC,OAAe,EAAE,MAAc;QAC9D,YAAE,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAE1C,IAAA,0BAAkB,EAAC,OAAO,EAAE,CAAC,GAAW,EAAE,IAAY,EAAE,EAAE;YACxD,MAAM,mBAAmB,GAAG,cAAI,CAAC,IAAI,CAAC,MAAM,EAAE,cAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;YAC3E,MAAM,oBAAoB,GAAG,cAAI,CAAC,IAAI,CAAC,MAAM,EAAE,cAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;YAE7E,IAAI,CAAC,YAAE,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBACxC,YAAE,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;YACpC,CAAC;YAED,IAAI,YAAE,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;gBACxC,YAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;YAClC,CAAC;YAED,YAAE,CAAC,YAAY,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;;OAMG;IACK,gBAAgB,CAAC,IAAc,EAAE,KAAc;QACrD,OAAO,IAAI,YAAY,CAAC;YACtB,IAAI;YACJ,QAAQ,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;YACtB,QAAQ,EAAE;gBACR,GAAG,QAAQ;gBACX,IAAI,CAAC,IAAY;oBACf,MAAM,IAAI,KAAK,CAAC,iCAAiC,IAAI,GAAG,CAAC,CAAC;gBAC5D,CAAC;gBACD,EAAE,EAAF,YAAE;aACH;YACD,KAAK;SACN,CAAC,CAAC;IACL,CAAC;CACF;AAzXD,kCAyXC"}
+{"version":3,"file":"CircuitZKit.js","sourceRoot":"","sources":["../../src/core/CircuitZKit.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,8CAAsB;AACtB,4CAAoB;AACpB,gDAAwB;AACxB,iDAAmC;AAWnC;;GAEG;AACH,MAAa,WAAW;IACO;IAA7B,YAA6B,OAA0B;QAA1B,YAAO,GAAP,OAAO,CAAmB;IAAG,CAAC;IAE3D;;;;;OAKG;IACI,MAAM,CAAC,WAAW,CAAC,YAAkC;QAC1D,QAAQ,YAAY,EAAE,CAAC;YACrB,KAAK,SAAS;gBACZ,OAAO,YAAE,CAAC,YAAY,CAAC,cAAI,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,0BAA0B,CAAC,EAAE,MAAM,CAAC,CAAC;YAChG;gBACE,MAAM,IAAI,KAAK,CAAC,4BAA4B,YAAY,GAAG,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,cAAc;QACzB,MAAM,YAAY,GAAW,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACnE,MAAM,gBAAgB,GAAG,cAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;QAElG,MAAM,gBAAgB,GAAW,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;QAEjF,IAAI,CAAC,YAAE,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC;YACjD,YAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAClE,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,IAAI,CAAC,eAAe,EAAE,CAAC;QAEvD,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;IAED;;;;;;OAMG;IACI,KAAK,CAAC,aAAa,CAAC,MAAc;QACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QAEnD,MAAM,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC3D,CAAC;IAED;;;;;;;;OAQG;IACI,KAAK,CAAC,aAAa,CAAC,MAAc;QACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAEvD,OAAO,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAgB,CAAC;IACtF,CAAC;IAED;;;;;;;;OAQG;IACI,KAAK,CAAC,WAAW,CAAC,KAAkB;QACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAEvD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAElE,OAAO,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAClF,CAAC;IAED;;;;;;OAMG;IACI,KAAK,CAAC,gBAAgB,CAAC,KAAkB;QAC9C,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,sBAAsB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;QAEhG,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,QAAQ,GAAG,CAAa,CAAC;IACjD,CAAC;IAED;;;;OAIG;IACI,cAAc;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IAClC,CAAC;IAED;;;;OAIG;IACI,eAAe;QACpB,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,UAAU,CAAC;IAC/C,CAAC;IAED;;;;OAIG;IACI,eAAe;QACpB,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,SAAS,CAAC;IAChD,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,WAAW,OAAO,CAAC;gBACjC,MAAM;YACR,KAAK,MAAM;gBACT,QAAQ,GAAG,GAAG,WAAW,YAAY,CAAC;gBACtC,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,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;AAvLD,kCAuLC"}

package/dist/index.d.ts

@@ -1,6 +1,3 @@
-export * from "./core/CircomZKit";
 export * from "./core/CircuitZKit";
-export * from "./core/ManagerZKit";
-export { NumericString, PublicSignals, Groth16Proof, Calldata, ProofStruct, Inputs, CircuitInfo } from "./types/types";
-export { CompileOptions, ManagerZKitConfig, defaultCompileOptions, defaultManagerOptions } from "./config/config";
+export * from "./types/circuit-zkit";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,oBAAoB,CAAC;AACnC,cAAc,oBAAoB,CAAC;AAEnC,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAEvH,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,cAAc,sBAAsB,CAAC"}

package/dist/index.js

@@ -14,11 +14,6 @@ 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.defaultManagerOptions = exports.defaultCompileOptions = void 0;
-__exportStar(require("./core/CircomZKit"), exports);
 __exportStar(require("./core/CircuitZKit"), exports);
-__exportStar(require("./core/ManagerZKit"), exports);
-var config_1 = require("./config/config");
-Object.defineProperty(exports, "defaultCompileOptions", { enumerable: true, get: function () { return config_1.defaultCompileOptions; } });
-Object.defineProperty(exports, "defaultManagerOptions", { enumerable: true, get: function () { return config_1.defaultManagerOptions; } });
+__exportStar(require("./types/circuit-zkit"), exports);
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAAA,oDAAkC;AAClC,qDAAmC;AACnC,qDAAmC;AAInC,0CAAkH;AAAtE,+GAAA,qBAAqB,OAAA;AAAE,+GAAA,qBAAqB,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,qDAAmC;AACnC,uDAAqC"}

package/dist/types/circuit-zkit.d.ts

@@ -0,0 +1,43 @@
+export type NumericString = `${number}` | string;
+export type PublicSignals = NumericString[];
+export type Groth16Proof = {
+    pi_a: [NumericString, NumericString];
+    pi_b: [[NumericString, NumericString], [NumericString, NumericString]];
+    pi_c: [NumericString, NumericString];
+    protocol: string;
+    curve: string;
+};
+export type Calldata = [
+    [
+        NumericString,
+        NumericString
+    ],
+    [
+        [NumericString, NumericString],
+        [NumericString, NumericString]
+    ],
+    [
+        NumericString,
+        NumericString
+    ],
+    [
+        NumericString
+    ]
+];
+export type ProofStruct = {
+    proof: Groth16Proof;
+    publicSignals: PublicSignals;
+};
+export type NumberLike = number | bigint | string;
+export type ArrayLike = NumberLike[] | ArrayLike[];
+export type InputLike = NumberLike | ArrayLike;
+export type Inputs = Record<string, InputLike>;
+export type ArtifactsFileType = "r1cs" | "zkey" | "vkey" | "sym" | "json" | "wasm" | "wtns";
+export type VerifierTemplateType = "groth16";
+export type CircuitZKitConfig = {
+    circuitName: string;
+    circuitArtifactsPath: string;
+    verifierDirPath: string;
+    templateType?: VerifierTemplateType;
+};
+//# sourceMappingURL=circuit-zkit.d.ts.map

package/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,aAAa,GAAG,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC;AAEjD,MAAM,MAAM,aAAa,GAAG,aAAa,EAAE,CAAC;AAE5C,MAAM,MAAM,YAAY,GAAG;IACzB,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,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB;QAAC,aAAa;QAAE,aAAa;KAAC;IAC9B;QAAC,CAAC,aAAa,EAAE,aAAa,CAAC;QAAE,CAAC,aAAa,EAAE,aAAa,CAAC;KAAC;IAChE;QAAC,aAAa;QAAE,aAAa;KAAC;IAC9B;QAAC,aAAa;KAAC;CAChB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,KAAK,EAAE,YAAY,CAAC;IACpB,aAAa,EAAE,aAAa,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAClD,MAAM,MAAM,SAAS,GAAG,UAAU,EAAE,GAAG,SAAS,EAAE,CAAC;AACnD,MAAM,MAAM,SAAS,GAAG,UAAU,GAAG,SAAS,CAAC;AAE/C,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;AAE/C,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,KAAK,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAC5F,MAAM,MAAM,oBAAoB,GAAG,SAAS,CAAC;AAE7C,MAAM,MAAM,iBAAiB,GAAG;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,eAAe,EAAE,MAAM,CAAC;IACxB,YAAY,CAAC,EAAE,oBAAoB,CAAC;CACrC,CAAC"}

package/dist/types/circuit-zkit.js

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

package/dist/types/circuit-zkit.js.map

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

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@solarity/zkit",
-  "version": "0.1.1",
+  "version": "0.2.1",
   "license": "MIT",
   "author": "Distributed Lab",
   "readme": "README.md",
@@ -26,25 +26,36 @@
   "scripts": {
     "prepare": "husky",
     "build": "tsc",
-    "test": "jest --forceExit",
-    "lint-fix": "prettier --write 'src/**/*.ts'",
+    "test": "mocha --recursive 'test/**/*.ts' --exit",
+    "coverage": "nyc mocha --recursive 'test/**/*.ts' --exit",
+    "lint-fix": "prettier --write \"./**/*.ts\"",
     "publish-to-npm": "npm run lint-fix && bash ./scripts/publish.sh"
   },
+  "nyc": {
+    "reporter": [
+      "html",
+      "text"
+    ]
+  },
   "dependencies": {
-    "@distributedlab/circom2": "0.2.18-rc.2",
     "ejs": "3.1.10",
-    "snarkjs": "0.7.3",
-    "uuid": "9.0.1"
+    "snarkjs": "0.7.3"
   },
   "devDependencies": {
+    "@nomicfoundation/hardhat-ethers": "3.0.5",
     "@types/ejs": "^3.1.5",
-    "@types/jest": "^29.5.12",
     "@types/snarkjs": "^0.7.8",
-    "@types/uuid": "^9.0.8",
+    "@types/chai": "^4.3.12",
+    "@types/chai-as-promised": "^7.1.8",
+    "@types/mocha": "^10.0.6",
+    "chai": "^4.4.1",
+    "chai-as-promised": "^7.1.1",
+    "mocha": "^10.3.0",
+    "nyc": "^15.1.0",
+    "ethers": "6.11.1",
+    "hardhat": "2.20.1",
     "husky": "^9.0.11",
-    "jest": "^29.7.0",
     "prettier": "^3.2.5",
-    "ts-jest": "^29.1.2",
     "ts-node": "^10.9.2",
     "typescript": "^5.4.5"
   }