@solarity/zkit 0.1.0

package/dist/core/ManagerZKit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ManagerZKit.js","sourceRoot":"","sources":["../../src/core/ManagerZKit.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,4CAAoB;AACpB,4CAAoB;AACpB,gDAAwB;AACxB,sDAA8B;AAC9B,mDAAqC;AACrC,+BAAkC;AAElC,6CAAsG;AAEtG,0CAA8C;AAE9C;;GAEG;AACH,MAAa,WAAW;IACd,OAAO,CAA2B;IAE1C;;;;OAIG;IACH,YAAY,SAAqC,8BAAqB;QACpE,MAAM,gBAAgB,GAAG,EAAE,GAAG,8BAAqB,EAAE,GAAG,MAAM,EAAuB,CAAC;QAEtF,gBAAgB,CAAC,WAAW,GAAG,cAAI,CAAC,IAAI,CAAC,iBAAO,CAAC,GAAG,EAAE,EAAE,gBAAgB,CAAC,WAAW,CAAC,CAAC;QACtF,gBAAgB,CAAC,YAAY,GAAG,cAAI,CAAC,IAAI,CAAC,iBAAO,CAAC,GAAG,EAAE,EAAE,gBAAgB,CAAC,YAAY,CAAC,CAAC;QACxF,gBAAgB,CAAC,YAAY,GAAG,cAAI,CAAC,IAAI,CAAC,iBAAO,CAAC,GAAG,EAAE,EAAE,gBAAgB,CAAC,YAAY,CAAC,CAAC;QAExF,IAAI,gBAAgB,CAAC,OAAO,EAAE,CAAC;YAC7B,gBAAgB,CAAC,OAAO,GAAG,cAAI,CAAC,IAAI,CAAC,iBAAO,CAAC,GAAG,EAAE,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAChF,CAAC;aAAM,CAAC;YACN,gBAAgB,CAAC,OAAO,GAAG,cAAI,CAAC,IAAI,CAAC,YAAE,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QACvE,CAAC;QAED,IAAI,CAAC,OAAO,GAAG;YACb,GAAG,gBAAgB;YACnB,QAAQ,EAAE,YAAE,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC;YACjF,SAAS,EAAE;gBACT,OAAO,EAAE,YAAE,CAAC,YAAY,CAAC,cAAI,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,0BAA0B,CAAC,EAAE,MAAM,CAAC;aAChG;SACF,CAAC;IACJ,CAAC;IAED;;;;;;;OAOG;IACI,KAAK,CAAC,aAAa,CAAC,cAAsB;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAEjE,IAAI,MAAM,GAAG,EAAE,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CACb,4HAA4H,CAC7H,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QAE1C,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC;YACjB,MAAM,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QACrC,CAAC;QAED,OAAO,QAAQ,CAAC,IAAI,CAAC;IACvB,CAAC;IAED;;;;OAIG;IACI,eAAe;QACpB,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IACnC,CAAC;IAED;;;;OAIG;IACI,cAAc;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IAClC,CAAC;IAED;;;;OAIG;IACI,eAAe;QACpB,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IACnC,CAAC;IAED;;;;;;OAMG;IACI,UAAU;QACf,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;IAC9B,CAAC;IAED;;;;;;OAMG;IACI,UAAU;QACf,OAAO,cAAI,CAAC,IAAI,CAAC,YAAE,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAA,SAAI,GAAE,CAAC,CAAC;IACjD,CAAC;IAED;;;;OAIG;IACI,WAAW;QAChB,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC/B,CAAC;IAED;;;;;OAKG;IACI,WAAW,CAAC,YAA0B;QAC3C,QAAQ,YAAY,EAAE,CAAC;YACrB,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC;YACxC;gBACE,MAAM,IAAI,KAAK,CAAC,4BAA4B,YAAY,GAAG,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED;;;;OAIG;IACI,gBAAgB;QACrB,OAAO,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;IACpC,CAAC;IAED;;;;OAIG;IACK,KAAK,CAAC,aAAa,CAAC,QAAkB;QAC5C,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YACjF,MAAM,IAAI,KAAK,CACb,kHAAkH,CACnH,CAAC;QACJ,CAAC;QAED,YAAE,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAErD,IAAI,CAAC,CAAC,MAAM,IAAA,oBAAY,EAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAI,CAAC,CAAC,EAAE,CAAC;YACxD,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACK,WAAW,CAAC,MAAc;QAChC,IAAI,OAAO,GAAG,EAAiB,CAAC;QAEhC,IAAI,YAAE,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC;YACrC,OAAO,GAAG,YAAE,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC;QAED,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;YACnC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;gBACpB,OAAO,KAAK,CAAC;YACf,CAAC;YAED,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;YAE9D,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,OAAO,KAAK,CAAC;YACf,CAAC;YAED,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAEvC,OAAO,MAAM,IAAI,WAAW,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,MAAM,IAAI,GAAG,cAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,MAAM,OAAO,CAAC,CAAC;QAC/F,MAAM,GAAG,GAAG,KAAK;YACf,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,qEAAqE,MAAM,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC;QAEnH,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvB,CAAC;IAED;;;;;OAKG;IACK,wBAAwB,CAAC,QAAkB;QACjD,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YAC7B,MAAM,QAAQ,GAAG,QAAQ,CAAC,eAAe,CAAC;gBACxC,KAAK,EAAE,iBAAO,CAAC,KAAK;gBACpB,MAAM,EAAE,iBAAO,CAAC,MAAM;aACvB,CAAC,CAAC;YAEH,QAAQ,CAAC,QAAQ,CACf,iDAAiD,QAAQ,CAAC,GAAI,QAAQ,QAAQ,CAAC,IAAI,IAAI,EACvF,CAAC,QAAQ,EAAE,EAAE;gBACX,QAAQ,CAAC,KAAK,EAAE,CAAC;gBACjB,OAAO,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC;YACzC,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AAxND,kCAwNC"}

package/dist/core/templates/verifier_groth16.sol.ejs

@@ -0,0 +1,164 @@
+// SPDX-License-Identifier: MIT
+pragma solidity >=0.7.0 <0.9.0;
+
+contract <%=verifier_id%> {
+    /// @dev Base field size
+    uint256 public constant BASE_FIELD_SIZE =
+        21888242871839275222246405745257275088696311157297823662689037894645226208583;
+
+    /// @dev Verification Key data
+    uint256 public constant ALPHA_X =
+        <%=vk_alpha_1[0]%>;
+    uint256 public constant ALPHA_Y =
+        <%=vk_alpha_1[1]%>;
+    uint256 public constant BETA_X1 =
+        <%=vk_beta_2[0][1]%>;
+    uint256 public constant BETA_X2 =
+        <%=vk_beta_2[0][0]%>;
+    uint256 public constant BETA_Y1 =
+        <%=vk_beta_2[1][1]%>;
+    uint256 public constant BETA_Y2 =
+        <%=vk_beta_2[1][0]%>;
+    uint256 public constant GAMMA_X1 =
+        <%=vk_gamma_2[0][1]%>;
+    uint256 public constant GAMMA_X2 =
+        <%=vk_gamma_2[0][0]%>;
+    uint256 public constant GAMMA_Y1 =
+        <%=vk_gamma_2[1][1]%>;
+    uint256 public constant GAMMA_Y2 =
+        <%=vk_gamma_2[1][0]%>;
+    uint256 public constant DELTA_X1 =
+        <%=vk_delta_2[0][1]%>;
+    uint256 public constant DELTA_X2 =
+        <%=vk_delta_2[0][0]%>;
+    uint256 public constant DELTA_Y1 =
+        <%=vk_delta_2[1][1]%>;
+    uint256 public constant DELTA_Y2 =
+        <%=vk_delta_2[1][0] -%>;
+
+    <% for (let i=0; i<IC.length; i++) { %>uint256 public constant IC<%=i%>_X =
+        <%=IC[i][0]%>;
+    uint256 public constant IC<%=i%>_Y =
+        <%=IC[i][1]%>;
+    <% } -%>
+
+    /// @dev Memory data
+    uint16 public constant P_VK = 0;
+    uint16 public constant P_PAIRING = 128;
+    uint16 public constant P_LAST_MEM = 896;
+
+    function verifyProof(
+        uint256[2] calldata pA_,
+        uint256[2][2] calldata pB_,
+        uint256[2] calldata pC_,
+        uint256[<%=IC.length-1%>] calldata pubSignals_
+    ) public view returns (bool) {
+        assembly {
+            function checkField(v) {
+                if iszero(lt(v, BASE_FIELD_SIZE)) {
+                    mstore(0, 0)
+                    return(0, 0x20)
+                }
+            }
+
+            /// @dev G1 function to multiply a G1 value(x,y) to value in an address
+            function g1MulAccC(pR, x, y, s) {
+                let success
+                let mIn := mload(0x40)
+
+                mstore(mIn, x)
+                mstore(add(mIn, 32), y)
+                mstore(add(mIn, 64), s)
+
+                success := staticcall(sub(gas(), 2000), 7, mIn, 96, mIn, 64)
+
+                if iszero(success) {
+                    mstore(0, 0)
+                    return(0, 0x20)
+                }
+
+                mstore(add(mIn, 64), mload(pR))
+                mstore(add(mIn, 96), mload(add(pR, 32)))
+
+                success := staticcall(sub(gas(), 2000), 6, mIn, 128, pR, 64)
+
+                if iszero(success) {
+                    mstore(0, 0)
+                    return(0, 0x20)
+                }
+            }
+
+            function checkPairing(pA, pB, pC, pubSignals, pMem) -> isOk {
+                let pPairing_ := add(pMem, P_PAIRING)
+                let pVk_ := add(pMem, P_VK)
+
+                mstore(pVk_, IC0_X)
+                mstore(add(pVk_, 32), IC0_Y)
+
+                /// @dev Compute the linear combination vk_x
+                <% for (let i = 1; i <= nPublic; i++) { %>g1MulAccC(pVk_, IC<%=i%>_X, IC<%=i%>_Y, calldataload(add(pubSignals, <%=(i-1)*32%>)))
+                <% } -%>
+
+                /// @dev -A
+                mstore(pPairing_, calldataload(pA))
+                mstore(
+                    add(pPairing_, 32),
+                    mod(sub(BASE_FIELD_SIZE, calldataload(add(pA, 32))), BASE_FIELD_SIZE)
+                )
+
+                /// @dev B
+                mstore(add(pPairing_, 64), calldataload(pB))
+                mstore(add(pPairing_, 96), calldataload(add(pB, 32)))
+                mstore(add(pPairing_, 128), calldataload(add(pB, 64)))
+                mstore(add(pPairing_, 160), calldataload(add(pB, 96)))
+
+                /// @dev alpha1
+                mstore(add(pPairing_, 192), ALPHA_X)
+                mstore(add(pPairing_, 224), ALPHA_Y)
+
+                /// @dev beta2
+                mstore(add(pPairing_, 256), BETA_X1)
+                mstore(add(pPairing_, 288), BETA_X2)
+                mstore(add(pPairing_, 320), BETA_Y1)
+                mstore(add(pPairing_, 352), BETA_Y2)
+
+                /// @dev vk_x
+                mstore(add(pPairing_, 384), mload(add(pMem, P_VK)))
+                mstore(add(pPairing_, 416), mload(add(pMem, add(P_VK, 32))))
+
+                /// @dev gamma2
+                mstore(add(pPairing_, 448), GAMMA_X1)
+                mstore(add(pPairing_, 480), GAMMA_X2)
+                mstore(add(pPairing_, 512), GAMMA_Y1)
+                mstore(add(pPairing_, 544), GAMMA_Y2)
+
+                /// @dev C
+                mstore(add(pPairing_, 576), calldataload(pC))
+                mstore(add(pPairing_, 608), calldataload(add(pC, 32)))
+
+                /// @dev delta2
+                mstore(add(pPairing_, 640), DELTA_X1)
+                mstore(add(pPairing_, 672), DELTA_X2)
+                mstore(add(pPairing_, 704), DELTA_Y1)
+                mstore(add(pPairing_, 736), DELTA_Y2)
+
+                let success_ := staticcall(sub(gas(), 2000), 8, pPairing_, 768, pPairing_, 0x20)
+
+                isOk := and(success_, mload(pPairing_))
+            }
+
+            let pMem_ := mload(0x40)
+            mstore(0x40, add(pMem_, P_LAST_MEM))
+
+            /// @dev Validate that all evaluations ∈ F
+            <% for (let i = 0; i < IC.length; i++) { %>checkField(calldataload(add(pubSignals_, <%=i*32%>)))
+            <% } -%>
+
+            /// @dev Validate all evaluations
+            let isValid := checkPairing(pA_, pB_, pC_, pubSignals_, pMem_)
+
+            mstore(0, isValid)
+            return(0, 0x20)
+        }
+    }
+}

package/dist/index.d.ts

@@ -0,0 +1,6 @@
+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";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +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"}

package/dist/index.js

@@ -0,0 +1,24 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.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; } });
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +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"}

package/dist/types/types.d.ts

@@ -0,0 +1,46 @@
+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 CircuitInfo = {
+    path: string;
+    id: string | null;
+};
+export type FileType = "r1cs" | "zkey" | "vkey" | "sym" | "json" | "wasm" | "sol";
+export type DirType = "circuit" | "artifact" | "verifier";
+export type TemplateType = "groth16";
+export type PtauInfo = {
+    file: string;
+    url: string | null;
+};
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/types/types.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,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,KAAK,GAAG,MAAM,GAAG,MAAM,GAAG,KAAK,CAAC;AAClF,MAAM,MAAM,OAAO,GAAG,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;AAC1D,MAAM,MAAM,YAAY,GAAG,SAAS,CAAC;AAErC,MAAM,MAAM,QAAQ,GAAG;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;CACpB,CAAC"}

package/dist/types/types.js

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

package/dist/types/types.js.map

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

package/dist/utils/utils.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Reads a directory recursively and calls the callback for each file.
+ *
+ * @dev After Node.js 20.0.0 the `recursive` option is available.
+ *
+ * @param {string} dir - The directory to read.
+ * @param {(dir: string, file: string) => void} callback - The callback function.
+ */
+export declare function readDirRecursively(dir: string, callback: (dir: string, file: string) => void): void;
+/**
+ * Downloads a file from the specified URL.
+ *
+ * @param {string} file - The path to save the file to.
+ * @param {string} url - The URL to download the file from.
+ * @returns {Promise<boolean>} Whether the file was downloaded successfully.
+ */
+export declare function downloadFile(file: string, url: string): Promise<boolean>;
+//# sourceMappingURL=utils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/utils/utils.ts"],"names":[],"mappings":"AAIA;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,IAAI,GAAG,IAAI,CAkBnG;AAED;;;;;;GAMG;AACH,wBAAsB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAoB9E"}

package/dist/utils/utils.js

@@ -0,0 +1,58 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.downloadFile = exports.readDirRecursively = void 0;
+const fs_1 = __importDefault(require("fs"));
+const path_1 = __importDefault(require("path"));
+const https_1 = __importDefault(require("https"));
+/**
+ * Reads a directory recursively and calls the callback for each file.
+ *
+ * @dev After Node.js 20.0.0 the `recursive` option is available.
+ *
+ * @param {string} dir - The directory to read.
+ * @param {(dir: string, file: string) => void} callback - The callback function.
+ */
+function readDirRecursively(dir, callback) {
+    if (!fs_1.default.existsSync(dir)) {
+        return;
+    }
+    const entries = fs_1.default.readdirSync(dir, { withFileTypes: true });
+    for (const entry of entries) {
+        const entryPath = path_1.default.join(dir, entry.name);
+        if (entry.isDirectory()) {
+            readDirRecursively(entryPath, callback);
+        }
+        if (entry.isFile()) {
+            callback(dir, entryPath);
+        }
+    }
+}
+exports.readDirRecursively = readDirRecursively;
+/**
+ * Downloads a file from the specified URL.
+ *
+ * @param {string} file - The path to save the file to.
+ * @param {string} url - The URL to download the file from.
+ * @returns {Promise<boolean>} Whether the file was downloaded successfully.
+ */
+async function downloadFile(file, url) {
+    const fileStream = fs_1.default.createWriteStream(file);
+    return new Promise((resolve, reject) => {
+        const request = https_1.default.get(url, (response) => {
+            response.pipe(fileStream);
+        });
+        fileStream.on("finish", () => resolve(true));
+        request.on("error", (err) => {
+            fs_1.default.unlink(file, () => reject(err));
+        });
+        fileStream.on("error", (err) => {
+            fs_1.default.unlink(file, () => reject(err));
+        });
+        request.end();
+    });
+}
+exports.downloadFile = downloadFile;
+//# sourceMappingURL=utils.js.map

package/dist/utils/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/utils/utils.ts"],"names":[],"mappings":";;;;;;AAAA,4CAAoB;AACpB,gDAAwB;AACxB,kDAA0B;AAE1B;;;;;;;GAOG;AACH,SAAgB,kBAAkB,CAAC,GAAW,EAAE,QAA6C;IAC3F,IAAI,CAAC,YAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO;IACT,CAAC;IAED,MAAM,OAAO,GAAG,YAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAE7D,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,cAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAE7C,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACxB,kBAAkB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC1C,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACnB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;AACH,CAAC;AAlBD,gDAkBC;AAED;;;;;;GAMG;AACI,KAAK,UAAU,YAAY,CAAC,IAAY,EAAE,GAAW;IAC1D,MAAM,UAAU,GAAG,YAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAE9C,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,MAAM,OAAO,GAAG,eAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE;YAC1C,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5B,CAAC,CAAC,CAAC;QAEH,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAE7C,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;YAC1B,YAAE,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;YAC7B,YAAE,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,OAAO,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC;AApBD,oCAoBC"}

package/package.json

@@ -0,0 +1,51 @@
+{
+  "name": "@solarity/zkit",
+  "version": "0.1.0",
+  "license": "MIT",
+  "author": "Distributed Lab",
+  "readme": "README.md",
+  "description": "Circom zero knowledge kit",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/dl-solarity/zkit.git"
+  },
+  "files": [
+    "dist",
+    "src",
+    "LICENSE",
+    "README.md"
+  ],
+  "keywords": [
+    "solarity",
+    "circom",
+    "kit",
+    "zkp"
+  ],
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "scripts": {
+    "prepare": "husky",
+    "build": "tsc",
+    "test": "jest --forceExit",
+    "lint-fix": "prettier --write 'src/**/*.ts'",
+    "publish-to-npm": "npm run lint-fix && bash ./scripts/publish.sh"
+  },
+  "dependencies": {
+    "@distributedlab/circom2": "0.2.18-rc.2",
+    "ejs": "3.1.10",
+    "snarkjs": "0.7.3",
+    "uuid": "9.0.1"
+  },
+  "devDependencies": {
+    "@types/ejs": "^3.1.5",
+    "@types/jest": "^29.5.12",
+    "@types/snarkjs": "^0.7.8",
+    "@types/uuid": "^9.0.8",
+    "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"
+  }
+}

package/src/config/config.ts

@@ -0,0 +1,37 @@
+const { Context } = require("@distributedlab/circom2");
+
+export type ManagerZKitConfig = {
+  circuitsDir: string;
+  artifactsDir: string;
+  verifiersDir: string;
+  ptauDir: string;
+  allowDownload: boolean;
+};
+
+export const defaultManagerOptions: Partial<ManagerZKitConfig> = {
+  circuitsDir: "circuits",
+  artifactsDir: "zkit-artifacts",
+  verifiersDir: "contracts/verifiers",
+  allowDownload: true,
+};
+
+export type CompileOptions = {
+  sym: boolean;
+  json: boolean;
+  c: boolean;
+  quiet: boolean;
+};
+
+export const defaultCompileOptions: CompileOptions = {
+  sym: false,
+  json: false,
+  c: false,
+  quiet: false,
+};
+
+export type ManagerZKitPrivateConfig = ManagerZKitConfig & {
+  compiler: typeof Context;
+  templates: {
+    groth16: string;
+  };
+};

package/src/core/CircomZKit.ts

@@ -0,0 +1,110 @@
+import os from "os";
+import path from "path";
+
+import { CircuitZKit } from "./CircuitZKit";
+import { ManagerZKit } from "./ManagerZKit";
+import { CircuitInfo } from "../types/types";
+import { readDirRecursively } from "../utils/utils";
+import { defaultManagerOptions, ManagerZKitConfig } from "../config/config";
+
+/**
+ * `CircomZKit` acts as a factory for `CircuitZKit` instances.
+ */
+export class CircomZKit {
+  private readonly _manager: ManagerZKit;
+
+  /**
+   * Creates a new `CircomZKit` instance.
+   *
+   * @param {Partial<ManagerZKitConfig>} [options=defaultManagerOptions] - The configuration options to use.
+   */
+  constructor(options: Partial<ManagerZKitConfig> = defaultManagerOptions) {
+    this._manager = new ManagerZKit({ ...defaultManagerOptions, ...options });
+  }
+
+  /**
+   * Returns a `CircuitZKit` instance for the specified circuit.
+   *
+   * @dev If the circuit id is not unique, the path to the circuit file must be provided.
+   *
+   * @param {string} circuit - The path to the circuit file or the circuit id (filename without extension).
+   * @returns {CircomZKit} The `CircuitZKit` instance.
+   */
+  public getCircuit(circuit: string): CircuitZKit {
+    const circuits = this._getAllCircuits();
+
+    const candidates = circuits.filter((file) => {
+      if (circuit.endsWith(".circom")) {
+        return file == path.normalize(circuit);
+      }
+
+      return path.basename(file) == `${circuit}.circom`;
+    });
+
+    if (candidates.length == 0) {
+      throw Error(`No circuits with name \"${circuit}\" found`);
+    }
+
+    if (candidates.length > 1) {
+      throw Error(
+        `Found multiple entries for the circuit "${circuit}".
+
+        \rConsider replacing \"${circuit}\" with one of the valid paths:
+        \r${candidates.map((candidate) => `"${candidate}"`).join(os.EOL)}`,
+      );
+    }
+
+    return new CircuitZKit(path.join(this._manager.getCircuitsDir(), candidates[0]), this._manager);
+  }
+
+  /**
+   * Returns an array of all circuits available in the circuits directory.
+   *
+   * @dev If a circuit id is not unique, the id will be set to `null`.
+   *
+   * @returns {CircuitInfo[]} An array of circuit information objects.
+   */
+  public getCircuits(): CircuitInfo[] {
+    const circuits = this._getAllCircuits();
+
+    let circuitsCount = {} as Record<string, number>;
+
+    for (const circuit of circuits) {
+      const circuitId = path.parse(circuit).name;
+
+      circuitsCount[circuitId] = (circuitsCount[circuitId] || 0) + 1;
+    }
+
+    let result = [] as CircuitInfo[];
+
+    for (const circuit of circuits) {
+      const circuitId = path.parse(circuit).name;
+
+      result.push({
+        path: circuit,
+        id: circuitsCount[circuitId] > 1 ? null : circuitId,
+      });
+    }
+
+    return result;
+  }
+
+  /**
+   * Returns an array of all circuits paths available in the circuits directory.
+   *
+   * @returns {string[]} An array of circuit paths.
+   */
+  private _getAllCircuits(): string[] {
+    const circuitsDir = this._manager.getCircuitsDir();
+
+    let circuits = [] as string[];
+
+    readDirRecursively(circuitsDir, (_dir: string, file: string) => {
+      if (path.extname(file) == ".circom") {
+        circuits.push(path.relative(circuitsDir, file));
+      }
+    });
+
+    return circuits;
+  }
+}