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

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

@@ -178,7 +178,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 +188,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) {

package/dist/index.d.cts

@@ -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.
      */
@@ -665,27 +665,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>>;

package/dist/index.d.mts

@@ -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.
      */
@@ -665,27 +665,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>>;

package/dist/index.d.ts

@@ -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.
      */
@@ -665,27 +665,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>>;

package/dist/index.mjs

@@ -176,7 +176,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 +186,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) {

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/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.3",
   "description": "Shared data types and interfaces for MidnightJS modules",
   "main": "dist/index.cjs",
   "module": "dist/index.mjs",