@fhevm/sdk 0.0.1 → 1.0.0-alpha.1

package/_cjs/core/coprocessor/InputProof-p.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"InputProof-p.js","sourceRoot":"","sources":["../../../core/coprocessor/InputProof-p.ts"],"names":[],"mappings":";;;;;;;;;;;;;;AA6HA,4FAMC;AAID,wEAsBC;AAID,4EAmFC;AAID,wFAIC;AAID,oEAgFC;AAQD,sDAYC;AAID,oCAEC;AAID,gDAcC;AAID,oDAOC;AAID,gEAcC;AAID,8CAUC;AAlaD,6CAAgE;AAChE,+CAS0B;AAC1B,mDAAgE;AAChE,4EAAsE;AACtE,sEAAyD;AACzD,iDAA6C;AAC7C,qEAAoF;AACpF,6DAAyD;AAIzD,MAAM,aAAa,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;AAMjD,MAAM,cAAc;IAelB,YACE,YAAoB,EACpB,UAWC;QA3BM,qDAA8B;QAG9B,+CAAkD;QAClD,wDAA0D;QAC1D,4CAAqB;QAErB,qDAKP;QAiBA,IAAI,YAAY,KAAK,aAAa,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;QAClC,CAAC;QAED,MAAM,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,YAAY,EAAE,SAAS,EAAE,kBAAkB,EAAE,GAAG,UAAU,CAAC;QAI9G,IAAA,yBAAM,EAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAChC,IAAA,yBAAM,EAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAEzC,uBAAA,IAAI,sCAAuB,kBAAkB,MAAA,CAAC;QAC9C,uBAAA,IAAI,yCAA0B,qBAA0D,MAAA,CAAC;QACzF,uBAAA,IAAI,gCAAiB,YAAkD,MAAA,CAAC;QACxE,uBAAA,IAAI,6BAAc,SAAS,MAAA,CAAC;QAC5B,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;YACrC,uBAAA,IAAI,sCAAuB,EAAE,GAAG,kBAAkB,EAAE,MAAA,CAAC;QACvD,CAAC;QAED,MAAM,CAAC,MAAM,CAAC,uBAAA,IAAI,6CAAuB,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,uBAAA,IAAI,oCAAc,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,uBAAA,IAAI,0CAAoB,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IAED,IAAW,QAAQ;QACjB,OAAO,uBAAA,IAAI,0CAAoB,CAAC;IAClC,CAAC;IAED,IAAW,qBAAqB;QAC9B,OAAO,uBAAA,IAAI,6CAAuB,CAAC;IACrC,CAAC;IAED,IAAW,YAAY;QACrB,OAAO,uBAAA,IAAI,oCAAc,CAAC;IAC5B,CAAC;IAED,IAAW,SAAS;QAClB,OAAO,uBAAA,IAAI,iCAAW,CAAC;IACzB,CAAC;IAED,IAAW,QAAQ;QACjB,OAAO,uBAAA,IAAI,0CAAoB,KAAK,SAAS,CAAC;IAChD,CAAC;IAED,IAAW,kBAAkB;QAM3B,OAAO,uBAAA,IAAI,0CAAoB,CAAC;IAClC,CAAC;CACF;;AAMD,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;AAC9B,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;AAIxC,SAAgB,wCAAwC,CAAC,IAIxD;IACC,OAAO,8BAA8B,CAAC,IAAI,CAAyB,CAAC;AACtE,CAAC;AAID,SAAgB,8BAA8B,CAAC,EAC7C,2BAA2B,EAC3B,0BAA0B,EAC1B,SAAS,EACT,kBAAkB,GAWnB;IACC,OAAO,gCAAgC,CAAC;QACtC,2BAA2B;QAC3B,YAAY,EAAE,0BAA0B,CAAC,GAAG,CAAC,8BAAa,CAAC;QAC3D,SAAS;QACT,kBAAkB;KACnB,CAAC,CAAC;AACL,CAAC;AAID,SAAgB,gCAAgC,CAAC,EAC/C,2BAA2B,EAC3B,YAAY,EACZ,SAAS,EACT,kBAAkB,GAWnB;IACC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,oCAAe,CAAC;YACxB,OAAO,EAAE,uDAAuD;SACjE,CAAC,CAAC;IACL,CAAC;IAED,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;QACrC,IAAA,uCAA0B,EAAC,kBAAkB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAC/D,IAAA,uCAA0B,EAAC,kBAAkB,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,IAAA,kCAAuB,EAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC;IACzD,IAAA,2BAAgB,EAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAEhC,MAAM,eAAe,GAAG,YAAY,CAAC,MAAM,CAAC;IAC5C,MAAM,kBAAkB,GAAG,2BAA2B,CAAC,MAAM,CAAC;IAE9D,IAAI,eAAe,GAAG,mBAAS,EAAE,CAAC;QAChC,MAAM,IAAI,wCAAmB,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,IAAA,yBAAM,EAAC,kBAAkB,IAAI,mBAAS,CAAC,CAAC;IAExC,MAAM,kBAAkB,GAAG,IAAA,4BAAkB,EAAC,eAAuB,CAAC,CAAC;IACvE,MAAM,qBAAqB,GAAG,IAAA,4BAAkB,EAAC,eAAuB,CAAC,CAAC;IAE1E,IAAA,yBAAM,EAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IACxC,IAAA,yBAAM,EAAC,qBAAqB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IAW3C,IAAI,KAAK,GAAW,EAAE,CAAC;IAGvB,KAAK,IAAI,IAAA,4BAAkB,EAAC,YAAY,CAAC,MAAc,CAAC,CAAC;IAGzD,KAAK,IAAI,IAAA,4BAAkB,EAAC,2BAA2B,CAAC,MAAc,CAAC,CAAC;IAGxE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;IAGzD,2BAA2B,CAAC,OAAO,CAAC,CAAC,iBAA2B,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,IAAA,oBAAQ,EAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAG7G,KAAK,IAAI,IAAA,oBAAQ,EAAC,SAAS,CAAC,CAAC;IAG7B,IAAA,yBAAM,EAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,eAAe,GAAG,EAAE,GAAG,kBAAkB,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAE/G,MAAM,UAAU,GAAG,IAAI,cAAc,CAAC,aAAa,EAAE;QACnD,kBAAkB,EAAE,KAAK,KAAK,EAAc;QAC5C,qBAAqB,EAAE,CAAC,GAAG,2BAA2B,CAAC;QACvD,YAAY;QACZ,SAAS;QACT,kBAAkB,EAAE,kBAAkB;KACvC,CAAC,CAAC;IAEH,OAAO,UAAU,CAAC;AACpB,CAAC;AAID,SAAgB,sCAAsC,CAAC,eAAsB;IAC3E,OAAO,4BAA4B,CAAC;QAClC,eAAe;KAChB,CAAyB,CAAC;AAC7B,CAAC;AAID,SAAgB,4BAA4B,CAAC,EAC3C,eAAe,EACf,kBAAkB,GAOnB;IACC,IAAA,wBAAa,EAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IAEnC,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,oCAAe,CAAC;YACxB,OAAO,EAAE,0BAA0B;SACpC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IAEtC,IAAI,UAAU,KAAK,CAAC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QACjD,MAAM,IAAI,oCAAe,CAAC;YACxB,OAAO,EAAE,uDAAuD;SACjE,CAAC,CAAC;IACL,CAAC;IAED,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAsB,CAAC;IAE9D,MAAM,WAAW,GAAG,EAAE,CAAC;IACvB,MAAM,cAAc,GAAG,EAAE,CAAC;IAC1B,MAAM,WAAW,GAAG,CAAC,CAAC;IAEtB,MAAM,YAAY,GAAG,WAAW,CAAC;IACjC,MAAM,UAAU,GAAG,YAAY,GAAG,UAAU,GAAG,WAAW,CAAC;IAC3D,MAAM,eAAe,GAAG,UAAU,CAAC;IACnC,MAAM,aAAa,GAAG,eAAe,GAAG,aAAa,GAAG,cAAc,CAAC;IACvE,MAAM,cAAc,GAAG,aAAa,CAAC;IAErC,IAAI,eAAe,CAAC,MAAM,GAAG,aAAa,EAAE,CAAC;QAC3C,MAAM,IAAI,oCAAe,CAAC;YACxB,OAAO,EAAE,oCAAoC,aAAa,eAAe,eAAe,CAAC,MAAM,EAAE;SAClG,CAAC,CAAC;IACL,CAAC;IAGD,MAAM,0BAA0B,GAA4B,EAAE,CAAC;IAC/D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,YAAY,GAAG,CAAC,GAAG,WAAW,CAAC;QAC7C,MAAM,GAAG,GAAG,KAAK,GAAG,WAAW,CAAC;QAChC,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACtD,MAAM,gBAAgB,GAAG,IAAA,uBAAY,EAAC,WAAW,CAAC,CAAC;QACnD,0BAA0B,CAAC,IAAI,CAAC,gBAAyC,CAAC,CAAC;IAC7E,CAAC;IAGD,MAAM,UAAU,GAAiB,EAAE,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,eAAe,GAAG,CAAC,GAAG,cAAc,CAAC;QACnD,MAAM,GAAG,GAAG,KAAK,GAAG,cAAc,CAAC;QACnC,MAAM,cAAc,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACzD,MAAM,mBAAmB,GAAG,IAAA,uBAAY,EAAC,cAAc,CAAC,CAAC;QACzD,UAAU,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACvC,CAAC;IAGD,MAAM,cAAc,GAAG,eAAe,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAG,IAAA,qBAAU,EAAC,cAAc,CAAC,CAAC;IAE7C,MAAM,UAAU,GAAG,8BAA8B,CAAC;QAChD,2BAA2B,EAAE,UAAU;QACvC,0BAA0B,EAAE,0BAA0B;QACtD,SAAS;QACT,kBAAkB,EAAE,kBAAkB;KACvC,CAAC,CAAC;IAGH,IAAA,yBAAM,EAAC,IAAA,qBAAU,EAAC,eAAe,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,CAAC;IAG5D,OAAO,UAAU,CAAC;AACpB,CAAC;AAQD,SAAgB,qBAAqB,CAAC,MAAuB,EAAE,MAAuB;IACpF,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,IAAA,4BAAiB,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC7B,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAA,4BAAiB,EAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;AACjE,CAAC;AAID,SAAgB,YAAY,CAAC,KAAc;IACzC,OAAO,KAAK,YAAY,cAAc,CAAC;AACzC,CAAC;AAID,SAAgB,kBAAkB,CAChC,KAAc,EACd,OAAmD;IAEnD,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,sCAAgB,CACxB;YACE,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,IAAI,EAAE,OAAO,KAAK;YAClB,YAAY,EAAE,YAAY;SAC3B,EACD,OAAO,CACR,CAAC;IACJ,CAAC;AACH,CAAC;AAID,SAAgB,oBAAoB,CAAC,KAAc;IAMjD,OAAO,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,kBAAkB,KAAK,SAAS,CAAC;AACvE,CAAC;AAID,SAAgB,0BAA0B,CACxC,KAAc,EACd,OAAmD;IAEnD,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,sCAAgB,CACxB;YACE,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,IAAI,EAAE,OAAO,KAAK;YAClB,YAAY,EAAE,oBAAoB;SACnC,EACD,OAAO,CACR,CAAC;IACJ,CAAC;AACH,CAAC;AAID,SAAgB,iBAAiB,CAAC,UAAsB;IACtD,IAAI,CAAC,CAAC,UAAU,YAAY,cAAc,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,oCAAe,CAAC,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,OAAO;QACL,OAAO,EAAE,UAAU,CAAC,YAAY,CAAC,GAAG,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAqB,CACiB;QACjD,UAAU,EAAE,IAAA,qBAAU,EAAC,UAAU,CAAC,QAAQ,CAAC;KAC5C,CAAC;AACJ,CAAC"}

package/_cjs/core/coprocessor/ZkProof-p.js

@@ -0,0 +1,241 @@
+"use strict";
+var __classPrivateFieldSet = (this && this.__classPrivateFieldSet) || function (receiver, state, value, kind, f) {
+    if (kind === "m") throw new TypeError("Private method is not writable");
+    if (kind === "a" && !f) throw new TypeError("Private accessor was defined without a setter");
+    if (typeof state === "function" ? receiver !== state || !f : !state.has(receiver)) throw new TypeError("Cannot write private member to an object whose class did not declare it");
+    return (kind === "a" ? f.call(receiver, value) : f ? f.value = value : state.set(receiver, value)), value;
+};
+var __classPrivateFieldGet = (this && this.__classPrivateFieldGet) || function (receiver, state, kind, f) {
+    if (kind === "a" && !f) throw new TypeError("Private accessor was defined without a getter");
+    if (typeof state === "function" ? receiver !== state || !f : !state.has(receiver)) throw new TypeError("Cannot read private member from an object whose class did not declare it");
+    return kind === "m" ? f : kind === "a" ? f.call(receiver) : f ? f.value : state.get(receiver);
+};
+var _ZkProofImpl_chainId, _ZkProofImpl_aclContractAddress, _ZkProofImpl_contractAddress, _ZkProofImpl_userAddress, _ZkProofImpl_ciphertextWithZkProof, _ZkProofImpl_encryptionBits, _ZkProofImpl_fheTypeIds, _ZkProofImpl_inputHandles;
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.FHEVM_HANDLE_HASH_DOMAIN_SEPARATOR = exports.FHEVM_HANDLE_RAW_CT_HASH_DOMAIN_SEPARATOR = void 0;
+exports.isZkProof = isZkProof;
+exports.assertIsZkProof = assertIsZkProof;
+exports.toZkProof = toZkProof;
+exports.zkProofToExternalEncryptedValues = zkProofToExternalEncryptedValues;
+exports.zkProofGetUnsafeRawBytes = zkProofGetUnsafeRawBytes;
+const address_js_1 = require("../base/address.js");
+const bytes_js_1 = require("../base/bytes.js");
+const uint_js_1 = require("../base/uint.js");
+const ZkProofError_js_1 = require("../errors/ZkProofError.js");
+const FheType_js_1 = require("../handle/FheType.js");
+const FhevmHandle_js_1 = require("../handle/FhevmHandle.js");
+const sha3_js_1 = require("@noble/hashes/sha3.js");
+const InvalidTypeError_js_1 = require("../base/errors/InvalidTypeError.js");
+const PRIVATE_TOKEN = Symbol('ZkProof.token');
+const GET_UNSAFE_RAW_BYTES_FUNC = Symbol('ZkProof.getUnsafeRawBytes');
+exports.FHEVM_HANDLE_RAW_CT_HASH_DOMAIN_SEPARATOR = 'ZK-w_rct';
+exports.FHEVM_HANDLE_HASH_DOMAIN_SEPARATOR = 'ZK-w_hdl';
+class ZkProofImpl {
+    constructor(privateToken, params) {
+        _ZkProofImpl_chainId.set(this, void 0);
+        _ZkProofImpl_aclContractAddress.set(this, void 0);
+        _ZkProofImpl_contractAddress.set(this, void 0);
+        _ZkProofImpl_userAddress.set(this, void 0);
+        _ZkProofImpl_ciphertextWithZkProof.set(this, void 0);
+        _ZkProofImpl_encryptionBits.set(this, void 0);
+        _ZkProofImpl_fheTypeIds.set(this, void 0);
+        _ZkProofImpl_inputHandles.set(this, void 0);
+        if (privateToken !== PRIVATE_TOKEN) {
+            throw new Error('Unauthorized');
+        }
+        __classPrivateFieldSet(this, _ZkProofImpl_chainId, params.chainId, "f");
+        __classPrivateFieldSet(this, _ZkProofImpl_aclContractAddress, params.aclContractAddress, "f");
+        __classPrivateFieldSet(this, _ZkProofImpl_contractAddress, params.contractAddress, "f");
+        __classPrivateFieldSet(this, _ZkProofImpl_userAddress, params.userAddress, "f");
+        __classPrivateFieldSet(this, _ZkProofImpl_ciphertextWithZkProof, params.ciphertextWithZkProof, "f");
+        __classPrivateFieldSet(this, _ZkProofImpl_encryptionBits, Object.freeze([...params.encryptionBits]), "f");
+        __classPrivateFieldSet(this, _ZkProofImpl_fheTypeIds, Object.freeze(__classPrivateFieldGet(this, _ZkProofImpl_encryptionBits, "f").map(FheType_js_1.fheTypeIdFromEncryptionBits)), "f");
+        Object.freeze(this);
+    }
+    get chainId() {
+        return __classPrivateFieldGet(this, _ZkProofImpl_chainId, "f");
+    }
+    get aclContractAddress() {
+        return __classPrivateFieldGet(this, _ZkProofImpl_aclContractAddress, "f");
+    }
+    get contractAddress() {
+        return __classPrivateFieldGet(this, _ZkProofImpl_contractAddress, "f");
+    }
+    get userAddress() {
+        return __classPrivateFieldGet(this, _ZkProofImpl_userAddress, "f");
+    }
+    get ciphertextWithZkProof() {
+        return new Uint8Array(__classPrivateFieldGet(this, _ZkProofImpl_ciphertextWithZkProof, "f"));
+    }
+    get encryptionBits() {
+        return __classPrivateFieldGet(this, _ZkProofImpl_encryptionBits, "f");
+    }
+    get fheTypeIds() {
+        return __classPrivateFieldGet(this, _ZkProofImpl_fheTypeIds, "f");
+    }
+    [(_ZkProofImpl_chainId = new WeakMap(), _ZkProofImpl_aclContractAddress = new WeakMap(), _ZkProofImpl_contractAddress = new WeakMap(), _ZkProofImpl_userAddress = new WeakMap(), _ZkProofImpl_ciphertextWithZkProof = new WeakMap(), _ZkProofImpl_encryptionBits = new WeakMap(), _ZkProofImpl_fheTypeIds = new WeakMap(), _ZkProofImpl_inputHandles = new WeakMap(), GET_UNSAFE_RAW_BYTES_FUNC)](token) {
+        if (token !== PRIVATE_TOKEN) {
+            throw new Error('Unauthorized');
+        }
+        return __classPrivateFieldGet(this, _ZkProofImpl_ciphertextWithZkProof, "f");
+    }
+    toString() {
+        return `ZkProof(chainId=${String(__classPrivateFieldGet(this, _ZkProofImpl_chainId, "f"))}, contract=${__classPrivateFieldGet(this, _ZkProofImpl_contractAddress, "f")}, user=${__classPrivateFieldGet(this, _ZkProofImpl_userAddress, "f")}, types=${__classPrivateFieldGet(this, _ZkProofImpl_fheTypeIds, "f").length}, bytes=${String(__classPrivateFieldGet(this, _ZkProofImpl_ciphertextWithZkProof, "f").length)})`;
+    }
+    getInputHandles() {
+        if (__classPrivateFieldGet(this, _ZkProofImpl_inputHandles, "f") === undefined) {
+            __classPrivateFieldSet(this, _ZkProofImpl_inputHandles, _zkProofToInputHandles({
+                ciphertextWithZkProof: __classPrivateFieldGet(this, _ZkProofImpl_ciphertextWithZkProof, "f"),
+                aclContractAddress: __classPrivateFieldGet(this, _ZkProofImpl_aclContractAddress, "f"),
+                fheTypeIds: __classPrivateFieldGet(this, _ZkProofImpl_fheTypeIds, "f"),
+                chainId: __classPrivateFieldGet(this, _ZkProofImpl_chainId, "f"),
+            }), "f");
+            Object.freeze(__classPrivateFieldGet(this, _ZkProofImpl_inputHandles, "f"));
+        }
+        return __classPrivateFieldGet(this, _ZkProofImpl_inputHandles, "f");
+    }
+    toJSON() {
+        return {
+            chainId: __classPrivateFieldGet(this, _ZkProofImpl_chainId, "f") <= Number.MAX_SAFE_INTEGER ? Number(__classPrivateFieldGet(this, _ZkProofImpl_chainId, "f")) : __classPrivateFieldGet(this, _ZkProofImpl_chainId, "f"),
+            aclContractAddress: __classPrivateFieldGet(this, _ZkProofImpl_aclContractAddress, "f"),
+            contractAddress: __classPrivateFieldGet(this, _ZkProofImpl_contractAddress, "f"),
+            userAddress: __classPrivateFieldGet(this, _ZkProofImpl_userAddress, "f"),
+            ciphertextWithZkProof: (0, bytes_js_1.bytesToHexLarge)(__classPrivateFieldGet(this, _ZkProofImpl_ciphertextWithZkProof, "f")),
+            encryptionBits: __classPrivateFieldGet(this, _ZkProofImpl_encryptionBits, "f"),
+            fheTypeIds: __classPrivateFieldGet(this, _ZkProofImpl_fheTypeIds, "f"),
+        };
+    }
+}
+Object.freeze(ZkProofImpl);
+Object.freeze(ZkProofImpl.prototype);
+function isZkProof(value) {
+    return value instanceof ZkProofImpl;
+}
+function assertIsZkProof(value, options) {
+    if (!isZkProof(value)) {
+        throw new InvalidTypeError_js_1.InvalidTypeError({
+            subject: options.subject,
+            type: typeof value,
+            expectedType: 'ZkProof',
+        }, options);
+    }
+}
+async function toZkProof(zkProofLike, options) {
+    if (zkProofLike instanceof ZkProofImpl) {
+        return zkProofLike;
+    }
+    (0, uint_js_1.assertIsUint64)(zkProofLike.chainId, {});
+    const chainId = BigInt(zkProofLike.chainId);
+    (0, address_js_1.assertIsAddress)(zkProofLike.aclContractAddress, {});
+    (0, address_js_1.assertIsAddress)(zkProofLike.contractAddress, {});
+    (0, address_js_1.assertIsAddress)(zkProofLike.userAddress, {});
+    const aclContractAddress = (0, address_js_1.addressToChecksummedAddress)(zkProofLike.aclContractAddress);
+    const contractAddress = (0, address_js_1.addressToChecksummedAddress)(zkProofLike.contractAddress);
+    const userAddress = (0, address_js_1.addressToChecksummedAddress)(zkProofLike.userAddress);
+    const ciphertextWithZkProof = (0, bytes_js_1.toBytes)(zkProofLike.ciphertextWithZkProof, {
+        subject: 'ciphertextWithZkProof',
+        copy: options?.copy !== false,
+    });
+    if (ciphertextWithZkProof.length === 0) {
+        throw new ZkProofError_js_1.ZkProofError({
+            message: 'ciphertextWithZkProof argument should not be empty',
+        });
+    }
+    const encryptionBits = await _getOrParseEncryptionBits(zkProofLike.encryptionBits, ciphertextWithZkProof, options?.zkProofParser);
+    return new ZkProofImpl(PRIVATE_TOKEN, {
+        chainId,
+        aclContractAddress,
+        contractAddress,
+        userAddress,
+        ciphertextWithZkProof: ciphertextWithZkProof,
+        encryptionBits,
+    });
+}
+async function zkProofToExternalEncryptedValues(zkProofLike, options) {
+    if (zkProofLike instanceof ZkProofImpl) {
+        return zkProofLike.getInputHandles();
+    }
+    (0, address_js_1.assertIsChecksummedAddress)(zkProofLike.aclContractAddress, {
+        subject: 'aclContractAddress',
+    });
+    const encryptionBits = await _getOrParseEncryptionBits(zkProofLike.encryptionBits, zkProofLike.ciphertextWithZkProof, options?.zkProofParser);
+    const ciphertextWithZkProof = (0, bytes_js_1.toBytes)(zkProofLike.ciphertextWithZkProof, {
+        subject: 'ciphertextWithZkProof',
+    });
+    const fheTypeIds = encryptionBits.map((w) => (0, FheType_js_1.fheTypeIdFromEncryptionBits)(w));
+    (0, uint_js_1.assertIsUint8)(fheTypeIds.length, {});
+    return _zkProofToInputHandles({
+        ciphertextWithZkProof: ciphertextWithZkProof,
+        aclContractAddress: zkProofLike.aclContractAddress,
+        fheTypeIds,
+        chainId: (0, uint_js_1.asUint64BigInt)(zkProofLike.chainId, { subject: 'chainId' }),
+    });
+}
+function _assertEncryptionBitsMatch(actual, expected) {
+    if (actual.length !== expected.length) {
+        throw new ZkProofError_js_1.ZkProofError({
+            message: `Encryption count mismatch, expected ${expected.length}, got ${actual.length}.`,
+        });
+    }
+    for (let i = 0; i < actual.length; ++i) {
+        if (actual[i] !== expected[i]) {
+            throw new ZkProofError_js_1.ZkProofError({
+                message: `Encryption type mismatch at index ${i}.`,
+            });
+        }
+    }
+}
+function _zkProofToInputHandles(args, options) {
+    const encoder = new TextEncoder();
+    const domainSepBytes = encoder.encode(exports.FHEVM_HANDLE_RAW_CT_HASH_DOMAIN_SEPARATOR);
+    const blobHashBytes32Hex = (0, bytes_js_1.bytes32ToHex)((0, sha3_js_1.keccak_256)((0, bytes_js_1.concatBytes)(domainSepBytes, args.ciphertextWithZkProof)));
+    const inputHandles = [];
+    for (const [i, fheTypeId] of args.fheTypeIds.entries()) {
+        const hash21 = _computeInputHash21((0, bytes_js_1.hexToBytes32)(blobHashBytes32Hex), args.aclContractAddress, args.chainId, i);
+        inputHandles.push((0, FhevmHandle_js_1.buildHandle)({
+            hash21,
+            chainId: args.chainId,
+            fheTypeId,
+            ...(options?.version !== undefined ? { version: options.version } : {}),
+            index: i,
+        }));
+    }
+    return inputHandles;
+}
+async function _getOrParseEncryptionBits(encryptionBits, ciphertextWithZkProof, zkProofParser) {
+    if (encryptionBits != null) {
+        (0, FheType_js_1.assertIsEncryptionBitsArray)(encryptionBits, {
+            subject: 'encryptionBits',
+        });
+        if (zkProofParser != null) {
+            const parsed = await zkProofParser.parseTFHEProvenCompactCiphertextList({
+                ciphertextWithZkProof: ciphertextWithZkProof,
+            });
+            _assertEncryptionBitsMatch(parsed.encryptionBits, encryptionBits);
+        }
+        return encryptionBits;
+    }
+    if (zkProofParser != null) {
+        const parsed = await zkProofParser.parseTFHEProvenCompactCiphertextList({
+            ciphertextWithZkProof: ciphertextWithZkProof,
+        });
+        return parsed.encryptionBits;
+    }
+    throw new ZkProofError_js_1.ZkProofError({ message: 'Missing encryption bits' });
+}
+function _computeInputHash21(blobHashBytes32, aclAddress, chainId, index) {
+    const encryptionIndexByte1 = new Uint8Array([index]);
+    const aclContractAddressBytes20 = (0, address_js_1.checksummedAddressToBytes20)(aclAddress);
+    const chainIdBytes32 = (0, uint_js_1.uint64ToBytes32)(chainId);
+    const encoder = new TextEncoder();
+    const domainSepBytes = encoder.encode(exports.FHEVM_HANDLE_HASH_DOMAIN_SEPARATOR);
+    const hashBytes32Hex = (0, bytes_js_1.bytes32ToHex)((0, sha3_js_1.keccak_256)((0, bytes_js_1.concatBytes)(domainSepBytes, blobHashBytes32, encryptionIndexByte1, aclContractAddressBytes20, chainIdBytes32)));
+    return hashBytes32Hex.slice(0, 2 + 2 * 21);
+}
+function zkProofGetUnsafeRawBytes(zkProof) {
+    if (!(zkProof instanceof ZkProofImpl)) {
+        throw new Error('Unauthorized');
+    }
+    return zkProof[GET_UNSAFE_RAW_BYTES_FUNC](PRIVATE_TOKEN);
+}
+//# sourceMappingURL=ZkProof-p.js.map

package/_cjs/core/coprocessor/ZkProof-p.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ZkProof-p.js","sourceRoot":"","sources":["../../../core/coprocessor/ZkProof-p.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;AAuLA,8BAEC;AAED,0CAcC;AAiBD,8BAoDC;AAMD,4EAmCC;AAgKD,4DAKC;AA7cD,mDAK4B;AAC5B,+CAAqG;AACrG,6CAAiG;AACjG,+DAAyD;AACzD,qDAAgG;AAChG,6DAAuD;AACvD,mDAAmD;AACnD,4EAAsE;AAItE,MAAM,aAAa,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC;AAC9C,MAAM,yBAAyB,GAAG,MAAM,CAAC,2BAA2B,CAAC,CAAC;AAMzD,QAAA,yCAAyC,GAAG,UAAU,CAAC;AACvD,QAAA,kCAAkC,GAAG,UAAU,CAAC;AAE7D,MAAM,WAAW;IAUf,YACE,YAAoB,EACpB,MAOC;QAlBM,uCAAuB;QACvB,kDAAwC;QACxC,+CAAqC;QACrC,2CAAiC;QACjC,qDAA8B;QAC9B,8CAA2C;QAC3C,0CAAkC;QAC3C,4CAAyC;QAavC,IAAI,YAAY,KAAK,aAAa,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;QAClC,CAAC;QACD,uBAAA,IAAI,wBAAY,MAAM,CAAC,OAAO,MAAA,CAAC;QAC/B,uBAAA,IAAI,mCAAuB,MAAM,CAAC,kBAAkB,MAAA,CAAC;QACrD,uBAAA,IAAI,gCAAoB,MAAM,CAAC,eAAe,MAAA,CAAC;QAC/C,uBAAA,IAAI,4BAAgB,MAAM,CAAC,WAAW,MAAA,CAAC;QACvC,uBAAA,IAAI,sCAA0B,MAAM,CAAC,qBAAqB,MAAA,CAAC;QAC3D,uBAAA,IAAI,+BAAmB,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC,MAAA,CAAC;QACjE,uBAAA,IAAI,2BAAe,MAAM,CAAC,MAAM,CAAC,uBAAA,IAAI,mCAAgB,CAAC,GAAG,CAAC,wCAA2B,CAAC,CAAC,MAAA,CAAC;QACxF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IAOD,IAAW,OAAO;QAChB,OAAO,uBAAA,IAAI,4BAAS,CAAC;IACvB,CAAC;IAGD,IAAW,kBAAkB;QAC3B,OAAO,uBAAA,IAAI,uCAAoB,CAAC;IAClC,CAAC;IAGD,IAAW,eAAe;QACxB,OAAO,uBAAA,IAAI,oCAAiB,CAAC;IAC/B,CAAC;IAGD,IAAW,WAAW;QACpB,OAAO,uBAAA,IAAI,gCAAa,CAAC;IAC3B,CAAC;IAGD,IAAW,qBAAqB;QAC9B,OAAO,IAAI,UAAU,CAAC,uBAAA,IAAI,0CAAuB,CAAU,CAAC;IAC9D,CAAC;IAGD,IAAW,cAAc;QACvB,OAAO,uBAAA,IAAI,mCAAgB,CAAC;IAC9B,CAAC;IAGD,IAAW,UAAU;QACnB,OAAO,uBAAA,IAAI,+BAAY,CAAC;IAC1B,CAAC;IAOM,sWAAC,yBAAyB,EAAC,CAAC,KAAa;QAC9C,IAAI,KAAK,KAAK,aAAa,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,uBAAA,IAAI,0CAAuB,CAAC;IACrC,CAAC;IAMM,QAAQ;QACb,OAAO,mBAAmB,MAAM,CAAC,uBAAA,IAAI,4BAAS,CAAC,cAAc,uBAAA,IAAI,oCAAiB,UAAU,uBAAA,IAAI,gCAAa,WAAW,uBAAA,IAAI,+BAAY,CAAC,MAAM,WAAW,MAAM,CAAC,uBAAA,IAAI,0CAAuB,CAAC,MAAM,CAAC,GAAG,CAAC;IAC1M,CAAC;IAEM,eAAe;QACpB,IAAI,uBAAA,IAAI,iCAAc,KAAK,SAAS,EAAE,CAAC;YACrC,uBAAA,IAAI,6BAAiB,sBAAsB,CAAC;gBAC1C,qBAAqB,EAAE,uBAAA,IAAI,0CAAuB;gBAClD,kBAAkB,EAAE,uBAAA,IAAI,uCAAoB;gBAC5C,UAAU,EAAE,uBAAA,IAAI,+BAAY;gBAC5B,OAAO,EAAE,uBAAA,IAAI,4BAAS;aACvB,CAAC,MAAA,CAAC;YACH,MAAM,CAAC,MAAM,CAAC,uBAAA,IAAI,iCAAc,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,uBAAA,IAAI,iCAAc,CAAC;IAC5B,CAAC;IAWM,MAAM;QAIX,OAAO;YACL,OAAO,EAAE,uBAAA,IAAI,4BAAS,IAAI,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,uBAAA,IAAI,4BAAS,CAAC,CAAC,CAAC,CAAC,uBAAA,IAAI,4BAAS;YACzF,kBAAkB,EAAE,uBAAA,IAAI,uCAAoB;YAC5C,eAAe,EAAE,uBAAA,IAAI,oCAAiB;YACtC,WAAW,EAAE,uBAAA,IAAI,gCAAa;YAC9B,qBAAqB,EAAE,IAAA,0BAAe,EAAC,uBAAA,IAAI,0CAAuB,CAAC;YACnE,cAAc,EAAE,uBAAA,IAAI,mCAAgB;YACpC,UAAU,EAAE,uBAAA,IAAI,+BAAY;SAC7B,CAAC;IACJ,CAAC;CACF;AAMD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;AAC3B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;AAMrC,SAAgB,SAAS,CAAC,KAAc;IACtC,OAAO,KAAK,YAAY,WAAW,CAAC;AACtC,CAAC;AAED,SAAgB,eAAe,CAC7B,KAAc,EACd,OAAmD;IAEnD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,sCAAgB,CACxB;YACE,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,IAAI,EAAE,OAAO,KAAK;YAClB,YAAY,EAAE,SAAS;SACxB,EACD,OAAO,CACR,CAAC;IACJ,CAAC;AACH,CAAC;AAiBM,KAAK,UAAU,SAAS,CAC7B,WAAwB,EACxB,OAGC;IAED,IAAI,WAAW,YAAY,WAAW,EAAE,CAAC;QACvC,OAAO,WAAW,CAAC;IACrB,CAAC;IAGD,IAAA,wBAAc,EAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,OAAO,CAAiB,CAAC;IAE5D,IAAA,4BAAe,EAAC,WAAW,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;IACpD,IAAA,4BAAe,EAAC,WAAW,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IACjD,IAAA,4BAAe,EAAC,WAAW,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAE7C,MAAM,kBAAkB,GAAuB,IAAA,wCAA2B,EAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC;IAC3G,MAAM,eAAe,GAAuB,IAAA,wCAA2B,EAAC,WAAW,CAAC,eAAe,CAAC,CAAC;IACrG,MAAM,WAAW,GAAuB,IAAA,wCAA2B,EAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IAG7F,MAAM,qBAAqB,GAAG,IAAA,kBAAO,EAAC,WAAW,CAAC,qBAAqB,EAAE;QACvE,OAAO,EAAE,uBAAuB;QAChC,IAAI,EAAE,OAAO,EAAE,IAAI,KAAK,KAAK;KAC9B,CAAC,CAAC;IAEH,IAAI,qBAAqB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,8BAAY,CAAC;YACrB,OAAO,EAAE,oDAAoD;SAC9D,CAAC,CAAC;IACL,CAAC;IAKD,MAAM,cAAc,GAAG,MAAM,yBAAyB,CACpD,WAAW,CAAC,cAAc,EAC1B,qBAAqB,EACrB,OAAO,EAAE,aAAa,CACvB,CAAC;IAEF,OAAO,IAAI,WAAW,CAAC,aAAa,EAAE;QACpC,OAAO;QACP,kBAAkB;QAClB,eAAe;QACf,WAAW;QACX,qBAAqB,EAAE,qBAAqB;QAC5C,cAAc;KACf,CAAC,CAAC;AACL,CAAC;AAMM,KAAK,UAAU,gCAAgC,CACpD,WAAwB,EACxB,OAGC;IAED,IAAI,WAAW,YAAY,WAAW,EAAE,CAAC;QACvC,OAAO,WAAW,CAAC,eAAe,EAAE,CAAC;IACvC,CAAC;IAED,IAAA,uCAA0B,EAAC,WAAW,CAAC,kBAAkB,EAAE;QACzD,OAAO,EAAE,oBAAoB;KAC9B,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,MAAM,yBAAyB,CACpD,WAAW,CAAC,cAAc,EAC1B,WAAW,CAAC,qBAAqB,EACjC,OAAO,EAAE,aAAa,CACvB,CAAC;IAEF,MAAM,qBAAqB,GAAG,IAAA,kBAAO,EAAC,WAAW,CAAC,qBAAqB,EAAE;QACvE,OAAO,EAAE,uBAAuB;KACjC,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wCAA2B,EAAC,CAAC,CAAC,CAAC,CAAC;IAE7E,IAAA,uBAAa,EAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAErC,OAAO,sBAAsB,CAAC;QAC5B,qBAAqB,EAAE,qBAAqB;QAC5C,kBAAkB,EAAE,WAAW,CAAC,kBAAkB;QAClD,UAAU;QACV,OAAO,EAAE,IAAA,wBAAc,EAAC,WAAW,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;KACrE,CAAC,CAAC;AACL,CAAC;AAYD,SAAS,0BAA0B,CAAC,MAAiC,EAAE,QAAmC;IACxG,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QACtC,MAAM,IAAI,8BAAY,CAAC;YACrB,OAAO,EAAE,uCAAuC,QAAQ,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,GAAG;SACzF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC;QACvC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,8BAAY,CAAC;gBACrB,OAAO,EAAE,qCAAqC,CAAC,GAAG;aACnD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAID,SAAS,sBAAsB,CAC7B,IAKC,EACD,OAEC;IAED,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,iDAAyC,CAAC,CAAC;IAEjF,MAAM,kBAAkB,GAAe,IAAA,uBAAY,EACjD,IAAA,oBAAU,EAAC,IAAA,sBAAW,EAAC,cAAc,EAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC,CACpE,CAAC;IAEF,MAAM,YAAY,GAAkB,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QACvD,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAA,uBAAY,EAAC,kBAAkB,CAAC,EAAE,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAE/G,YAAY,CAAC,IAAI,CACf,IAAA,4BAAW,EAAC;YACV,MAAM;YACN,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,SAAS;YACT,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvE,KAAK,EAAE,CAAgB;SACxB,CAAC,CACH,CAAC;IACJ,CAAC;IAED,OAAO,YAAY,CAAC;AACtB,CAAC;AASD,KAAK,UAAU,yBAAyB,CACtC,cAA6C,EAC7C,qBAA0C,EAC1C,aAAkE;IAGlE,IAAI,cAAc,IAAI,IAAI,EAAE,CAAC;QAC3B,IAAA,wCAA2B,EAAC,cAAc,EAAE;YAC1C,OAAO,EAAE,gBAAgB;SAC1B,CAAC,CAAC;QAEH,IAAI,aAAa,IAAI,IAAI,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,oCAAoC,CAAC;gBACtE,qBAAqB,EAAE,qBAAqB;aAC7C,CAAC,CAAC;YACH,0BAA0B,CAAC,MAAM,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;QACpE,CAAC;QAED,OAAO,cAAc,CAAC;IACxB,CAAC;IAGD,IAAI,aAAa,IAAI,IAAI,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,oCAAoC,CAAC;YACtE,qBAAqB,EAAE,qBAAqB;SAC7C,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,cAAc,CAAC;IAC/B,CAAC;IAGD,MAAM,IAAI,8BAAY,CAAC,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC,CAAC;AACjE,CAAC;AA8BD,SAAS,mBAAmB,CAC1B,eAAwB,EACxB,UAA8B,EAC9B,OAAe,EACf,KAAa;IAEb,MAAM,oBAAoB,GAAG,IAAI,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACrD,MAAM,yBAAyB,GAAG,IAAA,wCAA2B,EAAC,UAAU,CAAC,CAAC;IAC1E,MAAM,cAAc,GAAG,IAAA,yBAAe,EAAC,OAAO,CAAC,CAAC;IAEhD,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,0CAAkC,CAAC,CAAC;IAE1E,MAAM,cAAc,GAAG,IAAA,uBAAY,EACjC,IAAA,oBAAU,EACR,IAAA,sBAAW,EAAC,cAAc,EAAE,eAAe,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,cAAc,CAAC,CAC9G,CACF,CAAC;IAGF,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,CAAe,CAAC;AAC3D,CAAC;AAKD,SAAgB,wBAAwB,CAAC,OAAgB;IACvD,IAAI,CAAC,CAAC,OAAO,YAAY,WAAW,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,OAAO,CAAC,yBAAyB,CAAC,CAAC,aAAa,CAAC,CAAC;AAC3D,CAAC"}

package/_cjs/core/coprocessor/ZkProofBuilder-p.js

@@ -0,0 +1,192 @@
+"use strict";
+var __classPrivateFieldSet = (this && this.__classPrivateFieldSet) || function (receiver, state, value, kind, f) {
+    if (kind === "m") throw new TypeError("Private method is not writable");
+    if (kind === "a" && !f) throw new TypeError("Private accessor was defined without a setter");
+    if (typeof state === "function" ? receiver !== state || !f : !state.has(receiver)) throw new TypeError("Cannot write private member to an object whose class did not declare it");
+    return (kind === "a" ? f.call(receiver, value) : f ? f.value = value : state.set(receiver, value)), value;
+};
+var __classPrivateFieldGet = (this && this.__classPrivateFieldGet) || function (receiver, state, kind, f) {
+    if (kind === "a" && !f) throw new TypeError("Private accessor was defined without a getter");
+    if (typeof state === "function" ? receiver !== state || !f : !state.has(receiver)) throw new TypeError("Cannot read private member from an object whose class did not declare it");
+    return kind === "m" ? f : kind === "a" ? f.call(receiver) : f ? f.value : state.get(receiver);
+};
+var _ZkProofBuilderImpl_instances, _ZkProofBuilderImpl_totalBits, _ZkProofBuilderImpl_bits, _ZkProofBuilderImpl_bitsCapacity, _ZkProofBuilderImpl_ciphertextCapacity, _ZkProofBuilderImpl_builder, _ZkProofBuilderImpl_checkLimit, _ZkProofBuilderImpl_addType;
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TFHE_ZKPROOF_CIPHERTEXT_CAPACITY = exports.TFHE_CRS_BITS_CAPACITY = void 0;
+exports.createZkProofBuilder = createZkProofBuilder;
+exports.createZkProof = createZkProof;
+const InternalError_js_1 = require("../base/errors/InternalError.js");
+const uint_js_1 = require("../base/uint.js");
+const address_js_1 = require("../base/address.js");
+const bytes_js_1 = require("../base/bytes.js");
+const ZkProofError_js_1 = require("../errors/ZkProofError.js");
+const typedValue_js_1 = require("../base/typedValue.js");
+const ZkProof_p_js_1 = require("./ZkProof-p.js");
+const FheType_js_1 = require("../handle/FheType.js");
+const fetchFheEncryptionKey_js_1 = require("../key/fetchFheEncryptionKey.js");
+const PRIVATE_TOKEN = Symbol('ZkProofBuilder.token');
+exports.TFHE_CRS_BITS_CAPACITY = 2048;
+exports.TFHE_ZKPROOF_CIPHERTEXT_CAPACITY = 256;
+class ZkProofBuilderImpl {
+    constructor(privateToken, parameters) {
+        _ZkProofBuilderImpl_instances.add(this);
+        _ZkProofBuilderImpl_totalBits.set(this, 0);
+        _ZkProofBuilderImpl_bits.set(this, []);
+        _ZkProofBuilderImpl_bitsCapacity.set(this, void 0);
+        _ZkProofBuilderImpl_ciphertextCapacity.set(this, void 0);
+        _ZkProofBuilderImpl_builder.set(this, new typedValue_js_1.TypedValueArrayBuilder());
+        if (privateToken !== PRIVATE_TOKEN) {
+            throw new Error('Unauthorized');
+        }
+        __classPrivateFieldSet(this, _ZkProofBuilderImpl_bitsCapacity, parameters.bitsCapacity, "f");
+        __classPrivateFieldSet(this, _ZkProofBuilderImpl_ciphertextCapacity, parameters.ciphertextCapacity, "f");
+    }
+    get count() {
+        return __classPrivateFieldGet(this, _ZkProofBuilderImpl_bits, "f").length;
+    }
+    get totalBits() {
+        return __classPrivateFieldGet(this, _ZkProofBuilderImpl_totalBits, "f");
+    }
+    getBits() {
+        return [...__classPrivateFieldGet(this, _ZkProofBuilderImpl_bits, "f")];
+    }
+    addTypedValue(typedValue) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addTypedValue(typedValue);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, (0, FheType_js_1.fheTypeNameFromTypeName)(typedValue.type));
+        return this;
+    }
+    addBool(value) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addBool(value);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, (0, FheType_js_1.fheTypeNameFromTypeName)('bool'));
+        return this;
+    }
+    addUint8(value) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addUint8(value);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, (0, FheType_js_1.fheTypeNameFromTypeName)('uint8'));
+        return this;
+    }
+    addUint16(value) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addUint16(value);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, (0, FheType_js_1.fheTypeNameFromTypeName)('uint16'));
+        return this;
+    }
+    addUint32(value) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addUint32(value);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, (0, FheType_js_1.fheTypeNameFromTypeName)('uint32'));
+        return this;
+    }
+    addUint64(value) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addUint64(value);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, (0, FheType_js_1.fheTypeNameFromTypeName)('uint64'));
+        return this;
+    }
+    addUint128(value) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addUint128(value);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, (0, FheType_js_1.fheTypeNameFromTypeName)('uint128'));
+        return this;
+    }
+    addUint256(value) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addUint256(value);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, (0, FheType_js_1.fheTypeNameFromTypeName)('uint256'));
+        return this;
+    }
+    addAddress(value) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addAddress(value);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, (0, FheType_js_1.fheTypeNameFromTypeName)('address'));
+        return this;
+    }
+    async build(context, { contractAddress, userAddress, }) {
+        const fheEncryptionKeyWasm = await (0, fetchFheEncryptionKey_js_1.fetchFheEncryptionKeyWasm)(context);
+        if (__classPrivateFieldGet(this, _ZkProofBuilderImpl_totalBits, "f") === 0) {
+            throw new ZkProofError_js_1.ZkProofError({
+                message: `Encrypted input must contain at least one value`,
+            });
+        }
+        (0, InternalError_js_1.assert)(__classPrivateFieldGet(this, _ZkProofBuilderImpl_totalBits, "f") <= __classPrivateFieldGet(this, _ZkProofBuilderImpl_bitsCapacity, "f"));
+        if (!(0, address_js_1.isAddress)(contractAddress)) {
+            throw new ZkProofError_js_1.ZkProofError({
+                message: `Invalid contract address: ${contractAddress}`,
+            });
+        }
+        if (!(0, address_js_1.isAddress)(userAddress)) {
+            throw new ZkProofError_js_1.ZkProofError({
+                message: `Invalid user address: ${userAddress}`,
+            });
+        }
+        const aclContractAddress = context.chain.fhevm.contracts.acl.address;
+        const chainId = context.chain.id;
+        if (!(0, address_js_1.isAddress)(aclContractAddress)) {
+            throw new ZkProofError_js_1.ZkProofError({
+                message: `Invalid ACL address: ${aclContractAddress}`,
+            });
+        }
+        if (!(0, uint_js_1.isUint64)(chainId)) {
+            throw new ZkProofError_js_1.ZkProofError({
+                message: `Invalid chain ID uint64: ${chainId}`,
+            });
+        }
+        const contractAddressBytes20 = (0, bytes_js_1.hexToBytes20)(contractAddress);
+        const userAddressBytes20 = (0, bytes_js_1.hexToBytes20)(userAddress);
+        const aclContractAddressBytes20 = (0, bytes_js_1.hexToBytes20)(aclContractAddress);
+        const chainIdBytes32 = (0, uint_js_1.uint256ToBytes32)(chainId);
+        const metaDataLength = 3 * 20 + 32;
+        const metaData = new Uint8Array(metaDataLength);
+        metaData.set(contractAddressBytes20, 0);
+        metaData.set(userAddressBytes20, 20);
+        metaData.set(aclContractAddressBytes20, 40);
+        metaData.set(chainIdBytes32, 60);
+        (0, InternalError_js_1.assert)(metaData.length - chainIdBytes32.length === 60);
+        const ciphertextWithZKProofBytes = await context.runtime.encrypt.buildWithProofPacked({
+            typedValues: [...__classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").build()],
+            fheEncryptionKey: fheEncryptionKeyWasm,
+            metaData,
+        });
+        return (0, ZkProof_p_js_1.toZkProof)({
+            chainId: BigInt(chainId),
+            aclContractAddress,
+            contractAddress,
+            userAddress,
+            ciphertextWithZkProof: ciphertextWithZKProofBytes,
+            encryptionBits: __classPrivateFieldGet(this, _ZkProofBuilderImpl_bits, "f"),
+        }, { copy: false });
+    }
+}
+_ZkProofBuilderImpl_totalBits = new WeakMap(), _ZkProofBuilderImpl_bits = new WeakMap(), _ZkProofBuilderImpl_bitsCapacity = new WeakMap(), _ZkProofBuilderImpl_ciphertextCapacity = new WeakMap(), _ZkProofBuilderImpl_builder = new WeakMap(), _ZkProofBuilderImpl_instances = new WeakSet(), _ZkProofBuilderImpl_checkLimit = function _ZkProofBuilderImpl_checkLimit(encryptionBits) {
+    if (__classPrivateFieldGet(this, _ZkProofBuilderImpl_totalBits, "f") + encryptionBits > __classPrivateFieldGet(this, _ZkProofBuilderImpl_bitsCapacity, "f")) {
+        throw new ZkProofError_js_1.ZkProofError({
+            message: `Packing more than ${__classPrivateFieldGet(this, _ZkProofBuilderImpl_bitsCapacity, "f").toString()} bits in a single input ciphertext is unsupported`,
+        });
+    }
+    if (__classPrivateFieldGet(this, _ZkProofBuilderImpl_bits, "f").length >= __classPrivateFieldGet(this, _ZkProofBuilderImpl_ciphertextCapacity, "f")) {
+        throw new ZkProofError_js_1.ZkProofError({
+            message: `Packing more than ${__classPrivateFieldGet(this, _ZkProofBuilderImpl_ciphertextCapacity, "f").toString()} variables in a single input ciphertext is unsupported`,
+        });
+    }
+}, _ZkProofBuilderImpl_addType = function _ZkProofBuilderImpl_addType(fheTypeName) {
+    const encryptionBits = (0, FheType_js_1.encryptionBitsFromFheType)(fheTypeName);
+    __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_checkLimit).call(this, encryptionBits);
+    __classPrivateFieldSet(this, _ZkProofBuilderImpl_totalBits, __classPrivateFieldGet(this, _ZkProofBuilderImpl_totalBits, "f") + encryptionBits, "f");
+    __classPrivateFieldGet(this, _ZkProofBuilderImpl_bits, "f").push(encryptionBits);
+};
+function createZkProofBuilder() {
+    return new ZkProofBuilderImpl(PRIVATE_TOKEN, {
+        ciphertextCapacity: exports.TFHE_ZKPROOF_CIPHERTEXT_CAPACITY,
+        bitsCapacity: exports.TFHE_CRS_BITS_CAPACITY,
+    });
+}
+async function createZkProof(context, parameters) {
+    const { contractAddress, userAddress, values } = parameters;
+    const builder = new ZkProofBuilderImpl(PRIVATE_TOKEN, {
+        ciphertextCapacity: exports.TFHE_ZKPROOF_CIPHERTEXT_CAPACITY,
+        bitsCapacity: exports.TFHE_CRS_BITS_CAPACITY,
+    });
+    for (const value of values) {
+        builder.addTypedValue((0, typedValue_js_1.createTypedValue)(value));
+    }
+    const zkProof = await builder.build(context, {
+        contractAddress,
+        userAddress,
+    });
+    return zkProof;
+}
+//# sourceMappingURL=ZkProofBuilder-p.js.map

package/_cjs/core/coprocessor/ZkProofBuilder-p.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ZkProofBuilder-p.js","sourceRoot":"","sources":["../../../core/coprocessor/ZkProofBuilder-p.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;AAoQA,oDAKC;AAID,sCAyBC;AArRD,sEAAyD;AACzD,6CAA6D;AAC7D,mDAA+C;AAC/C,+CAAgD;AAChD,+DAAyD;AACzD,yDAAiF;AACjF,iDAA2C;AAC3C,qDAA0F;AAC1F,8EAA4E;AAW5E,MAAM,aAAa,GAAG,MAAM,CAAC,sBAAsB,CAAC,CAAC;AAIxC,QAAA,sBAAsB,GAAG,IAAkB,CAAC;AAC5C,QAAA,gCAAgC,GAAG,GAAiB,CAAC;AAMlE,MAAM,kBAAkB;IAOtB,YACE,YAAoB,EACpB,UAGC;;QAXH,wCAAqB,CAAC,EAAC;QACd,mCAA0B,EAAE,EAAC;QAC7B,mDAA0B;QAC1B,yDAAgC;QAChC,sCAAW,IAAI,sCAAsB,EAAE,EAAC;QAS/C,IAAI,YAAY,KAAK,aAAa,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;QAClC,CAAC;QAED,uBAAA,IAAI,oCAAiB,UAAU,CAAC,YAAY,MAAA,CAAC;QAC7C,uBAAA,IAAI,0CAAuB,UAAU,CAAC,kBAAkB,MAAA,CAAC;IAC3D,CAAC;IAMD,IAAW,KAAK;QACd,OAAO,uBAAA,IAAI,gCAAM,CAAC,MAAM,CAAC;IAC3B,CAAC;IAED,IAAW,SAAS;QAClB,OAAO,uBAAA,IAAI,qCAAW,CAAC;IACzB,CAAC;IAEM,OAAO;QACZ,OAAO,CAAC,GAAG,uBAAA,IAAI,gCAAM,CAAC,CAAC;IACzB,CAAC;IAEM,aAAa,CAAC,UAAsB;QACzC,uBAAA,IAAI,mCAAS,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;QACxC,uBAAA,IAAI,kEAAS,MAAb,IAAI,EAAU,IAAA,oCAAuB,EAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,OAAO,CAAC,KAAgD;QAC7D,uBAAA,IAAI,mCAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7B,uBAAA,IAAI,kEAAS,MAAb,IAAI,EAAU,IAAA,oCAAuB,EAAC,MAAM,CAAC,CAAC,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,QAAQ,CAAC,KAAuC;QACrD,uBAAA,IAAI,mCAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC9B,uBAAA,IAAI,kEAAS,MAAb,IAAI,EAAU,IAAA,oCAAuB,EAAC,OAAO,CAAC,CAAC,CAAC;QAChD,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,SAAS,CAAC,KAAwC;QACvD,uBAAA,IAAI,mCAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,uBAAA,IAAI,kEAAS,MAAb,IAAI,EAAU,IAAA,oCAAuB,EAAC,QAAQ,CAAC,CAAC,CAAC;QACjD,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,SAAS,CAAC,KAAwC;QACvD,uBAAA,IAAI,mCAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,uBAAA,IAAI,kEAAS,MAAb,IAAI,EAAU,IAAA,oCAAuB,EAAC,QAAQ,CAAC,CAAC,CAAC;QACjD,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,SAAS,CAAC,KAAwC;QACvD,uBAAA,IAAI,mCAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,uBAAA,IAAI,kEAAS,MAAb,IAAI,EAAU,IAAA,oCAAuB,EAAC,QAAQ,CAAC,CAAC,CAAC;QACjD,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,UAAU,CAAC,KAAyC;QACzD,uBAAA,IAAI,mCAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,uBAAA,IAAI,kEAAS,MAAb,IAAI,EAAU,IAAA,oCAAuB,EAAC,SAAS,CAAC,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,UAAU,CAAC,KAAyC;QACzD,uBAAA,IAAI,mCAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,uBAAA,IAAI,kEAAS,MAAb,IAAI,EAAU,IAAA,oCAAuB,EAAC,SAAS,CAAC,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,UAAU,CAAC,KAAgC;QAChD,uBAAA,IAAI,mCAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,uBAAA,IAAI,kEAAS,MAAb,IAAI,EAAU,IAAA,oCAAuB,EAAC,SAAS,CAAC,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,KAAK,CAAC,KAAK,CAChB,OAAgB,EAChB,EACE,eAAe,EACf,WAAW,GAIZ;QAGD,MAAM,oBAAoB,GAAG,MAAM,IAAA,oDAAyB,EAAC,OAAO,CAAC,CAAC;QAEtE,IAAI,uBAAA,IAAI,qCAAW,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,8BAAY,CAAC;gBACrB,OAAO,EAAE,iDAAiD;aAC3D,CAAC,CAAC;QACL,CAAC;QAGD,IAAA,yBAAM,EAAC,uBAAA,IAAI,qCAAW,IAAI,uBAAA,IAAI,wCAAc,CAAC,CAAC;QAE9C,IAAI,CAAC,IAAA,sBAAS,EAAC,eAAe,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,8BAAY,CAAC;gBACrB,OAAO,EAAE,6BAA6B,eAAe,EAAE;aACxD,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,IAAA,sBAAS,EAAC,WAAW,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,8BAAY,CAAC;gBACrB,OAAO,EAAE,yBAAyB,WAAW,EAAE;aAChD,CAAC,CAAC;QACL,CAAC;QAED,MAAM,kBAAkB,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;QACrE,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAEjC,IAAI,CAAC,IAAA,sBAAS,EAAC,kBAAkB,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,8BAAY,CAAC;gBACrB,OAAO,EAAE,wBAAwB,kBAAkB,EAAE;aACtD,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,IAAA,kBAAQ,EAAC,OAAO,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,8BAAY,CAAC;gBACrB,OAAO,EAAE,4BAA4B,OAAO,EAAE;aAC/C,CAAC,CAAC;QACL,CAAC;QAQD,MAAM,sBAAsB,GAAY,IAAA,uBAAY,EAAC,eAAe,CAAC,CAAC;QAGtE,MAAM,kBAAkB,GAAY,IAAA,uBAAY,EAAC,WAAW,CAAC,CAAC;QAG9D,MAAM,yBAAyB,GAAY,IAAA,uBAAY,EAAC,kBAAkB,CAAC,CAAC;QAG5E,MAAM,cAAc,GAAY,IAAA,0BAAgB,EAAC,OAAO,CAAC,CAAC;QAE1D,MAAM,cAAc,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,IAAI,UAAU,CAAC,cAAc,CAAC,CAAC;QAEhD,QAAQ,CAAC,GAAG,CAAC,sBAAsB,EAAE,CAAC,CAAC,CAAC;QACxC,QAAQ,CAAC,GAAG,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;QACrC,QAAQ,CAAC,GAAG,CAAC,yBAAyB,EAAE,EAAE,CAAC,CAAC;QAC5C,QAAQ,CAAC,GAAG,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;QAEjC,IAAA,yBAAM,EAAC,QAAQ,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC;QAEvD,MAAM,0BAA0B,GAAe,MAAM,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC;YAChG,WAAW,EAAE,CAAC,GAAG,uBAAA,IAAI,mCAAS,CAAC,KAAK,EAAE,CAAC;YACvC,gBAAgB,EAAE,oBAAoB;YACtC,QAAQ;SACT,CAAC,CAAC;QAEH,OAAO,IAAA,wBAAS,EACd;YACE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC;YACxB,kBAAkB;YAClB,eAAe;YACf,WAAW;YACX,qBAAqB,EAAE,0BAA0B;YACjD,cAAc,EAAE,uBAAA,IAAI,gCAAM;SAC3B,EACD,EAAE,IAAI,EAAE,KAAK,EAAE,CAChB,CAAC;IACJ,CAAC;CA0BF;wWApBa,cAA8B;IACxC,IAAI,uBAAA,IAAI,qCAAW,GAAG,cAAc,GAAG,uBAAA,IAAI,wCAAc,EAAE,CAAC;QAC1D,MAAM,IAAI,8BAAY,CAAC;YACrB,OAAO,EAAE,qBAAqB,uBAAA,IAAI,wCAAc,CAAC,QAAQ,EAAE,mDAAmD;SAC/G,CAAC,CAAC;IACL,CAAC;IACD,IAAI,uBAAA,IAAI,gCAAM,CAAC,MAAM,IAAI,uBAAA,IAAI,8CAAoB,EAAE,CAAC;QAClD,MAAM,IAAI,8BAAY,CAAC;YACrB,OAAO,EAAE,qBAAqB,uBAAA,IAAI,8CAAoB,CAAC,QAAQ,EAAE,wDAAwD;SAC1H,CAAC,CAAC;IACL,CAAC;AACH,CAAC,qEAEQ,WAAoB;IAE3B,MAAM,cAAc,GAAG,IAAA,sCAAyB,EAAC,WAAW,CAAC,CAAC;IAC9D,uBAAA,IAAI,qEAAY,MAAhB,IAAI,EAAa,cAAc,CAAC,CAAC;IACjC,+HAAmB,cAAc,MAAA,CAAC;IAClC,uBAAA,IAAI,gCAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;AAClC,CAAC;AAKH,SAAgB,oBAAoB;IAClC,OAAO,IAAI,kBAAkB,CAAC,aAAa,EAAE;QAC3C,kBAAkB,EAAE,wCAAgC;QACpD,YAAY,EAAE,8BAAsB;KACrC,CAAC,CAAC;AACL,CAAC;AAIM,KAAK,UAAU,aAAa,CACjC,OAAgB,EAChB,UAIC;IAED,MAAM,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC;IAE5D,MAAM,OAAO,GAAG,IAAI,kBAAkB,CAAC,aAAa,EAAE;QACpD,kBAAkB,EAAE,wCAAgC;QACpD,YAAY,EAAE,8BAAsB;KACrC,CAAC,CAAC;IAEH,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,OAAO,CAAC,aAAa,CAAC,IAAA,gCAAgB,EAAC,KAAK,CAAC,CAAC,CAAC;IACjD,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE;QAC3C,eAAe;QACf,WAAW;KACZ,CAAC,CAAC;IAEH,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/_cjs/core/coprocessor/assertIsCoprocessorEip712Domain.js

@@ -0,0 +1,19 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.assertIsCoprocessorEip712Domain = assertIsCoprocessorEip712Domain;
+const address_js_1 = require("../base/address.js");
+const string_js_1 = require("../base/string.js");
+const uint_js_1 = require("../base/uint.js");
+function assertIsCoprocessorEip712Domain(value, name, options) {
+    (0, string_js_1.assertRecordStringProperty)(value, 'name', name, {
+        expectedValue: 'InputVerification',
+        ...options,
+    });
+    (0, string_js_1.assertRecordStringProperty)(value, 'version', name, {
+        expectedValue: '1',
+        ...options,
+    });
+    (0, uint_js_1.assertRecordUintBigIntProperty)(value, 'chainId', name, options);
+    (0, address_js_1.assertRecordChecksummedAddressProperty)(value, 'verifyingContract', name, options);
+}
+//# sourceMappingURL=assertIsCoprocessorEip712Domain.js.map

package/_cjs/core/coprocessor/assertIsCoprocessorEip712Domain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertIsCoprocessorEip712Domain.js","sourceRoot":"","sources":["../../../core/coprocessor/assertIsCoprocessorEip712Domain.ts"],"names":[],"mappings":";;AAMA,0EAgBC;AApBD,mDAA4E;AAC5E,iDAA+D;AAC/D,6CAAiE;AAEjE,SAAgB,+BAA+B,CAC7C,KAAc,EACd,IAAY,EACZ,OAA4B;IAG5B,IAAA,sCAA0B,EAAC,KAAK,EAAE,MAAwB,EAAE,IAAI,EAAE;QAChE,aAAa,EAAE,mBAAuC;QACtD,GAAG,OAAO;KACX,CAAC,CAAC;IACH,IAAA,sCAA0B,EAAC,KAAK,EAAE,SAA2B,EAAE,IAAI,EAAE;QACnE,aAAa,EAAE,GAA0B;QACzC,GAAG,OAAO;KACX,CAAC,CAAC;IACH,IAAA,wCAA8B,EAAC,KAAK,EAAE,SAA2B,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAClF,IAAA,mDAAsC,EAAC,KAAK,EAAE,mBAAqC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AACtG,CAAC"}

package/_cjs/core/coprocessor/coprocessorEip712Types.js

@@ -0,0 +1,17 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.coprocessorEip712Types = exports.coprocessorEip712PrimaryType = void 0;
+exports.coprocessorEip712PrimaryType = 'CiphertextVerification';
+exports.coprocessorEip712Types = {
+    CiphertextVerification: [
+        { name: 'ctHandles', type: 'bytes32[]' },
+        { name: 'userAddress', type: 'address' },
+        { name: 'contractAddress', type: 'address' },
+        { name: 'contractChainId', type: 'uint256' },
+        { name: 'extraData', type: 'bytes' },
+    ],
+};
+Object.freeze(exports.coprocessorEip712Types);
+Object.freeze(exports.coprocessorEip712Types.CiphertextVerification);
+exports.coprocessorEip712Types.CiphertextVerification.forEach(Object.freeze);
+//# sourceMappingURL=coprocessorEip712Types.js.map

package/_cjs/core/coprocessor/coprocessorEip712Types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coprocessorEip712Types.js","sourceRoot":"","sources":["../../../core/coprocessor/coprocessorEip712Types.ts"],"names":[],"mappings":";;;AAea,QAAA,4BAA4B,GAAG,wBAA+D,CAAC;AAE/F,QAAA,sBAAsB,GAA2B;IAU5D,sBAAsB,EAAE;QACtB,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE;QACxC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE;QACxC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,SAAS,EAAE;QAC5C,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,SAAS,EAAE;QAC5C,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE;KACrC;CACO,CAAC;AAEX,MAAM,CAAC,MAAM,CAAC,8BAAsB,CAAC,CAAC;AACtC,MAAM,CAAC,MAAM,CAAC,8BAAsB,CAAC,sBAAsB,CAAC,CAAC;AAC7D,8BAAsB,CAAC,sBAAsB,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC"}

package/_cjs/core/coprocessor/createCoprocessorEip712.js

@@ -0,0 +1,41 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createCoprocessorEip712 = createCoprocessorEip712;
+const address_js_1 = require("../base/address.js");
+const uint_js_1 = require("../base/uint.js");
+const bytes_js_1 = require("../base/bytes.js");
+const coprocessorEip712Types_js_1 = require("./coprocessorEip712Types.js");
+const createCoprocessorEip712Domain_js_1 = require("./createCoprocessorEip712Domain.js");
+const FhevmHandle_js_1 = require("../handle/FhevmHandle.js");
+function createCoprocessorEip712({ gatewayChainId, verifyingContractAddressInputVerification, inputHandles, contractChainId, contractAddress, userAddress, extraData, }) {
+    (0, address_js_1.assertIsAddress)(userAddress, {});
+    (0, address_js_1.assertIsAddress)(contractAddress, {});
+    (0, uint_js_1.assertIsUint64)(contractChainId, {});
+    (0, bytes_js_1.assertIsBytesHex)(extraData, {});
+    const domain = (0, createCoprocessorEip712Domain_js_1.createCoprocessorEip712Domain)({
+        gatewayChainId,
+        verifyingContractAddressInputVerification,
+    });
+    const eip712 = {
+        domain,
+        types: coprocessorEip712Types_js_1.coprocessorEip712Types,
+        message: {
+            ctHandles: inputHandles.map((inputHandle) => {
+                (0, FhevmHandle_js_1.assertIsInputHandle)(inputHandle, {});
+                return inputHandle.bytes32Hex;
+            }),
+            userAddress: (0, address_js_1.addressToChecksummedAddress)(userAddress),
+            contractAddress: (0, address_js_1.addressToChecksummedAddress)(contractAddress),
+            contractChainId: BigInt(contractChainId),
+            extraData,
+        },
+    };
+    Object.freeze(eip712);
+    Object.freeze(eip712.domain);
+    Object.freeze(eip712.types);
+    Object.freeze(eip712.types.CiphertextVerification);
+    Object.freeze(eip712.message);
+    Object.freeze(eip712.message.ctHandles);
+    return eip712;
+}
+//# sourceMappingURL=createCoprocessorEip712.js.map

package/_cjs/core/coprocessor/createCoprocessorEip712.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"createCoprocessorEip712.js","sourceRoot":"","sources":["../../../core/coprocessor/createCoprocessorEip712.ts"],"names":[],"mappings":";;AA0BA,0DA0CC;AAjED,mDAAkF;AAClF,6CAAiD;AACjD,+CAAoD;AACpD,2EAAqE;AACrE,yFAAmF;AACnF,6DAA+D;AAkB/D,SAAgB,uBAAuB,CAAC,EACtC,cAAc,EACd,yCAAyC,EACzC,YAAY,EACZ,eAAe,EACf,eAAe,EACf,WAAW,EACX,SAAS,GACyB;IAClC,IAAA,4BAAe,EAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACjC,IAAA,4BAAe,EAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IACrC,IAAA,wBAAc,EAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IACpC,IAAA,2BAAgB,EAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAEhC,MAAM,MAAM,GAAG,IAAA,gEAA6B,EAAC;QAC3C,cAAc;QACd,yCAAyC;KAC1C,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG;QACb,MAAM;QACN,KAAK,EAAE,kDAAsB;QAC7B,OAAO,EAAE;YACP,SAAS,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE;gBAC1C,IAAA,oCAAmB,EAAC,WAAW,EAAE,EAAE,CAAC,CAAC;gBACrC,OAAO,WAAW,CAAC,UAAU,CAAC;YAChC,CAAC,CAAC;YACF,WAAW,EAAE,IAAA,wCAA2B,EAAC,WAAW,CAAC;YACrD,eAAe,EAAE,IAAA,wCAA2B,EAAC,eAAe,CAAC;YAC7D,eAAe,EAAE,MAAM,CAAC,eAAe,CAAiB;YACxD,SAAS;SACV;KACF,CAAC;IAEF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;IACnD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAExC,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/_cjs/core/coprocessor/createCoprocessorEip712Domain.js

@@ -0,0 +1,18 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createCoprocessorEip712Domain = createCoprocessorEip712Domain;
+const address_js_1 = require("../base/address.js");
+const uint_js_1 = require("../base/uint.js");
+function createCoprocessorEip712Domain({ gatewayChainId, verifyingContractAddressInputVerification, }) {
+    (0, uint_js_1.assertIsUint64)(gatewayChainId, {});
+    (0, address_js_1.assertIsAddress)(verifyingContractAddressInputVerification, {});
+    const domain = {
+        name: 'InputVerification',
+        version: '1',
+        chainId: BigInt(gatewayChainId),
+        verifyingContract: (0, address_js_1.addressToChecksummedAddress)(verifyingContractAddressInputVerification),
+    };
+    Object.freeze(domain);
+    return domain;
+}
+//# sourceMappingURL=createCoprocessorEip712Domain.js.map

package/_cjs/core/coprocessor/createCoprocessorEip712Domain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"createCoprocessorEip712Domain.js","sourceRoot":"","sources":["../../../core/coprocessor/createCoprocessorEip712Domain.ts"],"names":[],"mappings":";;AAKA,sEAmBC;AAtBD,mDAAkF;AAClF,6CAAiD;AAEjD,SAAgB,6BAA6B,CAAC,EAC5C,cAAc,EACd,yCAAyC,GAI1C;IACC,IAAA,wBAAc,EAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IACnC,IAAA,4BAAe,EAAC,yCAAyC,EAAE,EAAE,CAAC,CAAC;IAE/D,MAAM,MAAM,GAAG;QACb,IAAI,EAAE,mBAAmB;QACzB,OAAO,EAAE,GAAG;QACZ,OAAO,EAAE,MAAM,CAAC,cAAc,CAAiB;QAC/C,iBAAiB,EAAE,IAAA,wCAA2B,EAAC,yCAAyC,CAAC;KACjF,CAAC;IACX,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAEtB,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/_cjs/core/coprocessor/encrypt.js

@@ -0,0 +1,20 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.encrypt = encrypt;
+const bytes_js_1 = require("../base/bytes.js");
+const fetchVerifiedInputProof_js_1 = require("./fetchVerifiedInputProof.js");
+const ZkProofBuilder_p_js_1 = require("./ZkProofBuilder-p.js");
+async function encrypt(context, parameters) {
+    const hardCodedExtraData = '0x00';
+    const zkProof = await (0, ZkProofBuilder_p_js_1.createZkProof)(context, parameters);
+    const inputProof = await (0, fetchVerifiedInputProof_js_1.fetchVerifiedInputProof)(context, {
+        zkProof,
+        extraData: (0, bytes_js_1.asBytesHex)(hardCodedExtraData),
+        options: parameters.options,
+    });
+    return {
+        inputHandles: inputProof.inputHandles,
+        inputProof: inputProof.bytesHex,
+    };
+}
+//# sourceMappingURL=encrypt.js.map

package/_cjs/core/coprocessor/encrypt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"encrypt.js","sourceRoot":"","sources":["../../../core/coprocessor/encrypt.ts"],"names":[],"mappings":";;AAgCA,0BAeC;AA1CD,+CAA8C;AAC9C,6EAAuE;AACvE,+DAAsD;AAyB/C,KAAK,UAAU,OAAO,CAAC,OAAgB,EAAE,UAAsB;IACpE,MAAM,kBAAkB,GAAG,MAAkB,CAAC;IAE9C,MAAM,OAAO,GAAG,MAAM,IAAA,mCAAa,EAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAEzD,MAAM,UAAU,GAAG,MAAM,IAAA,oDAAuB,EAAC,OAAO,EAAE;QACxD,OAAO;QACP,SAAS,EAAE,IAAA,qBAAU,EAAC,kBAAkB,CAAC;QACzC,OAAO,EAAE,UAAU,CAAC,OAAO;KAC5B,CAAC,CAAC;IAEH,OAAO;QACL,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,UAAU,EAAE,UAAU,CAAC,QAAQ;KAChC,CAAC;AACJ,CAAC"}