@midnight-ntwrk/midnight-js-types 4.1.0 → 5.0.0-alpha.1

package/dist/contract.d.ts

@@ -1,4 +1,5 @@
 import { type ContractExecutable } from '@midnight-ntwrk/midnight-js-protocol/compact-js/effect';
+import type { SigningKey } from '@midnight-ntwrk/midnight-js-protocol/compact-runtime';
 import { ContractAddress } from '@midnight-ntwrk/midnight-js-protocol/platform-js';
 import { type ConfigError, Exit, Option } from 'effect';
 import { type ManagedRuntime } from 'effect/ManagedRuntime';
@@ -10,7 +11,7 @@ export type ContractExecutableRuntimeOptions = {
     /** The current user's ZSwap public key. */
     readonly coinPublicKey: string;
     /** The signing key to add as the to-be-deployed contract's maintenance authority. */
-    readonly signingKey?: string;
+    readonly signingKey?: SigningKey;
 };
 /**
  * Constructs an Effect managed runtime configured to execute contract executables.

package/dist/contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAeA,OAAO,EAAmC,KAAK,kBAAkB,EACpB,MAAM,wDAAwD,CAAC;AAC5G,OAAO,EAAE,eAAe,EAAE,MAAM,kDAAkD,CAAC;AAEnF,OAAO,EAAS,KAAK,WAAW,EAA0B,IAAI,EAAQ,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC7F,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAkD7D;;GAEG;AACH,MAAM,MAAM,gCAAgC,GAAG;IAC7C,2CAA2C;IAC3C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAE/B,qFAAqF;IACrF,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,6BAA6B,EACxC,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,gCAAgC,KAAK,cAAc,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,OAAO,EAAE,WAAW,CAAC,WAAW,CAO/K,CAAC;AAEJ;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAO7D,CAAC;AAEL;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,EAAE,KAAK,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAE/D,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,GAAI,SAAS,MAAM,KAAG,eAAe,CAAC,eAC1B,CAAC"}
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAeA,OAAO,EAAmC,KAAK,kBAAkB,EACpB,MAAM,wDAAwD,CAAC;AAC5G,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sDAAsD,CAAC;AACvF,OAAO,EAAE,eAAe,EAAE,MAAM,kDAAkD,CAAC;AAEnF,OAAO,EAAS,KAAK,WAAW,EAA0B,IAAI,EAAQ,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC7F,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAkD7D;;GAEG;AACH,MAAM,MAAM,gCAAgC,GAAG;IAC7C,2CAA2C;IAC3C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAE/B,qFAAqF;IACrF,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;CAClC,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,6BAA6B,EACxC,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,gCAAgC,KAAK,cAAc,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,OAAO,EAAE,WAAW,CAAC,WAAW,CAU/K,CAAC;AAEJ;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAO7D,CAAC;AAEL;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,EAAE,KAAK,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAE/D,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,GAAI,SAAS,MAAM,KAAG,eAAe,CAAC,eAC1B,CAAC"}

package/dist/errors.d.ts

@@ -14,13 +14,13 @@ export declare class InvalidProtocolSchemeError extends Error {
  * An error thrown when exporting private states fails.
  */
 export declare class PrivateStateExportError extends Error {
-    constructor(message: string);
+    constructor(message: string, options?: ErrorOptions);
 }
 /**
  * An error thrown when exporting signing keys fails.
  */
 export declare class SigningKeyExportError extends Error {
-    constructor(message: string);
+    constructor(message: string, options?: ErrorOptions);
 }
 /**
  * Cause types for private state import errors.

package/dist/errors.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAeA;;GAEG;AACH,qBAAa,0BAA2B,SAAQ,KAAK;aAMjC,aAAa,EAAE,MAAM;aACrB,gBAAgB,EAAE,MAAM,EAAE;IAN5C;;;OAGG;gBAEe,aAAa,EAAE,MAAM,EACrB,gBAAgB,EAAE,MAAM,EAAE;CAI7C;AAED;;GAEG;AACH,qBAAa,uBAAwB,SAAQ,KAAK;gBACpC,OAAO,EAAE,MAAM;CAI5B;AAED;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,KAAK;gBAClC,OAAO,EAAE,MAAM;CAI5B;AAED;;GAEG;AACH,MAAM,MAAM,4BAA4B,GACpC,mBAAmB,GACnB,gBAAgB,GAChB,UAAU,GACV,SAAS,CAAC;AAEd;;GAEG;AACH,qBAAa,uBAAwB,SAAQ,KAAK;aAG9B,KAAK,CAAC,EAAE,4BAA4B;gBADpD,OAAO,EAAE,MAAM,EACC,KAAK,CAAC,EAAE,4BAA4B,YAAA;CAKvD;AAED;;;;GAIG;AACH,qBAAa,qBAAsB,SAAQ,uBAAuB;;CAQjE;AAED;;GAEG;AACH,qBAAa,wBAAyB,SAAQ,uBAAuB;gBACvD,OAAO,SAA0B;CAI9C;AAED;;GAEG;AACH,qBAAa,mBAAoB,SAAQ,uBAAuB;aAE5C,aAAa,EAAE,MAAM;gBAArB,aAAa,EAAE,MAAM,EACrC,UAAU,SAAkB;CAQ/B"}
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAeA;;GAEG;AACH,qBAAa,0BAA2B,SAAQ,KAAK;aAMjC,aAAa,EAAE,MAAM;aACrB,gBAAgB,EAAE,MAAM,EAAE;IAN5C;;;OAGG;gBAEe,aAAa,EAAE,MAAM,EACrB,gBAAgB,EAAE,MAAM,EAAE;CAI7C;AAED;;GAEG;AACH,qBAAa,uBAAwB,SAAQ,KAAK;gBACpC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,YAAY;CAIpD;AAED;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,KAAK;gBAClC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,YAAY;CAIpD;AAED;;GAEG;AACH,MAAM,MAAM,4BAA4B,GACpC,mBAAmB,GACnB,gBAAgB,GAChB,UAAU,GACV,SAAS,CAAC;AAEd;;GAEG;AACH,qBAAa,uBAAwB,SAAQ,KAAK;aAG9B,KAAK,CAAC,EAAE,4BAA4B;gBADpD,OAAO,EAAE,MAAM,EACC,KAAK,CAAC,EAAE,4BAA4B,YAAA;CAKvD;AAED;;;;GAIG;AACH,qBAAa,qBAAsB,SAAQ,uBAAuB;;CAQjE;AAED;;GAEG;AACH,qBAAa,wBAAyB,SAAQ,uBAAuB;gBACvD,OAAO,SAA0B;CAI9C;AAED;;GAEG;AACH,qBAAa,mBAAoB,SAAQ,uBAAuB;aAE5C,aAAa,EAAE,MAAM;gBAArB,aAAa,EAAE,MAAM,EACrC,UAAU,SAAkB;CAQ/B"}

package/dist/index.cjs

@@ -73,7 +73,10 @@ const makeAdaptedRuntimeLayer = (zkConfigProvider, configMap) => effect$1.Layer.
 const makeContractExecutableRuntime = (zkConfigProvider, options) => {
     let config = [['KEYS_COIN_PUBLIC', options.coinPublicKey]];
     if (options.signingKey) {
-        config = config.concat([['KEYS_SIGNING', options.signingKey]]);
+        config = config.concat([
+            ['KEYS_SIGNING', options.signingKey.value],
+            ['KEYS_SIGNING_KIND', options.signingKey.tag]
+        ]);
     }
     return effect.ContractExecutableRuntime.make(makeAdaptedRuntimeLayer(zkConfigProvider, new Map(config)));
 };
@@ -143,8 +146,8 @@ class InvalidProtocolSchemeError extends Error {
  * An error thrown when exporting private states fails.
  */
 class PrivateStateExportError extends Error {
-    constructor(message) {
-        super(message);
+    constructor(message, options) {
+        super(message, options);
         this.name = 'PrivateStateExportError';
     }
 }
@@ -152,8 +155,8 @@ class PrivateStateExportError extends Error {
  * An error thrown when exporting signing keys fails.
  */
 class SigningKeyExportError extends Error {
-    constructor(message) {
-        super(message);
+    constructor(message, options) {
+        super(message, options);
         this.name = 'SigningKeyExportError';
     }
 }

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"],"sourcesContent":[null,null,null,null,null,null,null],"names":["Effect","Option","Contract","ZKConfigurationReadError","Layer","ZKConfiguration","Configuration","ConfigProvider","ContractExecutableRuntime","Exit","Cause","ContractAddress","LogLevel","CostModel"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;;;;;;;;;;;;;AAaG;AAWH;;;;;;;;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,CAAC,CAAC,cAAc,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IAChE;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;;ACrIzC;;;;;;;;;;;;;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;AAChD,IAAA,WAAA,CAAY,OAAe,EAAA;QACzB,KAAK,CAAC,OAAO,CAAC;AACd,QAAA,IAAI,CAAC,IAAI,GAAG,yBAAyB;IACvC;AACD;AAED;;AAEG;AACG,MAAO,qBAAsB,SAAQ,KAAK,CAAA;AAC9C,IAAA,WAAA,CAAY,OAAe,EAAA;QACzB,KAAK,CAAC,OAAO,CAAC;AACd,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
+{"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"],"sourcesContent":[null,null,null,null,null,null,null],"names":["Effect","Option","Contract","ZKConfigurationReadError","Layer","ZKConfiguration","Configuration","ConfigProvider","ContractExecutableRuntime","Exit","Cause","ContractAddress","LogLevel","CostModel"],"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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/dist/index.d.cts

@@ -1,4 +1,5 @@
 import { ContractExecutable } from '@midnight-ntwrk/midnight-js-protocol/compact-js/effect';
+import { SigningKey, ContractAddress as ContractAddress$2, ContractState } from '@midnight-ntwrk/midnight-js-protocol/compact-runtime';
 import { ContractAddress as ContractAddress$1 } from '@midnight-ntwrk/midnight-js-protocol/platform-js';
 import { Option, Exit, ConfigError } from 'effect';
 import { ManagedRuntime } from 'effect/ManagedRuntime';
@@ -6,7 +7,6 @@ import { Contract } from '@midnight-ntwrk/midnight-js-protocol/compact-js';
 import { Transaction, SignatureEnabled, Proof, Binding, TransactionId, TransactionHash, ContractAddress, IntentHash, RawTokenType, FinalizedTransaction, UnprovenTransaction, PreBinding, ProvingProvider, CostModel, ZswapChainState, LedgerParameters, CoinPublicKey, EncPublicKey } from '@midnight-ntwrk/midnight-js-protocol/ledger';
 export { Transaction } from '@midnight-ntwrk/midnight-js-protocol/ledger';
 import { LogFn } from 'pino';
-import { ContractAddress as ContractAddress$2, SigningKey, ContractState } from '@midnight-ntwrk/midnight-js-protocol/compact-runtime';
 import { Observable } from 'rxjs';
 
 type AnyProvableCircuitId = Contract.ProvableCircuitId<Contract.Any>;
@@ -313,7 +313,7 @@ type ContractExecutableRuntimeOptions = {
     /** The current user's ZSwap public key. */
     readonly coinPublicKey: string;
     /** The signing key to add as the to-be-deployed contract's maintenance authority. */
-    readonly signingKey?: string;
+    readonly signingKey?: SigningKey;
 };
 /**
  * Constructs an Effect managed runtime configured to execute contract executables.
@@ -362,13 +362,13 @@ declare class InvalidProtocolSchemeError extends Error {
  * An error thrown when exporting private states fails.
  */
 declare class PrivateStateExportError extends Error {
-    constructor(message: string);
+    constructor(message: string, options?: ErrorOptions);
 }
 /**
  * An error thrown when exporting signing keys fails.
  */
 declare class SigningKeyExportError extends Error {
-    constructor(message: string);
+    constructor(message: string, options?: ErrorOptions);
 }
 /**
  * Cause types for private state import errors.
@@ -643,6 +643,40 @@ interface PrivateStateProvider<PSI extends PrivateStateId = PrivateStateId, PS =
      * Retrieve the private state at the given private state ID.
      *
      * @param privateStateId The private state identifier.
+     * @returns The stored private state, or `null` if either:
+     *   - the key is absent from the underlying store, or
+     *   - the stored value deserializes to `undefined`.
+     *
+     *   Callers should treat both `null` outcomes equivalently as "no usable
+     *   value". The provider does not distinguish between an absent key and an
+     *   explicitly-undefined stored value; if the distinction matters for your
+     *   application, store a sentinel value instead.
+     *
+     * @throws If `setContractAddress` has not been called prior to invocation.
+     * @throws If the password returned by the configured password provider does
+     *   not satisfy the minimum strength policy. Validation runs on every
+     *   invocation against the password returned by the provider — it is not
+     *   cached.
+     * @throws If decryption of the stored value fails (wrong password, salt
+     *   mismatch, unsupported encryption version, or authentication tag
+     *   mismatch). Decryption errors are propagated to the caller and do **not**
+     *   collapse to `null`.
+     * @throws If a concurrent password rotation does not release its lock
+     *   within the internal default timeout (5 minutes on the read path; the
+     *   read path does not expose a configuration knob).
+     * @throws Underlying store I/O errors are propagated; callers should not
+     *   include them in user-facing messages without redacting paths and
+     *   OS-level metadata.
+     *
+     * @remarks
+     * Implementations may lazily migrate legacy or unencrypted entries on
+     * read, which means a successful logical read can trigger a write to the
+     * underlying store. In read-only environments (mounted-read-only file
+     * systems, quota-exhausted backends), `get` may reject with an I/O error
+     * even when the value is present and decryptable. The list of decryption
+     * failure modes above is illustrative, not exhaustive — payload
+     * encoding/parse errors, crypto-backend availability errors, and other
+     * corruption modes are also surfaced as throws rather than `null`.
      */
     get(privateStateId: PSI): Promise<PS | null>;
     /**
@@ -666,6 +700,41 @@ interface PrivateStateProvider<PSI extends PrivateStateId = PrivateStateId, PS =
      * Retrieve the signing key for a contract.
      *
      * @param address The address of the contract for which to get the signing key.
+     * @returns The stored signing key, or `null` if either:
+     *   - no signing key is stored for the given address, or
+     *   - the stored value deserializes to `undefined`.
+     *
+     *   Callers should treat both `null` outcomes equivalently as "no usable
+     *   value".
+     *
+     * @throws If the password returned by the configured password provider does
+     *   not satisfy the minimum strength policy. Validation runs on every
+     *   invocation against the password returned by the provider — it is not
+     *   cached.
+     * @throws If decryption of the stored value fails (wrong password, salt
+     *   mismatch, unsupported encryption version, or authentication tag
+     *   mismatch). Decryption errors are propagated to the caller and do **not**
+     *   collapse to `null`.
+     * @throws If a concurrent password rotation does not release its lock
+     *   within the internal default timeout (5 minutes on the read path; the
+     *   read path does not expose a configuration knob).
+     * @throws Underlying store I/O errors are propagated; callers should not
+     *   include them in user-facing messages without redacting paths and
+     *   OS-level metadata.
+     *
+     * @remarks
+     * Unlike {@link PrivateStateProvider.get}, this method does **not** require
+     * {@link PrivateStateProvider.setContractAddress} to have been called first —
+     * the contract address is supplied as an argument.
+     *
+     * Implementations may lazily migrate legacy or unencrypted entries on
+     * read, which means a successful logical read can trigger a write to the
+     * underlying store. In read-only environments, `getSigningKey` may reject
+     * with an I/O error even when the value is present and decryptable. The
+     * list of decryption failure modes above is illustrative, not exhaustive
+     * — payload encoding/parse errors, crypto-backend availability errors,
+     * and other corruption modes are also surfaced as throws rather than
+     * `null`.
      */
     getSigningKey(address: ContractAddress$2): Promise<SigningKey | null>;
     /**
@@ -685,7 +754,17 @@ interface PrivateStateProvider<PSI extends PrivateStateId = PrivateStateId, PS =
      *
      * @param options Export options including optional custom password and state limit.
      * @returns A JSON-serializable export structure that can be saved or transmitted.
-     * @throws {PrivateStateExportError} If no states exist to export or limit exceeded.
+     * @throws {PrivateStateExportError} If no states exist to export, the state
+     *   limit is exceeded, or a caller-supplied `options.password` does not
+     *   satisfy the minimum-length policy.
+     * @throws If implementations require a scoped operating context (for
+     *   example, an account or contract address) and that context is not set.
+     * @throws If the password returned by the configured password provider
+     *   does not satisfy the minimum strength policy (validation runs on
+     *   every invocation).
+     * @throws If reading existing entries fails for any of the reasons listed
+     *   on {@link PrivateStateProvider.get} (decryption failure, rotation
+     *   lock timeout, store I/O).
      */
     exportPrivateStates(options?: ExportPrivateStatesOptions): Promise<PrivateStateExport>;
     /**
@@ -697,6 +776,13 @@ interface PrivateStateProvider<PSI extends PrivateStateId = PrivateStateId, PS =
      * @throws {ExportDecryptionError} If decryption fails (wrong password or corrupted data).
      * @throws {InvalidExportFormatError} If the export format is invalid or unsupported.
      * @throws {ImportConflictError} If conflictStrategy is 'error' and conflicts exist.
+     * @throws {PrivateStateExportError} If a caller-supplied `options.password`
+     *   does not satisfy the minimum-length policy.
+     * @throws If implementations require a scoped operating context (for
+     *   example, an account or contract address) and that context is not set.
+     * @throws If reading or writing the underlying store fails for any of the
+     *   reasons listed on {@link PrivateStateProvider.get} or
+     *   {@link PrivateStateProvider.set}.
      */
     importPrivateStates(exportData: PrivateStateExport, options?: ImportPrivateStatesOptions): Promise<ImportPrivateStatesResult>;
     /**
@@ -704,7 +790,14 @@ interface PrivateStateProvider<PSI extends PrivateStateId = PrivateStateId, PS =
      *
      * @param options Export options including optional custom password and key limit.
      * @returns A JSON-serializable export structure that can be saved or transmitted.
-     * @throws {SigningKeyExportError} If no keys exist to export or limit exceeded.
+     * @throws {SigningKeyExportError} If no keys exist to export, the key limit
+     *   is exceeded, or a caller-supplied `options.password` does not satisfy
+     *   the minimum-length policy.
+     * @throws If the password returned by the configured password provider
+     *   does not satisfy the minimum strength policy (validation runs on
+     *   every invocation).
+     * @throws If reading existing entries fails for any of the reasons listed
+     *   on {@link PrivateStateProvider.getSigningKey}.
      */
     exportSigningKeys(options?: ExportSigningKeysOptions): Promise<SigningKeyExport>;
     /**
@@ -716,6 +809,11 @@ interface PrivateStateProvider<PSI extends PrivateStateId = PrivateStateId, PS =
      * @throws {ExportDecryptionError} If decryption fails (wrong password or corrupted data).
      * @throws {InvalidExportFormatError} If the export format is invalid or unsupported.
      * @throws {ImportConflictError} If conflictStrategy is 'error' and conflicts exist.
+     * @throws {SigningKeyExportError} If a caller-supplied `options.password`
+     *   does not satisfy the minimum-length policy.
+     * @throws If reading or writing the underlying store fails for any of the
+     *   reasons listed on {@link PrivateStateProvider.getSigningKey} or
+     *   {@link PrivateStateProvider.setSigningKey}.
      */
     importSigningKeys(exportData: SigningKeyExport, options?: ImportSigningKeysOptions): Promise<ImportSigningKeysResult>;
 }
@@ -811,6 +909,179 @@ type ContractStateObservableConfig = ((TxIdConfig | BlockHashConfig | BlockHeigh
      */
     readonly inclusive?: boolean;
 }) | Latest | All;
+/**
+ * The eleven contract event variants surfaced by the indexer (MIP-0002 public
+ * contract log emission). The variant *set* is identical to compact-js's
+ * `LogEventType`; only the string casing differs (PascalCase here, kebab-case
+ * in compact-js, SCREAMING_SNAKE on the indexer wire). Adding a variant is a
+ * breaking change — the mapping, filter translation, and exhaustiveness guards
+ * all key off this union.
+ */
+type ContractEventType = 'ShieldedSpend' | 'ShieldedReceive' | 'ShieldedMint' | 'ShieldedBurn' | 'UnshieldedSpend' | 'UnshieldedReceive' | 'UnshieldedMint' | 'UnshieldedBurn' | 'Paused' | 'Unpaused' | 'Misc';
+/**
+ * A `sender` / `recipient` on an unshielded event. The indexer returns a tagged
+ * union (`Either<ZswapCoinPublicKey, ContractAddress>`); this preserves the
+ * discriminator so consumers can tell a user address from a contract address
+ * rather than receiving a bare, ambiguous string.
+ */
+interface ContractEventAddress {
+    /** Which kind of address `value` holds. */
+    readonly kind: 'user' | 'contract';
+    /** The hex-encoded address. */
+    readonly value: string;
+}
+/**
+ * Fields common to every {@link ContractEvent} variant, regardless of type.
+ */
+interface ContractEventBase {
+    /**
+     * Monotonic indexer cursor for this event. Inclusive resumption point — to
+     * resume *after* this event, pass `{ fromId: id + 1 }`.
+     */
+    readonly id: number;
+    /**
+     * Highest event id the indexer currently knows (the chain tip for events).
+     * Compare against {@link id} to detect catch-up / whether more events exist.
+     */
+    readonly maxId: number;
+    /**
+     * Payload schema version — selects the (future) per-event payload decoder.
+     * Iteration-1 events are `version: 1`.
+     */
+    readonly version: number;
+    /** Address of the contract that emitted the event. */
+    readonly contractAddress: ContractAddress;
+    /**
+     * Indexer-internal `BIGSERIAL` row id of the emitting transaction — **not**
+     * the chain transaction hash. To fetch the chain transaction, issue a
+     * separate query. Note the asymmetry with {@link ContractEventFilterBase.transactionHash},
+     * which narrows by chain hash.
+     */
+    readonly transactionId: number;
+    /**
+     * Opaque hex `VersionedLogItem` bytes, carried verbatim. Never decoded or
+     * validated by this provider — the forward bridge to a future compact-js
+     * payload decoder.
+     */
+    readonly raw: string;
+}
+/**
+ * A decoded contract event. Discriminated union keyed on `eventType`; narrow on
+ * it to access the variant-specific payload fields.
+ *
+ * `amount` is always a `string` (encodes up to a 16-byte integer) — never round
+ * it through `Number()`. Absent nullable fields are normalized to `undefined`
+ * (never `null`).
+ */
+type ContractEvent = (ContractEventBase & {
+    readonly eventType: 'ShieldedSpend';
+    readonly nullifier: string;
+}) | (ContractEventBase & {
+    readonly eventType: 'ShieldedReceive';
+    readonly commitment: string;
+    readonly ciphertext?: string;
+    readonly receivingContractAddress?: string;
+}) | (ContractEventBase & {
+    readonly eventType: 'ShieldedMint';
+    readonly commitment: string;
+    readonly domainSep: string;
+    readonly amount?: string;
+}) | (ContractEventBase & {
+    readonly eventType: 'ShieldedBurn';
+    readonly nullifier: string;
+    readonly amount?: string;
+}) | (ContractEventBase & {
+    readonly eventType: 'UnshieldedSpend';
+    readonly sender: ContractEventAddress;
+    readonly domainSep: string;
+    readonly tokenType: string;
+    readonly amount: string;
+}) | (ContractEventBase & {
+    readonly eventType: 'UnshieldedReceive';
+    readonly recipient: ContractEventAddress;
+    readonly domainSep: string;
+    readonly tokenType: string;
+    readonly amount: string;
+}) | (ContractEventBase & {
+    readonly eventType: 'UnshieldedMint';
+    readonly domainSep: string;
+    readonly tokenType: string;
+    readonly amount: string;
+}) | (ContractEventBase & {
+    readonly eventType: 'UnshieldedBurn';
+    readonly sender: ContractEventAddress;
+    readonly tokenType: string;
+    readonly amount: string;
+}) | (ContractEventBase & {
+    readonly eventType: 'Paused';
+}) | (ContractEventBase & {
+    readonly eventType: 'Unpaused';
+}) | (ContractEventBase & {
+    readonly eventType: 'Misc';
+    readonly name: string;
+    readonly payload: string;
+});
+/**
+ * A single prefix filter on an indexed field of a standard event. `prefix` is
+ * hex-encoded; the empty string matches all values.
+ */
+interface ContractEventFieldPrefix {
+    readonly fieldName: string;
+    readonly prefix: string;
+}
+/**
+ * Filter fields shared by the query and the subscription.
+ */
+interface ContractEventFilterBase {
+    /** Required: the contract whose events to return. */
+    readonly contractAddress: ContractAddress;
+    /**
+     * Optional subset of event types. Omit to mean "all types". An empty array
+     * is rejected (it would silently match nothing).
+     */
+    readonly types?: ContractEventType[];
+    /**
+     * Optional prefix filters on indexed fields. Accepted only when every
+     * filtered type is a standard (non-`Misc`) variant — see method docs.
+     */
+    readonly fieldPrefixes?: ContractEventFieldPrefix[];
+    /** Optional: narrow to events emitted from the transaction with this chain hash. */
+    readonly transactionHash?: string;
+}
+/**
+ * Filter for {@link PublicDataProvider.queryContractEvents}. `fromBlock` /
+ * `toBlock` are inclusive block-height bounds for a finite, point-in-time read.
+ */
+interface ContractEventQueryFilter extends ContractEventFilterBase {
+    readonly fromBlock?: number;
+    readonly toBlock?: number;
+}
+/**
+ * Filter for {@link PublicDataProvider.contractEventsObservable}. The stream
+ * start is supplied separately via {@link ContractEventCursor}; `toBlock`
+ * terminates the stream once the chain reaches that height.
+ */
+interface ContractEventSubscriptionFilter extends ContractEventFilterBase {
+    readonly toBlock?: number;
+}
+/**
+ * Where a subscription begins. Exactly one addressing mode per call — two
+ * competing start points are unrepresentable by construction.
+ */
+type ContractEventCursor = {
+    readonly fromId: number;
+} | {
+    readonly fromBlock: number;
+};
+/**
+ * Pagination window for {@link PublicDataProvider.queryContractEvents}.
+ * `offset` is only stable within a window with a fixed upper bound — pin
+ * `toBlock` for multi-page reads.
+ */
+interface ContractEventsPage {
+    readonly limit?: number;
+    readonly offset?: number;
+}
 /**
  * Interface for a public data service. This service retrieves public data from the blockchain.
  * TODO: Add timeouts or retry limits to 'watchFor' queries.
@@ -912,6 +1183,56 @@ interface PublicDataProvider {
      * @return {Observable<UnshieldedBalances>} An observable that emits the unshielded balances for the provided address.
      */
     unshieldedBalancesObservable(address: ContractAddress, config: ContractStateObservableConfig): Observable<UnshieldedBalances>;
+    /**
+     * Queries contract events for a contract address — a finite, paginated,
+     * point-in-time read.
+     *
+     * Results are returned in ascending `id` order. The result is a plain array
+     * with no total count: detect the end via `result.length < limit`, and read
+     * `maxId` on the last item to see how far the tip is.
+     *
+     * When `page.limit` is omitted an implementation-defined default page size is
+     * applied (never an undocumented server default). `offset` is only stable
+     * within a window with a fixed upper bound — pin `filter.toBlock` for
+     * multi-page reads, or prefer the `getAllContractEvents` helper / the
+     * subscription for tailing.
+     *
+     * Fails fast (synchronously, before any network call) on an invalid
+     * `contractAddress`, an empty `types` array, `fieldPrefixes` combined with
+     * `Misc` (or with `types` omitted), or an unknown `fieldName`. Network /
+     * GraphQL errors reject the promise — an empty array always means "no
+     * matching events", never a swallowed error.
+     *
+     * @param filter The events to return; `contractAddress` is required.
+     * @param page Optional pagination window.
+     */
+    queryContractEvents(filter: ContractEventQueryFilter, page?: ContractEventsPage): Promise<ContractEvent[]>;
+    /**
+     * Streams contract events for a contract address — replay from a cursor, then
+     * live, in one continuous stream.
+     *
+     * The start is supplied via `opts.startAt`: `{ fromId }` resumes inclusively
+     * from a known event id, `{ fromBlock }` starts from a block height. Omitting
+     * `startAt` streams from the start of history. The indexer replays historical
+     * events from that point in monotonic `id` order, then continues live — there
+     * is no separate backfill query and no client-side dedup.
+     *
+     * `{ fromId }` is **inclusive**; to resume *after* the last seen event pass
+     * `{ fromId: lastSeenId + 1 }`.
+     *
+     * `filter.toBlock` completes the stream once the chain reaches that height;
+     * without it the stream runs until unsubscribed or the provider is disposed.
+     * Delivery is **at-least-once** across transport reconnects (the provider
+     * does not advance the cursor) — persisting consumers should dedup by `id`.
+     * Transport failures surface as an observable `error`, never a silent
+     * completion.
+     *
+     * @param filter The events to stream; `contractAddress` is required.
+     * @param opts Optional stream start.
+     */
+    contractEventsObservable(filter: ContractEventSubscriptionFilter, opts?: {
+        startAt?: ContractEventCursor;
+    }): Observable<ContractEvent>;
 }
 
 /**
@@ -968,4 +1289,4 @@ interface MidnightProviders<PCK extends AnyProvableCircuitId = AnyProvableCircui
 }
 
 export { ExportDecryptionError, FailEntirely, FailFallible, ImportConflictError, InvalidExportFormatError, InvalidProtocolSchemeError, LogLevel, MAX_EXPORT_SIGNING_KEYS, MAX_EXPORT_STATES, PrivateStateExportError, PrivateStateImportError, SegmentFail, SegmentSuccess, SigningKeyExportError, SucceedEntirely, ZKConfigProvider, asContractAddress, asEffectOption, createProofProvider, createProverKey, createVerifierKey, createZKIR, exitResultOrError, makeContractExecutableRuntime, zkConfigToProvingKeyMaterial };
-export type { All, AnyPrivateState, AnyProvableCircuitId, BlockHash, BlockHashConfig, BlockHeightConfig, ContractExecutableRuntimeOptions, ContractStateObservableConfig, ExportPrivateStatesOptions, ExportSigningKeysOptions, Fees, FinalizedTxData, ImportPrivateStatesOptions, ImportPrivateStatesResult, ImportSigningKeysOptions, ImportSigningKeysResult, KeyMaterialProvider, Latest, LoggerProvider, MidnightProvider, MidnightProviders, PrivateStateExport, PrivateStateId, PrivateStateImportErrorCause, PrivateStateProvider, ProofProvider, ProveTxConfig, ProverKey, PublicDataProvider, SegmentStatus, SigningKeyExport, TxIdConfig, TxStatus, UnboundTransaction, UnshieldedBalance, UnshieldedBalances, UnshieldedUtxo, UnshieldedUtxos, VerifierKey, WalletProvider, ZKConfig, ZKIR };
+export type { All, AnyPrivateState, AnyProvableCircuitId, BlockHash, BlockHashConfig, BlockHeightConfig, ContractEvent, ContractEventAddress, ContractEventBase, ContractEventCursor, ContractEventFieldPrefix, ContractEventFilterBase, ContractEventQueryFilter, ContractEventSubscriptionFilter, ContractEventType, ContractEventsPage, ContractExecutableRuntimeOptions, ContractStateObservableConfig, ExportPrivateStatesOptions, ExportSigningKeysOptions, Fees, FinalizedTxData, ImportPrivateStatesOptions, ImportPrivateStatesResult, ImportSigningKeysOptions, ImportSigningKeysResult, KeyMaterialProvider, Latest, LoggerProvider, MidnightProvider, MidnightProviders, PrivateStateExport, PrivateStateId, PrivateStateImportErrorCause, PrivateStateProvider, ProofProvider, ProveTxConfig, ProverKey, PublicDataProvider, SegmentStatus, SigningKeyExport, TxIdConfig, TxStatus, UnboundTransaction, UnshieldedBalance, UnshieldedBalances, UnshieldedUtxo, UnshieldedUtxos, VerifierKey, WalletProvider, ZKConfig, ZKIR };