@midnight-ntwrk/midnight-js-types 5.0.0-beta.3 → 5.0.0-beta.4

package/dist/index.cjs

@@ -435,11 +435,24 @@ class ZKConfigProvider {
  */
 class ZKArtifactNotFoundError extends Error {
     keyLocation;
-    constructor(keyLocation) {
+    suppressedErrors;
+    /**
+     * @param keyLocation The location that could not be resolved.
+     * @param suppressedErrors Errors raised by individual sources while probing their verifier key
+     * (integrity violations, permission/IO failures, or a genuine absence of the circuit). They are
+     * attached as this error's `cause` so a real failure — for example a `ZkArtifactIntegrityError` —
+     * is not hidden behind the "missing or stale" message.
+     */
+    constructor(keyLocation, suppressedErrors = []) {
         super(`No ZK artifact bundle matches the deployed verifier key for contract ` +
             `'${keyLocation.contractAddress}', circuit '${keyLocation.circuitId}'. The local compiled ` +
-            `artifacts are missing or stale with respect to the deployed contract.`);
+            `artifacts are missing or stale with respect to the deployed contract.`, suppressedErrors.length > 0
+            ? {
+                cause: new AggregateError(suppressedErrors, 'One or more artifact sources errored while resolving the verifier key.')
+            }
+            : undefined);
         this.keyLocation = keyLocation;
+        this.suppressedErrors = suppressedErrors;
         this.name = 'ZKArtifactNotFoundError';
     }
 }
@@ -457,12 +470,23 @@ class ZKArtifactNotFoundError extends Error {
  * resolution immune to redeploys, multiple deployments of one contract, and circuit-name
  * collisions across contracts.
  *
- * The sources are the per-contract {@link ZKConfigProvider}s the application already constructs;
- * resolutions are memoized per location.
+ * The sources are the per-contract {@link ZKConfigProvider}s the application already constructs. The
+ * location→source binding and each source's verifier-key hashes are memoized; the (potentially
+ * multi-MB) artifacts themselves are re-fetched from the bound source rather than retained, so the
+ * registry's memory does not grow with the number of distinct locations resolved.
  */
 class ZKConfigRegistry {
     sources;
-    resolved = new Map();
+    /**
+     * Binds a resolved key location to the source that serves it — a single source reference per
+     * location, so it can be held for the registry's lifetime without retaining artifact bytes.
+     */
+    boundSource = new Map();
+    /**
+     * Memoizes each source's verifier-key hash per circuit, so source selection reuses computed
+     * hashes instead of re-fetching and re-hashing keys on every new location.
+     */
+    vkHashByCircuit = new Map();
     /**
      * @param sources The compiled-contract artifact sources to resolve against — one per compiled
      * contract the application can call (its own contracts and any cross-contract call targets).
@@ -514,27 +538,65 @@ class ZKConfigRegistry {
         };
     }
     async resolve(keyLocation, parsed) {
-        const memoized = this.resolved.get(keyLocation);
-        if (memoized !== undefined) {
-            return memoized;
+        const bound = this.boundSource.get(keyLocation);
+        if (bound !== undefined) {
+            return this.buildConfig(bound, parsed.circuitId);
         }
+        const suppressedErrors = [];
         for (const source of this.sources) {
-            let verifierKey;
+            let probe;
             try {
-                verifierKey = await source.getVerifierKey(parsed.circuitId);
+                probe = await this.probeVerifierKeyHash(source, parsed.circuitId);
             }
-            catch {
-                // The source has no circuit by this name; try the next one.
+            catch (error) {
+                // A source may simply not have this circuit, or the read may have failed for a real reason
+                // (integrity violation, permissions, IO). The provider interface can't tell them apart, so
+                // keep probing other sources but retain the error to surface as the cause if none matches —
+                // never silently discard it.
+                suppressedErrors.push(error);
                 continue;
             }
-            if (compactJs.hashVerifierKey(verifierKey) !== parsed.verifierKeyHash) {
+            if (probe.hash !== parsed.verifierKeyHash) {
                 continue;
             }
-            const config = await source.get(parsed.circuitId);
-            this.resolved.set(keyLocation, config);
-            return config;
+            this.boundSource.set(keyLocation, source);
+            return this.buildConfig(source, parsed.circuitId, probe.verifierKey);
         }
-        throw new ZKArtifactNotFoundError(parsed);
+        throw new ZKArtifactNotFoundError(parsed, suppressedErrors);
+    }
+    /**
+     * Returns a source's verifier-key hash for a circuit, memoized per source and circuit. The
+     * verifier key bytes are included only when freshly fetched (a memo miss), so a caller that
+     * matches on the hash can reuse them and avoid a second fetch (and re-integrity-verification).
+     */
+    async probeVerifierKeyHash(source, circuitId) {
+        const cached = this.vkHashByCircuit.get(source)?.get(circuitId);
+        if (cached !== undefined) {
+            return { hash: cached };
+        }
+        const verifierKey = await source.getVerifierKey(circuitId);
+        const hash = compactJs.hashVerifierKey(verifierKey);
+        let byCircuit = this.vkHashByCircuit.get(source);
+        if (byCircuit === undefined) {
+            byCircuit = new Map();
+            this.vkHashByCircuit.set(source, byCircuit);
+        }
+        byCircuit.set(circuitId, hash);
+        return { hash, verifierKey };
+    }
+    /**
+     * Assembles the {@link ZKConfig} for a circuit from a source. Reuses an already-fetched verifier
+     * key when the caller has one, so it is not fetched (and re-integrity-verified) a second time;
+     * otherwise fetches all three artifacts from the source. Unlike {@link ZKConfigProvider.get}, the
+     * three fetches run concurrently.
+     */
+    async buildConfig(source, circuitId, verifierKey) {
+        const [proverKey, resolvedVerifierKey, zkir] = await Promise.all([
+            source.getProverKey(circuitId),
+            verifierKey !== undefined ? Promise.resolve(verifierKey) : source.getVerifierKey(circuitId),
+            source.getZKIR(circuitId)
+        ]);
+        return { circuitId, proverKey, verifierKey: resolvedVerifierKey, zkir };
     }
 }
 

package/dist/index.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.cjs","sources":["../src/contract.ts","../src/errors.ts","../src/logger-provider.ts","../src/midnight-types.ts","../src/private-state-provider.ts","../src/proof-provider.ts","../src/zk-config-provider.ts","../src/zk-config-registry.ts"],"sourcesContent":[null,null,null,null,null,null,null,null],"names":["Effect","Option","Contract","ZKConfigurationReadError","Layer","ZKConfiguration","Configuration","ConfigProvider","ContractExecutableRuntime","Exit","Cause","ContractAddress","LogLevel","CostModel","encodeContractKeyLocation","parseContractKeyLocation","hashVerifierKey"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;;;;;;;;;;;;;AAaG;AAYH;;;;;;;;AAQG;AACH,MAAM,iBAAiB,GAAG,CAAsC,gBAA0C,KACxG,CAAC,gBAA0D,KACzDA,eAAM,CAAC,GAAG,CAAC,aAAS;;;IAGlB,MAAM,cAAc,GAAG,CAAC,iBAAgD,KACtEA,eAAM,CAAC,UAAU,CAAC;AAChB,QAAA,GAAG,EAAE,MAAM,gBAAgB,CAAC,cAAc,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,KAAKC,eAAM,CAAC,IAAI,CAACC,eAAQ,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC;AACnI,QAAA,KAAK,EAAE,CAAC,GAAY,KAAKC,+BAAwB,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,iBAAiB,EAAE,cAAc,EAAE,GAAG;AACpH,KAAA,CAAC;IACJ,OAAO;QACL,cAAc;QACd,eAAe,EAAE,CAAC,kBAAkB,KAClCH,eAAM,CAAC,OAAO,CACZ,kBAAkB,EAClB,CAAC,iBAAiB,KAChB,cAAc,CAAC,iBAAiB,CAAC,CAAC,IAAI,CACpCA,eAAM,CAAC,GAAG,CAAC,CAAC,WAAW,KAAK,CAAC,iBAAiB,EAAE,WAAW,CAAU,CAAC,CACvE,EACH,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE;KAEO;AAC3D,CAAC,CAAC;AAEN,MAAM,uBAAuB,GAAG,CAAC,gBAA0C,EAAE,SAA8B,KACzGI,cAAK,CAAC,QAAQ,CACZA,cAAK,CAAC,OAAO,CACXC,sBAAe,CAAC,eAAe,EAC/BA,sBAAe,CAAC,eAAe,CAAC,EAAE,CAAC;AACjC,IAAA,YAAY,EAAE,iBAAiB,CAAC,gBAAgB;AACjD,CAAA,CAAC,CACH,EACDC,wBAAa,CAAC,KAAK,CACpB,CAAC,IAAI,CACJF,cAAK,CAAC,OAAO,CACXA,cAAK,CAAC,iBAAiB,CAACG,uBAAc,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAACA,uBAAc,CAAC,YAAY,CAAC,CAAC,CACjH,CACF;AAaH;;;;;;AAMG;MACU,6BAA6B,GAExC,CAAC,gBAAgB,EAAE,OAAO,KAAI;IAC5B,IAAI,MAAM,GAAgC,CAAC,CAAC,kBAAkB,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;AACvF,IAAA,IAAI,OAAO,CAAC,UAAU,EAAE;AACtB,QAAA,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;AACrB,YAAA,CAAC,cAAc,EAAE,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC;AAC1C,YAAA,CAAC,mBAAmB,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG;AAC7C,SAAA,CAAC;IACJ;AACA,IAAA,OAAOC,gCAAyB,CAAC,IAAI,CAAC,uBAAuB,CAAC,gBAAgB,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AACnG;AAEF;;;;;;AAMG;AACI,MAAM,iBAAiB,GAC5B,CAAC,IAAI,KAAKC,aAAI,CAAC,KAAK,CAAC,IAAI,EAAE;AACzB,IAAA,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC;AACnB,IAAA,SAAS,EAAE,CAAC,KAAK,KAAI;AACnB,QAAA,IAAIC,cAAK,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,MAAM,KAAK,CAAC,KAAK;AAC9C,QAAA,MAAM,IAAI,KAAK,CAAC,CAAA,kBAAA,EAAqBA,cAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA,CAAE,CAAC;IAC7D;AACD,CAAA;AAEH;;;;;AAKG;AACI,MAAM,cAAc,GAAG,CAAI,GAAY,KAAsB;AAClE,IAAA,OAAOT,eAAM,CAAC,IAAI,CAAC,GAAG,CAAqB;AAC7C;AAEA;;;;;AAKG;AACI,MAAM,iBAAiB,GAAG,CAAC,OAAe,KAC/CU,0BAAe,CAAC,eAAe,CAAC,OAAO;;ACzIzC;;;;;;;;;;;;;AAaG;AAEH;;AAEG;AACG,MAAO,0BAA2B,SAAQ,KAAK,CAAA;AAMjC,IAAA,aAAA;AACA,IAAA,gBAAA;AANlB;;;AAGG;IACH,WAAA,CACkB,aAAqB,EACrB,gBAA0B,EAAA;AAE1C,QAAA,KAAK,CAAC,CAAA,0BAAA,EAA6B,aAAa,CAAA,iCAAA,EAAoC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA,CAAE,CAAC;QAHjG,IAAA,CAAA,aAAa,GAAb,aAAa;QACb,IAAA,CAAA,gBAAgB,GAAhB,gBAAgB;IAGlC;AACD;AAED;;AAEG;AACG,MAAO,uBAAwB,SAAQ,KAAK,CAAA;IAChD,WAAA,CAAY,OAAe,EAAE,OAAsB,EAAA;AACjD,QAAA,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;AACvB,QAAA,IAAI,CAAC,IAAI,GAAG,yBAAyB;IACvC;AACD;AAED;;AAEG;AACG,MAAO,qBAAsB,SAAQ,KAAK,CAAA;IAC9C,WAAA,CAAY,OAAe,EAAE,OAAsB,EAAA;AACjD,QAAA,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;AACvB,QAAA,IAAI,CAAC,IAAI,GAAG,uBAAuB;IACrC;AACD;AAWD;;AAEG;AACG,MAAO,uBAAwB,SAAQ,KAAK,CAAA;AAG9B,IAAA,KAAA;IAFlB,WAAA,CACE,OAAe,EACC,KAAoC,EAAA;QAEpD,KAAK,CAAC,OAAO,CAAC;QAFE,IAAA,CAAA,KAAK,GAAL,KAAK;AAGrB,QAAA,IAAI,CAAC,IAAI,GAAG,yBAAyB;IACvC;AACD;AAED;;;;AAIG;AACG,MAAO,qBAAsB,SAAQ,uBAAuB,CAAA;AAChE,IAAA,WAAA,GAAA;AACE,QAAA,KAAK,CACH,4FAA4F,EAC5F,mBAAmB,CACpB;AACD,QAAA,IAAI,CAAC,IAAI,GAAG,uBAAuB;IACrC;AACD;AAED;;AAEG;AACG,MAAO,wBAAyB,SAAQ,uBAAuB,CAAA;IACnE,WAAA,CAAY,OAAO,GAAG,uBAAuB,EAAA;AAC3C,QAAA,KAAK,CAAC,OAAO,EAAE,gBAAgB,CAAC;AAChC,QAAA,IAAI,CAAC,IAAI,GAAG,0BAA0B;IACxC;AACD;AAED;;AAEG;AACG,MAAO,mBAAoB,SAAQ,uBAAuB,CAAA;AAE5C,IAAA,aAAA;AADlB,IAAA,WAAA,CACkB,aAAqB,EACrC,UAAU,GAAG,eAAe,EAAA;QAE5B,KAAK,CACH,yBAAyB,aAAa,CAAA,UAAA,EAAa,UAAU,CAAA,EAAG,aAAa,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,CAAA,CAAE,EAChG,UAAU,CACX;QANe,IAAA,CAAA,aAAa,GAAb,aAAa;AAO7B,QAAA,IAAI,CAAC,IAAI,GAAG,qBAAqB;IACnC;AACD;;AChHD;;;;;;;;;;;;;AAaG;AAIH;;AAEG;AACSC;AAAZ,CAAA,UAAY,QAAQ,EAAA;AAClB;;AAEG;AACH,IAAA,QAAA,CAAA,MAAA,CAAA,GAAA,MAAa;AACb,IAAA,QAAA,CAAA,MAAA,CAAA,GAAA,MAAa;AACb,IAAA,QAAA,CAAA,OAAA,CAAA,GAAA,OAAe;AACf,IAAA,QAAA,CAAA,OAAA,CAAA,GAAA,OAAe;AACf;;AAEG;AACH,IAAA,QAAA,CAAA,OAAA,CAAA,GAAA,OAAe;AACf,IAAA,QAAA,CAAA,OAAA,CAAA,GAAA,OAAe;AACjB,CAAC,EAbWA,gBAAQ,KAARA,gBAAQ,GAAA,EAAA,CAAA,CAAA;;ACpBpB;;;;;;;;;;;;;AAaG;AA4BH;;;;;AAKG;AACI,MAAM,eAAe,GAAG,CAAC,UAAsB,KAAe;AACnE,IAAA,OAAO,UAAuB;AAChC;AAYA;;;;AAIG;AACI,MAAM,iBAAiB,GAAG,CAAC,UAAsB,KAAiB;AACvE,IAAA,OAAO,UAAyB;AAClC;AAYA;;;;AAIG;AACI,MAAM,UAAU,GAAG,CAAC,UAAsB,KAAU;AACzD,IAAA,OAAO,UAAkB;AAC3B;AAyBA;;;AAGG;AACI,MAAM,4BAA4B,GAAG,CAAmB,QAAqB,KAAI;IACtF,OAAO;QACL,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,EAAE,EAAE,QAAQ,CAAC,IAAI;KAClB;AACH;AAEA;;AAEG;AACI,MAAM,WAAW,GAAG;AAE3B;;AAEG;AACI,MAAM,cAAc,GAAG;AAQ9B;;AAEG;AACI,MAAM,YAAY,GAAG;AAE5B;;;;;AAKG;AACI,MAAM,YAAY,GAAG;AAE5B;;;AAGG;AACI,MAAM,eAAe,GAAG;;AC7J/B;;;;;;;;;;;;;AAaG;AAgCH;;;AAGG;AACI,MAAM,iBAAiB,GAAG;AA4FjC;;;AAGG;AACI,MAAM,uBAAuB,GAAG;;ACjJvC;;;;;;;;;;;;;AAaG;AAwCH;;;;;;;AAOG;AACI,MAAM,mBAAmB,GAAG,CACjC,eAAgC,EAChC,SAAA,GAAuBC,gBAAS,CAAC,gBAAgB,EAAE,MAChC;IACnB,MAAM,OAAO,CAAC,UAA+B,EAAA;QAC3C,OAAO,UAAU,CAAC,KAAK,CAAC,eAAe,EAAE,SAAS,CAAC;IACrD;AACD,CAAA;;ACpED;;;;;;;;;;;;;AAaG;AAaH;;;;;;AAMG;MACmB,gBAAgB,CAAA;AAmBpC;;;AAGG;IACH,MAAM,eAAe,CAAC,UAAe,EAAA;AACnC,QAAA,OAAO,OAAO,CAAC,GAAG,CAChB,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,KAAI;YAC1B,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;AACzC,YAAA,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC;QAClB,CAAC,CAAC,CACH;IACH;AAEA;;;AAGG;IACH,MAAM,GAAG,CAAC,SAAY,EAAA;QACpB,OAAO;YACL,SAAS;AACT,YAAA,SAAS,EAAE,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC;AAC7C,YAAA,WAAW,EAAE,MAAM,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC;AACjD,YAAA,IAAI,EAAE,MAAM,IAAI,CAAC,OAAO,CAAC,SAAS;SACnC;IACH;IAEA,qBAAqB,GAAA;AACnB,QAAA,OAAO,IAA2B;IACpC;AACD;;ACjFD;;;;;;;;;;;;;AAaG;AAMH;;;;AAIG;AACG,MAAO,uBAAwB,SAAQ,KAAK,CAAA;AAC3B,IAAA,WAAA;AAArB,IAAA,WAAA,CAAqB,WAAgC,EAAA;AACnD,QAAA,KAAK,CACH,CAAA,qEAAA,CAAuE;AACrE,YAAA,CAAA,CAAA,EAAI,WAAW,CAAC,eAAe,eAAe,WAAW,CAAC,SAAS,CAAA,sBAAA,CAAwB;AAC3F,YAAA,CAAA,qEAAA,CAAuE,CAC1E;QALkB,IAAA,CAAA,WAAW,GAAX,WAAW;AAM9B,QAAA,IAAI,CAAC,IAAI,GAAG,yBAAyB;IACvC;AACD;AAED;;;;;;;;;;;;;;;;AAgBG;MACU,gBAAgB,CAAA;AACV,IAAA,OAAO;AAEP,IAAA,QAAQ,GAAG,IAAI,GAAG,EAA4B;AAE/D;;;AAGG;AACH,IAAA,WAAA,CAAY,OAA2C,EAAA;AACrD,QAAA,IAAI,CAAC,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC;IAC7B;AAEA;;;;;AAKG;AACH,IAAA,GAAG,CAAC,QAA6B,EAAA;QAC/B,OAAO,IAAI,CAAC,OAAO,CAACC,mCAAyB,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpE;AAEA;;;;;;;;AAQG;IACH,MAAM,kBAAkB,CAAC,WAAmB,EAAA;AAC1C,QAAA,MAAM,MAAM,GAAGC,kCAAwB,CAAC,WAAW,CAAC;AACpD,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,YAAA,OAAO,SAAS;QAClB;QACA,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC;IAC1C;AAEA;;;AAGG;IACH,qBAAqB,GAAA;AACnB,QAAA,MAAM,OAAO,GAAG,OAAO,kBAA0B,KAA+B;YAC9E,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,kBAAkB,CAAC,kBAAkB,CAAC;AAChE,YAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,gBAAA,MAAM,IAAI,KAAK,CAAC,IAAI,kBAAkB,CAAA,gCAAA,CAAkC,CAAC;YAC3E;AACA,YAAA,OAAO,MAAM;AACf,QAAA,CAAC;QACD,OAAO;YACL,OAAO,EAAE,CAAC,kBAAkB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC;YAC1F,YAAY,EAAE,CAAC,kBAAkB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,SAAS,CAAC;YACpG,cAAc,EAAE,CAAC,kBAAkB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,WAAW;SACxG;IACH;AAEQ,IAAA,MAAM,OAAO,CAAC,WAAmB,EAAE,MAA2B,EAAA;QACpE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC;AAC/C,QAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;AAC1B,YAAA,OAAO,QAAQ;QACjB;AACA,QAAA,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE;AACjC,YAAA,IAAI,WAAuB;AAC3B,YAAA,IAAI;gBACF,WAAW,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC;YAC7D;AAAE,YAAA,MAAM;;gBAEN;YACF;YACA,IAAIC,yBAAe,CAAC,WAAW,CAAC,KAAK,MAAM,CAAC,eAAe,EAAE;gBAC3D;YACF;YACA,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC;YACjD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC;AACtC,YAAA,OAAO,MAAM;QACf;AACA,QAAA,MAAM,IAAI,uBAAuB,CAAC,MAAM,CAAC;IAC3C;AACD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"file":"index.cjs","sources":["../src/contract.ts","../src/errors.ts","../src/logger-provider.ts","../src/midnight-types.ts","../src/private-state-provider.ts","../src/proof-provider.ts","../src/zk-config-provider.ts","../src/zk-config-registry.ts"],"sourcesContent":[null,null,null,null,null,null,null,null],"names":["Effect","Option","Contract","ZKConfigurationReadError","Layer","ZKConfiguration","Configuration","ConfigProvider","ContractExecutableRuntime","Exit","Cause","ContractAddress","LogLevel","CostModel","encodeContractKeyLocation","parseContractKeyLocation","hashVerifierKey"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;;;;;;;;;;;;;AAaG;AAYH;;;;;;;;AAQG;AACH,MAAM,iBAAiB,GAAG,CAAsC,gBAA0C,KACxG,CAAC,gBAA0D,KACzDA,eAAM,CAAC,GAAG,CAAC,aAAS;;;IAGlB,MAAM,cAAc,GAAG,CAAC,iBAAgD,KACtEA,eAAM,CAAC,UAAU,CAAC;AAChB,QAAA,GAAG,EAAE,MAAM,gBAAgB,CAAC,cAAc,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,KAAKC,eAAM,CAAC,IAAI,CAACC,eAAQ,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC;AACnI,QAAA,KAAK,EAAE,CAAC,GAAY,KAAKC,+BAAwB,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,iBAAiB,EAAE,cAAc,EAAE,GAAG;AACpH,KAAA,CAAC;IACJ,OAAO;QACL,cAAc;QACd,eAAe,EAAE,CAAC,kBAAkB,KAClCH,eAAM,CAAC,OAAO,CACZ,kBAAkB,EAClB,CAAC,iBAAiB,KAChB,cAAc,CAAC,iBAAiB,CAAC,CAAC,IAAI,CACpCA,eAAM,CAAC,GAAG,CAAC,CAAC,WAAW,KAAK,CAAC,iBAAiB,EAAE,WAAW,CAAU,CAAC,CACvE,EACH,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE;KAEO;AAC3D,CAAC,CAAC;AAEN,MAAM,uBAAuB,GAAG,CAAC,gBAA0C,EAAE,SAA8B,KACzGI,cAAK,CAAC,QAAQ,CACZA,cAAK,CAAC,OAAO,CACXC,sBAAe,CAAC,eAAe,EAC/BA,sBAAe,CAAC,eAAe,CAAC,EAAE,CAAC;AACjC,IAAA,YAAY,EAAE,iBAAiB,CAAC,gBAAgB;AACjD,CAAA,CAAC,CACH,EACDC,wBAAa,CAAC,KAAK,CACpB,CAAC,IAAI,CACJF,cAAK,CAAC,OAAO,CACXA,cAAK,CAAC,iBAAiB,CAACG,uBAAc,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAACA,uBAAc,CAAC,YAAY,CAAC,CAAC,CACjH,CACF;AAaH;;;;;;AAMG;MACU,6BAA6B,GAExC,CAAC,gBAAgB,EAAE,OAAO,KAAI;IAC5B,IAAI,MAAM,GAAgC,CAAC,CAAC,kBAAkB,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;AACvF,IAAA,IAAI,OAAO,CAAC,UAAU,EAAE;AACtB,QAAA,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;AACrB,YAAA,CAAC,cAAc,EAAE,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC;AAC1C,YAAA,CAAC,mBAAmB,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG;AAC7C,SAAA,CAAC;IACJ;AACA,IAAA,OAAOC,gCAAyB,CAAC,IAAI,CAAC,uBAAuB,CAAC,gBAAgB,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AACnG;AAEF;;;;;;AAMG;AACI,MAAM,iBAAiB,GAC5B,CAAC,IAAI,KAAKC,aAAI,CAAC,KAAK,CAAC,IAAI,EAAE;AACzB,IAAA,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC;AACnB,IAAA,SAAS,EAAE,CAAC,KAAK,KAAI;AACnB,QAAA,IAAIC,cAAK,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,MAAM,KAAK,CAAC,KAAK;AAC9C,QAAA,MAAM,IAAI,KAAK,CAAC,CAAA,kBAAA,EAAqBA,cAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA,CAAE,CAAC;IAC7D;AACD,CAAA;AAEH;;;;;AAKG;AACI,MAAM,cAAc,GAAG,CAAI,GAAY,KAAsB;AAClE,IAAA,OAAOT,eAAM,CAAC,IAAI,CAAC,GAAG,CAAqB;AAC7C;AAEA;;;;;AAKG;AACI,MAAM,iBAAiB,GAAG,CAAC,OAAe,KAC/CU,0BAAe,CAAC,eAAe,CAAC,OAAO;;ACzIzC;;;;;;;;;;;;;AAaG;AAEH;;AAEG;AACG,MAAO,0BAA2B,SAAQ,KAAK,CAAA;AAMjC,IAAA,aAAA;AACA,IAAA,gBAAA;AANlB;;;AAGG;IACH,WAAA,CACkB,aAAqB,EACrB,gBAA0B,EAAA;AAE1C,QAAA,KAAK,CAAC,CAAA,0BAAA,EAA6B,aAAa,CAAA,iCAAA,EAAoC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA,CAAE,CAAC;QAHjG,IAAA,CAAA,aAAa,GAAb,aAAa;QACb,IAAA,CAAA,gBAAgB,GAAhB,gBAAgB;IAGlC;AACD;AAED;;AAEG;AACG,MAAO,uBAAwB,SAAQ,KAAK,CAAA;IAChD,WAAA,CAAY,OAAe,EAAE,OAAsB,EAAA;AACjD,QAAA,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;AACvB,QAAA,IAAI,CAAC,IAAI,GAAG,yBAAyB;IACvC;AACD;AAED;;AAEG;AACG,MAAO,qBAAsB,SAAQ,KAAK,CAAA;IAC9C,WAAA,CAAY,OAAe,EAAE,OAAsB,EAAA;AACjD,QAAA,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;AACvB,QAAA,IAAI,CAAC,IAAI,GAAG,uBAAuB;IACrC;AACD;AAWD;;AAEG;AACG,MAAO,uBAAwB,SAAQ,KAAK,CAAA;AAG9B,IAAA,KAAA;IAFlB,WAAA,CACE,OAAe,EACC,KAAoC,EAAA;QAEpD,KAAK,CAAC,OAAO,CAAC;QAFE,IAAA,CAAA,KAAK,GAAL,KAAK;AAGrB,QAAA,IAAI,CAAC,IAAI,GAAG,yBAAyB;IACvC;AACD;AAED;;;;AAIG;AACG,MAAO,qBAAsB,SAAQ,uBAAuB,CAAA;AAChE,IAAA,WAAA,GAAA;AACE,QAAA,KAAK,CACH,4FAA4F,EAC5F,mBAAmB,CACpB;AACD,QAAA,IAAI,CAAC,IAAI,GAAG,uBAAuB;IACrC;AACD;AAED;;AAEG;AACG,MAAO,wBAAyB,SAAQ,uBAAuB,CAAA;IACnE,WAAA,CAAY,OAAO,GAAG,uBAAuB,EAAA;AAC3C,QAAA,KAAK,CAAC,OAAO,EAAE,gBAAgB,CAAC;AAChC,QAAA,IAAI,CAAC,IAAI,GAAG,0BAA0B;IACxC;AACD;AAED;;AAEG;AACG,MAAO,mBAAoB,SAAQ,uBAAuB,CAAA;AAE5C,IAAA,aAAA;AADlB,IAAA,WAAA,CACkB,aAAqB,EACrC,UAAU,GAAG,eAAe,EAAA;QAE5B,KAAK,CACH,yBAAyB,aAAa,CAAA,UAAA,EAAa,UAAU,CAAA,EAAG,aAAa,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,CAAA,CAAE,EAChG,UAAU,CACX;QANe,IAAA,CAAA,aAAa,GAAb,aAAa;AAO7B,QAAA,IAAI,CAAC,IAAI,GAAG,qBAAqB;IACnC;AACD;;AChHD;;;;;;;;;;;;;AAaG;AAIH;;AAEG;AACSC;AAAZ,CAAA,UAAY,QAAQ,EAAA;AAClB;;AAEG;AACH,IAAA,QAAA,CAAA,MAAA,CAAA,GAAA,MAAa;AACb,IAAA,QAAA,CAAA,MAAA,CAAA,GAAA,MAAa;AACb,IAAA,QAAA,CAAA,OAAA,CAAA,GAAA,OAAe;AACf,IAAA,QAAA,CAAA,OAAA,CAAA,GAAA,OAAe;AACf;;AAEG;AACH,IAAA,QAAA,CAAA,OAAA,CAAA,GAAA,OAAe;AACf,IAAA,QAAA,CAAA,OAAA,CAAA,GAAA,OAAe;AACjB,CAAC,EAbWA,gBAAQ,KAARA,gBAAQ,GAAA,EAAA,CAAA,CAAA;;ACpBpB;;;;;;;;;;;;;AAaG;AA4BH;;;;;AAKG;AACI,MAAM,eAAe,GAAG,CAAC,UAAsB,KAAe;AACnE,IAAA,OAAO,UAAuB;AAChC;AAYA;;;;AAIG;AACI,MAAM,iBAAiB,GAAG,CAAC,UAAsB,KAAiB;AACvE,IAAA,OAAO,UAAyB;AAClC;AAYA;;;;AAIG;AACI,MAAM,UAAU,GAAG,CAAC,UAAsB,KAAU;AACzD,IAAA,OAAO,UAAkB;AAC3B;AAyBA;;;AAGG;AACI,MAAM,4BAA4B,GAAG,CAAmB,QAAqB,KAAI;IACtF,OAAO;QACL,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,EAAE,EAAE,QAAQ,CAAC,IAAI;KAClB;AACH;AAEA;;AAEG;AACI,MAAM,WAAW,GAAG;AAE3B;;AAEG;AACI,MAAM,cAAc,GAAG;AAQ9B;;AAEG;AACI,MAAM,YAAY,GAAG;AAE5B;;;;;AAKG;AACI,MAAM,YAAY,GAAG;AAE5B;;;AAGG;AACI,MAAM,eAAe,GAAG;;AC7J/B;;;;;;;;;;;;;AAaG;AAgCH;;;AAGG;AACI,MAAM,iBAAiB,GAAG;AA4FjC;;;AAGG;AACI,MAAM,uBAAuB,GAAG;;ACjJvC;;;;;;;;;;;;;AAaG;AA2CH;;;;;;;AAOG;AACI,MAAM,mBAAmB,GAAG,CACjC,eAAgC,EAChC,SAAA,GAAuBC,gBAAS,CAAC,gBAAgB,EAAE,MAChC;IACnB,MAAM,OAAO,CAAC,UAA+B,EAAA;QAC3C,OAAO,UAAU,CAAC,KAAK,CAAC,eAAe,EAAE,SAAS,CAAC;IACrD;AACD,CAAA;;ACvED;;;;;;;;;;;;;AAaG;AAaH;;;;;;AAMG;MACmB,gBAAgB,CAAA;AAmBpC;;;AAGG;IACH,MAAM,eAAe,CAAC,UAAe,EAAA;AACnC,QAAA,OAAO,OAAO,CAAC,GAAG,CAChB,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,KAAI;YAC1B,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;AACzC,YAAA,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC;QAClB,CAAC,CAAC,CACH;IACH;AAEA;;;AAGG;IACH,MAAM,GAAG,CAAC,SAAY,EAAA;QACpB,OAAO;YACL,SAAS;AACT,YAAA,SAAS,EAAE,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC;AAC7C,YAAA,WAAW,EAAE,MAAM,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC;AACjD,YAAA,IAAI,EAAE,MAAM,IAAI,CAAC,OAAO,CAAC,SAAS;SACnC;IACH;IAEA,qBAAqB,GAAA;AACnB,QAAA,OAAO,IAA2B;IACpC;AACD;;ACjFD;;;;;;;;;;;;;AAaG;AAMH;;;;AAIG;AACG,MAAO,uBAAwB,SAAQ,KAAK,CAAA;AASrC,IAAA,WAAA;AACA,IAAA,gBAAA;AATX;;;;;;AAMG;IACH,WAAA,CACW,WAAgC,EAChC,gBAAA,GAAuC,EAAE,EAAA;AAElD,QAAA,KAAK,CACH,CAAA,qEAAA,CAAuE;AACrE,YAAA,CAAA,CAAA,EAAI,WAAW,CAAC,eAAe,eAAe,WAAW,CAAC,SAAS,CAAA,sBAAA,CAAwB;AAC3F,YAAA,CAAA,qEAAA,CAAuE,EACzE,gBAAgB,CAAC,MAAM,GAAG;AACxB,cAAE;AACE,gBAAA,KAAK,EAAE,IAAI,cAAc,CACvB,gBAAgB,EAChB,wEAAwE;AAE3E;cACD,SAAS,CACd;QAfQ,IAAA,CAAA,WAAW,GAAX,WAAW;QACX,IAAA,CAAA,gBAAgB,GAAhB,gBAAgB;AAezB,QAAA,IAAI,CAAC,IAAI,GAAG,yBAAyB;IACvC;AACD;AAED;;;;;;;;;;;;;;;;;;AAkBG;MACU,gBAAgB,CAAA;AACV,IAAA,OAAO;AAExB;;;AAGG;AACc,IAAA,WAAW,GAAG,IAAI,GAAG,EAAoC;AAE1E;;;AAGG;AACc,IAAA,eAAe,GAAG,IAAI,GAAG,EAAiD;AAE3F;;;AAGG;AACH,IAAA,WAAA,CAAY,OAA2C,EAAA;AACrD,QAAA,IAAI,CAAC,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC;IAC7B;AAEA;;;;;AAKG;AACH,IAAA,GAAG,CAAC,QAA6B,EAAA;QAC/B,OAAO,IAAI,CAAC,OAAO,CAACC,mCAAyB,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpE;AAEA;;;;;;;;AAQG;IACH,MAAM,kBAAkB,CAAC,WAAmB,EAAA;AAC1C,QAAA,MAAM,MAAM,GAAGC,kCAAwB,CAAC,WAAW,CAAC;AACpD,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,YAAA,OAAO,SAAS;QAClB;QACA,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC;IAC1C;AAEA;;;AAGG;IACH,qBAAqB,GAAA;AACnB,QAAA,MAAM,OAAO,GAAG,OAAO,kBAA0B,KAA+B;YAC9E,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,kBAAkB,CAAC,kBAAkB,CAAC;AAChE,YAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,gBAAA,MAAM,IAAI,KAAK,CAAC,IAAI,kBAAkB,CAAA,gCAAA,CAAkC,CAAC;YAC3E;AACA,YAAA,OAAO,MAAM;AACf,QAAA,CAAC;QACD,OAAO;YACL,OAAO,EAAE,CAAC,kBAAkB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC;YAC1F,YAAY,EAAE,CAAC,kBAAkB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,SAAS,CAAC;YACpG,cAAc,EAAE,CAAC,kBAAkB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,WAAW;SACxG;IACH;AAEQ,IAAA,MAAM,OAAO,CAAC,WAAmB,EAAE,MAA2B,EAAA;QACpE,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC;AAC/C,QAAA,IAAI,KAAK,KAAK,SAAS,EAAE;YACvB,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC;QAClD;QACA,MAAM,gBAAgB,GAAc,EAAE;AACtC,QAAA,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE;AACjC,YAAA,IAAI,KAAkD;AACtD,YAAA,IAAI;AACF,gBAAA,KAAK,GAAG,MAAM,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC;YACnE;YAAE,OAAO,KAAK,EAAE;;;;;AAKd,gBAAA,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC5B;YACF;YACA,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,eAAe,EAAE;gBACzC;YACF;YACA,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC;AACzC,YAAA,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC;QACtE;AACA,QAAA,MAAM,IAAI,uBAAuB,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAC7D;AAEA;;;;AAIG;AACK,IAAA,MAAM,oBAAoB,CAChC,MAAgC,EAChC,SAAiB,EAAA;AAEjB,QAAA,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC;AAC/D,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,YAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE;QACzB;QACA,MAAM,WAAW,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC;AAC1D,QAAA,MAAM,IAAI,GAAGC,yBAAe,CAAC,WAAW,CAAC;QACzC,IAAI,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC;AAChD,QAAA,IAAI,SAAS,KAAK,SAAS,EAAE;AAC3B,YAAA,SAAS,GAAG,IAAI,GAAG,EAAE;YACrB,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC;QAC7C;AACA,QAAA,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC;AAC9B,QAAA,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE;IAC9B;AAEA;;;;;AAKG;AACK,IAAA,MAAM,WAAW,CACvB,MAAgC,EAChC,SAAiB,EACjB,WAAyB,EAAA;AAEzB,QAAA,MAAM,CAAC,SAAS,EAAE,mBAAmB,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;AAC/D,YAAA,MAAM,CAAC,YAAY,CAAC,SAAS,CAAC;AAC9B,YAAA,WAAW,KAAK,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC;AAC3F,YAAA,MAAM,CAAC,OAAO,CAAC,SAAS;AACzB,SAAA,CAAC;QACF,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,mBAAmB,EAAE,IAAI,EAAE;IACzE;AACD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/dist/index.d.cts

@@ -825,7 +825,10 @@ type UnboundTransaction = Transaction<SignatureEnabled, Proof, PreBinding>;
  */
 interface ProveTxConfig {
     /**
-     * The timeout for the request.
+     * The timeout for the request, in milliseconds. This is a per-request timeout for the underlying
+     * proof server call, not a hard wall-clock ceiling for the whole `proveTx` call — the proof
+     * provider's internal retry/backoff means a `proveTx` call may take longer than this value when
+     * retries occur. See https://github.com/midnightntwrk/midnight-js/issues/974.
      */
     readonly timeout?: number;
 }
@@ -1316,7 +1319,15 @@ interface MidnightProviders<PCK extends AnyProvableCircuitId = AnyProvableCircui
  */
 declare class ZKArtifactNotFoundError extends Error {
     readonly keyLocation: ContractKeyLocation;
-    constructor(keyLocation: ContractKeyLocation);
+    readonly suppressedErrors: readonly unknown[];
+    /**
+     * @param keyLocation The location that could not be resolved.
+     * @param suppressedErrors Errors raised by individual sources while probing their verifier key
+     * (integrity violations, permission/IO failures, or a genuine absence of the circuit). They are
+     * attached as this error's `cause` so a real failure — for example a `ZkArtifactIntegrityError` —
+     * is not hidden behind the "missing or stale" message.
+     */
+    constructor(keyLocation: ContractKeyLocation, suppressedErrors?: readonly unknown[]);
 }
 /**
  * Resolves canonical contract key locations to ZK artifacts across a *set* of compiled-contract
@@ -1332,12 +1343,23 @@ declare class ZKArtifactNotFoundError extends Error {
  * resolution immune to redeploys, multiple deployments of one contract, and circuit-name
  * collisions across contracts.
  *
- * The sources are the per-contract {@link ZKConfigProvider}s the application already constructs;
- * resolutions are memoized per location.
+ * The sources are the per-contract {@link ZKConfigProvider}s the application already constructs. The
+ * location→source binding and each source's verifier-key hashes are memoized; the (potentially
+ * multi-MB) artifacts themselves are re-fetched from the bound source rather than retained, so the
+ * registry's memory does not grow with the number of distinct locations resolved.
  */
 declare class ZKConfigRegistry {
     private readonly sources;
-    private readonly resolved;
+    /**
+     * Binds a resolved key location to the source that serves it — a single source reference per
+     * location, so it can be held for the registry's lifetime without retaining artifact bytes.
+     */
+    private readonly boundSource;
+    /**
+     * Memoizes each source's verifier-key hash per circuit, so source selection reuses computed
+     * hashes instead of re-fetching and re-hashing keys on every new location.
+     */
+    private readonly vkHashByCircuit;
     /**
      * @param sources The compiled-contract artifact sources to resolve against — one per compiled
      * contract the application can call (its own contracts and any cross-contract call targets).
@@ -1366,6 +1388,19 @@ declare class ZKConfigRegistry {
      */
     asKeyMaterialProvider(): KeyMaterialProvider;
     private resolve;
+    /**
+     * Returns a source's verifier-key hash for a circuit, memoized per source and circuit. The
+     * verifier key bytes are included only when freshly fetched (a memo miss), so a caller that
+     * matches on the hash can reuse them and avoid a second fetch (and re-integrity-verification).
+     */
+    private probeVerifierKeyHash;
+    /**
+     * Assembles the {@link ZKConfig} for a circuit from a source. Reuses an already-fetched verifier
+     * key when the caller has one, so it is not fetched (and re-integrity-verified) a second time;
+     * otherwise fetches all three artifacts from the source. Unlike {@link ZKConfigProvider.get}, the
+     * three fetches run concurrently.
+     */
+    private buildConfig;
 }
 
 export { ExportDecryptionError, FailEntirely, FailFallible, ImportConflictError, InvalidExportFormatError, InvalidProtocolSchemeError, LogLevel, MAX_EXPORT_SIGNING_KEYS, MAX_EXPORT_STATES, PrivateStateExportError, PrivateStateImportError, SegmentFail, SegmentSuccess, SigningKeyExportError, SucceedEntirely, ZKArtifactNotFoundError, ZKConfigProvider, ZKConfigRegistry, asContractAddress, asEffectOption, createProofProvider, createProverKey, createVerifierKey, createZKIR, exitResultOrError, makeContractExecutableRuntime, zkConfigToProvingKeyMaterial };

package/dist/index.d.mts

@@ -825,7 +825,10 @@ type UnboundTransaction = Transaction<SignatureEnabled, Proof, PreBinding>;
  */
 interface ProveTxConfig {
     /**
-     * The timeout for the request.
+     * The timeout for the request, in milliseconds. This is a per-request timeout for the underlying
+     * proof server call, not a hard wall-clock ceiling for the whole `proveTx` call — the proof
+     * provider's internal retry/backoff means a `proveTx` call may take longer than this value when
+     * retries occur. See https://github.com/midnightntwrk/midnight-js/issues/974.
      */
     readonly timeout?: number;
 }
@@ -1316,7 +1319,15 @@ interface MidnightProviders<PCK extends AnyProvableCircuitId = AnyProvableCircui
  */
 declare class ZKArtifactNotFoundError extends Error {
     readonly keyLocation: ContractKeyLocation;
-    constructor(keyLocation: ContractKeyLocation);
+    readonly suppressedErrors: readonly unknown[];
+    /**
+     * @param keyLocation The location that could not be resolved.
+     * @param suppressedErrors Errors raised by individual sources while probing their verifier key
+     * (integrity violations, permission/IO failures, or a genuine absence of the circuit). They are
+     * attached as this error's `cause` so a real failure — for example a `ZkArtifactIntegrityError` —
+     * is not hidden behind the "missing or stale" message.
+     */
+    constructor(keyLocation: ContractKeyLocation, suppressedErrors?: readonly unknown[]);
 }
 /**
  * Resolves canonical contract key locations to ZK artifacts across a *set* of compiled-contract
@@ -1332,12 +1343,23 @@ declare class ZKArtifactNotFoundError extends Error {
  * resolution immune to redeploys, multiple deployments of one contract, and circuit-name
  * collisions across contracts.
  *
- * The sources are the per-contract {@link ZKConfigProvider}s the application already constructs;
- * resolutions are memoized per location.
+ * The sources are the per-contract {@link ZKConfigProvider}s the application already constructs. The
+ * location→source binding and each source's verifier-key hashes are memoized; the (potentially
+ * multi-MB) artifacts themselves are re-fetched from the bound source rather than retained, so the
+ * registry's memory does not grow with the number of distinct locations resolved.
  */
 declare class ZKConfigRegistry {
     private readonly sources;
-    private readonly resolved;
+    /**
+     * Binds a resolved key location to the source that serves it — a single source reference per
+     * location, so it can be held for the registry's lifetime without retaining artifact bytes.
+     */
+    private readonly boundSource;
+    /**
+     * Memoizes each source's verifier-key hash per circuit, so source selection reuses computed
+     * hashes instead of re-fetching and re-hashing keys on every new location.
+     */
+    private readonly vkHashByCircuit;
     /**
      * @param sources The compiled-contract artifact sources to resolve against — one per compiled
      * contract the application can call (its own contracts and any cross-contract call targets).
@@ -1366,6 +1388,19 @@ declare class ZKConfigRegistry {
      */
     asKeyMaterialProvider(): KeyMaterialProvider;
     private resolve;
+    /**
+     * Returns a source's verifier-key hash for a circuit, memoized per source and circuit. The
+     * verifier key bytes are included only when freshly fetched (a memo miss), so a caller that
+     * matches on the hash can reuse them and avoid a second fetch (and re-integrity-verification).
+     */
+    private probeVerifierKeyHash;
+    /**
+     * Assembles the {@link ZKConfig} for a circuit from a source. Reuses an already-fetched verifier
+     * key when the caller has one, so it is not fetched (and re-integrity-verified) a second time;
+     * otherwise fetches all three artifacts from the source. Unlike {@link ZKConfigProvider.get}, the
+     * three fetches run concurrently.
+     */
+    private buildConfig;
 }
 
 export { ExportDecryptionError, FailEntirely, FailFallible, ImportConflictError, InvalidExportFormatError, InvalidProtocolSchemeError, LogLevel, MAX_EXPORT_SIGNING_KEYS, MAX_EXPORT_STATES, PrivateStateExportError, PrivateStateImportError, SegmentFail, SegmentSuccess, SigningKeyExportError, SucceedEntirely, ZKArtifactNotFoundError, ZKConfigProvider, ZKConfigRegistry, asContractAddress, asEffectOption, createProofProvider, createProverKey, createVerifierKey, createZKIR, exitResultOrError, makeContractExecutableRuntime, zkConfigToProvingKeyMaterial };

package/dist/index.d.ts

@@ -825,7 +825,10 @@ type UnboundTransaction = Transaction<SignatureEnabled, Proof, PreBinding>;
  */
 interface ProveTxConfig {
     /**
-     * The timeout for the request.
+     * The timeout for the request, in milliseconds. This is a per-request timeout for the underlying
+     * proof server call, not a hard wall-clock ceiling for the whole `proveTx` call — the proof
+     * provider's internal retry/backoff means a `proveTx` call may take longer than this value when
+     * retries occur. See https://github.com/midnightntwrk/midnight-js/issues/974.
      */
     readonly timeout?: number;
 }
@@ -1316,7 +1319,15 @@ interface MidnightProviders<PCK extends AnyProvableCircuitId = AnyProvableCircui
  */
 declare class ZKArtifactNotFoundError extends Error {
     readonly keyLocation: ContractKeyLocation;
-    constructor(keyLocation: ContractKeyLocation);
+    readonly suppressedErrors: readonly unknown[];
+    /**
+     * @param keyLocation The location that could not be resolved.
+     * @param suppressedErrors Errors raised by individual sources while probing their verifier key
+     * (integrity violations, permission/IO failures, or a genuine absence of the circuit). They are
+     * attached as this error's `cause` so a real failure — for example a `ZkArtifactIntegrityError` —
+     * is not hidden behind the "missing or stale" message.
+     */
+    constructor(keyLocation: ContractKeyLocation, suppressedErrors?: readonly unknown[]);
 }
 /**
  * Resolves canonical contract key locations to ZK artifacts across a *set* of compiled-contract
@@ -1332,12 +1343,23 @@ declare class ZKArtifactNotFoundError extends Error {
  * resolution immune to redeploys, multiple deployments of one contract, and circuit-name
  * collisions across contracts.
  *
- * The sources are the per-contract {@link ZKConfigProvider}s the application already constructs;
- * resolutions are memoized per location.
+ * The sources are the per-contract {@link ZKConfigProvider}s the application already constructs. The
+ * location→source binding and each source's verifier-key hashes are memoized; the (potentially
+ * multi-MB) artifacts themselves are re-fetched from the bound source rather than retained, so the
+ * registry's memory does not grow with the number of distinct locations resolved.
  */
 declare class ZKConfigRegistry {
     private readonly sources;
-    private readonly resolved;
+    /**
+     * Binds a resolved key location to the source that serves it — a single source reference per
+     * location, so it can be held for the registry's lifetime without retaining artifact bytes.
+     */
+    private readonly boundSource;
+    /**
+     * Memoizes each source's verifier-key hash per circuit, so source selection reuses computed
+     * hashes instead of re-fetching and re-hashing keys on every new location.
+     */
+    private readonly vkHashByCircuit;
     /**
      * @param sources The compiled-contract artifact sources to resolve against — one per compiled
      * contract the application can call (its own contracts and any cross-contract call targets).
@@ -1366,6 +1388,19 @@ declare class ZKConfigRegistry {
      */
     asKeyMaterialProvider(): KeyMaterialProvider;
     private resolve;
+    /**
+     * Returns a source's verifier-key hash for a circuit, memoized per source and circuit. The
+     * verifier key bytes are included only when freshly fetched (a memo miss), so a caller that
+     * matches on the hash can reuse them and avoid a second fetch (and re-integrity-verification).
+     */
+    private probeVerifierKeyHash;
+    /**
+     * Assembles the {@link ZKConfig} for a circuit from a source. Reuses an already-fetched verifier
+     * key when the caller has one, so it is not fetched (and re-integrity-verified) a second time;
+     * otherwise fetches all three artifacts from the source. Unlike {@link ZKConfigProvider.get}, the
+     * three fetches run concurrently.
+     */
+    private buildConfig;
 }
 
 export { ExportDecryptionError, FailEntirely, FailFallible, ImportConflictError, InvalidExportFormatError, InvalidProtocolSchemeError, LogLevel, MAX_EXPORT_SIGNING_KEYS, MAX_EXPORT_STATES, PrivateStateExportError, PrivateStateImportError, SegmentFail, SegmentSuccess, SigningKeyExportError, SucceedEntirely, ZKArtifactNotFoundError, ZKConfigProvider, ZKConfigRegistry, asContractAddress, asEffectOption, createProofProvider, createProverKey, createVerifierKey, createZKIR, exitResultOrError, makeContractExecutableRuntime, zkConfigToProvingKeyMaterial };

package/dist/index.mjs

@@ -416,11 +416,24 @@ class ZKConfigProvider {
  */
 class ZKArtifactNotFoundError extends Error {
     keyLocation;
-    constructor(keyLocation) {
+    suppressedErrors;
+    /**
+     * @param keyLocation The location that could not be resolved.
+     * @param suppressedErrors Errors raised by individual sources while probing their verifier key
+     * (integrity violations, permission/IO failures, or a genuine absence of the circuit). They are
+     * attached as this error's `cause` so a real failure — for example a `ZkArtifactIntegrityError` —
+     * is not hidden behind the "missing or stale" message.
+     */
+    constructor(keyLocation, suppressedErrors = []) {
         super(`No ZK artifact bundle matches the deployed verifier key for contract ` +
             `'${keyLocation.contractAddress}', circuit '${keyLocation.circuitId}'. The local compiled ` +
-            `artifacts are missing or stale with respect to the deployed contract.`);
+            `artifacts are missing or stale with respect to the deployed contract.`, suppressedErrors.length > 0
+            ? {
+                cause: new AggregateError(suppressedErrors, 'One or more artifact sources errored while resolving the verifier key.')
+            }
+            : undefined);
         this.keyLocation = keyLocation;
+        this.suppressedErrors = suppressedErrors;
         this.name = 'ZKArtifactNotFoundError';
     }
 }
@@ -438,12 +451,23 @@ class ZKArtifactNotFoundError extends Error {
  * resolution immune to redeploys, multiple deployments of one contract, and circuit-name
  * collisions across contracts.
  *
- * The sources are the per-contract {@link ZKConfigProvider}s the application already constructs;
- * resolutions are memoized per location.
+ * The sources are the per-contract {@link ZKConfigProvider}s the application already constructs. The
+ * location→source binding and each source's verifier-key hashes are memoized; the (potentially
+ * multi-MB) artifacts themselves are re-fetched from the bound source rather than retained, so the
+ * registry's memory does not grow with the number of distinct locations resolved.
  */
 class ZKConfigRegistry {
     sources;
-    resolved = new Map();
+    /**
+     * Binds a resolved key location to the source that serves it — a single source reference per
+     * location, so it can be held for the registry's lifetime without retaining artifact bytes.
+     */
+    boundSource = new Map();
+    /**
+     * Memoizes each source's verifier-key hash per circuit, so source selection reuses computed
+     * hashes instead of re-fetching and re-hashing keys on every new location.
+     */
+    vkHashByCircuit = new Map();
     /**
      * @param sources The compiled-contract artifact sources to resolve against — one per compiled
      * contract the application can call (its own contracts and any cross-contract call targets).
@@ -495,27 +519,65 @@ class ZKConfigRegistry {
         };
     }
     async resolve(keyLocation, parsed) {
-        const memoized = this.resolved.get(keyLocation);
-        if (memoized !== undefined) {
-            return memoized;
+        const bound = this.boundSource.get(keyLocation);
+        if (bound !== undefined) {
+            return this.buildConfig(bound, parsed.circuitId);
         }
+        const suppressedErrors = [];
         for (const source of this.sources) {
-            let verifierKey;
+            let probe;
             try {
-                verifierKey = await source.getVerifierKey(parsed.circuitId);
+                probe = await this.probeVerifierKeyHash(source, parsed.circuitId);
             }
-            catch {
-                // The source has no circuit by this name; try the next one.
+            catch (error) {
+                // A source may simply not have this circuit, or the read may have failed for a real reason
+                // (integrity violation, permissions, IO). The provider interface can't tell them apart, so
+                // keep probing other sources but retain the error to surface as the cause if none matches —
+                // never silently discard it.
+                suppressedErrors.push(error);
                 continue;
             }
-            if (hashVerifierKey(verifierKey) !== parsed.verifierKeyHash) {
+            if (probe.hash !== parsed.verifierKeyHash) {
                 continue;
             }
-            const config = await source.get(parsed.circuitId);
-            this.resolved.set(keyLocation, config);
-            return config;
+            this.boundSource.set(keyLocation, source);
+            return this.buildConfig(source, parsed.circuitId, probe.verifierKey);
         }
-        throw new ZKArtifactNotFoundError(parsed);
+        throw new ZKArtifactNotFoundError(parsed, suppressedErrors);
+    }
+    /**
+     * Returns a source's verifier-key hash for a circuit, memoized per source and circuit. The
+     * verifier key bytes are included only when freshly fetched (a memo miss), so a caller that
+     * matches on the hash can reuse them and avoid a second fetch (and re-integrity-verification).
+     */
+    async probeVerifierKeyHash(source, circuitId) {
+        const cached = this.vkHashByCircuit.get(source)?.get(circuitId);
+        if (cached !== undefined) {
+            return { hash: cached };
+        }
+        const verifierKey = await source.getVerifierKey(circuitId);
+        const hash = hashVerifierKey(verifierKey);
+        let byCircuit = this.vkHashByCircuit.get(source);
+        if (byCircuit === undefined) {
+            byCircuit = new Map();
+            this.vkHashByCircuit.set(source, byCircuit);
+        }
+        byCircuit.set(circuitId, hash);
+        return { hash, verifierKey };
+    }
+    /**
+     * Assembles the {@link ZKConfig} for a circuit from a source. Reuses an already-fetched verifier
+     * key when the caller has one, so it is not fetched (and re-integrity-verified) a second time;
+     * otherwise fetches all three artifacts from the source. Unlike {@link ZKConfigProvider.get}, the
+     * three fetches run concurrently.
+     */
+    async buildConfig(source, circuitId, verifierKey) {
+        const [proverKey, resolvedVerifierKey, zkir] = await Promise.all([
+            source.getProverKey(circuitId),
+            verifierKey !== undefined ? Promise.resolve(verifierKey) : source.getVerifierKey(circuitId),
+            source.getZKIR(circuitId)
+        ]);
+        return { circuitId, proverKey, verifierKey: resolvedVerifierKey, zkir };
     }
 }
 

package/dist/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","sources":["../src/contract.ts","../src/errors.ts","../src/logger-provider.ts","../src/midnight-types.ts","../src/private-state-provider.ts","../src/proof-provider.ts","../src/zk-config-provider.ts","../src/zk-config-registry.ts"],"sourcesContent":[null,null,null,null,null,null,null,null],"names":[],"mappings":";;;;;;;;;AAAA;;;;;;;;;;;;;AAaG;AAYH;;;;;;;;AAQG;AACH,MAAM,iBAAiB,GAAG,CAAsC,gBAA0C,KACxG,CAAC,gBAA0D,KACzD,MAAM,CAAC,GAAG,CAAC,aAAS;;;IAGlB,MAAM,cAAc,GAAG,CAAC,iBAAgD,KACtE,MAAM,CAAC,UAAU,CAAC;AAChB,QAAA,GAAG,EAAE,MAAM,gBAAgB,CAAC,cAAc,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,KAAK,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC;AACnI,QAAA,KAAK,EAAE,CAAC,GAAY,KAAK,wBAAwB,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,iBAAiB,EAAE,cAAc,EAAE,GAAG;AACpH,KAAA,CAAC;IACJ,OAAO;QACL,cAAc;QACd,eAAe,EAAE,CAAC,kBAAkB,KAClC,MAAM,CAAC,OAAO,CACZ,kBAAkB,EAClB,CAAC,iBAAiB,KAChB,cAAc,CAAC,iBAAiB,CAAC,CAAC,IAAI,CACpC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,KAAK,CAAC,iBAAiB,EAAE,WAAW,CAAU,CAAC,CACvE,EACH,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE;KAEO;AAC3D,CAAC,CAAC;AAEN,MAAM,uBAAuB,GAAG,CAAC,gBAA0C,EAAE,SAA8B,KACzG,KAAK,CAAC,QAAQ,CACZ,KAAK,CAAC,OAAO,CACX,eAAe,CAAC,eAAe,EAC/B,eAAe,CAAC,eAAe,CAAC,EAAE,CAAC;AACjC,IAAA,YAAY,EAAE,iBAAiB,CAAC,gBAAgB;AACjD,CAAA,CAAC,CACH,EACD,aAAa,CAAC,KAAK,CACpB,CAAC,IAAI,CACJ,KAAK,CAAC,OAAO,CACX,KAAK,CAAC,iBAAiB,CAAC,cAAc,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC,CACjH,CACF;AAaH;;;;;;AAMG;MACU,6BAA6B,GAExC,CAAC,gBAAgB,EAAE,OAAO,KAAI;IAC5B,IAAI,MAAM,GAAgC,CAAC,CAAC,kBAAkB,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;AACvF,IAAA,IAAI,OAAO,CAAC,UAAU,EAAE;AACtB,QAAA,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;AACrB,YAAA,CAAC,cAAc,EAAE,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC;AAC1C,YAAA,CAAC,mBAAmB,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG;AAC7C,SAAA,CAAC;IACJ;AACA,IAAA,OAAO,yBAAyB,CAAC,IAAI,CAAC,uBAAuB,CAAC,gBAAgB,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AACnG;AAEF;;;;;;AAMG;AACI,MAAM,iBAAiB,GAC5B,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE;AACzB,IAAA,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC;AACnB,IAAA,SAAS,EAAE,CAAC,KAAK,KAAI;AACnB,QAAA,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,MAAM,KAAK,CAAC,KAAK;AAC9C,QAAA,MAAM,IAAI,KAAK,CAAC,CAAA,kBAAA,EAAqB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA,CAAE,CAAC;IAC7D;AACD,CAAA;AAEH;;;;;AAKG;AACI,MAAM,cAAc,GAAG,CAAI,GAAY,KAAsB;AAClE,IAAA,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAqB;AAC7C;AAEA;;;;;AAKG;AACI,MAAM,iBAAiB,GAAG,CAAC,OAAe,KAC/C,eAAe,CAAC,eAAe,CAAC,OAAO;;ACzIzC;;;;;;;;;;;;;AAaG;AAEH;;AAEG;AACG,MAAO,0BAA2B,SAAQ,KAAK,CAAA;AAMjC,IAAA,aAAA;AACA,IAAA,gBAAA;AANlB;;;AAGG;IACH,WAAA,CACkB,aAAqB,EACrB,gBAA0B,EAAA;AAE1C,QAAA,KAAK,CAAC,CAAA,0BAAA,EAA6B,aAAa,CAAA,iCAAA,EAAoC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA,CAAE,CAAC;QAHjG,IAAA,CAAA,aAAa,GAAb,aAAa;QACb,IAAA,CAAA,gBAAgB,GAAhB,gBAAgB;IAGlC;AACD;AAED;;AAEG;AACG,MAAO,uBAAwB,SAAQ,KAAK,CAAA;IAChD,WAAA,CAAY,OAAe,EAAE,OAAsB,EAAA;AACjD,QAAA,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;AACvB,QAAA,IAAI,CAAC,IAAI,GAAG,yBAAyB;IACvC;AACD;AAED;;AAEG;AACG,MAAO,qBAAsB,SAAQ,KAAK,CAAA;IAC9C,WAAA,CAAY,OAAe,EAAE,OAAsB,EAAA;AACjD,QAAA,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;AACvB,QAAA,IAAI,CAAC,IAAI,GAAG,uBAAuB;IACrC;AACD;AAWD;;AAEG;AACG,MAAO,uBAAwB,SAAQ,KAAK,CAAA;AAG9B,IAAA,KAAA;IAFlB,WAAA,CACE,OAAe,EACC,KAAoC,EAAA;QAEpD,KAAK,CAAC,OAAO,CAAC;QAFE,IAAA,CAAA,KAAK,GAAL,KAAK;AAGrB,QAAA,IAAI,CAAC,IAAI,GAAG,yBAAyB;IACvC;AACD;AAED;;;;AAIG;AACG,MAAO,qBAAsB,SAAQ,uBAAuB,CAAA;AAChE,IAAA,WAAA,GAAA;AACE,QAAA,KAAK,CACH,4FAA4F,EAC5F,mBAAmB,CACpB;AACD,QAAA,IAAI,CAAC,IAAI,GAAG,uBAAuB;IACrC;AACD;AAED;;AAEG;AACG,MAAO,wBAAyB,SAAQ,uBAAuB,CAAA;IACnE,WAAA,CAAY,OAAO,GAAG,uBAAuB,EAAA;AAC3C,QAAA,KAAK,CAAC,OAAO,EAAE,gBAAgB,CAAC;AAChC,QAAA,IAAI,CAAC,IAAI,GAAG,0BAA0B;IACxC;AACD;AAED;;AAEG;AACG,MAAO,mBAAoB,SAAQ,uBAAuB,CAAA;AAE5C,IAAA,aAAA;AADlB,IAAA,WAAA,CACkB,aAAqB,EACrC,UAAU,GAAG,eAAe,EAAA;QAE5B,KAAK,CACH,yBAAyB,aAAa,CAAA,UAAA,EAAa,UAAU,CAAA,EAAG,aAAa,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,CAAA,CAAE,EAChG,UAAU,CACX;QANe,IAAA,CAAA,aAAa,GAAb,aAAa;AAO7B,QAAA,IAAI,CAAC,IAAI,GAAG,qBAAqB;IACnC;AACD;;AChHD;;;;;;;;;;;;;AAaG;AAIH;;AAEG;IACS;AAAZ,CAAA,UAAY,QAAQ,EAAA;AAClB;;AAEG;AACH,IAAA,QAAA,CAAA,MAAA,CAAA,GAAA,MAAa;AACb,IAAA,QAAA,CAAA,MAAA,CAAA,GAAA,MAAa;AACb,IAAA,QAAA,CAAA,OAAA,CAAA,GAAA,OAAe;AACf,IAAA,QAAA,CAAA,OAAA,CAAA,GAAA,OAAe;AACf;;AAEG;AACH,IAAA,QAAA,CAAA,OAAA,CAAA,GAAA,OAAe;AACf,IAAA,QAAA,CAAA,OAAA,CAAA,GAAA,OAAe;AACjB,CAAC,EAbW,QAAQ,KAAR,QAAQ,GAAA,EAAA,CAAA,CAAA;;ACpBpB;;;;;;;;;;;;;AAaG;AA4BH;;;;;AAKG;AACI,MAAM,eAAe,GAAG,CAAC,UAAsB,KAAe;AACnE,IAAA,OAAO,UAAuB;AAChC;AAYA;;;;AAIG;AACI,MAAM,iBAAiB,GAAG,CAAC,UAAsB,KAAiB;AACvE,IAAA,OAAO,UAAyB;AAClC;AAYA;;;;AAIG;AACI,MAAM,UAAU,GAAG,CAAC,UAAsB,KAAU;AACzD,IAAA,OAAO,UAAkB;AAC3B;AAyBA;;;AAGG;AACI,MAAM,4BAA4B,GAAG,CAAmB,QAAqB,KAAI;IACtF,OAAO;QACL,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,EAAE,EAAE,QAAQ,CAAC,IAAI;KAClB;AACH;AAEA;;AAEG;AACI,MAAM,WAAW,GAAG;AAE3B;;AAEG;AACI,MAAM,cAAc,GAAG;AAQ9B;;AAEG;AACI,MAAM,YAAY,GAAG;AAE5B;;;;;AAKG;AACI,MAAM,YAAY,GAAG;AAE5B;;;AAGG;AACI,MAAM,eAAe,GAAG;;AC7J/B;;;;;;;;;;;;;AAaG;AAgCH;;;AAGG;AACI,MAAM,iBAAiB,GAAG;AA4FjC;;;AAGG;AACI,MAAM,uBAAuB,GAAG;;ACjJvC;;;;;;;;;;;;;AAaG;AAwCH;;;;;;;AAOG;AACI,MAAM,mBAAmB,GAAG,CACjC,eAAgC,EAChC,SAAA,GAAuB,SAAS,CAAC,gBAAgB,EAAE,MAChC;IACnB,MAAM,OAAO,CAAC,UAA+B,EAAA;QAC3C,OAAO,UAAU,CAAC,KAAK,CAAC,eAAe,EAAE,SAAS,CAAC;IACrD;AACD,CAAA;;ACpED;;;;;;;;;;;;;AAaG;AAaH;;;;;;AAMG;MACmB,gBAAgB,CAAA;AAmBpC;;;AAGG;IACH,MAAM,eAAe,CAAC,UAAe,EAAA;AACnC,QAAA,OAAO,OAAO,CAAC,GAAG,CAChB,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,KAAI;YAC1B,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;AACzC,YAAA,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC;QAClB,CAAC,CAAC,CACH;IACH;AAEA;;;AAGG;IACH,MAAM,GAAG,CAAC,SAAY,EAAA;QACpB,OAAO;YACL,SAAS;AACT,YAAA,SAAS,EAAE,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC;AAC7C,YAAA,WAAW,EAAE,MAAM,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC;AACjD,YAAA,IAAI,EAAE,MAAM,IAAI,CAAC,OAAO,CAAC,SAAS;SACnC;IACH;IAEA,qBAAqB,GAAA;AACnB,QAAA,OAAO,IAA2B;IACpC;AACD;;ACjFD;;;;;;;;;;;;;AAaG;AAMH;;;;AAIG;AACG,MAAO,uBAAwB,SAAQ,KAAK,CAAA;AAC3B,IAAA,WAAA;AAArB,IAAA,WAAA,CAAqB,WAAgC,EAAA;AACnD,QAAA,KAAK,CACH,CAAA,qEAAA,CAAuE;AACrE,YAAA,CAAA,CAAA,EAAI,WAAW,CAAC,eAAe,eAAe,WAAW,CAAC,SAAS,CAAA,sBAAA,CAAwB;AAC3F,YAAA,CAAA,qEAAA,CAAuE,CAC1E;QALkB,IAAA,CAAA,WAAW,GAAX,WAAW;AAM9B,QAAA,IAAI,CAAC,IAAI,GAAG,yBAAyB;IACvC;AACD;AAED;;;;;;;;;;;;;;;;AAgBG;MACU,gBAAgB,CAAA;AACV,IAAA,OAAO;AAEP,IAAA,QAAQ,GAAG,IAAI,GAAG,EAA4B;AAE/D;;;AAGG;AACH,IAAA,WAAA,CAAY,OAA2C,EAAA;AACrD,QAAA,IAAI,CAAC,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC;IAC7B;AAEA;;;;;AAKG;AACH,IAAA,GAAG,CAAC,QAA6B,EAAA;QAC/B,OAAO,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpE;AAEA;;;;;;;;AAQG;IACH,MAAM,kBAAkB,CAAC,WAAmB,EAAA;AAC1C,QAAA,MAAM,MAAM,GAAG,wBAAwB,CAAC,WAAW,CAAC;AACpD,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,YAAA,OAAO,SAAS;QAClB;QACA,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC;IAC1C;AAEA;;;AAGG;IACH,qBAAqB,GAAA;AACnB,QAAA,MAAM,OAAO,GAAG,OAAO,kBAA0B,KAA+B;YAC9E,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,kBAAkB,CAAC,kBAAkB,CAAC;AAChE,YAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,gBAAA,MAAM,IAAI,KAAK,CAAC,IAAI,kBAAkB,CAAA,gCAAA,CAAkC,CAAC;YAC3E;AACA,YAAA,OAAO,MAAM;AACf,QAAA,CAAC;QACD,OAAO;YACL,OAAO,EAAE,CAAC,kBAAkB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC;YAC1F,YAAY,EAAE,CAAC,kBAAkB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,SAAS,CAAC;YACpG,cAAc,EAAE,CAAC,kBAAkB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,WAAW;SACxG;IACH;AAEQ,IAAA,MAAM,OAAO,CAAC,WAAmB,EAAE,MAA2B,EAAA;QACpE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC;AAC/C,QAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;AAC1B,YAAA,OAAO,QAAQ;QACjB;AACA,QAAA,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE;AACjC,YAAA,IAAI,WAAuB;AAC3B,YAAA,IAAI;gBACF,WAAW,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC;YAC7D;AAAE,YAAA,MAAM;;gBAEN;YACF;YACA,IAAI,eAAe,CAAC,WAAW,CAAC,KAAK,MAAM,CAAC,eAAe,EAAE;gBAC3D;YACF;YACA,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC;YACjD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC;AACtC,YAAA,OAAO,MAAM;QACf;AACA,QAAA,MAAM,IAAI,uBAAuB,CAAC,MAAM,CAAC;IAC3C;AACD;;;;"}
+{"version":3,"file":"index.mjs","sources":["../src/contract.ts","../src/errors.ts","../src/logger-provider.ts","../src/midnight-types.ts","../src/private-state-provider.ts","../src/proof-provider.ts","../src/zk-config-provider.ts","../src/zk-config-registry.ts"],"sourcesContent":[null,null,null,null,null,null,null,null],"names":[],"mappings":";;;;;;;;;AAAA;;;;;;;;;;;;;AAaG;AAYH;;;;;;;;AAQG;AACH,MAAM,iBAAiB,GAAG,CAAsC,gBAA0C,KACxG,CAAC,gBAA0D,KACzD,MAAM,CAAC,GAAG,CAAC,aAAS;;;IAGlB,MAAM,cAAc,GAAG,CAAC,iBAAgD,KACtE,MAAM,CAAC,UAAU,CAAC;AAChB,QAAA,GAAG,EAAE,MAAM,gBAAgB,CAAC,cAAc,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,KAAK,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC;AACnI,QAAA,KAAK,EAAE,CAAC,GAAY,KAAK,wBAAwB,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,iBAAiB,EAAE,cAAc,EAAE,GAAG;AACpH,KAAA,CAAC;IACJ,OAAO;QACL,cAAc;QACd,eAAe,EAAE,CAAC,kBAAkB,KAClC,MAAM,CAAC,OAAO,CACZ,kBAAkB,EAClB,CAAC,iBAAiB,KAChB,cAAc,CAAC,iBAAiB,CAAC,CAAC,IAAI,CACpC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,KAAK,CAAC,iBAAiB,EAAE,WAAW,CAAU,CAAC,CACvE,EACH,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE;KAEO;AAC3D,CAAC,CAAC;AAEN,MAAM,uBAAuB,GAAG,CAAC,gBAA0C,EAAE,SAA8B,KACzG,KAAK,CAAC,QAAQ,CACZ,KAAK,CAAC,OAAO,CACX,eAAe,CAAC,eAAe,EAC/B,eAAe,CAAC,eAAe,CAAC,EAAE,CAAC;AACjC,IAAA,YAAY,EAAE,iBAAiB,CAAC,gBAAgB;AACjD,CAAA,CAAC,CACH,EACD,aAAa,CAAC,KAAK,CACpB,CAAC,IAAI,CACJ,KAAK,CAAC,OAAO,CACX,KAAK,CAAC,iBAAiB,CAAC,cAAc,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC,CACjH,CACF;AAaH;;;;;;AAMG;MACU,6BAA6B,GAExC,CAAC,gBAAgB,EAAE,OAAO,KAAI;IAC5B,IAAI,MAAM,GAAgC,CAAC,CAAC,kBAAkB,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;AACvF,IAAA,IAAI,OAAO,CAAC,UAAU,EAAE;AACtB,QAAA,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;AACrB,YAAA,CAAC,cAAc,EAAE,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC;AAC1C,YAAA,CAAC,mBAAmB,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG;AAC7C,SAAA,CAAC;IACJ;AACA,IAAA,OAAO,yBAAyB,CAAC,IAAI,CAAC,uBAAuB,CAAC,gBAAgB,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AACnG;AAEF;;;;;;AAMG;AACI,MAAM,iBAAiB,GAC5B,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE;AACzB,IAAA,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC;AACnB,IAAA,SAAS,EAAE,CAAC,KAAK,KAAI;AACnB,QAAA,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,MAAM,KAAK,CAAC,KAAK;AAC9C,QAAA,MAAM,IAAI,KAAK,CAAC,CAAA,kBAAA,EAAqB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA,CAAE,CAAC;IAC7D;AACD,CAAA;AAEH;;;;;AAKG;AACI,MAAM,cAAc,GAAG,CAAI,GAAY,KAAsB;AAClE,IAAA,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAqB;AAC7C;AAEA;;;;;AAKG;AACI,MAAM,iBAAiB,GAAG,CAAC,OAAe,KAC/C,eAAe,CAAC,eAAe,CAAC,OAAO;;ACzIzC;;;;;;;;;;;;;AAaG;AAEH;;AAEG;AACG,MAAO,0BAA2B,SAAQ,KAAK,CAAA;AAMjC,IAAA,aAAA;AACA,IAAA,gBAAA;AANlB;;;AAGG;IACH,WAAA,CACkB,aAAqB,EACrB,gBAA0B,EAAA;AAE1C,QAAA,KAAK,CAAC,CAAA,0BAAA,EAA6B,aAAa,CAAA,iCAAA,EAAoC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA,CAAE,CAAC;QAHjG,IAAA,CAAA,aAAa,GAAb,aAAa;QACb,IAAA,CAAA,gBAAgB,GAAhB,gBAAgB;IAGlC;AACD;AAED;;AAEG;AACG,MAAO,uBAAwB,SAAQ,KAAK,CAAA;IAChD,WAAA,CAAY,OAAe,EAAE,OAAsB,EAAA;AACjD,QAAA,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;AACvB,QAAA,IAAI,CAAC,IAAI,GAAG,yBAAyB;IACvC;AACD;AAED;;AAEG;AACG,MAAO,qBAAsB,SAAQ,KAAK,CAAA;IAC9C,WAAA,CAAY,OAAe,EAAE,OAAsB,EAAA;AACjD,QAAA,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;AACvB,QAAA,IAAI,CAAC,IAAI,GAAG,uBAAuB;IACrC;AACD;AAWD;;AAEG;AACG,MAAO,uBAAwB,SAAQ,KAAK,CAAA;AAG9B,IAAA,KAAA;IAFlB,WAAA,CACE,OAAe,EACC,KAAoC,EAAA;QAEpD,KAAK,CAAC,OAAO,CAAC;QAFE,IAAA,CAAA,KAAK,GAAL,KAAK;AAGrB,QAAA,IAAI,CAAC,IAAI,GAAG,yBAAyB;IACvC;AACD;AAED;;;;AAIG;AACG,MAAO,qBAAsB,SAAQ,uBAAuB,CAAA;AAChE,IAAA,WAAA,GAAA;AACE,QAAA,KAAK,CACH,4FAA4F,EAC5F,mBAAmB,CACpB;AACD,QAAA,IAAI,CAAC,IAAI,GAAG,uBAAuB;IACrC;AACD;AAED;;AAEG;AACG,MAAO,wBAAyB,SAAQ,uBAAuB,CAAA;IACnE,WAAA,CAAY,OAAO,GAAG,uBAAuB,EAAA;AAC3C,QAAA,KAAK,CAAC,OAAO,EAAE,gBAAgB,CAAC;AAChC,QAAA,IAAI,CAAC,IAAI,GAAG,0BAA0B;IACxC;AACD;AAED;;AAEG;AACG,MAAO,mBAAoB,SAAQ,uBAAuB,CAAA;AAE5C,IAAA,aAAA;AADlB,IAAA,WAAA,CACkB,aAAqB,EACrC,UAAU,GAAG,eAAe,EAAA;QAE5B,KAAK,CACH,yBAAyB,aAAa,CAAA,UAAA,EAAa,UAAU,CAAA,EAAG,aAAa,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,CAAA,CAAE,EAChG,UAAU,CACX;QANe,IAAA,CAAA,aAAa,GAAb,aAAa;AAO7B,QAAA,IAAI,CAAC,IAAI,GAAG,qBAAqB;IACnC;AACD;;AChHD;;;;;;;;;;;;;AAaG;AAIH;;AAEG;IACS;AAAZ,CAAA,UAAY,QAAQ,EAAA;AAClB;;AAEG;AACH,IAAA,QAAA,CAAA,MAAA,CAAA,GAAA,MAAa;AACb,IAAA,QAAA,CAAA,MAAA,CAAA,GAAA,MAAa;AACb,IAAA,QAAA,CAAA,OAAA,CAAA,GAAA,OAAe;AACf,IAAA,QAAA,CAAA,OAAA,CAAA,GAAA,OAAe;AACf;;AAEG;AACH,IAAA,QAAA,CAAA,OAAA,CAAA,GAAA,OAAe;AACf,IAAA,QAAA,CAAA,OAAA,CAAA,GAAA,OAAe;AACjB,CAAC,EAbW,QAAQ,KAAR,QAAQ,GAAA,EAAA,CAAA,CAAA;;ACpBpB;;;;;;;;;;;;;AAaG;AA4BH;;;;;AAKG;AACI,MAAM,eAAe,GAAG,CAAC,UAAsB,KAAe;AACnE,IAAA,OAAO,UAAuB;AAChC;AAYA;;;;AAIG;AACI,MAAM,iBAAiB,GAAG,CAAC,UAAsB,KAAiB;AACvE,IAAA,OAAO,UAAyB;AAClC;AAYA;;;;AAIG;AACI,MAAM,UAAU,GAAG,CAAC,UAAsB,KAAU;AACzD,IAAA,OAAO,UAAkB;AAC3B;AAyBA;;;AAGG;AACI,MAAM,4BAA4B,GAAG,CAAmB,QAAqB,KAAI;IACtF,OAAO;QACL,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,EAAE,EAAE,QAAQ,CAAC,IAAI;KAClB;AACH;AAEA;;AAEG;AACI,MAAM,WAAW,GAAG;AAE3B;;AAEG;AACI,MAAM,cAAc,GAAG;AAQ9B;;AAEG;AACI,MAAM,YAAY,GAAG;AAE5B;;;;;AAKG;AACI,MAAM,YAAY,GAAG;AAE5B;;;AAGG;AACI,MAAM,eAAe,GAAG;;AC7J/B;;;;;;;;;;;;;AAaG;AAgCH;;;AAGG;AACI,MAAM,iBAAiB,GAAG;AA4FjC;;;AAGG;AACI,MAAM,uBAAuB,GAAG;;ACjJvC;;;;;;;;;;;;;AAaG;AA2CH;;;;;;;AAOG;AACI,MAAM,mBAAmB,GAAG,CACjC,eAAgC,EAChC,SAAA,GAAuB,SAAS,CAAC,gBAAgB,EAAE,MAChC;IACnB,MAAM,OAAO,CAAC,UAA+B,EAAA;QAC3C,OAAO,UAAU,CAAC,KAAK,CAAC,eAAe,EAAE,SAAS,CAAC;IACrD;AACD,CAAA;;ACvED;;;;;;;;;;;;;AAaG;AAaH;;;;;;AAMG;MACmB,gBAAgB,CAAA;AAmBpC;;;AAGG;IACH,MAAM,eAAe,CAAC,UAAe,EAAA;AACnC,QAAA,OAAO,OAAO,CAAC,GAAG,CAChB,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,KAAI;YAC1B,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;AACzC,YAAA,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC;QAClB,CAAC,CAAC,CACH;IACH;AAEA;;;AAGG;IACH,MAAM,GAAG,CAAC,SAAY,EAAA;QACpB,OAAO;YACL,SAAS;AACT,YAAA,SAAS,EAAE,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC;AAC7C,YAAA,WAAW,EAAE,MAAM,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC;AACjD,YAAA,IAAI,EAAE,MAAM,IAAI,CAAC,OAAO,CAAC,SAAS;SACnC;IACH;IAEA,qBAAqB,GAAA;AACnB,QAAA,OAAO,IAA2B;IACpC;AACD;;ACjFD;;;;;;;;;;;;;AAaG;AAMH;;;;AAIG;AACG,MAAO,uBAAwB,SAAQ,KAAK,CAAA;AASrC,IAAA,WAAA;AACA,IAAA,gBAAA;AATX;;;;;;AAMG;IACH,WAAA,CACW,WAAgC,EAChC,gBAAA,GAAuC,EAAE,EAAA;AAElD,QAAA,KAAK,CACH,CAAA,qEAAA,CAAuE;AACrE,YAAA,CAAA,CAAA,EAAI,WAAW,CAAC,eAAe,eAAe,WAAW,CAAC,SAAS,CAAA,sBAAA,CAAwB;AAC3F,YAAA,CAAA,qEAAA,CAAuE,EACzE,gBAAgB,CAAC,MAAM,GAAG;AACxB,cAAE;AACE,gBAAA,KAAK,EAAE,IAAI,cAAc,CACvB,gBAAgB,EAChB,wEAAwE;AAE3E;cACD,SAAS,CACd;QAfQ,IAAA,CAAA,WAAW,GAAX,WAAW;QACX,IAAA,CAAA,gBAAgB,GAAhB,gBAAgB;AAezB,QAAA,IAAI,CAAC,IAAI,GAAG,yBAAyB;IACvC;AACD;AAED;;;;;;;;;;;;;;;;;;AAkBG;MACU,gBAAgB,CAAA;AACV,IAAA,OAAO;AAExB;;;AAGG;AACc,IAAA,WAAW,GAAG,IAAI,GAAG,EAAoC;AAE1E;;;AAGG;AACc,IAAA,eAAe,GAAG,IAAI,GAAG,EAAiD;AAE3F;;;AAGG;AACH,IAAA,WAAA,CAAY,OAA2C,EAAA;AACrD,QAAA,IAAI,CAAC,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC;IAC7B;AAEA;;;;;AAKG;AACH,IAAA,GAAG,CAAC,QAA6B,EAAA;QAC/B,OAAO,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpE;AAEA;;;;;;;;AAQG;IACH,MAAM,kBAAkB,CAAC,WAAmB,EAAA;AAC1C,QAAA,MAAM,MAAM,GAAG,wBAAwB,CAAC,WAAW,CAAC;AACpD,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,YAAA,OAAO,SAAS;QAClB;QACA,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC;IAC1C;AAEA;;;AAGG;IACH,qBAAqB,GAAA;AACnB,QAAA,MAAM,OAAO,GAAG,OAAO,kBAA0B,KAA+B;YAC9E,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,kBAAkB,CAAC,kBAAkB,CAAC;AAChE,YAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,gBAAA,MAAM,IAAI,KAAK,CAAC,IAAI,kBAAkB,CAAA,gCAAA,CAAkC,CAAC;YAC3E;AACA,YAAA,OAAO,MAAM;AACf,QAAA,CAAC;QACD,OAAO;YACL,OAAO,EAAE,CAAC,kBAAkB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC;YAC1F,YAAY,EAAE,CAAC,kBAAkB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,SAAS,CAAC;YACpG,cAAc,EAAE,CAAC,kBAAkB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,WAAW;SACxG;IACH;AAEQ,IAAA,MAAM,OAAO,CAAC,WAAmB,EAAE,MAA2B,EAAA;QACpE,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC;AAC/C,QAAA,IAAI,KAAK,KAAK,SAAS,EAAE;YACvB,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC;QAClD;QACA,MAAM,gBAAgB,GAAc,EAAE;AACtC,QAAA,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE;AACjC,YAAA,IAAI,KAAkD;AACtD,YAAA,IAAI;AACF,gBAAA,KAAK,GAAG,MAAM,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC;YACnE;YAAE,OAAO,KAAK,EAAE;;;;;AAKd,gBAAA,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC5B;YACF;YACA,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,eAAe,EAAE;gBACzC;YACF;YACA,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC;AACzC,YAAA,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC;QACtE;AACA,QAAA,MAAM,IAAI,uBAAuB,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAC7D;AAEA;;;;AAIG;AACK,IAAA,MAAM,oBAAoB,CAChC,MAAgC,EAChC,SAAiB,EAAA;AAEjB,QAAA,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC;AAC/D,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,YAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE;QACzB;QACA,MAAM,WAAW,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC;AAC1D,QAAA,MAAM,IAAI,GAAG,eAAe,CAAC,WAAW,CAAC;QACzC,IAAI,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC;AAChD,QAAA,IAAI,SAAS,KAAK,SAAS,EAAE;AAC3B,YAAA,SAAS,GAAG,IAAI,GAAG,EAAE;YACrB,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC;QAC7C;AACA,QAAA,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC;AAC9B,QAAA,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE;IAC9B;AAEA;;;;;AAKG;AACK,IAAA,MAAM,WAAW,CACvB,MAAgC,EAChC,SAAiB,EACjB,WAAyB,EAAA;AAEzB,QAAA,MAAM,CAAC,SAAS,EAAE,mBAAmB,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;AAC/D,YAAA,MAAM,CAAC,YAAY,CAAC,SAAS,CAAC;AAC9B,YAAA,WAAW,KAAK,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC;AAC3F,YAAA,MAAM,CAAC,OAAO,CAAC,SAAS;AACzB,SAAA,CAAC;QACF,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,mBAAmB,EAAE,IAAI,EAAE;IACzE;AACD;;;;"}

package/dist/proof-provider.d.ts

@@ -5,7 +5,10 @@ export type UnboundTransaction = Transaction<SignatureEnabled, Proof, PreBinding
  */
 export interface ProveTxConfig {
     /**
-     * The timeout for the request.
+     * The timeout for the request, in milliseconds. This is a per-request timeout for the underlying
+     * proof server call, not a hard wall-clock ceiling for the whole `proveTx` call — the proof
+     * provider's internal retry/backoff means a `proveTx` call may take longer than this value when
+     * retries occur. See https://github.com/midnightntwrk/midnight-js/issues/974.
      */
     readonly timeout?: number;
 }

package/dist/proof-provider.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"proof-provider.d.ts","sourceRoot":"","sources":["../src/proof-provider.ts"],"names":[],"mappings":"AAeA,OAAO,EACL,SAAS,EACT,KAAK,UAAU,EACf,KAAK,KAAK,EACV,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,WAAW,EAChB,KAAK,mBAAmB,EACzB,MAAM,6CAA6C,CAAC;AAErD,MAAM,MAAM,kBAAkB,GAAG,WAAW,CAAC,gBAAgB,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;AAElF;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B;;OAEG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B;;;;;;;OAOG;IACH,OAAO,CAAC,UAAU,EAAE,mBAAmB,EAAE,aAAa,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;CACtG;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,mBAAmB,GAC9B,iBAAiB,eAAe,EAChC,YAAW,SAAwC,KAClD,aAID,CAAC"}
+{"version":3,"file":"proof-provider.d.ts","sourceRoot":"","sources":["../src/proof-provider.ts"],"names":[],"mappings":"AAeA,OAAO,EACL,SAAS,EACT,KAAK,UAAU,EACf,KAAK,KAAK,EACV,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,WAAW,EAChB,KAAK,mBAAmB,EACzB,MAAM,6CAA6C,CAAC;AAErD,MAAM,MAAM,kBAAkB,GAAG,WAAW,CAAC,gBAAgB,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;AAElF;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B;;;;;;;OAOG;IACH,OAAO,CAAC,UAAU,EAAE,mBAAmB,EAAE,aAAa,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;CACtG;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,mBAAmB,GAC9B,iBAAiB,eAAe,EAChC,YAAW,SAAwC,KAClD,aAID,CAAC"}

package/dist/zk-config-registry.d.ts

@@ -8,7 +8,15 @@ import { type ContractKeyLocation } from './zk-key-location';
  */
 export declare class ZKArtifactNotFoundError extends Error {
     readonly keyLocation: ContractKeyLocation;
-    constructor(keyLocation: ContractKeyLocation);
+    readonly suppressedErrors: readonly unknown[];
+    /**
+     * @param keyLocation The location that could not be resolved.
+     * @param suppressedErrors Errors raised by individual sources while probing their verifier key
+     * (integrity violations, permission/IO failures, or a genuine absence of the circuit). They are
+     * attached as this error's `cause` so a real failure — for example a `ZkArtifactIntegrityError` —
+     * is not hidden behind the "missing or stale" message.
+     */
+    constructor(keyLocation: ContractKeyLocation, suppressedErrors?: readonly unknown[]);
 }
 /**
  * Resolves canonical contract key locations to ZK artifacts across a *set* of compiled-contract
@@ -24,12 +32,23 @@ export declare class ZKArtifactNotFoundError extends Error {
  * resolution immune to redeploys, multiple deployments of one contract, and circuit-name
  * collisions across contracts.
  *
- * The sources are the per-contract {@link ZKConfigProvider}s the application already constructs;
- * resolutions are memoized per location.
+ * The sources are the per-contract {@link ZKConfigProvider}s the application already constructs. The
+ * location→source binding and each source's verifier-key hashes are memoized; the (potentially
+ * multi-MB) artifacts themselves are re-fetched from the bound source rather than retained, so the
+ * registry's memory does not grow with the number of distinct locations resolved.
  */
 export declare class ZKConfigRegistry {
     private readonly sources;
-    private readonly resolved;
+    /**
+     * Binds a resolved key location to the source that serves it — a single source reference per
+     * location, so it can be held for the registry's lifetime without retaining artifact bytes.
+     */
+    private readonly boundSource;
+    /**
+     * Memoizes each source's verifier-key hash per circuit, so source selection reuses computed
+     * hashes instead of re-fetching and re-hashing keys on every new location.
+     */
+    private readonly vkHashByCircuit;
     /**
      * @param sources The compiled-contract artifact sources to resolve against — one per compiled
      * contract the application can call (its own contracts and any cross-contract call targets).
@@ -58,5 +77,18 @@ export declare class ZKConfigRegistry {
      */
     asKeyMaterialProvider(): KeyMaterialProvider;
     private resolve;
+    /**
+     * Returns a source's verifier-key hash for a circuit, memoized per source and circuit. The
+     * verifier key bytes are included only when freshly fetched (a memo miss), so a caller that
+     * matches on the hash can reuse them and avoid a second fetch (and re-integrity-verification).
+     */
+    private probeVerifierKeyHash;
+    /**
+     * Assembles the {@link ZKConfig} for a circuit from a source. Reuses an already-fetched verifier
+     * key when the caller has one, so it is not fetched (and re-integrity-verified) a second time;
+     * otherwise fetches all three artifacts from the source. Unlike {@link ZKConfigProvider.get}, the
+     * three fetches run concurrently.
+     */
+    private buildConfig;
 }
 //# sourceMappingURL=zk-config-registry.d.ts.map

package/dist/zk-config-registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"zk-config-registry.d.ts","sourceRoot":"","sources":["../src/zk-config-registry.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,KAAK,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAClF,OAAO,EAAE,KAAK,mBAAmB,EAAwE,MAAM,mBAAmB,CAAC;AAEnI;;;;GAIG;AACH,qBAAa,uBAAwB,SAAQ,KAAK;IACpC,QAAQ,CAAC,WAAW,EAAE,mBAAmB;gBAAhC,WAAW,EAAE,mBAAmB;CAQtD;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAsC;IAE9D,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAuC;IAEhE;;;OAGG;gBACS,OAAO,EAAE,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAIvD;;;;;OAKG;IACH,GAAG,CAAC,QAAQ,EAAE,mBAAmB,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAI7D;;;;;;;;OAQG;IACG,kBAAkB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;IAQpF;;;OAGG;IACH,qBAAqB,IAAI,mBAAmB;YAe9B,OAAO;CAsBtB"}
+{"version":3,"file":"zk-config-registry.d.ts","sourceRoot":"","sources":["../src/zk-config-registry.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAe,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,KAAK,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAClF,OAAO,EAAE,KAAK,mBAAmB,EAAwE,MAAM,mBAAmB,CAAC;AAEnI;;;;GAIG;AACH,qBAAa,uBAAwB,SAAQ,KAAK;IAS9C,QAAQ,CAAC,WAAW,EAAE,mBAAmB;IACzC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,OAAO,EAAE;IAT/C;;;;;;OAMG;gBAEQ,WAAW,EAAE,mBAAmB,EAChC,gBAAgB,GAAE,SAAS,OAAO,EAAO;CAiBrD;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAsC;IAE9D;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA+C;IAE3E;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA4D;IAE5F;;;OAGG;gBACS,OAAO,EAAE,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAIvD;;;;;OAKG;IACH,GAAG,CAAC,QAAQ,EAAE,mBAAmB,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAI7D;;;;;;;;OAQG;IACG,kBAAkB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;IAQpF;;;OAGG;IACH,qBAAqB,IAAI,mBAAmB;YAe9B,OAAO;IA2BrB;;;;OAIG;YACW,oBAAoB;IAmBlC;;;;;OAKG;YACW,WAAW;CAY1B"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@midnight-ntwrk/midnight-js-types",
-  "version": "5.0.0-beta.3",
+  "version": "5.0.0-beta.4",
   "description": "Shared data types and interfaces for MidnightJS modules",
   "main": "dist/index.cjs",
   "module": "dist/index.mjs",
@@ -16,7 +16,7 @@
     }
   },
   "repository": "git@github.com:midnight-ntwrk/artifacts",
-  "packageManager": "yarn@4.12.0",
+  "packageManager": "yarn@4.14.1",
   "author": "IOHK",
   "license": "Apache-2.0",
   "scripts": {
@@ -29,12 +29,15 @@
     "dist/"
   ],
   "dependencies": {
-    "@midnight-ntwrk/midnight-js-protocol": "5.0.0-beta.3",
+    "@midnight-ntwrk/midnight-js-protocol": "5.0.0-beta.4",
     "effect": "^3.20.0",
     "pino": "^10.3.1",
     "rxjs": "^7.8.2"
   },
   "devDependencies": {
     "vitest": "^4.1.7"
+  },
+  "engines": {
+    "node": ">=22"
   }
 }