@fhevm/sdk 0.0.1 → 1.0.0-alpha.1

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

@@ -0,0 +1 @@
+{"version":3,"file":"ZkProof-p.js","sourceRoot":"","sources":["../../../core/coprocessor/ZkProof-p.ts"],"names":[],"mappings":";;;;;;;;;;;;AAeA,OAAO,EACL,2BAA2B,EAC3B,eAAe,EACf,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AACrG,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACjG,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,2BAA2B,EAAE,2BAA2B,EAAE,MAAM,sBAAsB,CAAC;AAChG,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AAEtE,gFAAgF;AAEhF,MAAM,aAAa,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC;AAC9C,MAAM,yBAAyB,GAAG,MAAM,CAAC,2BAA2B,CAAC,CAAC;AAEtE,gFAAgF;AAChF,UAAU;AACV,gFAAgF;AAEhF,MAAM,CAAC,MAAM,yCAAyC,GAAG,UAAU,CAAC;AACpE,MAAM,CAAC,MAAM,kCAAkC,GAAG,UAAU,CAAC;AAE7D,MAAM,WAAW;IAUf,YACE,YAAoB,EACpB,MAOC;QAlBM,uCAAuB;QACvB,kDAAwC;QACxC,+CAAqC;QACrC,2CAAiC;QACjC,qDAA8B,CAAC,cAAc;QAC7C,8CAA2C,CAAC,eAAe;QAC3D,0CAAkC,CAAC,eAAe;QAC3D,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,2BAA2B,CAAC,CAAC,MAAA,CAAC;QACxF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IAED,8EAA8E;IAC9E,mBAAmB;IACnB,8EAA8E;IAE9E,8CAA8C;IAC9C,IAAW,OAAO;QAChB,OAAO,uBAAA,IAAI,4BAAS,CAAC;IACvB,CAAC;IAED,2DAA2D;IAC3D,IAAW,kBAAkB;QAC3B,OAAO,uBAAA,IAAI,uCAAoB,CAAC;IAClC,CAAC;IAED,8DAA8D;IAC9D,IAAW,eAAe;QACxB,OAAO,uBAAA,IAAI,oCAAiB,CAAC;IAC/B,CAAC;IAED,mDAAmD;IACnD,IAAW,WAAW;QACpB,OAAO,uBAAA,IAAI,gCAAa,CAAC;IAC3B,CAAC;IAED,2EAA2E;IAC3E,IAAW,qBAAqB;QAC9B,OAAO,IAAI,UAAU,CAAC,uBAAA,IAAI,0CAAuB,CAAU,CAAC;IAC9D,CAAC;IAED,sEAAsE;IACtE,IAAW,cAAc;QACvB,OAAO,uBAAA,IAAI,mCAAgB,CAAC;IAC9B,CAAC;IAED,8DAA8D;IAC9D,IAAW,UAAU;QACnB,OAAO,uBAAA,IAAI,+BAAY,CAAC;IAC1B,CAAC;IAED;;;;OAIG;IACI,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;IAED;;;OAGG;IACI,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;IAED,8EAA8E;IAC9E,OAAO;IACP,8EAA8E;IAE9E;;;;OAIG;IACI,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,eAAe,CAAC,uBAAA,IAAI,0CAAuB,CAAC;YACnE,cAAc,EAAE,uBAAA,IAAI,mCAAgB;YACpC,UAAU,EAAE,uBAAA,IAAI,+BAAY;SAC7B,CAAC;IACJ,CAAC;CACF;AAED,gFAAgF;AAChF,SAAS;AACT,gFAAgF;AAEhF,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;AAC3B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;AAErC,gFAAgF;AAChF,4BAA4B;AAC5B,gFAAgF;AAEhF,MAAM,UAAU,SAAS,CAAC,KAAc;IACtC,OAAO,KAAK,YAAY,WAAW,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,KAAc,EACd,OAAmD;IAEnD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,gBAAgB,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;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,WAAwB,EACxB,OAGC;IAED,IAAI,WAAW,YAAY,WAAW,EAAE,CAAC;QACvC,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,qBAAqB;IACrB,cAAc,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,OAAO,CAAiB,CAAC;IAE5D,eAAe,CAAC,WAAW,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;IACpD,eAAe,CAAC,WAAW,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IACjD,eAAe,CAAC,WAAW,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAE7C,MAAM,kBAAkB,GAAuB,2BAA2B,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC;IAC3G,MAAM,eAAe,GAAuB,2BAA2B,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;IACrG,MAAM,WAAW,GAAuB,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IAE7F,+CAA+C;IAC/C,MAAM,qBAAqB,GAAG,OAAO,CAAC,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,YAAY,CAAC;YACrB,OAAO,EAAE,oDAAoD;SAC9D,CAAC,CAAC;IACL,CAAC;IAED,mEAAmE;IACnE,yEAAyE;IACzE,qDAAqD;IACrD,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;AAED,gFAAgF;AAChF,oCAAoC;AACpC,gFAAgF;AAEhF,MAAM,CAAC,KAAK,UAAU,gCAAgC,CACpD,WAAwB,EACxB,OAGC;IAED,IAAI,WAAW,YAAY,WAAW,EAAE,CAAC;QACvC,OAAO,WAAW,CAAC,eAAe,EAAE,CAAC;IACvC,CAAC;IAED,0BAA0B,CAAC,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,OAAO,CAAC,WAAW,CAAC,qBAAqB,EAAE;QACvE,OAAO,EAAE,uBAAuB;KACjC,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAAC,CAAC;IAE7E,aAAa,CAAC,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,cAAc,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;KACrE,CAAC,CAAC;AACL,CAAC;AAED,gFAAgF;AAChF,kBAAkB;AAClB,gFAAgF;AAEhF;;;;;GAKG;AACH,SAAS,0BAA0B,CAAC,MAAiC,EAAE,QAAmC;IACxG,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QACtC,MAAM,IAAI,YAAY,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,YAAY,CAAC;gBACrB,OAAO,EAAE,qCAAqC,CAAC,GAAG;aACnD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,gFAAgF;AAEhF,SAAS,sBAAsB,CAC7B,IAKC,EACD,OAEC;IAED,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,yCAAyC,CAAC,CAAC;IAEjF,MAAM,kBAAkB,GAAe,YAAY,CACjD,UAAU,CAAC,WAAW,CAAC,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,YAAY,CAAC,kBAAkB,CAAC,EAAE,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAE/G,YAAY,CAAC,IAAI,CACf,WAAW,CAAC;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,CAAC,eAAe;AACtC,CAAC;AAED,gFAAgF;AAEhF;;;;GAIG;AACH,KAAK,UAAU,yBAAyB,CACtC,cAA6C,EAC7C,qBAA0C,EAC1C,aAAkE;IAElE,oFAAoF;IACpF,IAAI,cAAc,IAAI,IAAI,EAAE,CAAC;QAC3B,2BAA2B,CAAC,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;IAED,4EAA4E;IAC5E,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;IAED,uDAAuD;IACvD,MAAM,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC,CAAC;AACjE,CAAC;AAED,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,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,2BAA2B,CAAC,UAAU,CAAC,CAAC;IAC1E,MAAM,cAAc,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAEhD,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,kCAAkC,CAAC,CAAC;IAE1E,MAAM,cAAc,GAAG,YAAY,CACjC,UAAU,CACR,WAAW,CAAC,cAAc,EAAE,eAAe,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,cAAc,CAAC,CAC9G,CACF,CAAC;IAEF,2CAA2C;IAC3C,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,CAAe,CAAC;AAC3D,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,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/_esm/core/coprocessor/ZkProofBuilder-p.js

@@ -0,0 +1,208 @@
+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;
+import { assert } from '../base/errors/InternalError.js';
+import { isUint64, uint256ToBytes32 } from '../base/uint.js';
+import { isAddress } from '../base/address.js';
+import { hexToBytes20 } from '../base/bytes.js';
+import { ZkProofError } from '../errors/ZkProofError.js';
+import { createTypedValue, TypedValueArrayBuilder } from '../base/typedValue.js';
+import { toZkProof } from './ZkProof-p.js';
+import { encryptionBitsFromFheType, fheTypeNameFromTypeName } from '../handle/FheType.js';
+import { fetchFheEncryptionKeyWasm } from '../key/fetchFheEncryptionKey.js';
+////////////////////////////////////////////////////////////////////////////////
+const PRIVATE_TOKEN = Symbol('ZkProofBuilder.token');
+////////////////////////////////////////////////////////////////////////////////
+export const TFHE_CRS_BITS_CAPACITY = 2048;
+export const TFHE_ZKPROOF_CIPHERTEXT_CAPACITY = 256;
+////////////////////////////////////////////////////////////////////////////////
+// ZkProofBuilder
+////////////////////////////////////////////////////////////////////////////////
+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 TypedValueArrayBuilder());
+        if (privateToken !== PRIVATE_TOKEN) {
+            throw new Error('Unauthorized');
+        }
+        __classPrivateFieldSet(this, _ZkProofBuilderImpl_bitsCapacity, parameters.bitsCapacity, "f");
+        __classPrivateFieldSet(this, _ZkProofBuilderImpl_ciphertextCapacity, parameters.ciphertextCapacity, "f");
+    }
+    //////////////////////////////////////////////////////////////////////////////
+    // Public API
+    //////////////////////////////////////////////////////////////////////////////
+    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, fheTypeNameFromTypeName(typedValue.type));
+        return this;
+    }
+    addBool(value) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addBool(value);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, fheTypeNameFromTypeName('bool'));
+        return this;
+    }
+    addUint8(value) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addUint8(value);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, fheTypeNameFromTypeName('uint8'));
+        return this;
+    }
+    addUint16(value) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addUint16(value);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, fheTypeNameFromTypeName('uint16'));
+        return this;
+    }
+    addUint32(value) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addUint32(value);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, fheTypeNameFromTypeName('uint32'));
+        return this;
+    }
+    addUint64(value) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addUint64(value);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, fheTypeNameFromTypeName('uint64'));
+        return this;
+    }
+    addUint128(value) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addUint128(value);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, fheTypeNameFromTypeName('uint128'));
+        return this;
+    }
+    addUint256(value) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addUint256(value);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, fheTypeNameFromTypeName('uint256'));
+        return this;
+    }
+    addAddress(value) {
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").addAddress(value);
+        __classPrivateFieldGet(this, _ZkProofBuilderImpl_instances, "m", _ZkProofBuilderImpl_addType).call(this, fheTypeNameFromTypeName('address'));
+        return this;
+    }
+    async build(context, { contractAddress, userAddress, }) {
+        // Fetch the FheEncryptionKey (in wasm format) from the global cache.
+        const fheEncryptionKeyWasm = await fetchFheEncryptionKeyWasm(context);
+        if (__classPrivateFieldGet(this, _ZkProofBuilderImpl_totalBits, "f") === 0) {
+            throw new ZkProofError({
+                message: `Encrypted input must contain at least one value`,
+            });
+        }
+        // should be guaranteed at this point
+        assert(__classPrivateFieldGet(this, _ZkProofBuilderImpl_totalBits, "f") <= __classPrivateFieldGet(this, _ZkProofBuilderImpl_bitsCapacity, "f"));
+        if (!isAddress(contractAddress)) {
+            throw new ZkProofError({
+                message: `Invalid contract address: ${contractAddress}`,
+            });
+        }
+        if (!isAddress(userAddress)) {
+            throw new ZkProofError({
+                message: `Invalid user address: ${userAddress}`,
+            });
+        }
+        const aclContractAddress = context.chain.fhevm.contracts.acl.address;
+        const chainId = context.chain.id;
+        if (!isAddress(aclContractAddress)) {
+            throw new ZkProofError({
+                message: `Invalid ACL address: ${aclContractAddress}`,
+            });
+        }
+        if (!isUint64(chainId)) {
+            throw new ZkProofError({
+                message: `Invalid chain ID uint64: ${chainId}`,
+            });
+        }
+        // Note about hexToBytes(<address>)
+        // ================================
+        // All addresses are 42 characters long strings.
+        // hexToBytes(<42-characters hex string>) always returns a 20-byte long Uint8Array
+        // Bytes20
+        const contractAddressBytes20 = hexToBytes20(contractAddress);
+        // Bytes20
+        const userAddressBytes20 = hexToBytes20(userAddress);
+        // Bytes20
+        const aclContractAddressBytes20 = hexToBytes20(aclContractAddress);
+        // Bytes32
+        const chainIdBytes32 = 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);
+        assert(metaData.length - chainIdBytes32.length === 60);
+        const ciphertextWithZKProofBytes = await context.runtime.encrypt.buildWithProofPacked({
+            typedValues: [...__classPrivateFieldGet(this, _ZkProofBuilderImpl_builder, "f").build()],
+            fheEncryptionKey: fheEncryptionKeyWasm,
+            metaData,
+        });
+        return 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({
+            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({
+            message: `Packing more than ${__classPrivateFieldGet(this, _ZkProofBuilderImpl_ciphertextCapacity, "f").toString()} variables in a single input ciphertext is unsupported`,
+        });
+    }
+}, _ZkProofBuilderImpl_addType = function _ZkProofBuilderImpl_addType(fheTypeName) {
+    // encryptionBits is guaranteed to be >= 2
+    const encryptionBits = 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);
+};
+//////////////////////////////////////////////////////////////////////////////
+export function createZkProofBuilder() {
+    return new ZkProofBuilderImpl(PRIVATE_TOKEN, {
+        ciphertextCapacity: TFHE_ZKPROOF_CIPHERTEXT_CAPACITY,
+        bitsCapacity: TFHE_CRS_BITS_CAPACITY,
+    });
+}
+//////////////////////////////////////////////////////////////////////////////
+export async function createZkProof(context, parameters) {
+    const { contractAddress, userAddress, values } = parameters;
+    const builder = new ZkProofBuilderImpl(PRIVATE_TOKEN, {
+        ciphertextCapacity: TFHE_ZKPROOF_CIPHERTEXT_CAPACITY,
+        bitsCapacity: TFHE_CRS_BITS_CAPACITY,
+    });
+    for (const value of values) {
+        builder.addTypedValue(createTypedValue(value));
+    }
+    const zkProof = await builder.build(context, {
+        contractAddress,
+        userAddress,
+    });
+    return zkProof;
+}
+//# sourceMappingURL=ZkProofBuilder-p.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ZkProofBuilder-p.js","sourceRoot":"","sources":["../../../core/coprocessor/ZkProofBuilder-p.ts"],"names":[],"mappings":";;;;;;;;;;;;AAiBA,OAAO,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AACjF,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC1F,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAS5E,gFAAgF;AAEhF,MAAM,aAAa,GAAG,MAAM,CAAC,sBAAsB,CAAC,CAAC;AAErD,gFAAgF;AAEhF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAkB,CAAC;AACzD,MAAM,CAAC,MAAM,gCAAgC,GAAG,GAAiB,CAAC;AAElE,gFAAgF;AAChF,iBAAiB;AACjB,gFAAgF;AAEhF,MAAM,kBAAkB;IAOtB,YACE,YAAoB,EACpB,UAGC;;QAXH,wCAAqB,CAAC,EAAC;QACd,mCAA0B,EAAE,EAAC;QAC7B,mDAA0B;QAC1B,yDAAgC;QAChC,sCAAW,IAAI,sBAAsB,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;IAED,8EAA8E;IAC9E,aAAa;IACb,8EAA8E;IAE9E,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,uBAAuB,CAAC,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,uBAAuB,CAAC,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,uBAAuB,CAAC,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,uBAAuB,CAAC,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,uBAAuB,CAAC,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,uBAAuB,CAAC,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,uBAAuB,CAAC,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,uBAAuB,CAAC,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,uBAAuB,CAAC,SAAS,CAAC,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,KAAK,CAAC,KAAK,CAChB,OAAgB,EAChB,EACE,eAAe,EACf,WAAW,GAIZ;QAED,qEAAqE;QACrE,MAAM,oBAAoB,GAAG,MAAM,yBAAyB,CAAC,OAAO,CAAC,CAAC;QAEtE,IAAI,uBAAA,IAAI,qCAAW,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,YAAY,CAAC;gBACrB,OAAO,EAAE,iDAAiD;aAC3D,CAAC,CAAC;QACL,CAAC;QAED,qCAAqC;QACrC,MAAM,CAAC,uBAAA,IAAI,qCAAW,IAAI,uBAAA,IAAI,wCAAc,CAAC,CAAC;QAE9C,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,YAAY,CAAC;gBACrB,OAAO,EAAE,6BAA6B,eAAe,EAAE;aACxD,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,YAAY,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,SAAS,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,YAAY,CAAC;gBACrB,OAAO,EAAE,wBAAwB,kBAAkB,EAAE;aACtD,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,YAAY,CAAC;gBACrB,OAAO,EAAE,4BAA4B,OAAO,EAAE;aAC/C,CAAC,CAAC;QACL,CAAC;QAED,mCAAmC;QACnC,mCAAmC;QACnC,gDAAgD;QAChD,kFAAkF;QAElF,UAAU;QACV,MAAM,sBAAsB,GAAY,YAAY,CAAC,eAAe,CAAC,CAAC;QAEtE,UAAU;QACV,MAAM,kBAAkB,GAAY,YAAY,CAAC,WAAW,CAAC,CAAC;QAE9D,UAAU;QACV,MAAM,yBAAyB,GAAY,YAAY,CAAC,kBAAkB,CAAC,CAAC;QAE5E,UAAU;QACV,MAAM,cAAc,GAAY,gBAAgB,CAAC,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,MAAM,CAAC,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,SAAS,CACd;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,YAAY,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,YAAY,CAAC;YACrB,OAAO,EAAE,qBAAqB,uBAAA,IAAI,8CAAoB,CAAC,QAAQ,EAAE,wDAAwD;SAC1H,CAAC,CAAC;IACL,CAAC;AACH,CAAC,qEAEQ,WAAoB;IAC3B,0CAA0C;IAC1C,MAAM,cAAc,GAAG,yBAAyB,CAAC,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;AAGH,8EAA8E;AAE9E,MAAM,UAAU,oBAAoB;IAClC,OAAO,IAAI,kBAAkB,CAAC,aAAa,EAAE;QAC3C,kBAAkB,EAAE,gCAAgC;QACpD,YAAY,EAAE,sBAAsB;KACrC,CAAC,CAAC;AACL,CAAC;AAED,8EAA8E;AAE9E,MAAM,CAAC,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,gCAAgC;QACpD,YAAY,EAAE,sBAAsB;KACrC,CAAC,CAAC;IAEH,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,OAAO,CAAC,aAAa,CAAC,gBAAgB,CAAC,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/_esm/core/coprocessor/assertIsCoprocessorEip712Domain.js

@@ -0,0 +1,16 @@
+import { assertRecordChecksummedAddressProperty } from '../base/address.js';
+import { assertRecordStringProperty } from '../base/string.js';
+import { assertRecordUintBigIntProperty } from '../base/uint.js';
+export function assertIsCoprocessorEip712Domain(value, name, options) {
+    assertRecordStringProperty(value, 'name', name, {
+        expectedValue: 'InputVerification',
+        ...options,
+    });
+    assertRecordStringProperty(value, 'version', name, {
+        expectedValue: '1',
+        ...options,
+    });
+    assertRecordUintBigIntProperty(value, 'chainId', name, options);
+    assertRecordChecksummedAddressProperty(value, 'verifyingContract', name, options);
+}
+//# sourceMappingURL=assertIsCoprocessorEip712Domain.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"assertIsCoprocessorEip712Domain.js","sourceRoot":"","sources":["../../../core/coprocessor/assertIsCoprocessorEip712Domain.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,sCAAsC,EAAE,MAAM,oBAAoB,CAAC;AAC5E,OAAO,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,8BAA8B,EAAE,MAAM,iBAAiB,CAAC;AAEjE,MAAM,UAAU,+BAA+B,CAC7C,KAAc,EACd,IAAY,EACZ,OAA4B;IAG5B,0BAA0B,CAAC,KAAK,EAAE,MAAwB,EAAE,IAAI,EAAE;QAChE,aAAa,EAAE,mBAAuC;QACtD,GAAG,OAAO;KACX,CAAC,CAAC;IACH,0BAA0B,CAAC,KAAK,EAAE,SAA2B,EAAE,IAAI,EAAE;QACnE,aAAa,EAAE,GAA0B;QACzC,GAAG,OAAO;KACX,CAAC,CAAC;IACH,8BAA8B,CAAC,KAAK,EAAE,SAA2B,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAClF,sCAAsC,CAAC,KAAK,EAAE,mBAAqC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AACtG,CAAC"}

package/_esm/core/coprocessor/coprocessorEip712Types.js

@@ -0,0 +1,34 @@
+////////////////////////////////////////////////////////////////////////////////
+// CoprocessorEip712Types
+////////////////////////////////////////////////////////////////////////////////
+/*
+    const EIP712DomainType = [
+      { name: 'name', type: 'string' },
+      { name: 'version', type: 'string' },
+      { name: 'chainId', type: 'uint256' },
+      { name: 'verifyingContract', type: 'address' },
+    ];
+*/
+export const coprocessorEip712PrimaryType = 'CiphertextVerification';
+export const coprocessorEip712Types = {
+    // EIP712Domain: [
+    //   { name: 'name', type: 'string' },
+    //   { name: 'version', type: 'string' },
+    //   { name: 'chainId', type: 'uint256' },
+    //   { name: 'verifyingContract', type: 'address' },
+    // ] as const,
+    // CRITICAL: Field order is authoritative — it determines the EIP-712 type hash.
+    // Changing the order will produce a different signature and break on-chain verification.
+    // Must match the Solidity struct definition exactly.
+    CiphertextVerification: [
+        { name: 'ctHandles', type: 'bytes32[]' },
+        { name: 'userAddress', type: 'address' },
+        { name: 'contractAddress', type: 'address' },
+        { name: 'contractChainId', type: 'uint256' },
+        { name: 'extraData', type: 'bytes' },
+    ],
+};
+Object.freeze(coprocessorEip712Types);
+Object.freeze(coprocessorEip712Types.CiphertextVerification);
+coprocessorEip712Types.CiphertextVerification.forEach(Object.freeze);
+//# sourceMappingURL=coprocessorEip712Types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"coprocessorEip712Types.js","sourceRoot":"","sources":["../../../core/coprocessor/coprocessorEip712Types.ts"],"names":[],"mappings":"AAEA,gFAAgF;AAChF,yBAAyB;AACzB,gFAAgF;AAEhF;;;;;;;EAOE;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,wBAA+D,CAAC;AAE5G,MAAM,CAAC,MAAM,sBAAsB,GAA2B;IAC5D,kBAAkB;IAClB,sCAAsC;IACtC,yCAAyC;IACzC,0CAA0C;IAC1C,oDAAoD;IACpD,cAAc;IACd,gFAAgF;IAChF,yFAAyF;IACzF,qDAAqD;IACrD,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,sBAAsB,CAAC,CAAC;AACtC,MAAM,CAAC,MAAM,CAAC,sBAAsB,CAAC,sBAAsB,CAAC,CAAC;AAC7D,sBAAsB,CAAC,sBAAsB,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC"}

package/_esm/core/coprocessor/createCoprocessorEip712.js

@@ -0,0 +1,41 @@
+import { addressToChecksummedAddress, assertIsAddress } from '../base/address.js';
+import { assertIsUint64 } from '../base/uint.js';
+import { assertIsBytesHex } from '../base/bytes.js';
+import { coprocessorEip712Types } from './coprocessorEip712Types.js';
+import { createCoprocessorEip712Domain } from './createCoprocessorEip712Domain.js';
+import { assertIsInputHandle } from '../handle/FhevmHandle.js';
+////////////////////////////////////////////////////////////////////////////////
+// createCoprocessorEip712
+////////////////////////////////////////////////////////////////////////////////
+export function createCoprocessorEip712({ gatewayChainId, verifyingContractAddressInputVerification, inputHandles, contractChainId, contractAddress, userAddress, extraData, }) {
+    assertIsAddress(userAddress, {});
+    assertIsAddress(contractAddress, {});
+    assertIsUint64(contractChainId, {});
+    assertIsBytesHex(extraData, {});
+    const domain = createCoprocessorEip712Domain({
+        gatewayChainId,
+        verifyingContractAddressInputVerification,
+    });
+    const eip712 = {
+        domain,
+        types: coprocessorEip712Types,
+        message: {
+            ctHandles: inputHandles.map((inputHandle) => {
+                assertIsInputHandle(inputHandle, {});
+                return inputHandle.bytes32Hex;
+            }),
+            userAddress: addressToChecksummedAddress(userAddress),
+            contractAddress: 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/_esm/core/coprocessor/createCoprocessorEip712.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"createCoprocessorEip712.js","sourceRoot":"","sources":["../../../core/coprocessor/createCoprocessorEip712.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,2BAA2B,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAClF,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,6BAA6B,EAAE,MAAM,oCAAoC,CAAC;AACnF,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAc/D,gFAAgF;AAChF,0BAA0B;AAC1B,gFAAgF;AAEhF,MAAM,UAAU,uBAAuB,CAAC,EACtC,cAAc,EACd,yCAAyC,EACzC,YAAY,EACZ,eAAe,EACf,eAAe,EACf,WAAW,EACX,SAAS,GACyB;IAClC,eAAe,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACjC,eAAe,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IACrC,cAAc,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IACpC,gBAAgB,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAEhC,MAAM,MAAM,GAAG,6BAA6B,CAAC;QAC3C,cAAc;QACd,yCAAyC;KAC1C,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG;QACb,MAAM;QACN,KAAK,EAAE,sBAAsB;QAC7B,OAAO,EAAE;YACP,SAAS,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE;gBAC1C,mBAAmB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;gBACrC,OAAO,WAAW,CAAC,UAAU,CAAC;YAChC,CAAC,CAAC;YACF,WAAW,EAAE,2BAA2B,CAAC,WAAW,CAAC;YACrD,eAAe,EAAE,2BAA2B,CAAC,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/_esm/core/coprocessor/createCoprocessorEip712Domain.js

@@ -0,0 +1,15 @@
+import { addressToChecksummedAddress, assertIsAddress } from '../base/address.js';
+import { assertIsUint64 } from '../base/uint.js';
+export function createCoprocessorEip712Domain({ gatewayChainId, verifyingContractAddressInputVerification, }) {
+    assertIsUint64(gatewayChainId, {});
+    assertIsAddress(verifyingContractAddressInputVerification, {});
+    const domain = {
+        name: 'InputVerification',
+        version: '1',
+        chainId: BigInt(gatewayChainId),
+        verifyingContract: addressToChecksummedAddress(verifyingContractAddressInputVerification),
+    };
+    Object.freeze(domain);
+    return domain;
+}
+//# sourceMappingURL=createCoprocessorEip712Domain.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"createCoprocessorEip712Domain.js","sourceRoot":"","sources":["../../../core/coprocessor/createCoprocessorEip712Domain.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,2BAA2B,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAClF,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD,MAAM,UAAU,6BAA6B,CAAC,EAC5C,cAAc,EACd,yCAAyC,GAI1C;IACC,cAAc,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IACnC,eAAe,CAAC,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,2BAA2B,CAAC,yCAAyC,CAAC;KACjF,CAAC;IACX,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAEtB,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/_esm/core/coprocessor/encrypt.js

@@ -0,0 +1,18 @@
+import { asBytesHex } from '../base/bytes.js';
+import { fetchVerifiedInputProof } from './fetchVerifiedInputProof.js';
+import { createZkProof } from './ZkProofBuilder-p.js';
+////////////////////////////////////////////////////////////////////////////////
+export async function encrypt(context, parameters) {
+    const hardCodedExtraData = '0x00';
+    const zkProof = await createZkProof(context, parameters);
+    const inputProof = await fetchVerifiedInputProof(context, {
+        zkProof,
+        extraData: asBytesHex(hardCodedExtraData),
+        options: parameters.options,
+    });
+    return {
+        inputHandles: inputProof.inputHandles,
+        inputProof: inputProof.bytesHex,
+    };
+}
+//# sourceMappingURL=encrypt.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"encrypt.js","sourceRoot":"","sources":["../../../core/coprocessor/encrypt.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAuBtD,gFAAgF;AAEhF,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,OAAgB,EAAE,UAAsB;IACpE,MAAM,kBAAkB,GAAG,MAAkB,CAAC;IAE9C,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAEzD,MAAM,UAAU,GAAG,MAAM,uBAAuB,CAAC,OAAO,EAAE;QACxD,OAAO;QACP,SAAS,EAAE,UAAU,CAAC,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"}

package/_esm/core/coprocessor/fetchVerifiedInputProof.js

@@ -0,0 +1,47 @@
+import { InputProofError } from '../errors/InputProofError.js';
+import { assertHandleArrayEquals } from '../handle/FhevmHandle.js';
+import { createInputProofFromInputHandles } from './InputProof-p.js';
+import { verifyInputProof } from './verifyInputProof.js';
+import { assertIsZkProof } from './ZkProof-p.js';
+////////////////////////////////////////////////////////////////////////////////
+export async function fetchVerifiedInputProof(context, parameters) {
+    const { zkProof, extraData, options } = parameters;
+    assertIsZkProof(zkProof, {});
+    // Caller-provided options override runtime config defaults (e.g. auth)
+    const relayerOptions = {
+        auth: context.runtime.config.auth,
+        ...options,
+    };
+    // 1. extract FhevmHandles from the given ZK proof
+    const inputHandles = zkProof.getInputHandles();
+    if (inputHandles.length === 0) {
+        throw new InputProofError({
+            message: `Input proof must contain at least one external handle`,
+        });
+    }
+    // 2. Request coprocessor signatures from the relayer for the given ZK proof
+    const { handles: coprocessorSignedHandles, coprocessorEip712Signatures: coprocessorSignatures } = await context.runtime.relayer.fetchCoprocessorSignatures({ relayerUrl: context.chain.fhevm.relayerUrl, chainId: context.chain.id }, {
+        payload: {
+            zkProof,
+            extraData,
+        },
+        options: relayerOptions,
+    });
+    // 3. Check that the handles and the one in the fetch result
+    // Note: this check is theoretically unnecessary
+    // We prefer to perform this test since we do not trust the relayer
+    // The purpose is to check if the relayer is possibly malicious
+    assertHandleArrayEquals(inputHandles, coprocessorSignedHandles);
+    // 4. Verify ZK proof and Compute the final Input proof
+    const inputProof = createInputProofFromInputHandles({
+        coprocessorEip712Signatures: coprocessorSignatures,
+        inputHandles,
+        extraData,
+        signedHandleAccess: {
+            userAddress: zkProof.userAddress,
+            contractAddress: zkProof.contractAddress,
+        },
+    });
+    return await verifyInputProof(context, { inputProof });
+}
+//# sourceMappingURL=fetchVerifiedInputProof.js.map

package/_esm/core/coprocessor/fetchVerifiedInputProof.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fetchVerifiedInputProof.js","sourceRoot":"","sources":["../../../core/coprocessor/fetchVerifiedInputProof.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAmBjD,gFAAgF;AAEhF,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAAC,OAAgB,EAAE,UAAsB;IACpF,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC;IAEnD,eAAe,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAE7B,uEAAuE;IACvE,MAAM,cAAc,GAA6B;QAC/C,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI;QACjC,GAAG,OAAO;KACX,CAAC;IAEF,kDAAkD;IAClD,MAAM,YAAY,GAA2B,OAAO,CAAC,eAAe,EAAE,CAAC;IAEvE,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,eAAe,CAAC;YACxB,OAAO,EAAE,uDAAuD;SACjE,CAAC,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,MAAM,EAAE,OAAO,EAAE,wBAAwB,EAAE,2BAA2B,EAAE,qBAAqB,EAAE,GAC7F,MAAM,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,0BAA0B,CACtD,EAAE,UAAU,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,EACzE;QACE,OAAO,EAAE;YACP,OAAO;YACP,SAAS;SACV;QACD,OAAO,EAAE,cAAc;KACxB,CACF,CAAC;IAEJ,4DAA4D;IAC5D,gDAAgD;IAChD,mEAAmE;IACnE,+DAA+D;IAC/D,uBAAuB,CAAC,YAAY,EAAE,wBAAwB,CAAC,CAAC;IAEhE,uDAAuD;IACvD,MAAM,UAAU,GAAG,gCAAgC,CAAC;QAClD,2BAA2B,EAAE,qBAAqB;QAClD,YAAY;QACZ,SAAS;QACT,kBAAkB,EAAE;YAClB,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,eAAe,EAAE,OAAO,CAAC,eAAe;SACzC;KACF,CAAC,CAAC;IAEH,OAAO,MAAM,gBAAgB,CAAC,OAAO,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;AACzD,CAAC"}

package/_esm/core/coprocessor/verifyHandlesCoprocessorSignatures.js

@@ -0,0 +1,37 @@
+import { recoverSigners } from '../utils-p/runtime/recoverSigners.js';
+import { coprocessorEip712PrimaryType, coprocessorEip712Types } from './coprocessorEip712Types.js';
+import { createCoprocessorEip712Domain } from './createCoprocessorEip712Domain.js';
+import { assertCoprocessorSignerThreshold } from '../host-contracts/CoprocessorSignersContext-p.js';
+import { readCoprocessorSignersContext } from '../host-contracts/readCoprocessorSignersContext-p.js';
+////////////////////////////////////////////////////////////////////////////////
+// verifyHandlesCoprocessorSignatures
+////////////////////////////////////////////////////////////////////////////////
+export async function verifyHandlesCoprocessorSignatures(context, parameters) {
+    // Use hex strings (not Uint8Array) for EIP-712 message fields.
+    // viem's hashTypedData expects hex strings for bytes32 fields.
+    const message = {
+        ctHandles: parameters.handles.map((h) => h.bytes32Hex),
+        userAddress: parameters.userAddress,
+        contractAddress: parameters.contractAddress,
+        contractChainId: parameters.chainId,
+        extraData: parameters.extraData,
+    };
+    const domain = createCoprocessorEip712Domain({
+        gatewayChainId: context.chain.fhevm.gateway.id,
+        verifyingContractAddressInputVerification: context.chain.fhevm.gateway.contracts.inputVerification.address,
+    });
+    // 1. Verify signatures
+    const recoveredAddresses = await recoverSigners(context, {
+        domain,
+        primaryType: coprocessorEip712PrimaryType,
+        types: coprocessorEip712Types,
+        signatures: parameters.coprocessorSignatures,
+        message,
+    });
+    const coprocessorSignersContext = await readCoprocessorSignersContext(context, {
+        address: context.chain.fhevm.contracts.inputVerifier.address,
+    });
+    // 2. Verify signature threshold is reached
+    assertCoprocessorSignerThreshold(coprocessorSignersContext, recoveredAddresses);
+}
+//# sourceMappingURL=verifyHandlesCoprocessorSignatures.js.map

package/_esm/core/coprocessor/verifyHandlesCoprocessorSignatures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifyHandlesCoprocessorSignatures.js","sourceRoot":"","sources":["../../../core/coprocessor/verifyHandlesCoprocessorSignatures.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAC;AACtE,OAAO,EAAE,4BAA4B,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACnG,OAAO,EAAE,6BAA6B,EAAE,MAAM,oCAAoC,CAAC;AACnF,OAAO,EAAE,gCAAgC,EAAE,MAAM,kDAAkD,CAAC;AACpG,OAAO,EAAE,6BAA6B,EAAE,MAAM,sDAAsD,CAAC;AAoBrG,gFAAgF;AAChF,qCAAqC;AACrC,gFAAgF;AAEhF,MAAM,CAAC,KAAK,UAAU,kCAAkC,CAAC,OAAgB,EAAE,UAAsB;IAC/F,+DAA+D;IAC/D,+DAA+D;IAC/D,MAAM,OAAO,GAA6B;QACxC,SAAS,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;QACtD,WAAW,EAAE,UAAU,CAAC,WAAW;QACnC,eAAe,EAAE,UAAU,CAAC,eAAe;QAC3C,eAAe,EAAE,UAAU,CAAC,OAAO;QACnC,SAAS,EAAE,UAAU,CAAC,SAAS;KAChC,CAAC;IAEF,MAAM,MAAM,GAA4B,6BAA6B,CAAC;QACpE,cAAc,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;QAC9C,yCAAyC,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,iBAAiB,CAAC,OAAO;KAC3G,CAAC,CAAC;IAEH,uBAAuB;IACvB,MAAM,kBAAkB,GAAG,MAAM,cAAc,CAAC,OAAO,EAAE;QACvD,MAAM;QACN,WAAW,EAAE,4BAA4B;QACzC,KAAK,EAAE,sBAAsB;QAC7B,UAAU,EAAE,UAAU,CAAC,qBAAqB;QAC5C,OAAO;KACR,CAAC,CAAC;IAEH,MAAM,yBAAyB,GAA8B,MAAM,6BAA6B,CAAC,OAAO,EAAE;QACxG,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,OAA6B;KACnF,CAAC,CAAC;IAEH,2CAA2C;IAC3C,gCAAgC,CAAC,yBAAyB,EAAE,kBAAkB,CAAC,CAAC;AAClF,CAAC"}

package/_esm/core/coprocessor/verifyInputProof.js

@@ -0,0 +1,22 @@
+import { InputProofError } from '../errors/InputProofError.js';
+import { verifyHandlesCoprocessorSignatures } from './verifyHandlesCoprocessorSignatures.js';
+////////////////////////////////////////////////////////////////////////////////
+export async function verifyInputProof(context, parameters) {
+    const signedHandleAccess = parameters.signedHandleAccess ?? parameters.inputProof.signedHandleAccess;
+    if (signedHandleAccess === undefined) {
+        throw new InputProofError({
+            message: 'Missing signedHandleAccess argument.',
+        });
+    }
+    const chainId = parameters.inputProof.inputHandles[0].chainId;
+    await verifyHandlesCoprocessorSignatures(context, {
+        chainId,
+        coprocessorSignatures: parameters.inputProof.coprocessorSignatures,
+        extraData: parameters.inputProof.extraData,
+        handles: parameters.inputProof.inputHandles,
+        userAddress: signedHandleAccess.userAddress,
+        contractAddress: signedHandleAccess.contractAddress,
+    });
+    return parameters.inputProof;
+}
+//# sourceMappingURL=verifyInputProof.js.map

package/_esm/core/coprocessor/verifyInputProof.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifyInputProof.js","sourceRoot":"","sources":["../../../core/coprocessor/verifyInputProof.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EAAE,kCAAkC,EAAE,MAAM,yCAAyC,CAAC;AAqB7F,gFAAgF;AAEhF,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,OAAgB,EAAE,UAAsB;IAC7E,MAAM,kBAAkB,GAAG,UAAU,CAAC,kBAAkB,IAAI,UAAU,CAAC,UAAU,CAAC,kBAAkB,CAAC;IAErG,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;QACrC,MAAM,IAAI,eAAe,CAAC;YACxB,OAAO,EAAE,sCAAsC;SAChD,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAE9D,MAAM,kCAAkC,CAAC,OAAO,EAAE;QAChD,OAAO;QACP,qBAAqB,EAAE,UAAU,CAAC,UAAU,CAAC,qBAAqB;QAClE,SAAS,EAAE,UAAU,CAAC,UAAU,CAAC,SAAS;QAC1C,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC,YAAY;QAC3C,WAAW,EAAE,kBAAkB,CAAC,WAAW;QAC3C,eAAe,EAAE,kBAAkB,CAAC,eAAe;KACpD,CAAC,CAAC;IAEH,OAAO,UAAU,CAAC,UAAgC,CAAC;AACrD,CAAC"}

package/_esm/core/errors/AclError.js

@@ -0,0 +1,43 @@
+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 _AclPublicDecryptionError_handles;
+import { ContractErrorBase } from './ContractErrorBase.js';
+export class AclPublicDecryptionError extends ContractErrorBase {
+    constructor({ contractAddress, handles }) {
+        const handleList = handles.join(', ');
+        super({
+            message: handles.length === 1
+                ? `Handle ${handles[0]} is not allowed for public decryption`
+                : `${handles.length} handles are not allowed for public decryption: ${handleList}`,
+            name: 'AclPublicDecryptionError',
+            contractAddress,
+            contractName: 'ACL',
+        });
+        _AclPublicDecryptionError_handles.set(this, void 0);
+        __classPrivateFieldSet(this, _AclPublicDecryptionError_handles, handles, "f");
+    }
+    get handles() {
+        return __classPrivateFieldGet(this, _AclPublicDecryptionError_handles, "f");
+    }
+}
+_AclPublicDecryptionError_handles = new WeakMap();
+export class AclUserDecryptionError extends ContractErrorBase {
+    constructor({ contractAddress, message }) {
+        super({
+            message,
+            name: 'AclUserDecryptionError',
+            contractAddress,
+            contractName: 'ACL',
+        });
+    }
+}
+//# sourceMappingURL=AclError.js.map

package/_esm/core/errors/AclError.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AclError.js","sourceRoot":"","sources":["../../../core/errors/AclError.ts"],"names":[],"mappings":";;;;;;;;;;;;AAGA,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAY3D,MAAM,OAAO,wBAAyB,SAAQ,iBAAiB;IAG7D,YAAY,EAAE,eAAe,EAAE,OAAO,EAAkE;QACtG,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,KAAK,CAAC;YACJ,OAAO,EACL,OAAO,CAAC,MAAM,KAAK,CAAC;gBAClB,CAAC,CAAC,UAAU,OAAO,CAAC,CAAC,CAAC,uCAAuC;gBAC7D,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,mDAAmD,UAAU,EAAE;YACtF,IAAI,EAAE,0BAA0B;YAChC,eAAe;YACf,YAAY,EAAE,KAAK;SACpB,CAAC,CAAC;QAZI,oDAAuB;QAa9B,uBAAA,IAAI,qCAAY,OAAO,MAAA,CAAC;IAC1B,CAAC;IAED,IAAW,OAAO;QAChB,OAAO,uBAAA,IAAI,yCAAS,CAAC;IACvB,CAAC;CACF;;AAUD,MAAM,OAAO,sBAAuB,SAAQ,iBAAiB;IAC3D,YAAY,EAAE,eAAe,EAAE,OAAO,EAAiD;QACrF,KAAK,CAAC;YACJ,OAAO;YACP,IAAI,EAAE,wBAAwB;YAC9B,eAAe;YACf,YAAY,EAAE,KAAK;SACpB,CAAC,CAAC;IACL,CAAC;CACF"}

package/_esm/core/errors/ContractErrorBase.js

@@ -0,0 +1,30 @@
+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 _ContractErrorBase_contractAddress, _ContractErrorBase_contractName;
+import { FhevmErrorBase } from './FhevmErrorBase.js';
+export class ContractErrorBase extends FhevmErrorBase {
+    constructor(params) {
+        super(params);
+        _ContractErrorBase_contractAddress.set(this, void 0);
+        _ContractErrorBase_contractName.set(this, void 0);
+        __classPrivateFieldSet(this, _ContractErrorBase_contractAddress, params.contractAddress, "f");
+        __classPrivateFieldSet(this, _ContractErrorBase_contractName, params.contractName, "f");
+    }
+    get contractAddress() {
+        return __classPrivateFieldGet(this, _ContractErrorBase_contractAddress, "f");
+    }
+    get contractName() {
+        return __classPrivateFieldGet(this, _ContractErrorBase_contractName, "f");
+    }
+}
+_ContractErrorBase_contractAddress = new WeakMap(), _ContractErrorBase_contractName = new WeakMap();
+//# sourceMappingURL=ContractErrorBase.js.map

package/_esm/core/errors/ContractErrorBase.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ContractErrorBase.js","sourceRoot":"","sources":["../../../core/errors/ContractErrorBase.ts"],"names":[],"mappings":";;;;;;;;;;;;AAGA,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAiBrD,MAAM,OAAgB,iBAAkB,SAAQ,cAAc;IAI5D,YAAY,MAA+B;QACzC,KAAK,CAAC,MAAM,CAAC,CAAC;QAJP,qDAA0B;QAC1B,kDAAsB;QAI7B,uBAAA,IAAI,sCAAoB,MAAM,CAAC,eAAe,MAAA,CAAC;QAC/C,uBAAA,IAAI,mCAAiB,MAAM,CAAC,YAAY,MAAA,CAAC;IAC3C,CAAC;IAED,IAAW,eAAe;QACxB,OAAO,uBAAA,IAAI,0CAAiB,CAAC;IAC/B,CAAC;IAED,IAAW,YAAY;QACrB,OAAO,uBAAA,IAAI,uCAAc,CAAC;IAC5B,CAAC;CACF"}