@midnight-ntwrk/midnight-js-types 3.0.0-alpha.2 → 3.0.0-alpha.5

package/dist/contract.d.ts

@@ -25,8 +25,8 @@ export type Witness<PS> = (context: WitnessContext<any, PS>, ...rest: any[]) =>
 export type Witnesses<PS = any> = Record<string, Witness<PS>>;
 /**
  * Interface for a contract. The data types defined in this file are generic shapes for the artifacts
- * produced by the `compactc` compiler. In other words, this `Contract` interface should match the shape
- * of any `Contract` class produced by `compactc`. Midnight.js uses it for generic constraints.
+ * produced by the `compact` compiler. In other words, this `Contract` interface should match the shape
+ * of any `Contract` class produced by `compact`. Midnight.js uses it for generic constraints.
  *
  * @typeParam PS - The private state modified by the contract witnesses.
  * @typeParam W - The contract witnesses type.

package/dist/index.cjs

@@ -153,6 +153,7 @@ const FailFallible = 'FailFallible';
  */
 const SucceedEntirely = 'SucceedEntirely';
 const TRANSACTION_TO_PROVE = 'TransactionToProve';
+const BALANCE_TRANSACTION_TO_PROVE = 'BalanceTransactionToProve';
 const NOTHING_TO_PROVE = 'NothingToProve';
 
 /*
@@ -178,7 +179,7 @@ const NOTHING_TO_PROVE = 'NothingToProve';
  */
 class ZKConfigProvider {
     /**
-     * Retrieves the verifier keys produced by `compactc` for the given circuits.
+     * Retrieves the verifier keys produced by `compact` compiler for the given circuits.
      * @param circuitIds The circuit IDs of the verifier keys to retrieve.
      */
     async getVerifierKeys(circuitIds) {
@@ -188,7 +189,7 @@ class ZKConfigProvider {
         }));
     }
     /**
-     * Retrieves all zero-knowledge artifacts produced by `compactc` for the given circuit.
+     * Retrieves all zero-knowledge artifacts produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the artifacts to retrieve.
      */
     async get(circuitId) {
@@ -205,6 +206,7 @@ Object.defineProperty(exports, "Transaction", {
     enumerable: true,
     get: function () { return ledgerV6.Transaction; }
 });
+exports.BALANCE_TRANSACTION_TO_PROVE = BALANCE_TRANSACTION_TO_PROVE;
 exports.FailEntirely = FailEntirely;
 exports.FailFallible = FailFallible;
 exports.InvalidProtocolSchemeError = InvalidProtocolSchemeError;

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/zk-config-provider.ts"],"sourcesContent":[null,null,null,null,null],"names":["LogLevel"],"mappings":";;;;AAAA;;;;;;;;;;;;;AAaG;AA8EH;;;;;;AAMG;AACI,MAAM,mBAAmB,GAAG,CAAqB,QAAW,KACjE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc;;ACnGrC;;;;;;;;;;;;;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;;AC7BD;;;;;;;;;;;;;AAaG;AAIH;;AAEG;AACSA;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;AAwBH;;;;;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;;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;AA0JxB,MAAM,oBAAoB,GAAG;AAE7B,MAAM,gBAAgB,GAAG;;ACzShC;;;;;;;;;;;;;AAaG;AAIH;;;;;;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;AACD;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"file":"index.cjs","sources":["../src/contract.ts","../src/errors.ts","../src/logger-provider.ts","../src/midnight-types.ts","../src/zk-config-provider.ts"],"sourcesContent":[null,null,null,null,null],"names":["LogLevel"],"mappings":";;;;AAAA;;;;;;;;;;;;;AAaG;AA8EH;;;;;;AAMG;AACI,MAAM,mBAAmB,GAAG,CAAqB,QAAW,KACjE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc;;ACnGrC;;;;;;;;;;;;;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;;AC7BD;;;;;;;;;;;;;AAaG;AAIH;;AAEG;AACSA;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;AAwBH;;;;;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;;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;AA0JxB,MAAM,oBAAoB,GAAG;AAC7B,MAAM,4BAA4B,GAAG;AACrC,MAAM,gBAAgB,GAAG;;ACzShC;;;;;;;;;;;;;AAaG;AAIH;;;;;;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;AACD;;;;;;;;;;;;;;;;;;;;;"}

package/dist/index.d.cts

@@ -1,6 +1,6 @@
 import { WitnessContext, CircuitContext, CircuitResults, ConstructorContext, ConstructorResult, ContractAddress as ContractAddress$1, SigningKey, ContractState } from '@midnight-ntwrk/compact-runtime';
 import { LogFn } from 'pino';
-import { FinalizedTransaction, TransactionId, Transaction, SignatureEnabled, Proof, Binding, TransactionHash, ContractAddress, IntentHash, RawTokenType, UnprovenTransaction, PreBinding, ZswapChainState, ZswapSecretKeys, DustSecretKey, ShieldedCoinInfo } from '@midnight-ntwrk/ledger-v6';
+import { FinalizedTransaction, TransactionId, UnprovenTransaction, Transaction, SignatureEnabled, Proof, Binding, TransactionHash, ContractAddress, IntentHash, RawTokenType, PreBinding, ZswapChainState, ShieldedCoinInfo, CoinPublicKey, EncPublicKey } from '@midnight-ntwrk/ledger-v6';
 export { Transaction } from '@midnight-ntwrk/ledger-v6';
 import { Observable } from 'rxjs';
 
@@ -30,8 +30,8 @@ type Witness<PS> = (context: WitnessContext<any, PS>, ...rest: any[]) => [PS, an
 type Witnesses<PS = any> = Record<string, Witness<PS>>;
 /**
  * Interface for a contract. The data types defined in this file are generic shapes for the artifacts
- * produced by the `compactc` compiler. In other words, this `Contract` interface should match the shape
- * of any `Contract` class produced by `compactc`. Midnight.js uses it for generic constraints.
+ * produced by the `compact` compiler. In other words, this `Contract` interface should match the shape
+ * of any `Contract` class produced by `compact`. Midnight.js uses it for generic constraints.
  *
  * @typeParam PS - The private state modified by the contract witnesses.
  * @typeParam W - The contract witnesses type.
@@ -272,11 +272,11 @@ type UnshieldedUtxos = {
     /**
      * Represents the unshielded UTXOs that have been created but not yet spent.
      */
-    readonly created: UnshieldedUtxo[];
+    readonly created: readonly UnshieldedUtxo[];
     /**
      * Represents the unshielded UTXOs that have been spent.
      */
-    readonly spent: UnshieldedUtxo[];
+    readonly spent: readonly UnshieldedUtxo[];
 };
 /**
  * Represents the fees associated with a particular entity or operation.
@@ -318,7 +318,7 @@ interface FinalizedTxData {
     /**
      * All transaction IDs of the submitted transaction.
      */
-    readonly identifiers: TransactionId[];
+    readonly identifiers: readonly TransactionId[];
     /**
      * The transaction hash of the transaction in which the original transaction was included.
      */
@@ -628,18 +628,6 @@ interface PublicDataProvider {
  * transaction balancing and finalization, and provides access to cryptographic secret keys.
  */
 interface WalletProvider {
-    /**
-     * Represents a readonly property that stores secret keys used for Zswap encryption or authentication.
-     *
-     * @type {ZswapSecretKeys}
-     */
-    readonly zswapSecretKeys: ZswapSecretKeys;
-    /**
-     * A readonly property that stores the secret key used for dust operations.
-     *
-     * @type {DustSecretKey}
-     */
-    readonly dustSecretKey: DustSecretKey;
     /**
      * Balances a transaction
      * @param tx The transaction to balance.
@@ -647,13 +635,8 @@ interface WalletProvider {
      * @param ttl
      */
     balanceTx(tx: UnprovenTransaction, newCoins?: ShieldedCoinInfo[], ttl?: Date): Promise<ProvingRecipe<UnprovenTransaction | FinalizedTransaction>>;
-    /**
-     * Finalizes the given transaction to complete its processing.
-     *
-     * @param {FinalizedTransaction} tx - The transaction object that needs to be finalized.
-     * @return {Promise<FinalizedTransaction>} A promise that resolves to the finalized transaction object.
-     */
-    finalizeTx(tx: ProvingRecipe<FinalizedTransaction>): Promise<FinalizedTransaction>;
+    getCoinPublicKey(): CoinPublicKey;
+    getEncryptionPublicKey(): EncPublicKey;
 }
 
 /**
@@ -665,27 +648,27 @@ interface WalletProvider {
  */
 declare abstract class ZKConfigProvider<K extends string> {
     /**
-     * Retrieves the zero-knowledge intermediate representation produced by `compactc` for the given circuit.
+     * Retrieves the zero-knowledge intermediate representation produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the ZKIR to retrieve.
      */
     abstract getZKIR(circuitId: K): Promise<ZKIR>;
     /**
-     * Retrieves the prover key produced by `compactc` for the given circuit.
+     * Retrieves the prover key produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the prover key to retrieve.
      */
     abstract getProverKey(circuitId: K): Promise<ProverKey>;
     /**
-     * Retrieves the verifier key produced by `compactc` for the given circuit.
+     * Retrieves the verifier key produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the verifier key to retrieve.
      */
     abstract getVerifierKey(circuitId: K): Promise<VerifierKey>;
     /**
-     * Retrieves the verifier keys produced by `compactc` for the given circuits.
+     * Retrieves the verifier keys produced by `compact` compiler for the given circuits.
      * @param circuitIds The circuit IDs of the verifier keys to retrieve.
      */
     getVerifierKeys(circuitIds: K[]): Promise<[K, VerifierKey][]>;
     /**
-     * Retrieves all zero-knowledge artifacts produced by `compactc` for the given circuit.
+     * Retrieves all zero-knowledge artifacts produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the artifacts to retrieve.
      */
     get(circuitId: K): Promise<ZKConfig<K>>;
@@ -729,5 +712,5 @@ interface MidnightProviders<ICK extends ImpureCircuitId = ImpureCircuitId, PSI e
     readonly loggerProvider?: LoggerProvider;
 }
 
-export { FailEntirely, FailFallible, InvalidProtocolSchemeError, LogLevel, NOTHING_TO_PROVE, SegmentFail, SegmentSuccess, SucceedEntirely, TRANSACTION_TO_PROVE, ZKConfigProvider, createProverKey, createVerifierKey, createZKIR, getImpureCircuitIds };
-export type { All, BlockHash, BlockHashConfig, BlockHeightConfig, CircuitParameters, CircuitReturnType, Contract, ContractStateObservableConfig, Fees, FinalizedTxData, ImpureCircuit, ImpureCircuitId, ImpureCircuits, InitialStateParameters, Latest, LoggerProvider, MidnightProvider, MidnightProviders, NothingToProve, PrivateState, PrivateStateId, PrivateStateProvider, ProofProvider, ProveTxConfig, ProvenTransaction, ProverKey, ProvingRecipe, PublicDataProvider, SegmentStatus, TransactionToProve, TxIdConfig, TxStatus, UnshieldedBalance, UnshieldedBalances, UnshieldedUtxo, UnshieldedUtxos, VerifierKey, WalletProvider, Witness, Witnesses, ZKConfig, ZKIR };
+export { BALANCE_TRANSACTION_TO_PROVE, FailEntirely, FailFallible, InvalidProtocolSchemeError, LogLevel, NOTHING_TO_PROVE, SegmentFail, SegmentSuccess, SucceedEntirely, TRANSACTION_TO_PROVE, ZKConfigProvider, createProverKey, createVerifierKey, createZKIR, getImpureCircuitIds };
+export type { All, BalanceTransactionToProve, BlockHash, BlockHashConfig, BlockHeightConfig, CircuitParameters, CircuitReturnType, Contract, ContractStateObservableConfig, Fees, FinalizedTxData, ImpureCircuit, ImpureCircuitId, ImpureCircuits, InitialStateParameters, Latest, LoggerProvider, MidnightProvider, MidnightProviders, NothingToProve, PrivateState, PrivateStateId, PrivateStateProvider, ProofProvider, ProveTxConfig, ProvenTransaction, ProverKey, ProvingRecipe, PublicDataProvider, SegmentStatus, TransactionToProve, TxIdConfig, TxStatus, UnshieldedBalance, UnshieldedBalances, UnshieldedUtxo, UnshieldedUtxos, VerifierKey, WalletProvider, Witness, Witnesses, ZKConfig, ZKIR };

package/dist/index.d.mts

@@ -1,6 +1,6 @@
 import { WitnessContext, CircuitContext, CircuitResults, ConstructorContext, ConstructorResult, ContractAddress as ContractAddress$1, SigningKey, ContractState } from '@midnight-ntwrk/compact-runtime';
 import { LogFn } from 'pino';
-import { FinalizedTransaction, TransactionId, Transaction, SignatureEnabled, Proof, Binding, TransactionHash, ContractAddress, IntentHash, RawTokenType, UnprovenTransaction, PreBinding, ZswapChainState, ZswapSecretKeys, DustSecretKey, ShieldedCoinInfo } from '@midnight-ntwrk/ledger-v6';
+import { FinalizedTransaction, TransactionId, UnprovenTransaction, Transaction, SignatureEnabled, Proof, Binding, TransactionHash, ContractAddress, IntentHash, RawTokenType, PreBinding, ZswapChainState, ShieldedCoinInfo, CoinPublicKey, EncPublicKey } from '@midnight-ntwrk/ledger-v6';
 export { Transaction } from '@midnight-ntwrk/ledger-v6';
 import { Observable } from 'rxjs';
 
@@ -30,8 +30,8 @@ type Witness<PS> = (context: WitnessContext<any, PS>, ...rest: any[]) => [PS, an
 type Witnesses<PS = any> = Record<string, Witness<PS>>;
 /**
  * Interface for a contract. The data types defined in this file are generic shapes for the artifacts
- * produced by the `compactc` compiler. In other words, this `Contract` interface should match the shape
- * of any `Contract` class produced by `compactc`. Midnight.js uses it for generic constraints.
+ * produced by the `compact` compiler. In other words, this `Contract` interface should match the shape
+ * of any `Contract` class produced by `compact`. Midnight.js uses it for generic constraints.
  *
  * @typeParam PS - The private state modified by the contract witnesses.
  * @typeParam W - The contract witnesses type.
@@ -272,11 +272,11 @@ type UnshieldedUtxos = {
     /**
      * Represents the unshielded UTXOs that have been created but not yet spent.
      */
-    readonly created: UnshieldedUtxo[];
+    readonly created: readonly UnshieldedUtxo[];
     /**
      * Represents the unshielded UTXOs that have been spent.
      */
-    readonly spent: UnshieldedUtxo[];
+    readonly spent: readonly UnshieldedUtxo[];
 };
 /**
  * Represents the fees associated with a particular entity or operation.
@@ -318,7 +318,7 @@ interface FinalizedTxData {
     /**
      * All transaction IDs of the submitted transaction.
      */
-    readonly identifiers: TransactionId[];
+    readonly identifiers: readonly TransactionId[];
     /**
      * The transaction hash of the transaction in which the original transaction was included.
      */
@@ -628,18 +628,6 @@ interface PublicDataProvider {
  * transaction balancing and finalization, and provides access to cryptographic secret keys.
  */
 interface WalletProvider {
-    /**
-     * Represents a readonly property that stores secret keys used for Zswap encryption or authentication.
-     *
-     * @type {ZswapSecretKeys}
-     */
-    readonly zswapSecretKeys: ZswapSecretKeys;
-    /**
-     * A readonly property that stores the secret key used for dust operations.
-     *
-     * @type {DustSecretKey}
-     */
-    readonly dustSecretKey: DustSecretKey;
     /**
      * Balances a transaction
      * @param tx The transaction to balance.
@@ -647,13 +635,8 @@ interface WalletProvider {
      * @param ttl
      */
     balanceTx(tx: UnprovenTransaction, newCoins?: ShieldedCoinInfo[], ttl?: Date): Promise<ProvingRecipe<UnprovenTransaction | FinalizedTransaction>>;
-    /**
-     * Finalizes the given transaction to complete its processing.
-     *
-     * @param {FinalizedTransaction} tx - The transaction object that needs to be finalized.
-     * @return {Promise<FinalizedTransaction>} A promise that resolves to the finalized transaction object.
-     */
-    finalizeTx(tx: ProvingRecipe<FinalizedTransaction>): Promise<FinalizedTransaction>;
+    getCoinPublicKey(): CoinPublicKey;
+    getEncryptionPublicKey(): EncPublicKey;
 }
 
 /**
@@ -665,27 +648,27 @@ interface WalletProvider {
  */
 declare abstract class ZKConfigProvider<K extends string> {
     /**
-     * Retrieves the zero-knowledge intermediate representation produced by `compactc` for the given circuit.
+     * Retrieves the zero-knowledge intermediate representation produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the ZKIR to retrieve.
      */
     abstract getZKIR(circuitId: K): Promise<ZKIR>;
     /**
-     * Retrieves the prover key produced by `compactc` for the given circuit.
+     * Retrieves the prover key produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the prover key to retrieve.
      */
     abstract getProverKey(circuitId: K): Promise<ProverKey>;
     /**
-     * Retrieves the verifier key produced by `compactc` for the given circuit.
+     * Retrieves the verifier key produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the verifier key to retrieve.
      */
     abstract getVerifierKey(circuitId: K): Promise<VerifierKey>;
     /**
-     * Retrieves the verifier keys produced by `compactc` for the given circuits.
+     * Retrieves the verifier keys produced by `compact` compiler for the given circuits.
      * @param circuitIds The circuit IDs of the verifier keys to retrieve.
      */
     getVerifierKeys(circuitIds: K[]): Promise<[K, VerifierKey][]>;
     /**
-     * Retrieves all zero-knowledge artifacts produced by `compactc` for the given circuit.
+     * Retrieves all zero-knowledge artifacts produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the artifacts to retrieve.
      */
     get(circuitId: K): Promise<ZKConfig<K>>;
@@ -729,5 +712,5 @@ interface MidnightProviders<ICK extends ImpureCircuitId = ImpureCircuitId, PSI e
     readonly loggerProvider?: LoggerProvider;
 }
 
-export { FailEntirely, FailFallible, InvalidProtocolSchemeError, LogLevel, NOTHING_TO_PROVE, SegmentFail, SegmentSuccess, SucceedEntirely, TRANSACTION_TO_PROVE, ZKConfigProvider, createProverKey, createVerifierKey, createZKIR, getImpureCircuitIds };
-export type { All, BlockHash, BlockHashConfig, BlockHeightConfig, CircuitParameters, CircuitReturnType, Contract, ContractStateObservableConfig, Fees, FinalizedTxData, ImpureCircuit, ImpureCircuitId, ImpureCircuits, InitialStateParameters, Latest, LoggerProvider, MidnightProvider, MidnightProviders, NothingToProve, PrivateState, PrivateStateId, PrivateStateProvider, ProofProvider, ProveTxConfig, ProvenTransaction, ProverKey, ProvingRecipe, PublicDataProvider, SegmentStatus, TransactionToProve, TxIdConfig, TxStatus, UnshieldedBalance, UnshieldedBalances, UnshieldedUtxo, UnshieldedUtxos, VerifierKey, WalletProvider, Witness, Witnesses, ZKConfig, ZKIR };
+export { BALANCE_TRANSACTION_TO_PROVE, FailEntirely, FailFallible, InvalidProtocolSchemeError, LogLevel, NOTHING_TO_PROVE, SegmentFail, SegmentSuccess, SucceedEntirely, TRANSACTION_TO_PROVE, ZKConfigProvider, createProverKey, createVerifierKey, createZKIR, getImpureCircuitIds };
+export type { All, BalanceTransactionToProve, BlockHash, BlockHashConfig, BlockHeightConfig, CircuitParameters, CircuitReturnType, Contract, ContractStateObservableConfig, Fees, FinalizedTxData, ImpureCircuit, ImpureCircuitId, ImpureCircuits, InitialStateParameters, Latest, LoggerProvider, MidnightProvider, MidnightProviders, NothingToProve, PrivateState, PrivateStateId, PrivateStateProvider, ProofProvider, ProveTxConfig, ProvenTransaction, ProverKey, ProvingRecipe, PublicDataProvider, SegmentStatus, TransactionToProve, TxIdConfig, TxStatus, UnshieldedBalance, UnshieldedBalances, UnshieldedUtxo, UnshieldedUtxos, VerifierKey, WalletProvider, Witness, Witnesses, ZKConfig, ZKIR };

package/dist/index.d.ts

@@ -1,6 +1,6 @@
 import { WitnessContext, CircuitContext, CircuitResults, ConstructorContext, ConstructorResult, ContractAddress as ContractAddress$1, SigningKey, ContractState } from '@midnight-ntwrk/compact-runtime';
 import { LogFn } from 'pino';
-import { FinalizedTransaction, TransactionId, Transaction, SignatureEnabled, Proof, Binding, TransactionHash, ContractAddress, IntentHash, RawTokenType, UnprovenTransaction, PreBinding, ZswapChainState, ZswapSecretKeys, DustSecretKey, ShieldedCoinInfo } from '@midnight-ntwrk/ledger-v6';
+import { FinalizedTransaction, TransactionId, UnprovenTransaction, Transaction, SignatureEnabled, Proof, Binding, TransactionHash, ContractAddress, IntentHash, RawTokenType, PreBinding, ZswapChainState, ShieldedCoinInfo, CoinPublicKey, EncPublicKey } from '@midnight-ntwrk/ledger-v6';
 export { Transaction } from '@midnight-ntwrk/ledger-v6';
 import { Observable } from 'rxjs';
 
@@ -30,8 +30,8 @@ type Witness<PS> = (context: WitnessContext<any, PS>, ...rest: any[]) => [PS, an
 type Witnesses<PS = any> = Record<string, Witness<PS>>;
 /**
  * Interface for a contract. The data types defined in this file are generic shapes for the artifacts
- * produced by the `compactc` compiler. In other words, this `Contract` interface should match the shape
- * of any `Contract` class produced by `compactc`. Midnight.js uses it for generic constraints.
+ * produced by the `compact` compiler. In other words, this `Contract` interface should match the shape
+ * of any `Contract` class produced by `compact`. Midnight.js uses it for generic constraints.
  *
  * @typeParam PS - The private state modified by the contract witnesses.
  * @typeParam W - The contract witnesses type.
@@ -272,11 +272,11 @@ type UnshieldedUtxos = {
     /**
      * Represents the unshielded UTXOs that have been created but not yet spent.
      */
-    readonly created: UnshieldedUtxo[];
+    readonly created: readonly UnshieldedUtxo[];
     /**
      * Represents the unshielded UTXOs that have been spent.
      */
-    readonly spent: UnshieldedUtxo[];
+    readonly spent: readonly UnshieldedUtxo[];
 };
 /**
  * Represents the fees associated with a particular entity or operation.
@@ -318,7 +318,7 @@ interface FinalizedTxData {
     /**
      * All transaction IDs of the submitted transaction.
      */
-    readonly identifiers: TransactionId[];
+    readonly identifiers: readonly TransactionId[];
     /**
      * The transaction hash of the transaction in which the original transaction was included.
      */
@@ -628,18 +628,6 @@ interface PublicDataProvider {
  * transaction balancing and finalization, and provides access to cryptographic secret keys.
  */
 interface WalletProvider {
-    /**
-     * Represents a readonly property that stores secret keys used for Zswap encryption or authentication.
-     *
-     * @type {ZswapSecretKeys}
-     */
-    readonly zswapSecretKeys: ZswapSecretKeys;
-    /**
-     * A readonly property that stores the secret key used for dust operations.
-     *
-     * @type {DustSecretKey}
-     */
-    readonly dustSecretKey: DustSecretKey;
     /**
      * Balances a transaction
      * @param tx The transaction to balance.
@@ -647,13 +635,8 @@ interface WalletProvider {
      * @param ttl
      */
     balanceTx(tx: UnprovenTransaction, newCoins?: ShieldedCoinInfo[], ttl?: Date): Promise<ProvingRecipe<UnprovenTransaction | FinalizedTransaction>>;
-    /**
-     * Finalizes the given transaction to complete its processing.
-     *
-     * @param {FinalizedTransaction} tx - The transaction object that needs to be finalized.
-     * @return {Promise<FinalizedTransaction>} A promise that resolves to the finalized transaction object.
-     */
-    finalizeTx(tx: ProvingRecipe<FinalizedTransaction>): Promise<FinalizedTransaction>;
+    getCoinPublicKey(): CoinPublicKey;
+    getEncryptionPublicKey(): EncPublicKey;
 }
 
 /**
@@ -665,27 +648,27 @@ interface WalletProvider {
  */
 declare abstract class ZKConfigProvider<K extends string> {
     /**
-     * Retrieves the zero-knowledge intermediate representation produced by `compactc` for the given circuit.
+     * Retrieves the zero-knowledge intermediate representation produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the ZKIR to retrieve.
      */
     abstract getZKIR(circuitId: K): Promise<ZKIR>;
     /**
-     * Retrieves the prover key produced by `compactc` for the given circuit.
+     * Retrieves the prover key produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the prover key to retrieve.
      */
     abstract getProverKey(circuitId: K): Promise<ProverKey>;
     /**
-     * Retrieves the verifier key produced by `compactc` for the given circuit.
+     * Retrieves the verifier key produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the verifier key to retrieve.
      */
     abstract getVerifierKey(circuitId: K): Promise<VerifierKey>;
     /**
-     * Retrieves the verifier keys produced by `compactc` for the given circuits.
+     * Retrieves the verifier keys produced by `compact` compiler for the given circuits.
      * @param circuitIds The circuit IDs of the verifier keys to retrieve.
      */
     getVerifierKeys(circuitIds: K[]): Promise<[K, VerifierKey][]>;
     /**
-     * Retrieves all zero-knowledge artifacts produced by `compactc` for the given circuit.
+     * Retrieves all zero-knowledge artifacts produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the artifacts to retrieve.
      */
     get(circuitId: K): Promise<ZKConfig<K>>;
@@ -729,5 +712,5 @@ interface MidnightProviders<ICK extends ImpureCircuitId = ImpureCircuitId, PSI e
     readonly loggerProvider?: LoggerProvider;
 }
 
-export { FailEntirely, FailFallible, InvalidProtocolSchemeError, LogLevel, NOTHING_TO_PROVE, SegmentFail, SegmentSuccess, SucceedEntirely, TRANSACTION_TO_PROVE, ZKConfigProvider, createProverKey, createVerifierKey, createZKIR, getImpureCircuitIds };
-export type { All, BlockHash, BlockHashConfig, BlockHeightConfig, CircuitParameters, CircuitReturnType, Contract, ContractStateObservableConfig, Fees, FinalizedTxData, ImpureCircuit, ImpureCircuitId, ImpureCircuits, InitialStateParameters, Latest, LoggerProvider, MidnightProvider, MidnightProviders, NothingToProve, PrivateState, PrivateStateId, PrivateStateProvider, ProofProvider, ProveTxConfig, ProvenTransaction, ProverKey, ProvingRecipe, PublicDataProvider, SegmentStatus, TransactionToProve, TxIdConfig, TxStatus, UnshieldedBalance, UnshieldedBalances, UnshieldedUtxo, UnshieldedUtxos, VerifierKey, WalletProvider, Witness, Witnesses, ZKConfig, ZKIR };
+export { BALANCE_TRANSACTION_TO_PROVE, FailEntirely, FailFallible, InvalidProtocolSchemeError, LogLevel, NOTHING_TO_PROVE, SegmentFail, SegmentSuccess, SucceedEntirely, TRANSACTION_TO_PROVE, ZKConfigProvider, createProverKey, createVerifierKey, createZKIR, getImpureCircuitIds };
+export type { All, BalanceTransactionToProve, BlockHash, BlockHashConfig, BlockHeightConfig, CircuitParameters, CircuitReturnType, Contract, ContractStateObservableConfig, Fees, FinalizedTxData, ImpureCircuit, ImpureCircuitId, ImpureCircuits, InitialStateParameters, Latest, LoggerProvider, MidnightProvider, MidnightProviders, NothingToProve, PrivateState, PrivateStateId, PrivateStateProvider, ProofProvider, ProveTxConfig, ProvenTransaction, ProverKey, ProvingRecipe, PublicDataProvider, SegmentStatus, TransactionToProve, TxIdConfig, TxStatus, UnshieldedBalance, UnshieldedBalances, UnshieldedUtxo, UnshieldedUtxos, VerifierKey, WalletProvider, Witness, Witnesses, ZKConfig, ZKIR };

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAeA,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,QAAQ,EACR,mBAAmB,EACnB,aAAa,EACb,eAAe,EACf,cAAc,EACd,sBAAsB,EACtB,YAAY,EACZ,OAAO,EACP,SAAS,EACV,MAAM,YAAY,CAAC;AACpB,cAAc,UAAU,CAAC;AACzB,cAAc,mBAAmB,CAAC;AAClC,cAAc,qBAAqB,CAAC;AACpC,OAAO,EACL,SAAS,EACT,eAAe,EACf,iBAAiB,EACjB,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,IAAI,EACJ,eAAe,EACf,gBAAgB,EAChB,cAAc,EACd,SAAS,EACT,aAAa,EACb,WAAW,EACX,aAAa,EACb,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,kBAAkB,EAClB,QAAQ,EACR,iBAAiB,EACjB,kBAAkB,EAClB,cAAc,EACd,eAAe,EACf,WAAW,EACX,QAAQ,EACR,IAAI,EACL,MAAM,kBAAkB,CAAC;AAC1B,cAAc,0BAA0B,CAAC;AACzC,cAAc,kBAAkB,CAAC;AACjC,cAAc,aAAa,CAAC;AAC5B,cAAc,wBAAwB,CAAC;AACvC,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC;AACrC,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAeA,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,QAAQ,EACR,mBAAmB,EACnB,aAAa,EACb,eAAe,EACf,cAAc,EACd,sBAAsB,EACtB,YAAY,EACZ,OAAO,EACP,SAAS,EACV,MAAM,YAAY,CAAC;AACpB,cAAc,UAAU,CAAC;AACzB,cAAc,mBAAmB,CAAC;AAClC,cAAc,qBAAqB,CAAC;AACpC,OAAO,EACL,4BAA4B,EAC5B,yBAAyB,EACzB,SAAS,EACT,eAAe,EACf,iBAAiB,EACjB,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,IAAI,EACJ,eAAe,EACf,gBAAgB,EAChB,cAAc,EACd,SAAS,EACT,aAAa,EACb,WAAW,EACX,aAAa,EACb,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,kBAAkB,EAClB,QAAQ,EACR,iBAAiB,EACjB,kBAAkB,EAClB,cAAc,EACd,eAAe,EACf,WAAW,EACX,QAAQ,EACR,IAAI,EACL,MAAM,kBAAkB,CAAC;AAC1B,cAAc,0BAA0B,CAAC;AACzC,cAAc,kBAAkB,CAAC;AACjC,cAAc,aAAa,CAAC;AAC5B,cAAc,wBAAwB,CAAC;AACvC,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC;AACrC,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC"}

package/dist/index.mjs

@@ -151,6 +151,7 @@ const FailFallible = 'FailFallible';
  */
 const SucceedEntirely = 'SucceedEntirely';
 const TRANSACTION_TO_PROVE = 'TransactionToProve';
+const BALANCE_TRANSACTION_TO_PROVE = 'BalanceTransactionToProve';
 const NOTHING_TO_PROVE = 'NothingToProve';
 
 /*
@@ -176,7 +177,7 @@ const NOTHING_TO_PROVE = 'NothingToProve';
  */
 class ZKConfigProvider {
     /**
-     * Retrieves the verifier keys produced by `compactc` for the given circuits.
+     * Retrieves the verifier keys produced by `compact` compiler for the given circuits.
      * @param circuitIds The circuit IDs of the verifier keys to retrieve.
      */
     async getVerifierKeys(circuitIds) {
@@ -186,7 +187,7 @@ class ZKConfigProvider {
         }));
     }
     /**
-     * Retrieves all zero-knowledge artifacts produced by `compactc` for the given circuit.
+     * Retrieves all zero-knowledge artifacts produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the artifacts to retrieve.
      */
     async get(circuitId) {
@@ -199,5 +200,5 @@ class ZKConfigProvider {
     }
 }
 
-export { FailEntirely, FailFallible, InvalidProtocolSchemeError, LogLevel, NOTHING_TO_PROVE, SegmentFail, SegmentSuccess, SucceedEntirely, TRANSACTION_TO_PROVE, ZKConfigProvider, createProverKey, createVerifierKey, createZKIR, getImpureCircuitIds };
+export { BALANCE_TRANSACTION_TO_PROVE, FailEntirely, FailFallible, InvalidProtocolSchemeError, LogLevel, NOTHING_TO_PROVE, SegmentFail, SegmentSuccess, SucceedEntirely, TRANSACTION_TO_PROVE, ZKConfigProvider, createProverKey, createVerifierKey, createZKIR, getImpureCircuitIds };
 //# sourceMappingURL=index.mjs.map

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/zk-config-provider.ts"],"sourcesContent":[null,null,null,null,null],"names":[],"mappings":";;AAAA;;;;;;;;;;;;;AAaG;AA8EH;;;;;;AAMG;AACI,MAAM,mBAAmB,GAAG,CAAqB,QAAW,KACjE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc;;ACnGrC;;;;;;;;;;;;;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;;AC7BD;;;;;;;;;;;;;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;AAwBH;;;;;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;;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;AA0JxB,MAAM,oBAAoB,GAAG;AAE7B,MAAM,gBAAgB,GAAG;;ACzShC;;;;;;;;;;;;;AAaG;AAIH;;;;;;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;AACD;;;;"}
+{"version":3,"file":"index.mjs","sources":["../src/contract.ts","../src/errors.ts","../src/logger-provider.ts","../src/midnight-types.ts","../src/zk-config-provider.ts"],"sourcesContent":[null,null,null,null,null],"names":[],"mappings":";;AAAA;;;;;;;;;;;;;AAaG;AA8EH;;;;;;AAMG;AACI,MAAM,mBAAmB,GAAG,CAAqB,QAAW,KACjE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc;;ACnGrC;;;;;;;;;;;;;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;;AC7BD;;;;;;;;;;;;;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;AAwBH;;;;;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;;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;AA0JxB,MAAM,oBAAoB,GAAG;AAC7B,MAAM,4BAA4B,GAAG;AACrC,MAAM,gBAAgB,GAAG;;ACzShC;;;;;;;;;;;;;AAaG;AAIH;;;;;;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;AACD;;;;"}

package/dist/midnight-types.d.ts

@@ -132,11 +132,11 @@ export type UnshieldedUtxos = {
     /**
      * Represents the unshielded UTXOs that have been created but not yet spent.
      */
-    readonly created: UnshieldedUtxo[];
+    readonly created: readonly UnshieldedUtxo[];
     /**
      * Represents the unshielded UTXOs that have been spent.
      */
-    readonly spent: UnshieldedUtxo[];
+    readonly spent: readonly UnshieldedUtxo[];
 };
 /**
  * Represents the fees associated with a particular entity or operation.
@@ -178,7 +178,7 @@ export interface FinalizedTxData {
     /**
      * All transaction IDs of the submitted transaction.
      */
-    readonly identifiers: TransactionId[];
+    readonly identifiers: readonly TransactionId[];
     /**
      * The transaction hash of the transaction in which the original transaction was included.
      */

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

@@ -1 +1 @@
-{"version":3,"file":"midnight-types.d.ts","sourceRoot":"","sources":["../src/midnight-types.ts"],"names":[],"mappings":"AAeA,OAAO,EACL,KAAK,OAAO,EACZ,KAAK,eAAe,EACpB,KAAK,UAAU,EACf,KAAK,KAAK,EACV,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACrB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACzB,MAAM,2BAA2B,CAAC;AAEnC;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,UAAU,GAAG;IACnC;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,MAAM,CAAC;CACnC,CAAC;AACF;;;;;GAKG;AACH,eAAO,MAAM,eAAe,GAAI,YAAY,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,GAAI,YAAY,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,GAAI,YAAY,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,eAAO,MAAM,WAAW,EAAG,aAAsB,CAAC;AAElD;;GAEG;AACH,eAAO,MAAM,cAAc,EAAG,gBAAyB,CAAC;AAExD;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,cAAc,GAAG,OAAO,WAAW,CAAC;AAEvE;;GAEG;AACH,eAAO,MAAM,YAAY,EAAG,cAAuB,CAAC;AAEpD;;;;;GAKG;AACH,eAAO,MAAM,YAAY,EAAG,cAAuB,CAAC;AAEpD;;;GAGG;AACH,eAAO,MAAM,eAAe,EAAG,iBAA0B,CAAC;AAE1D;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,YAAY,GAAG,OAAO,YAAY,GAAG,OAAO,eAAe,CAAC;AAE1F;;;GAGG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAChC;;;OAGG;IACH,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC;IACnC;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,cAAc,EAAE,CAAC;CAClC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,IAAI,GAAG;IACjB;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;OAEG;IACH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAE/B;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B;;OAEG;IACH,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC,gBAAgB,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC3D;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC;IACtC;;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;IAC7B;;OAEG;IACH,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;OAEG;IACH,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,SAAS,CAAC;IAClE;;;OAGG;IACH,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;CACtC;AAED;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;CAClC,CAAA;AAED;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG,iBAAiB,EAAE,CAAC;AAErD,eAAO,MAAM,oBAAoB,uBAAuB,CAAC;AACzD,eAAO,MAAM,4BAA4B,8BAA8B,CAAC;AACxE,eAAO,MAAM,gBAAgB,mBAAmB,CAAC;AAEjD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,OAAO,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,yBAAyB,CAAC,YAAY,IAAI;IACpD,QAAQ,CAAC,IAAI,EAAE,OAAO,4BAA4B,CAAC;IACnD,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAC;IACjD,QAAQ,CAAC,oBAAoB,EAAE,YAAY,CAAC;CAC7C,CAAC;AAEF,MAAM,MAAM,cAAc,CAAC,YAAY,IAAI;IACzC,QAAQ,CAAC,IAAI,EAAE,OAAO,gBAAgB,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,aAAa,CAAC,YAAY,IAClC,kBAAkB,GAClB,yBAAyB,CAAC,YAAY,CAAC,GACvC,cAAc,CAAC,YAAY,CAAC,CAAC"}
+{"version":3,"file":"midnight-types.d.ts","sourceRoot":"","sources":["../src/midnight-types.ts"],"names":[],"mappings":"AAeA,OAAO,EACL,KAAK,OAAO,EACZ,KAAK,eAAe,EACpB,KAAK,UAAU,EACf,KAAK,KAAK,EACV,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACrB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACzB,MAAM,2BAA2B,CAAC;AAEnC;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,UAAU,GAAG;IACnC;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,MAAM,CAAC;CACnC,CAAC;AACF;;;;;GAKG;AACH,eAAO,MAAM,eAAe,GAAI,YAAY,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,GAAI,YAAY,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,GAAI,YAAY,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,eAAO,MAAM,WAAW,EAAG,aAAsB,CAAC;AAElD;;GAEG;AACH,eAAO,MAAM,cAAc,EAAG,gBAAyB,CAAC;AAExD;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,cAAc,GAAG,OAAO,WAAW,CAAC;AAEvE;;GAEG;AACH,eAAO,MAAM,YAAY,EAAG,cAAuB,CAAC;AAEpD;;;;;GAKG;AACH,eAAO,MAAM,YAAY,EAAG,cAAuB,CAAC;AAEpD;;;GAGG;AACH,eAAO,MAAM,eAAe,EAAG,iBAA0B,CAAC;AAE1D;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,YAAY,GAAG,OAAO,YAAY,GAAG,OAAO,eAAe,CAAC;AAE1F;;;GAGG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAChC;;;OAGG;IACH,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAC;CAC3C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,IAAI,GAAG;IACjB;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;OAEG;IACH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAE/B;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B;;OAEG;IACH,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC,gBAAgB,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC3D;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/C;;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;IAC7B;;OAEG;IACH,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;OAEG;IACH,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,SAAS,CAAC;IAClE;;;OAGG;IACH,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;CACtC;AAED;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;CAClC,CAAA;AAED;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG,iBAAiB,EAAE,CAAC;AAErD,eAAO,MAAM,oBAAoB,uBAAuB,CAAC;AACzD,eAAO,MAAM,4BAA4B,8BAA8B,CAAC;AACxE,eAAO,MAAM,gBAAgB,mBAAmB,CAAC;AAEjD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,OAAO,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,yBAAyB,CAAC,YAAY,IAAI;IACpD,QAAQ,CAAC,IAAI,EAAE,OAAO,4BAA4B,CAAC;IACnD,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAC;IACjD,QAAQ,CAAC,oBAAoB,EAAE,YAAY,CAAC;CAC7C,CAAC;AAEF,MAAM,MAAM,cAAc,CAAC,YAAY,IAAI;IACzC,QAAQ,CAAC,IAAI,EAAE,OAAO,gBAAgB,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,aAAa,CAAC,YAAY,IAClC,kBAAkB,GAClB,yBAAyB,CAAC,YAAY,CAAC,GACvC,cAAc,CAAC,YAAY,CAAC,CAAC"}

package/dist/wallet-provider.d.ts

@@ -1,22 +1,10 @@
-import { type DustSecretKey, type FinalizedTransaction, type ShieldedCoinInfo, type UnprovenTransaction, type ZswapSecretKeys } from '@midnight-ntwrk/ledger-v6';
+import { type CoinPublicKey, type EncPublicKey, type FinalizedTransaction, type ShieldedCoinInfo, type UnprovenTransaction } from '@midnight-ntwrk/ledger-v6';
 import { type ProvingRecipe } from './midnight-types';
 /**
  * Interface representing a WalletProvider that handles operations such as
  * transaction balancing and finalization, and provides access to cryptographic secret keys.
  */
 export interface WalletProvider {
-    /**
-     * Represents a readonly property that stores secret keys used for Zswap encryption or authentication.
-     *
-     * @type {ZswapSecretKeys}
-     */
-    readonly zswapSecretKeys: ZswapSecretKeys;
-    /**
-     * A readonly property that stores the secret key used for dust operations.
-     *
-     * @type {DustSecretKey}
-     */
-    readonly dustSecretKey: DustSecretKey;
     /**
      * Balances a transaction
      * @param tx The transaction to balance.
@@ -24,12 +12,7 @@ export interface WalletProvider {
      * @param ttl
      */
     balanceTx(tx: UnprovenTransaction, newCoins?: ShieldedCoinInfo[], ttl?: Date): Promise<ProvingRecipe<UnprovenTransaction | FinalizedTransaction>>;
-    /**
-     * Finalizes the given transaction to complete its processing.
-     *
-     * @param {FinalizedTransaction} tx - The transaction object that needs to be finalized.
-     * @return {Promise<FinalizedTransaction>} A promise that resolves to the finalized transaction object.
-     */
-    finalizeTx(tx: ProvingRecipe<FinalizedTransaction>): Promise<FinalizedTransaction>;
+    getCoinPublicKey(): CoinPublicKey;
+    getEncryptionPublicKey(): EncPublicKey;
 }
 //# sourceMappingURL=wallet-provider.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"wallet-provider.d.ts","sourceRoot":"","sources":["../src/wallet-provider.ts"],"names":[],"mappings":"AAeA,OAAO,EACL,KAAK,aAAa,EAClB,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,EACxB,KAAK,eAAe,EACrB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEtD;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAE1C;;;;OAIG;IACH,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IAEtC;;;;;OAKG;IACH,SAAS,CAAC,EAAE,EAAE,mBAAmB,EAAE,QAAQ,CAAC,EAAE,gBAAgB,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,mBAAmB,GAAG,oBAAoB,CAAC,CAAC,CAAC;IAElJ;;;;;OAKG;IACH,UAAU,CAAC,EAAE,EAAE,aAAa,CAAC,oBAAoB,CAAC,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;CACpF"}
+{"version":3,"file":"wallet-provider.d.ts","sourceRoot":"","sources":["../src/wallet-provider.ts"],"names":[],"mappings":"AAeA,OAAO,EACL,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,EACzB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEtD;;;GAGG;AACH,MAAM,WAAW,cAAc;IAE7B;;;;;OAKG;IACH,SAAS,CAAC,EAAE,EAAE,mBAAmB,EAAE,QAAQ,CAAC,EAAE,gBAAgB,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,mBAAmB,GAAG,oBAAoB,CAAC,CAAC,CAAC;IAElJ,gBAAgB,IAAI,aAAa,CAAC;IAElC,sBAAsB,IAAI,YAAY,CAAC;CACxC"}

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

@@ -8,27 +8,27 @@ import type { ProverKey, VerifierKey, ZKConfig, ZKIR } from './midnight-types';
  */
 export declare abstract class ZKConfigProvider<K extends string> {
     /**
-     * Retrieves the zero-knowledge intermediate representation produced by `compactc` for the given circuit.
+     * Retrieves the zero-knowledge intermediate representation produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the ZKIR to retrieve.
      */
     abstract getZKIR(circuitId: K): Promise<ZKIR>;
     /**
-     * Retrieves the prover key produced by `compactc` for the given circuit.
+     * Retrieves the prover key produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the prover key to retrieve.
      */
     abstract getProverKey(circuitId: K): Promise<ProverKey>;
     /**
-     * Retrieves the verifier key produced by `compactc` for the given circuit.
+     * Retrieves the verifier key produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the verifier key to retrieve.
      */
     abstract getVerifierKey(circuitId: K): Promise<VerifierKey>;
     /**
-     * Retrieves the verifier keys produced by `compactc` for the given circuits.
+     * Retrieves the verifier keys produced by `compact` compiler for the given circuits.
      * @param circuitIds The circuit IDs of the verifier keys to retrieve.
      */
     getVerifierKeys(circuitIds: K[]): Promise<[K, VerifierKey][]>;
     /**
-     * Retrieves all zero-knowledge artifacts produced by `compactc` for the given circuit.
+     * Retrieves all zero-knowledge artifacts produced by `compact` compiler for the given circuit.
      * @param circuitId The circuit ID of the artifacts to retrieve.
      */
     get(circuitId: K): Promise<ZKConfig<K>>;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@midnight-ntwrk/midnight-js-types",
-  "version": "3.0.0-alpha.2",
+  "version": "3.0.0-alpha.5",
   "description": "Shared data types and interfaces for MidnightJS modules",
   "main": "dist/index.cjs",
   "module": "dist/index.mjs",