@midnight-ntwrk/midnight-js-types 0.1.15 → 0.2.4

package/dist/{index.js → index.cjs}

@@ -1,41 +1,46 @@
 'use strict';
 
+var ledger = require('@midnight-ntwrk/ledger');
+
+/**
+ * Creates a branded prover key representation from a prover key binary.
+ *
+ * @param uint8Array The prover key binary.
+ */
 const createProverKey = (uint8Array) => {
     return uint8Array;
 };
+/**
+ * Creates a branded verifier key representation from a verifier key binary.
+ *
+ * @param uint8Array The verifier key binary.
+ */
 const createVerifierKey = (uint8Array) => {
     return uint8Array;
 };
-const createZKIR = (string) => {
-    return string;
-};
-const UNPROVEN_TX_SYM = Symbol('unproven_tx');
 /**
- * Creates an {@link UnprovenTransaction} from an unproven ledger transaction.
- * @param tx The ledger transaction to wrap.
+ * Creates a branded ZKIR representation from a ZKIR binary.
+ *
+ * @param uint8Array The ZKIR binary.
  */
-const createUnprovenTx = (tx) => ({
-    UnprovenTransaction: UNPROVEN_TX_SYM,
-    tx
-});
-const UNBALANCED_TX_SYM = Symbol('unbalanced_tx');
+const createZKIR = (uint8Array) => {
+    return uint8Array;
+};
 /**
  * Creates an {@link UnbalancedTransaction} from a ledger transaction.
+ *
  * @param tx The ledger transaction to wrap.
  */
-const createUnbalancedTx = (tx) => ({
-    UnbalancedTransaction: UNBALANCED_TX_SYM,
-    tx
-});
-const BALANCED_TX_SYM = Symbol('balanced_tx');
+const createUnbalancedTx = (tx) => {
+    return tx;
+};
 /**
  * Creates an {@link BalancedTransaction} from a ledger transaction.
  * @param tx The ledger transaction to wrap.
  */
-const createBalancedTx = (tx) => ({
-    BalancedTransaction: BALANCED_TX_SYM,
-    tx
-});
+const createBalancedTx = (tx) => {
+    return tx;
+};
 /**
  * Indicates that the transaction is invalid.
  */
@@ -85,6 +90,10 @@ class ZKConfigProvider {
     }
 }
 
+Object.defineProperty(exports, 'UnprovenTransaction', {
+    enumerable: true,
+    get: function () { return ledger.UnprovenTransaction; }
+});
 exports.FailEntirely = FailEntirely;
 exports.FailFallible = FailFallible;
 exports.SucceedEntirely = SucceedEntirely;
@@ -92,7 +101,6 @@ exports.ZKConfigProvider = ZKConfigProvider;
 exports.createBalancedTx = createBalancedTx;
 exports.createProverKey = createProverKey;
 exports.createUnbalancedTx = createUnbalancedTx;
-exports.createUnprovenTx = createUnprovenTx;
 exports.createVerifierKey = createVerifierKey;
 exports.createZKIR = createZKIR;
-//# sourceMappingURL=index.js.map
+//# sourceMappingURL=index.cjs.map

package/dist/index.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.cjs","sources":["../src/midnight-types.ts","../src/zk-config-provider.ts"],"sourcesContent":[null,null],"names":[],"mappings":";;;;AAYA;;;;AAIG;AACU,MAAA,eAAe,GAAG,CAAC,UAAsB,KAAe;AACnE,IAAA,OAAO,UAAuB,CAAC;AACjC,EAAE;AAYF;;;;AAIG;AACU,MAAA,iBAAiB,GAAG,CAAC,UAAsB,KAAiB;AACvE,IAAA,OAAO,UAAyB,CAAC;AACnC,EAAE;AAYF;;;;AAIG;AACU,MAAA,UAAU,GAAG,CAAC,UAAsB,KAAU;AACzD,IAAA,OAAO,UAAkB,CAAC;AAC5B,EAAE;AAmCF;;;;AAIG;AACU,MAAA,kBAAkB,GAAG,CAAC,EAAe,KAA2B;AAC3E,IAAA,OAAO,EAA2B,CAAC;AACrC,EAAE;AAYF;;;AAGG;AACU,MAAA,gBAAgB,GAAG,CAAC,EAAe,KAAyB;AACvE,IAAA,OAAO,EAAyB,CAAC;AACnC,EAAE;AAEF;;AAEG;AACI,MAAM,YAAY,GAAG,eAAwB;AAEpD;;;;;AAKG;AACI,MAAM,YAAY,GAAG,eAAwB;AAEpD;;;AAGG;AACI,MAAM,eAAe,GAAG;;ACtI/B;;;;;;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,CAAC;AAC1C,YAAA,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;SAClB,CAAC,CACH,CAAC;KACH;AAED;;;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,CAAC;SACpC,CAAC;KACH;AACF;;;;;;;;;;;;;;;;"}

package/dist/index.d.ts

@@ -1,9 +1,10 @@
 export * from './private-state-provider';
 export * from './midnight-provider';
-export { ProverKey, VerifierKey, ZKIR, ZKConfig, FailEntirely, FailFallible, SucceedEntirely, TxStatus, UnprovenTransaction, UnbalancedTransaction, BalancedTransaction, FinalizedTxData, createProverKey, createVerifierKey, createZKIR, createUnprovenTx, createBalancedTx, createUnbalancedTx } from './midnight-types';
+export { ProverKey, VerifierKey, ZKIR, ZKConfig, FailEntirely, FailFallible, SucceedEntirely, TxStatus, UnbalancedTransaction, BalancedTransaction, FinalizedTxData, createProverKey, createVerifierKey, createZKIR, createBalancedTx, createUnbalancedTx } from './midnight-types';
 export * from './proof-provider';
 export * from './wallet-provider';
 export * from './public-data-provider';
 export * from './providers';
 export * from './zk-config-provider';
+export { UnprovenTransaction } from '@midnight-ntwrk/ledger';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,qBAAqB,CAAC;AACpC,OAAO,EACL,SAAS,EACT,WAAW,EACX,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,mBAAmB,EACnB,qBAAqB,EACrB,mBAAmB,EACnB,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,UAAU,EACV,gBAAgB,EAChB,gBAAgB,EAChB,kBAAkB,EACnB,MAAM,kBAAkB,CAAC;AAC1B,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC;AAClC,cAAc,wBAAwB,CAAC;AACvC,cAAc,aAAa,CAAC;AAC5B,cAAc,sBAAsB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,qBAAqB,CAAC;AACpC,OAAO,EACL,SAAS,EACT,WAAW,EACX,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,qBAAqB,EACrB,mBAAmB,EACnB,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,UAAU,EACV,gBAAgB,EAChB,kBAAkB,EACnB,MAAM,kBAAkB,CAAC;AAC1B,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC;AAClC,cAAc,wBAAwB,CAAC;AACvC,cAAc,aAAa,CAAC;AAC5B,cAAc,sBAAsB,CAAC;AACrC,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/{index.esm.js → index.mjs}

@@ -1,39 +1,44 @@
+export { UnprovenTransaction } from '@midnight-ntwrk/ledger';
+
+/**
+ * Creates a branded prover key representation from a prover key binary.
+ *
+ * @param uint8Array The prover key binary.
+ */
 const createProverKey = (uint8Array) => {
     return uint8Array;
 };
+/**
+ * Creates a branded verifier key representation from a verifier key binary.
+ *
+ * @param uint8Array The verifier key binary.
+ */
 const createVerifierKey = (uint8Array) => {
     return uint8Array;
 };
-const createZKIR = (string) => {
-    return string;
-};
-const UNPROVEN_TX_SYM = Symbol('unproven_tx');
 /**
- * Creates an {@link UnprovenTransaction} from an unproven ledger transaction.
- * @param tx The ledger transaction to wrap.
+ * Creates a branded ZKIR representation from a ZKIR binary.
+ *
+ * @param uint8Array The ZKIR binary.
  */
-const createUnprovenTx = (tx) => ({
-    UnprovenTransaction: UNPROVEN_TX_SYM,
-    tx
-});
-const UNBALANCED_TX_SYM = Symbol('unbalanced_tx');
+const createZKIR = (uint8Array) => {
+    return uint8Array;
+};
 /**
  * Creates an {@link UnbalancedTransaction} from a ledger transaction.
+ *
  * @param tx The ledger transaction to wrap.
  */
-const createUnbalancedTx = (tx) => ({
-    UnbalancedTransaction: UNBALANCED_TX_SYM,
-    tx
-});
-const BALANCED_TX_SYM = Symbol('balanced_tx');
+const createUnbalancedTx = (tx) => {
+    return tx;
+};
 /**
  * Creates an {@link BalancedTransaction} from a ledger transaction.
  * @param tx The ledger transaction to wrap.
  */
-const createBalancedTx = (tx) => ({
-    BalancedTransaction: BALANCED_TX_SYM,
-    tx
-});
+const createBalancedTx = (tx) => {
+    return tx;
+};
 /**
  * Indicates that the transaction is invalid.
  */
@@ -83,5 +88,5 @@ class ZKConfigProvider {
     }
 }
 
-export { FailEntirely, FailFallible, SucceedEntirely, ZKConfigProvider, createBalancedTx, createProverKey, createUnbalancedTx, createUnprovenTx, createVerifierKey, createZKIR };
-//# sourceMappingURL=index.esm.js.map
+export { FailEntirely, FailFallible, SucceedEntirely, ZKConfigProvider, createBalancedTx, createProverKey, createUnbalancedTx, createVerifierKey, createZKIR };
+//# sourceMappingURL=index.mjs.map

package/dist/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","sources":["../src/midnight-types.ts","../src/zk-config-provider.ts"],"sourcesContent":[null,null],"names":[],"mappings":";;AAYA;;;;AAIG;AACU,MAAA,eAAe,GAAG,CAAC,UAAsB,KAAe;AACnE,IAAA,OAAO,UAAuB,CAAC;AACjC,EAAE;AAYF;;;;AAIG;AACU,MAAA,iBAAiB,GAAG,CAAC,UAAsB,KAAiB;AACvE,IAAA,OAAO,UAAyB,CAAC;AACnC,EAAE;AAYF;;;;AAIG;AACU,MAAA,UAAU,GAAG,CAAC,UAAsB,KAAU;AACzD,IAAA,OAAO,UAAkB,CAAC;AAC5B,EAAE;AAmCF;;;;AAIG;AACU,MAAA,kBAAkB,GAAG,CAAC,EAAe,KAA2B;AAC3E,IAAA,OAAO,EAA2B,CAAC;AACrC,EAAE;AAYF;;;AAGG;AACU,MAAA,gBAAgB,GAAG,CAAC,EAAe,KAAyB;AACvE,IAAA,OAAO,EAAyB,CAAC;AACnC,EAAE;AAEF;;AAEG;AACI,MAAM,YAAY,GAAG,eAAwB;AAEpD;;;;;AAKG;AACI,MAAM,YAAY,GAAG,eAAwB;AAEpD;;;AAGG;AACI,MAAM,eAAe,GAAG;;ACtI/B;;;;;;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,CAAC;AAC1C,YAAA,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;SAClB,CAAC,CACH,CAAC;KACH;AAED;;;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,CAAC;SACpC,CAAC;KACH;AACF;;;;"}

package/dist/midnight-types.d.ts

@@ -1,25 +1,49 @@
-import type { Transaction as LedgerTransaction, UnprovenTransaction as UnprovenLedgerTransaction } from '@midnight-ntwrk/ledger';
+import type { Transaction, TransactionHash, TransactionId } from '@midnight-ntwrk/ledger';
 /**
  * A type representing a prover key derived from a contract circuit.
  */
 export type ProverKey = Uint8Array & {
+    /**
+     * Unique symbol brand.
+     */
     readonly ProverKey: unique symbol;
 };
+/**
+ * Creates a branded prover key representation from a prover key binary.
+ *
+ * @param uint8Array The prover key binary.
+ */
 export declare const createProverKey: (uint8Array: Uint8Array) => ProverKey;
 /**
  * A type representing a verifier key derived from a contract circuit.
  */
 export type VerifierKey = Uint8Array & {
+    /**
+     * Unique symbol brand.
+     */
     readonly VerifierKey: unique symbol;
 };
+/**
+ * Creates a branded verifier key representation from a verifier key binary.
+ *
+ * @param uint8Array The verifier key binary.
+ */
 export declare const createVerifierKey: (uint8Array: Uint8Array) => VerifierKey;
 /**
  * A type representing a zero-knowledge circuit intermediate representation derived from a contract circuit.
  */
-export type ZKIR = string & {
+export type ZKIR = Uint8Array & {
+    /**
+     * Unique symbol brand.
+     */
     readonly ZKIR: unique symbol;
 };
-export declare const createZKIR: (string: string) => ZKIR;
+/**
+ * Creates a branded ZKIR representation from a ZKIR binary.
+ *
+ * @param uint8Array The ZKIR binary.
+ */
+export declare const createZKIR: (uint8Array: Uint8Array) => ZKIR;
 /**
  * Contains all information required by the {@link ProofProvider}
  * @typeParam K - The type of the circuit ID.
@@ -42,45 +66,35 @@ export interface ZKConfig<K extends string> {
      */
     readonly zkir: ZKIR;
 }
-declare const UNPROVEN_TX_SYM: unique symbol;
-/**
- * A type representing an unproven transaction.
- */
-export type UnprovenTransaction = {
-    readonly UnprovenTransaction: typeof UNPROVEN_TX_SYM;
-    readonly tx: UnprovenLedgerTransaction;
-};
-/**
- * Creates an {@link UnprovenTransaction} from an unproven ledger transaction.
- * @param tx The ledger transaction to wrap.
- */
-export declare const createUnprovenTx: (tx: UnprovenLedgerTransaction) => UnprovenTransaction;
-declare const UNBALANCED_TX_SYM: unique symbol;
 /**
  * A type representing a proven, unbalanced transaction.
  */
-export type UnbalancedTransaction = {
-    readonly UnbalancedTransaction: typeof UNBALANCED_TX_SYM;
-    readonly tx: LedgerTransaction;
+export type UnbalancedTransaction = Transaction & {
+    /**
+     * Unique symbol brand.
+     */
+    readonly UnbalancedTransaction: unique symbol;
 };
 /**
  * Creates an {@link UnbalancedTransaction} from a ledger transaction.
+ *
  * @param tx The ledger transaction to wrap.
  */
-export declare const createUnbalancedTx: (tx: LedgerTransaction) => UnbalancedTransaction;
-declare const BALANCED_TX_SYM: unique symbol;
+export declare const createUnbalancedTx: (tx: Transaction) => UnbalancedTransaction;
 /**
- * A type representing a proven, balanced transaction.
+ * A type representing a proven, balanced, submittable transaction.
  */
-export type BalancedTransaction = {
-    readonly BalancedTransaction: typeof BALANCED_TX_SYM;
-    readonly tx: LedgerTransaction;
+export type BalancedTransaction = Transaction & {
+    /**
+     * Unique symbol brand.
+     */
+    readonly BalancedTransaction: unique symbol;
 };
 /**
  * Creates an {@link BalancedTransaction} from a ledger transaction.
  * @param tx The ledger transaction to wrap.
  */
-export declare const createBalancedTx: (tx: LedgerTransaction) => BalancedTransaction;
+export declare const createBalancedTx: (tx: Transaction) => BalancedTransaction;
 /**
  * Indicates that the transaction is invalid.
  */
@@ -101,10 +115,18 @@ export declare const SucceedEntirely: "SucceedEntirely";
  * The status of a transaction.
  */
 export type TxStatus = typeof FailEntirely | typeof FailFallible | typeof SucceedEntirely;
+/**
+ * Block identifier
+ */
+export type BlockHash = string;
 /**
  * Data for any finalized transaction.
  */
 export interface FinalizedTxData {
+    /**
+     * The transaction that was finalized.
+     */
+    readonly tx: Transaction;
     /**
      * The status of a submitted transaction.
      */
@@ -112,19 +134,18 @@ export interface FinalizedTxData {
     /**
      * The transaction ID of the submitted transaction.
      */
-    readonly txId: string;
+    readonly txId: TransactionId;
     /**
      * The transaction hash of the transaction in which the original transaction was included.
      */
-    readonly txHash: string;
+    readonly txHash: TransactionHash;
     /**
      * The block hash of the block in which the transaction was included.
      */
-    readonly blockHash: string;
+    readonly blockHash: BlockHash;
     /**
      * The block height of the block in which the transaction was included.
      */
     readonly blockHeight: number;
 }
-export {};
 //# sourceMappingURL=midnight-types.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"midnight-types.d.ts","sourceRoot":"","sources":["../src/midnight-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,WAAW,IAAI,iBAAiB,EAChC,mBAAmB,IAAI,yBAAyB,EACjD,MAAM,wBAAwB,CAAC;AAEhC;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,UAAU,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,OAAO,MAAM,CAAA;CAAE,CAAC;AAE3E,eAAO,MAAM,eAAe,eAAgB,UAAU,KAAG,SAExD,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG;IAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,MAAM,CAAA;CAAE,CAAC;AAE/E,eAAO,MAAM,iBAAiB,eAAgB,UAAU,KAAG,WAE1D,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,MAAM,CAAA;CAAE,CAAC;AAE7D,eAAO,MAAM,UAAU,WAAY,MAAM,KAAG,IAE3C,CAAC;AAEF;;;GAGG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,SAAS,MAAM;IACxC;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC;IACtB;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,QAAA,MAAM,eAAe,EAAE,OAAO,MAA8B,CAAC;AAE7D;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,mBAAmB,EAAE,OAAO,eAAe,CAAC;IACrD,QAAQ,CAAC,EAAE,EAAE,yBAAyB,CAAC;CACxC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,gBAAgB,OAAQ,yBAAyB,KAAG,mBAG/D,CAAC;AAEH,QAAA,MAAM,iBAAiB,EAAE,OAAO,MAAgC,CAAC;AAEjE;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,qBAAqB,EAAE,OAAO,iBAAiB,CAAC;IACzD,QAAQ,CAAC,EAAE,EAAE,iBAAiB,CAAC;CAChC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,kBAAkB,OAAQ,iBAAiB,KAAG,qBAGzD,CAAC;AAEH,QAAA,MAAM,eAAe,EAAE,OAAO,MAA8B,CAAC;AAE7D;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,mBAAmB,EAAE,OAAO,eAAe,CAAC;IACrD,QAAQ,CAAC,EAAE,EAAE,iBAAiB,CAAC;CAChC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,gBAAgB,OAAQ,iBAAiB,KAAG,mBAGvD,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,YAAY,gBAA0B,CAAC;AAEpD;;;;;GAKG;AACH,eAAO,MAAM,YAAY,gBAA0B,CAAC;AAEpD;;;GAGG;AACH,eAAO,MAAM,eAAe,mBAA6B,CAAC;AAE1D;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,YAAY,GAAG,OAAO,YAAY,GAAG,OAAO,eAAe,CAAC;AAE1F;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B"}
+{"version":3,"file":"midnight-types.d.ts","sourceRoot":"","sources":["../src/midnight-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAE1F;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,UAAU,GAAG;IACnC;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,MAAM,CAAC;CACnC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,eAAe,eAAgB,UAAU,KAAG,SAExD,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG;IACrC;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,OAAO,MAAM,CAAC;CACrC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,eAAgB,UAAU,KAAG,WAE1D,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG;IAC9B;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,OAAO,MAAM,CAAC;CAC9B,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,UAAU,eAAgB,UAAU,KAAG,IAEnD,CAAC;AAEF;;;GAGG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,SAAS,MAAM;IACxC;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC;IACtB;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,WAAW,GAAG;IAChD;;OAEG;IACH,QAAQ,CAAC,qBAAqB,EAAE,OAAO,MAAM,CAAC;CAC/C,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,OAAQ,WAAW,KAAG,qBAEpD,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,WAAW,GAAG;IAC9C;;OAEG;IACH,QAAQ,CAAC,mBAAmB,EAAE,OAAO,MAAM,CAAC;CAC7C,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,gBAAgB,OAAQ,WAAW,KAAG,mBAElD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,YAAY,gBAA0B,CAAC;AAEpD;;;;;GAKG;AACH,eAAO,MAAM,YAAY,gBAA0B,CAAC;AAEpD;;;GAGG;AACH,eAAO,MAAM,eAAe,mBAA6B,CAAC;AAE1D;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,YAAY,GAAG,OAAO,YAAY,GAAG,OAAO,eAAe,CAAC;AAE1F;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAE/B;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B;;OAEG;IACH,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC;IACzB;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B"}

package/dist/private-state-provider.d.ts

@@ -1,34 +1,66 @@
+import type { SigningKey } from '@midnight-ntwrk/compact-runtime';
 /**
  * Type representing valid private state schemas. Each value is a private state
  * for a particular contract. Each key is the name used to refer to a private state.
  */
-export type PrivateStateSchema = Record<string | number, any>;
+export type PrivateStateSchema = Record<string, any>;
+/**
+ * A string key of a {@link PrivateStateSchema} object.
+ */
+export type PrivateStateKey<PSS extends PrivateStateSchema = PrivateStateSchema> = keyof PSS & string;
 /**
  * Interface for a typed key-valued store containing contract private states.
+ *
  * @typeParam PSS - The schema for the private states stored. Each value is a
  *                  private state for a particular contract. Each key is the name
  *                  used to refer to a private state.
  */
-export interface PrivateStateProvider<PSS extends PrivateStateSchema> {
+export interface PrivateStateProvider<PSS extends PrivateStateSchema = PrivateStateSchema> {
     /**
-     * Store the given state at the given key.
-     * @param key The key of the private state.
+     * Store the given private state at the given key.
+     *
+     * @param key The private state identifier.
      * @param state The private state to store.
      */
-    set<PSK extends keyof PSS>(key: PSK, state: PSS[PSK]): Promise<void>;
+    set<PSK extends PrivateStateKey<PSS>>(key: PSK, state: PSS[PSK]): Promise<void>;
     /**
      * Retrieve the private state at the given key.
-     * @param key The key of the private state.
+     *
+     * @param key The private state identifier.
      */
-    get<PSK extends keyof PSS>(key: PSK): Promise<PSS[PSK] | null>;
+    get<PSK extends PrivateStateKey<PSS>>(key: PSK): Promise<PSS[PSK] | null>;
     /**
      * Remove the value at the given key.
-     * @param key The key of the private state.
+     *
+     * @param key The private state identifier.
      */
-    remove<PSK extends keyof PSS>(key: PSK): Promise<void>;
+    remove<PSK extends PrivateStateKey<PSS>>(key: PSK): Promise<void>;
     /**
-     * Clear the entire private state store.
+     * Remove all contract private states.
      */
     clear(): Promise<void>;
+    /**
+     * Store the given private state at the given key.
+     *
+     * @param key The private state identifier.
+     * @param signingKey The signing key to store.
+     */
+    setSigningKey<PSK extends PrivateStateKey<PSS>>(key: PSK, signingKey: SigningKey): Promise<void>;
+    /**
+     * Retrieve the signing key for a contract.
+     *
+     * @param key The private state identifier.
+     */
+    getSigningKey<PSK extends PrivateStateKey<PSS>>(key: PSK): Promise<SigningKey | null>;
+    /**
+     * Remove the signing key for a contract.
+     *
+     * @param key The private state identifier.
+     */
+    removeSigningKey<PSK extends PrivateStateKey<PSS>>(key: PSK): Promise<void>;
+    /**
+     * Remove all contract signing keys.
+     */
+    clearSigningKeys(): Promise<void>;
 }
 //# sourceMappingURL=private-state-provider.d.ts.map

package/dist/private-state-provider.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"private-state-provider.d.ts","sourceRoot":"","sources":["../src/private-state-provider.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,GAAG,MAAM,EAAE,GAAG,CAAC,CAAC;AAE9D;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB,CAAC,GAAG,SAAS,kBAAkB;IAClE;;;;OAIG;IACH,GAAG,CAAC,GAAG,SAAS,MAAM,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAErE;;;OAGG;IACH,GAAG,CAAC,GAAG,SAAS,MAAM,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IAE/D;;;OAGG;IACH,MAAM,CAAC,GAAG,SAAS,MAAM,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEvD;;OAEG;IACH,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACxB"}
+{"version":3,"file":"private-state-provider.d.ts","sourceRoot":"","sources":["../src/private-state-provider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAElE;;;GAGG;AAEH,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAErD;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,GAAG,SAAS,kBAAkB,GAAG,kBAAkB,IAAI,MAAM,GAAG,GAC1F,MAAM,CAAC;AAET;;;;;;GAMG;AACH,MAAM,WAAW,oBAAoB,CAAC,GAAG,SAAS,kBAAkB,GAAG,kBAAkB;IACvF;;;;;OAKG;IACH,GAAG,CAAC,GAAG,SAAS,eAAe,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEhF;;;;OAIG;IACH,GAAG,CAAC,GAAG,SAAS,eAAe,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IAE1E;;;;OAIG;IACH,MAAM,CAAC,GAAG,SAAS,eAAe,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAElE;;OAEG;IACH,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAEvB;;;;;OAKG;IACH,aAAa,CAAC,GAAG,SAAS,eAAe,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEjG;;;;OAIG;IACH,aAAa,CAAC,GAAG,SAAS,eAAe,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC;IAEtF;;;;OAIG;IACH,gBAAgB,CAAC,GAAG,SAAS,eAAe,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE5E;;OAEG;IACH,gBAAgB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACnC"}

package/dist/proof-provider.d.ts

@@ -1,4 +1,19 @@
-import type { UnprovenTransaction, UnbalancedTransaction, ZKConfig } from './midnight-types';
+import type { UnprovenTransaction } from '@midnight-ntwrk/ledger';
+import type { UnbalancedTransaction, ZKConfig } from './midnight-types';
+/**
+ * The configuration for the proof request to the proof provider.
+ */
+export interface ProveTxConfig<K extends string> {
+    /**
+     * The timeout for the request.
+     */
+    readonly timeout?: number;
+    /**
+     * The zero-knowledge configuration for the circuit that was called in `tx`.
+     * Undefined if `tx` is a deployment transaction.
+     */
+    readonly zkConfig?: ZKConfig<K>;
+}
 /**
  * Interface for a proof server running in a trusted environment.
  * @typeParam K - The type of the circuit ID used by the provider.
@@ -9,9 +24,9 @@ export interface ProofProvider<K extends string> {
      * must be balanced using the {@link WalletProvider} interface.
      * @param tx The transaction to be proved. Prior to version 1.0.0, unproven transactions always only
      *           contain a single contract call.
-     * @param zkConfig The zero-knowledge configuration for the circuit that was called in `tx`.
-     *                 Undefined if `tx` is a deployment transaction.
+     * @param proveTxConfig The configuration for the proof request to the proof provider. Empty in case
+     *                      a deploy transaction is being proved with no user-defined timeout.
      */
-    proveTx(tx: UnprovenTransaction, zkConfig?: ZKConfig<K>): Promise<UnbalancedTransaction>;
+    proveTx(tx: UnprovenTransaction, proveTxConfig?: ProveTxConfig<K>): Promise<UnbalancedTransaction>;
 }
 //# sourceMappingURL=proof-provider.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"proof-provider.d.ts","sourceRoot":"","sources":["../src/proof-provider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE7F;;;GAGG;AACH,MAAM,WAAW,aAAa,CAAC,CAAC,SAAS,MAAM;IAC7C;;;;;;;OAOG;IACH,OAAO,CAAC,EAAE,EAAE,mBAAmB,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;CAC1F"}
+{"version":3,"file":"proof-provider.d.ts","sourceRoot":"","sources":["../src/proof-provider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,KAAK,EAAE,qBAAqB,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAExE;;GAEG;AACH,MAAM,WAAW,aAAa,CAAC,CAAC,SAAS,MAAM;IAC7C;;OAEG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B;;;OAGG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;CACjC;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa,CAAC,CAAC,SAAS,MAAM;IAC7C;;;;;;;OAOG;IACH,OAAO,CACL,EAAE,EAAE,mBAAmB,EACvB,aAAa,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,GAC/B,OAAO,CAAC,qBAAqB,CAAC,CAAC;CACnC"}

package/package.json

@@ -1,17 +1,24 @@
 {
   "name": "@midnight-ntwrk/midnight-js-types",
-  "version": "0.1.15",
+  "version": "0.2.4",
   "description": "Shared data types and interfaces for MidnightJS modules",
-  "main": "dist/index.js",
-  "module": "dist/index.esm.js",
+  "main": "dist/index.cjs",
+  "module": "dist/index.mjs",
   "types": "dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.mjs",
+      "require": "./dist/index.cjs",
+      "types": "./dist/index.d.ts"
+    }
+  },
   "repository": "git@github.com:midnight-ntwrk/artifacts",
-  "packageManager": "yarn@3.6.3",
+  "packageManager": "yarn@4.1.0",
   "author": "IOHK",
   "license": "Apache-2.0",
   "scripts": {
     "clean": "rm -rf dist tsconfig.build.tsbuildinfo .rollup.cache",
-    "build": "yarn clean && rollup -c rollup.config.mjs",
+    "build": "rollup -c rollup.config.mjs",
     "test": "jest --passWithNoTests",
     "deploy": "yarn npm publish"
   },

package/dist/index.esm.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.esm.js","sources":["../src/midnight-types.ts","../src/zk-config-provider.ts"],"sourcesContent":[null,null],"names":[],"mappings":"AAUa,MAAA,eAAe,GAAG,CAAC,UAAsB,KAAe;AACnE,IAAA,OAAO,UAAuB,CAAC;AACjC,EAAE;AAOW,MAAA,iBAAiB,GAAG,CAAC,UAAsB,KAAiB;AACvE,IAAA,OAAO,UAAyB,CAAC;AACnC,EAAE;AAOW,MAAA,UAAU,GAAG,CAAC,MAAc,KAAU;AACjD,IAAA,OAAO,MAAc,CAAC;AACxB,EAAE;AAyBF,MAAM,eAAe,GAAkB,MAAM,CAAC,aAAa,CAAC,CAAC;AAU7D;;;AAGG;MACU,gBAAgB,GAAG,CAAC,EAA6B,MAA2B;AACvF,IAAA,mBAAmB,EAAE,eAAe;IACpC,EAAE;AACH,CAAA,EAAE;AAEH,MAAM,iBAAiB,GAAkB,MAAM,CAAC,eAAe,CAAC,CAAC;AAUjE;;;AAGG;MACU,kBAAkB,GAAG,CAAC,EAAqB,MAA6B;AACnF,IAAA,qBAAqB,EAAE,iBAAiB;IACxC,EAAE;AACH,CAAA,EAAE;AAEH,MAAM,eAAe,GAAkB,MAAM,CAAC,aAAa,CAAC,CAAC;AAU7D;;;AAGG;MACU,gBAAgB,GAAG,CAAC,EAAqB,MAA2B;AAC/E,IAAA,mBAAmB,EAAE,eAAe;IACpC,EAAE;AACH,CAAA,EAAE;AAEH;;AAEG;AACI,MAAM,YAAY,GAAG,eAAwB;AAEpD;;;;;AAKG;AACI,MAAM,YAAY,GAAG,eAAwB;AAEpD;;;AAGG;AACI,MAAM,eAAe,GAAG;;AC/H/B;;;;;;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,CAAC;AAC1C,YAAA,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;SAClB,CAAC,CACH,CAAC;KACH;AAED;;;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,CAAC;SACpC,CAAC;KACH;AACF;;;;"}

package/dist/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sources":["../src/midnight-types.ts","../src/zk-config-provider.ts"],"sourcesContent":[null,null],"names":[],"mappings":";;AAUa,MAAA,eAAe,GAAG,CAAC,UAAsB,KAAe;AACnE,IAAA,OAAO,UAAuB,CAAC;AACjC,EAAE;AAOW,MAAA,iBAAiB,GAAG,CAAC,UAAsB,KAAiB;AACvE,IAAA,OAAO,UAAyB,CAAC;AACnC,EAAE;AAOW,MAAA,UAAU,GAAG,CAAC,MAAc,KAAU;AACjD,IAAA,OAAO,MAAc,CAAC;AACxB,EAAE;AAyBF,MAAM,eAAe,GAAkB,MAAM,CAAC,aAAa,CAAC,CAAC;AAU7D;;;AAGG;MACU,gBAAgB,GAAG,CAAC,EAA6B,MAA2B;AACvF,IAAA,mBAAmB,EAAE,eAAe;IACpC,EAAE;AACH,CAAA,EAAE;AAEH,MAAM,iBAAiB,GAAkB,MAAM,CAAC,eAAe,CAAC,CAAC;AAUjE;;;AAGG;MACU,kBAAkB,GAAG,CAAC,EAAqB,MAA6B;AACnF,IAAA,qBAAqB,EAAE,iBAAiB;IACxC,EAAE;AACH,CAAA,EAAE;AAEH,MAAM,eAAe,GAAkB,MAAM,CAAC,aAAa,CAAC,CAAC;AAU7D;;;AAGG;MACU,gBAAgB,GAAG,CAAC,EAAqB,MAA2B;AAC/E,IAAA,mBAAmB,EAAE,eAAe;IACpC,EAAE;AACH,CAAA,EAAE;AAEH;;AAEG;AACI,MAAM,YAAY,GAAG,eAAwB;AAEpD;;;;;AAKG;AACI,MAAM,YAAY,GAAG,eAAwB;AAEpD;;;AAGG;AACI,MAAM,eAAe,GAAG;;AC/H/B;;;;;;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,CAAC;AAC1C,YAAA,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;SAClB,CAAC,CACH,CAAC;KACH;AAED;;;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,CAAC;SACpC,CAAC;KACH;AACF;;;;;;;;;;;;;"}