@solarity/zkit 0.2.5 → 0.3.0-rc.0

package/README.md

@@ -6,7 +6,7 @@
 **A zero knowledge kit that helps you interact with Circom circuits.**
 
 - Generate and verify ZK proofs with a single line of code.
-- Render optimized Solidity verifiers.
+- Render optimized Solidity | Vyper verifiers.
 - Build and work with ZK witnesses.
 
 ## Installation
@@ -33,7 +33,7 @@ CircuitZKitConfig = {
   circuitName: string;
   circuitArtifactsPath: string;
   verifierDirPath: string;
-  templateType?: VerifierTemplateType;
+  provingSystem?: VerifierProvingSystem;
 };
 ```
 
@@ -41,23 +41,23 @@ This config contains all the information required to work with the circuit, name
 
 - `circuitName` - Name of the circuit file without extension
 - `circuitArtifactsPath` - Full path to compilation artifacts for the desired circuit
-- `verifierDirPath` - Full path to the directory where Solidity verifier file will be generated
-- `templateType` - The type of template that will be used to generate the Solidity verifier contract. Right now only `groth16` is supported
+- `verifierDirPath` - Full path to the directory where Solidity | Vyper verifier file will be generated
+- `provingSystem` - The proving system that will be used to generate the verifier contract. Right now only `groth16` is supported
 
 #### getTemplate()
 
 Static `CircuitZKit` function that returns the contents of a template file by the passed type.
 
 ```typescript
-const templateContent = CircuitZKit.getTemplate("groth16");
+const templateContent = CircuitZKit.getTemplate("groth16", "sol");
 ```
 
 #### createVerifier()
 
-Creates a Solidity verifier contract on `verifierDirPath` path, which was specified in the config.
+Creates a Solidity | Vyper verifier contract on `verifierDirPath` path, which was specified in the config.
 
 ```typescript
-await multiplier.createVerifier();
+await multiplier.createVerifier("sol");
 ```
 
 #### calculateWitness()
@@ -89,7 +89,7 @@ const isValidProof = await multiplier.verifyProof(proof);
 
 #### generateCalldata()
 
-Generates calldata by proof for the Solidity verifier's `verifyProof()` method.
+Generates calldata by proof for the Solidity | Vyper verifier's `verifyProof()` method.
 
 ```typescript
 /// You can use this calldata to call the verifier contract

package/dist/core/CircuitZKit.d.ts

@@ -1,21 +1,17 @@
-import { ArtifactsFileType, Calldata, CircuitZKitConfig, Signals, ProofStruct, VerifierTemplateType } from "../types/circuit-zkit";
+import { ArtifactsFileType, CircuitZKitConfig, VerifierLanguageType } from "../types/circuit-zkit";
+import { Signals } from "../types/proof-utils";
+import { CalldataByProtocol, IProtocolImplementer, ProofStructByProtocol, ProvingSystemType } from "../types/protocols";
 /**
  * `CircuitZKit` represents a single circuit and provides a high-level API to work with it.
  */
-export declare class CircuitZKit {
+export declare class CircuitZKit<Type extends ProvingSystemType> {
     private readonly _config;
-    constructor(_config: CircuitZKitConfig);
+    private readonly _implementer;
+    constructor(_config: CircuitZKitConfig, _implementer: IProtocolImplementer<Type>);
     /**
-     * Returns the Solidity verifier template for the specified proving system.
-     *
-     * @param {VerifierTemplateType} templateType - The template type.
-     * @returns {string} The Solidity verifier template.
-     */
-    static getTemplate(templateType: VerifierTemplateType): string;
-    /**
-     * Creates a Solidity verifier contract.
+     * Creates a verifier contract for the specified contract language.
      */
-    createVerifier(): Promise<void>;
+    createVerifier(languageExtension: VerifierLanguageType): Promise<void>;
     /**
      * Calculates a witness for the given inputs.
      *
@@ -29,28 +25,28 @@ export declare class CircuitZKit {
      * @dev The `inputs` should be in the same order as the circuit expects them.
      *
      * @param {Signals} inputs - The inputs for the circuit.
-     * @returns {Promise<ProofStruct>} The generated proof.
+     * @returns {Promise<ProofStructByProtocol<Type>>} The generated proof.
      * @todo Add support for other proving systems.
      */
-    generateProof(inputs: Signals): Promise<ProofStruct>;
+    generateProof(inputs: Signals): Promise<ProofStructByProtocol<Type>>;
     /**
      * Verifies the given proof.
      *
      * @dev The `proof` can be generated using the `generateProof` method.
      * @dev The `proof.publicSignals` should be in the same order as the circuit expects them.
      *
-     * @param {ProofStruct} proof - The proof to verify.
+     * @param {ProofStructByProtocol<Type>} proof - The proof to verify.
      * @returns {Promise<boolean>} Whether the proof is valid.
      */
-    verifyProof(proof: ProofStruct): Promise<boolean>;
+    verifyProof(proof: ProofStructByProtocol<Type>): Promise<boolean>;
     /**
      * Generates the calldata for the given proof. The calldata can be used to verify the proof on-chain.
      *
-     * @param {ProofStruct} proof - The proof to generate calldata for.
-     * @returns {Promise<Calldata>} - The generated calldata.
+     * @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: ProofStruct): Promise<Calldata>;
+    generateCalldata(proof: ProofStructByProtocol<Type>): Promise<CalldataByProtocol<Type>>;
     /**
      * Returns the circuit name. The circuit name is the name of the circuit file without the extension.
      *
@@ -64,11 +60,17 @@ export declare class CircuitZKit {
      */
     getVerifierName(): string;
     /**
-     * Returns the type of verifier template that was stored in the config
+     * Returns the type of the proving protocol
      *
-     * @returns {VerifierTemplateType} The verifier template type.
+     * @returns {ProvingSystemType} The protocol proving system type.
+     */
+    getProvingSystemType(): ProvingSystemType;
+    /**
+     * Returns the Solidity verifier template.
+     *
+     * @returns {string} The Solidity verifier template.
      */
-    getTemplateType(): VerifierTemplateType;
+    getVerifierTemplate(languageExtension: VerifierLanguageType): 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,EACL,iBAAiB,EACjB,QAAQ,EACR,iBAAiB,EACjB,OAAO,EACP,WAAW,EACX,oBAAoB,EACrB,MAAM,uBAAuB,CAAC;AAE/B;;GAEG;AACH,qBAAa,WAAW;IACV,OAAO,CAAC,QAAQ,CAAC,OAAO;gBAAP,OAAO,EAAE,iBAAiB;IAEvD;;;;;OAKG;WACW,WAAW,CAAC,YAAY,EAAE,oBAAoB,GAAG,MAAM;IASrE;;OAEG;IACU,cAAc,IAAI,OAAO,CAAC,IAAI,CAAC;IAkB5C;;;;;OAKG;IACU,gBAAgB,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAejE;;;;;;;;OAQG;IACU,aAAa,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC;IAOjE;;;;;;;;OAQG;IACU,WAAW,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC;IAQ9D;;;;;;OAMG;IACU,gBAAgB,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC;IAMpE;;;;OAIG;IACI,cAAc,IAAI,MAAM;IAI/B;;;;OAIG;IACI,eAAe,IAAI,MAAM;IAIhC;;;;OAIG;IACI,eAAe,IAAI,oBAAoB;IAI9C;;;;;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;AAExH;;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;;OAEG;IACU,cAAc,CAAC,iBAAiB,EAAE,oBAAoB,GAAG,OAAO,CAAC,IAAI,CAAC;IAUnF;;;;;OAKG;IACU,gBAAgB,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAejE;;;;;;;;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;;;;OAIG;IACI,eAAe,IAAI,MAAM;IAIhC;;;;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"}

package/dist/core/CircuitZKit.js

@@ -27,47 +27,27 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
 };
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.CircuitZKit = void 0;
-const ejs_1 = __importDefault(require("ejs"));
 const fs_1 = __importDefault(require("fs"));
-const os = __importStar(require("os"));
 const path_1 = __importDefault(require("path"));
+const os = __importStar(require("os"));
 const snarkjs = __importStar(require("snarkjs"));
 /**
  * `CircuitZKit` represents a single circuit and provides a high-level API to work with it.
  */
 class CircuitZKit {
     _config;
-    constructor(_config) {
+    _implementer;
+    constructor(_config, _implementer) {
         this._config = _config;
+        this._implementer = _implementer;
     }
     /**
-     * Returns the Solidity verifier template for the specified proving system.
-     *
-     * @param {VerifierTemplateType} templateType - The template type.
-     * @returns {string} The Solidity verifier template.
+     * Creates a verifier contract for the specified contract language.
      */
-    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 Solidity verifier contract.
-     */
-    async createVerifier() {
+    async createVerifier(languageExtension) {
         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");
+        const verifierFilePath = path_1.default.join(this._config.verifierDirPath, `${this._implementer.getVerifierName(this._config.circuitName)}.${languageExtension}`);
+        this._implementer.createVerifier(this._config.circuitName, vKeyFilePath, verifierFilePath, languageExtension);
     }
     /**
      * Calculates a witness for the given inputs.
@@ -91,13 +71,13 @@ class CircuitZKit {
      * @dev The `inputs` should be in the same order as the circuit expects them.
      *
      * @param {Signals} inputs - The inputs for the circuit.
-     * @returns {Promise<ProofStruct>} The generated proof.
+     * @returns {Promise<ProofStructByProtocol<Type>>} The generated proof.
      * @todo Add support for other proving systems.
      */
     async generateProof(inputs) {
         const zKeyFile = this.mustGetArtifactsFilePath("zkey");
         const wasmFile = this.mustGetArtifactsFilePath("wasm");
-        return (await snarkjs.groth16.fullProve(inputs, wasmFile, zKeyFile));
+        return await this._implementer.generateProof(inputs, zKeyFile, wasmFile);
     }
     /**
      * Verifies the given proof.
@@ -105,24 +85,22 @@ class CircuitZKit {
      * @dev The `proof` can be generated using the `generateProof` method.
      * @dev The `proof.publicSignals` should be in the same order as the circuit expects them.
      *
-     * @param {ProofStruct} proof - The proof to verify.
+     * @param {ProofStructByProtocol<Type>} proof - The proof to verify.
      * @returns {Promise<boolean>} Whether the proof is valid.
      */
     async verifyProof(proof) {
         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);
+        return this._implementer.verifyProof(proof, vKeyFile);
     }
     /**
      * Generates the calldata for the given proof. The calldata can be used to verify the proof on-chain.
      *
-     * @param {ProofStruct} proof - The proof to generate calldata for.
-     * @returns {Promise<Calldata>} - The generated calldata.
+     * @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) {
-        const calldata = await snarkjs.groth16.exportSolidityCallData(proof.proof, proof.publicSignals);
-        return JSON.parse(`[${calldata}]`);
+        return await this._implementer.generateCalldata(proof);
     }
     /**
      * Returns the circuit name. The circuit name is the name of the circuit file without the extension.
@@ -138,15 +116,23 @@ class CircuitZKit {
      * @returns {string} The verifier name.
      */
     getVerifierName() {
-        return `${this._config.circuitName}Verifier`;
+        return this._implementer.getVerifierName(this._config.circuitName);
     }
     /**
-     * Returns the type of verifier template that was stored in the config
+     * Returns the type of the proving protocol
      *
-     * @returns {VerifierTemplateType} The verifier template type.
+     * @returns {ProvingSystemType} The protocol proving system type.
+     */
+    getProvingSystemType() {
+        return this._implementer.getProvingSystemType();
+    }
+    /**
+     * Returns the Solidity verifier template.
+     *
+     * @returns {string} The Solidity verifier template.
      */
-    getTemplateType() {
-        return this._config.templateType ?? "groth16";
+    getVerifierTemplate(languageExtension) {
+        return this._implementer.getTemplate(languageExtension);
     }
     /**
      * Returns the path to the file of the given type inside artifacts directory. Throws an error if the file doesn't exist.
@@ -176,10 +162,10 @@ class CircuitZKit {
                 fileName = `${circuitName}.r1cs`;
                 break;
             case "zkey":
-                fileName = `${circuitName}.zkey`;
+                fileName = `${this._implementer.getZKeyFileName(circuitName)}`;
                 break;
             case "vkey":
-                fileName = `${circuitName}.vkey.json`;
+                fileName = `${this._implementer.getVKeyFileName(circuitName)}`;
                 break;
             case "sym":
                 fileName = `${circuitName}.sym`;

package/dist/core/CircuitZKit.js.map

@@ -1 +1 @@
-{"version":3,"file":"CircuitZKit.js","sourceRoot":"","sources":["../../src/core/CircuitZKit.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,8CAAsB;AACtB,4CAAoB;AACpB,uCAAyB;AACzB,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;;;;;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,OAAO,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAa,CAAC;IAC/D,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,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,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;AA3LD,kCA2LC"}
+{"version":3,"file":"CircuitZKit.js","sourceRoot":"","sources":["../../src/core/CircuitZKit.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,4CAAoB;AACpB,gDAAwB;AACxB,uCAAyB;AACzB,iDAAmC;AAMnC;;GAEG;AACH,MAAa,WAAW;IAEH;IACA;IAFnB,YACmB,OAA0B,EAC1B,YAAwC;QADxC,YAAO,GAAP,OAAO,CAAmB;QAC1B,iBAAY,GAAZ,YAAY,CAA4B;IACxD,CAAC;IAEJ;;OAEG;IACI,KAAK,CAAC,cAAc,CAAC,iBAAuC;QACjE,MAAM,YAAY,GAAW,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACnE,MAAM,gBAAgB,GAAG,cAAI,CAAC,IAAI,CAChC,IAAI,CAAC,OAAO,CAAC,eAAe,EAC5B,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,iBAAiB,EAAE,CACtF,CAAC;QAEF,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;IAChH,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,OAAO,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAa,CAAC;IAC/D,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;;;;OAIG;IACI,eAAe;QACpB,OAAO,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACrE,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;AA5KD,kCA4KC"}

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

@@ -0,0 +1,15 @@
+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(circuitName: string, vKeyFilePath: string, verifierFilePath: string, languageExtension: VerifierLanguageType): Promise<void>;
+    abstract generateProof(inputs: Signals, zKeyFilePath: string, wasmFilePath: string): Promise<ProofStructByProtocol<T>>;
+    abstract verifyProof(proof: ProofStructByProtocol<T>, vKeyFilePath: string): Promise<boolean>;
+    abstract generateCalldata(proof: ProofStructByProtocol<T>): Promise<CalldataByProtocol<T>>;
+    abstract getProvingSystemType(): ProvingSystemType;
+    getTemplate(languageExtension: VerifierLanguageType): string;
+    getVerifierName(circuitName: string): string;
+    getZKeyFileName(circuitName: string): string;
+    getVKeyFileName(circuitName: string): string;
+}
+//# sourceMappingURL=AbstractImplementer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"AbstractImplementer.d.ts","sourceRoot":"","sources":["../../../src/core/protocols/AbstractImplementer.ts"],"names":[],"mappings":"AAIA,OAAO,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,WAAW,EAAE,MAAM,EACnB,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,GAAG,MAAM;IAM5C,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM;IAI5C,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM;CAGpD"}

package/dist/core/protocols/AbstractImplementer.js

@@ -0,0 +1,36 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.AbstractProtocolImplementer = void 0;
+const fs_1 = __importDefault(require("fs"));
+const ejs_1 = __importDefault(require("ejs"));
+const path_1 = __importDefault(require("path"));
+class AbstractProtocolImplementer {
+    async createVerifier(circuitName, vKeyFilePath, verifierFilePath, languageExtension) {
+        const verifierTemplate = this.getTemplate(languageExtension);
+        if (!fs_1.default.existsSync(path_1.default.dirname(verifierFilePath))) {
+            fs_1.default.mkdirSync(path_1.default.dirname(verifierFilePath), { recursive: true });
+        }
+        const templateParams = JSON.parse(fs_1.default.readFileSync(vKeyFilePath, "utf-8"));
+        templateParams["verifier_id"] = this.getVerifierName(circuitName);
+        const verifierCode = ejs_1.default.render(verifierTemplate, templateParams);
+        fs_1.default.writeFileSync(verifierFilePath, verifierCode, "utf-8");
+    }
+    getTemplate(languageExtension) {
+        return fs_1.default.readFileSync(path_1.default.join(__dirname, "..", "templates", `verifier_${this.getProvingSystemType()}.${languageExtension}.ejs`), "utf8");
+    }
+    getVerifierName(circuitName) {
+        const protocolType = this.getProvingSystemType();
+        return `${circuitName}${protocolType.charAt(0).toUpperCase() + protocolType.slice(1)}Verifier`;
+    }
+    getZKeyFileName(circuitName) {
+        return `${circuitName}.${this.getProvingSystemType()}.zkey`;
+    }
+    getVKeyFileName(circuitName) {
+        return `${circuitName}.${this.getProvingSystemType()}.vkey.json`;
+    }
+}
+exports.AbstractProtocolImplementer = AbstractProtocolImplementer;
+//# sourceMappingURL=AbstractImplementer.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"AbstractImplementer.js","sourceRoot":"","sources":["../../../src/core/protocols/AbstractImplementer.ts"],"names":[],"mappings":";;;;;;AAAA,4CAAoB;AACpB,8CAAsB;AACtB,gDAAwB;AAWxB,MAAsB,2BAA2B;IACxC,KAAK,CAAC,cAAc,CACzB,WAAmB,EACnB,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,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,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;QACxC,MAAM,YAAY,GAAsB,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAEpE,OAAO,GAAG,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC;IACjG,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"}

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

@@ -0,0 +1,10 @@
+import { AbstractProtocolImplementer } from "./AbstractImplementer";
+import { Signals } from "../../types/proof-utils";
+import { Groth16ProofStruct, ProvingSystemType, Groth16Calldata } from "../../types/protocols";
+export declare class Groth16Implementer extends AbstractProtocolImplementer<"groth16"> {
+    generateProof(inputs: Signals, zKeyFilePath: string, wasmFilePath: string): Promise<Groth16ProofStruct>;
+    verifyProof(proof: Groth16ProofStruct, vKeyFilePath: string): Promise<boolean>;
+    generateCalldata(proof: Groth16ProofStruct): Promise<Groth16Calldata>;
+    getProvingSystemType(): ProvingSystemType;
+}
+//# sourceMappingURL=Groth16Implementer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Groth16Implementer.d.ts","sourceRoot":"","sources":["../../../src/core/protocols/Groth16Implementer.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAEpE,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE/F,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;IAIvG,WAAW,CAAC,KAAK,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAM9E,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,eAAe,CAAC;IAM3E,oBAAoB,IAAI,iBAAiB;CAGjD"}

package/dist/core/protocols/Groth16Implementer.js

@@ -0,0 +1,50 @@
+"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 (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Groth16Implementer = void 0;
+const fs_1 = __importDefault(require("fs"));
+const snarkjs = __importStar(require("snarkjs"));
+const AbstractImplementer_1 = require("./AbstractImplementer");
+class Groth16Implementer extends AbstractImplementer_1.AbstractProtocolImplementer {
+    async generateProof(inputs, zKeyFilePath, wasmFilePath) {
+        return (await snarkjs.groth16.fullProve(inputs, wasmFilePath, zKeyFilePath));
+    }
+    async verifyProof(proof, vKeyFilePath) {
+        const verifier = JSON.parse(fs_1.default.readFileSync(vKeyFilePath).toString());
+        return await snarkjs.groth16.verify(verifier, proof.publicSignals, proof.proof);
+    }
+    async generateCalldata(proof) {
+        const calldata = await snarkjs.groth16.exportSolidityCallData(proof.proof, proof.publicSignals);
+        return JSON.parse(`[${calldata}]`);
+    }
+    getProvingSystemType() {
+        return "groth16";
+    }
+}
+exports.Groth16Implementer = Groth16Implementer;
+//# sourceMappingURL=Groth16Implementer.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Groth16Implementer.js","sourceRoot":"","sources":["../../../src/core/protocols/Groth16Implementer.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,4CAAoB;AACpB,iDAAmC;AAEnC,+DAAoE;AAKpE,MAAa,kBAAmB,SAAQ,iDAAsC;IACrE,KAAK,CAAC,aAAa,CAAC,MAAe,EAAE,YAAoB,EAAE,YAAoB;QACpF,OAAO,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAuB,CAAC;IACrG,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,OAAO,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAClF,CAAC;IAEM,KAAK,CAAC,gBAAgB,CAAC,KAAyB;QACrD,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,CAAoB,CAAC;IACxD,CAAC;IAEM,oBAAoB;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;CACF;AApBD,gDAoBC"}

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

@@ -0,0 +1,10 @@
+import { AbstractProtocolImplementer } from "./AbstractImplementer";
+import { Signals } from "../../types/proof-utils";
+import { PlonkCalldata, PlonkProofStruct, ProvingSystemType } from "../../types/protocols";
+export declare class PlonkImplementer extends AbstractProtocolImplementer<"plonk"> {
+    generateProof(inputs: Signals, zKeyFilePath: string, wasmFilePath: string): Promise<PlonkProofStruct>;
+    verifyProof(proof: PlonkProofStruct, vKeyFilePath: string): Promise<boolean>;
+    generateCalldata(proof: PlonkProofStruct): Promise<PlonkCalldata>;
+    getProvingSystemType(): ProvingSystemType;
+}
+//# sourceMappingURL=PlonkImplementer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PlonkImplementer.d.ts","sourceRoot":"","sources":["../../../src/core/protocols/PlonkImplementer.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAEpE,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE3F,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;IAIrG,WAAW,CAAC,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAM5E,gBAAgB,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,aAAa,CAAC;IASvE,oBAAoB,IAAI,iBAAiB;CAGjD"}

package/dist/core/protocols/PlonkImplementer.js

@@ -0,0 +1,51 @@
+"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 (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PlonkImplementer = void 0;
+const fs_1 = __importDefault(require("fs"));
+const snarkjs = __importStar(require("snarkjs"));
+const AbstractImplementer_1 = require("./AbstractImplementer");
+class PlonkImplementer extends AbstractImplementer_1.AbstractProtocolImplementer {
+    async generateProof(inputs, zKeyFilePath, wasmFilePath) {
+        return (await snarkjs.plonk.fullProve(inputs, wasmFilePath, zKeyFilePath));
+    }
+    async verifyProof(proof, vKeyFilePath) {
+        const verifier = JSON.parse(fs_1.default.readFileSync(vKeyFilePath).toString());
+        return await snarkjs.plonk.verify(verifier, proof.publicSignals, proof.proof);
+    }
+    async generateCalldata(proof) {
+        const calldata = await snarkjs.plonk.exportSolidityCallData(proof.proof, proof.publicSignals);
+        const proofArrEndIndex = calldata.indexOf("]") + 1;
+        return JSON.parse(`[${calldata.slice(0, proofArrEndIndex)},${calldata.slice(proofArrEndIndex, calldata.length)}]`);
+    }
+    getProvingSystemType() {
+        return "plonk";
+    }
+}
+exports.PlonkImplementer = PlonkImplementer;
+//# sourceMappingURL=PlonkImplementer.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PlonkImplementer.js","sourceRoot":"","sources":["../../../src/core/protocols/PlonkImplementer.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,4CAAoB;AACpB,iDAAmC;AAEnC,+DAAoE;AAKpE,MAAa,gBAAiB,SAAQ,iDAAoC;IACjE,KAAK,CAAC,aAAa,CAAC,MAAe,EAAE,YAAoB,EAAE,YAAoB;QACpF,OAAO,CAAC,MAAM,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAqB,CAAC;IACjG,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,OAAO,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAChF,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,OAAO,IAAI,CAAC,KAAK,CACf,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,CAC/E,CAAC;IACrB,CAAC;IAEM,oBAAoB;QACzB,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAvBD,4CAuBC"}

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

@@ -0,0 +1,4 @@
+export { AbstractProtocolImplementer } from "./AbstractImplementer";
+export { Groth16Implementer } from "./Groth16Implementer";
+export { PlonkImplementer } from "./PlonkImplementer";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/protocols/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/core/protocols/index.js

@@ -0,0 +1,10 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PlonkImplementer = exports.Groth16Implementer = exports.AbstractProtocolImplementer = void 0;
+var AbstractImplementer_1 = require("./AbstractImplementer");
+Object.defineProperty(exports, "AbstractProtocolImplementer", { enumerable: true, get: function () { return AbstractImplementer_1.AbstractProtocolImplementer; } });
+var Groth16Implementer_1 = require("./Groth16Implementer");
+Object.defineProperty(exports, "Groth16Implementer", { enumerable: true, get: function () { return Groth16Implementer_1.Groth16Implementer; } });
+var PlonkImplementer_1 = require("./PlonkImplementer");
+Object.defineProperty(exports, "PlonkImplementer", { enumerable: true, get: function () { return PlonkImplementer_1.PlonkImplementer; } });
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/protocols/index.ts"],"names":[],"mappings":";;;AAAA,6DAAoE;AAA3D,kIAAA,2BAA2B,OAAA;AACpC,2DAA0D;AAAjD,wHAAA,kBAAkB,OAAA;AAC3B,uDAAsD;AAA7C,oHAAA,gBAAgB,OAAA"}