@provablehq/wasm 0.9.5 → 0.9.7

package/dist/mainnet/aleo_wasm.d.ts

@@ -700,14 +700,14 @@ export class ExecutionRequest {
    * @param {Field | undefined} root_tvk The tvk of the function at the top of the call graph. This is undefined if this request is built for the top-level call or if there is only one function in the call graph.
    * @param {boolean} is_root Flag to indicate if this is the top level function in the call graph.
    */
-  static sign(private_key: PrivateKey, program_id: string, function_name: string, inputs: Array<any>, input_types: Array<any>, root_tvk: Field | null | undefined, is_root: boolean): ExecutionRequest;
+  static sign(private_key: PrivateKey, program_id: string, function_name: string, inputs: Array<any>, input_types: Array<any>, root_tvk: Field | null | undefined, program_checksum: Field | null | undefined, is_root: boolean): ExecutionRequest;
   /**
    * Verify the input types within a request.
    *
    * @param {string[]} The input_types within the request.
    * @param {boolean} Flag to indicate whether this request is the first function in the call graph.
    */
-  verify(input_types: Array<any>, is_root: boolean): boolean;
+  verify(input_types: Array<any>, is_root: boolean, program_checksum?: Field | null): boolean;
 }
 /**
  * Webassembly Representation of an Aleo function execution response
@@ -956,27 +956,27 @@ export class I128 {
   private constructor();
   free(): void;
   /**
-   * Creates from string.
+   * Construct an integer from a string representation.
    */
   static fromString(s: string): I128;
   /**
-   * To string.
+   * Get the string representation of the integer.
    */
   toString(): string;
   /**
-   * From bytes (LE).
+   * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): I128;
   /**
-   * To bytes (LE).
+   * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
   /**
-   * From bits.
+   * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): I128;
   /**
-   * To bits.
+   * Get the boolean array representation of the integer.
    */
   toBitsLe(): Array<any>;
   /**
@@ -988,15 +988,15 @@ export class I128 {
    */
   absWrapped(): I128;
   /**
-   * Wrapped addition.
+   * Wrapped addition with another integer.
    */
   addWrapped(other: I128): I128;
   /**
-   * Wrapped subtraction.
+   * Wrapped subtraction with another integer.
    */
   subWrapped(other: I128): I128;
   /**
-   * Wrapped multiplication.
+   * Wrapped multiplication with another integer.
    */
   mulWrapped(other: I128): I128;
   /**
@@ -1004,51 +1004,51 @@ export class I128 {
    */
   divWrapped(other: I128): I128;
   /**
-   * Power to a u8 exponent.
+   * Exponentiate the integer with a u8 exponent.
    */
   powU8(exponent: U8): I128;
   /**
-   * Power to a u16 exponent.
+   * Exponentiate the integer with a u16 exponent.
    */
   powU16(exponent: U16): I128;
   /**
-   * Power to a u32 exponent.
+   * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): I128;
   /**
-   * Negates the integer (e.g., 5 → -5).
+   * Negate the integer (e.g., 5 → -5).
    */
   neg(): I128;
   /**
-   * Checks equality with another integer.
+   * Check equality with another integer.
    */
   equals(other: I128): boolean;
   /**
-   * Remainder.
+   * Get the remainder from integer division.
    */
   rem(other: I128): I128;
   /**
-   * Wrapped remainder.
+   * Get the remainder from an integer division which wraps if there's an overflow.
    */
   remWrapped(other: I128): I128;
   /**
-   * Convert to Scalar.
+   * Convert the integer to a Scalar value.
    */
   toScalar(): Scalar;
   /**
-   * Convert to plaintext.
+   * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
   /**
-   * Convert from Field.
+   * Attempt to construct the integer from a field element.
    */
   static fromField(field: Field): I128;
   /**
-   * Convert from Fields.
+   * Atttempt to construct the integer from a list of field elements.
    */
   static fromFields(fields: Array<any>): I128;
   /**
-   * Clone.
+   * Clone the integer in wasm memory.
    */
   clone(): I128;
 }
@@ -1056,27 +1056,27 @@ export class I16 {
   private constructor();
   free(): void;
   /**
-   * Creates from string.
+   * Construct an integer from a string representation.
    */
   static fromString(s: string): I16;
   /**
-   * To string.
+   * Get the string representation of the integer.
    */
   toString(): string;
   /**
-   * From bytes (LE).
+   * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): I16;
   /**
-   * To bytes (LE).
+   * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
   /**
-   * From bits.
+   * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): I16;
   /**
-   * To bits.
+   * Get the boolean array representation of the integer.
    */
   toBitsLe(): Array<any>;
   /**
@@ -1088,15 +1088,15 @@ export class I16 {
    */
   absWrapped(): I16;
   /**
-   * Wrapped addition.
+   * Wrapped addition with another integer.
    */
   addWrapped(other: I16): I16;
   /**
-   * Wrapped subtraction.
+   * Wrapped subtraction with another integer.
    */
   subWrapped(other: I16): I16;
   /**
-   * Wrapped multiplication.
+   * Wrapped multiplication with another integer.
    */
   mulWrapped(other: I16): I16;
   /**
@@ -1104,51 +1104,51 @@ export class I16 {
    */
   divWrapped(other: I16): I16;
   /**
-   * Power to a u8 exponent.
+   * Exponentiate the integer with a u8 exponent.
    */
   powU8(exponent: U8): I16;
   /**
-   * Power to a u16 exponent.
+   * Exponentiate the integer with a u16 exponent.
    */
   powU16(exponent: U16): I16;
   /**
-   * Power to a u32 exponent.
+   * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): I16;
   /**
-   * Negates the integer (e.g., 5 → -5).
+   * Negate the integer (e.g., 5 → -5).
    */
   neg(): I16;
   /**
-   * Checks equality with another integer.
+   * Check equality with another integer.
    */
   equals(other: I16): boolean;
   /**
-   * Remainder.
+   * Get the remainder from integer division.
    */
   rem(other: I16): I16;
   /**
-   * Wrapped remainder.
+   * Get the remainder from an integer division which wraps if there's an overflow.
    */
   remWrapped(other: I16): I16;
   /**
-   * Convert to Scalar.
+   * Convert the integer to a Scalar value.
    */
   toScalar(): Scalar;
   /**
-   * Convert to plaintext.
+   * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
   /**
-   * Convert from Field.
+   * Attempt to construct the integer from a field element.
    */
   static fromField(field: Field): I16;
   /**
-   * Convert from Fields.
+   * Atttempt to construct the integer from a list of field elements.
    */
   static fromFields(fields: Array<any>): I16;
   /**
-   * Clone.
+   * Clone the integer in wasm memory.
    */
   clone(): I16;
 }
@@ -1156,27 +1156,27 @@ export class I32 {
   private constructor();
   free(): void;
   /**
-   * Creates from string.
+   * Construct an integer from a string representation.
    */
   static fromString(s: string): I32;
   /**
-   * To string.
+   * Get the string representation of the integer.
    */
   toString(): string;
   /**
-   * From bytes (LE).
+   * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): I32;
   /**
-   * To bytes (LE).
+   * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
   /**
-   * From bits.
+   * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): I32;
   /**
-   * To bits.
+   * Get the boolean array representation of the integer.
    */
   toBitsLe(): Array<any>;
   /**
@@ -1188,15 +1188,15 @@ export class I32 {
    */
   absWrapped(): I32;
   /**
-   * Wrapped addition.
+   * Wrapped addition with another integer.
    */
   addWrapped(other: I32): I32;
   /**
-   * Wrapped subtraction.
+   * Wrapped subtraction with another integer.
    */
   subWrapped(other: I32): I32;
   /**
-   * Wrapped multiplication.
+   * Wrapped multiplication with another integer.
    */
   mulWrapped(other: I32): I32;
   /**
@@ -1204,51 +1204,51 @@ export class I32 {
    */
   divWrapped(other: I32): I32;
   /**
-   * Power to a u8 exponent.
+   * Exponentiate the integer with a u8 exponent.
    */
   powU8(exponent: U8): I32;
   /**
-   * Power to a u16 exponent.
+   * Exponentiate the integer with a u16 exponent.
    */
   powU16(exponent: U16): I32;
   /**
-   * Power to a u32 exponent.
+   * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): I32;
   /**
-   * Negates the integer (e.g., 5 → -5).
+   * Negate the integer (e.g., 5 → -5).
    */
   neg(): I32;
   /**
-   * Checks equality with another integer.
+   * Check equality with another integer.
    */
   equals(other: I32): boolean;
   /**
-   * Remainder.
+   * Get the remainder from integer division.
    */
   rem(other: I32): I32;
   /**
-   * Wrapped remainder.
+   * Get the remainder from an integer division which wraps if there's an overflow.
    */
   remWrapped(other: I32): I32;
   /**
-   * Convert to Scalar.
+   * Convert the integer to a Scalar value.
    */
   toScalar(): Scalar;
   /**
-   * Convert to plaintext.
+   * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
   /**
-   * Convert from Field.
+   * Attempt to construct the integer from a field element.
    */
   static fromField(field: Field): I32;
   /**
-   * Convert from Fields.
+   * Atttempt to construct the integer from a list of field elements.
    */
   static fromFields(fields: Array<any>): I32;
   /**
-   * Clone.
+   * Clone the integer in wasm memory.
    */
   clone(): I32;
 }
@@ -1256,27 +1256,27 @@ export class I64 {
   private constructor();
   free(): void;
   /**
-   * Creates from string.
+   * Construct an integer from a string representation.
    */
   static fromString(s: string): I64;
   /**
-   * To string.
+   * Get the string representation of the integer.
    */
   toString(): string;
   /**
-   * From bytes (LE).
+   * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): I64;
   /**
-   * To bytes (LE).
+   * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
   /**
-   * From bits.
+   * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): I64;
   /**
-   * To bits.
+   * Get the boolean array representation of the integer.
    */
   toBitsLe(): Array<any>;
   /**
@@ -1288,15 +1288,15 @@ export class I64 {
    */
   absWrapped(): I64;
   /**
-   * Wrapped addition.
+   * Wrapped addition with another integer.
    */
   addWrapped(other: I64): I64;
   /**
-   * Wrapped subtraction.
+   * Wrapped subtraction with another integer.
    */
   subWrapped(other: I64): I64;
   /**
-   * Wrapped multiplication.
+   * Wrapped multiplication with another integer.
    */
   mulWrapped(other: I64): I64;
   /**
@@ -1304,51 +1304,51 @@ export class I64 {
    */
   divWrapped(other: I64): I64;
   /**
-   * Power to a u8 exponent.
+   * Exponentiate the integer with a u8 exponent.
    */
   powU8(exponent: U8): I64;
   /**
-   * Power to a u16 exponent.
+   * Exponentiate the integer with a u16 exponent.
    */
   powU16(exponent: U16): I64;
   /**
-   * Power to a u32 exponent.
+   * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): I64;
   /**
-   * Negates the integer (e.g., 5 → -5).
+   * Negate the integer (e.g., 5 → -5).
    */
   neg(): I64;
   /**
-   * Checks equality with another integer.
+   * Check equality with another integer.
    */
   equals(other: I64): boolean;
   /**
-   * Remainder.
+   * Get the remainder from integer division.
    */
   rem(other: I64): I64;
   /**
-   * Wrapped remainder.
+   * Get the remainder from an integer division which wraps if there's an overflow.
    */
   remWrapped(other: I64): I64;
   /**
-   * Convert to Scalar.
+   * Convert the integer to a Scalar value.
    */
   toScalar(): Scalar;
   /**
-   * Convert to plaintext.
+   * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
   /**
-   * Convert from Field.
+   * Attempt to construct the integer from a field element.
    */
   static fromField(field: Field): I64;
   /**
-   * Convert from Fields.
+   * Atttempt to construct the integer from a list of field elements.
    */
   static fromFields(fields: Array<any>): I64;
   /**
-   * Clone.
+   * Clone the integer in wasm memory.
    */
   clone(): I64;
 }
@@ -1356,27 +1356,27 @@ export class I8 {
   private constructor();
   free(): void;
   /**
-   * Creates from string.
+   * Construct an integer from a string representation.
    */
   static fromString(s: string): I8;
   /**
-   * To string.
+   * Get the string representation of the integer.
    */
   toString(): string;
   /**
-   * From bytes (LE).
+   * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): I8;
   /**
-   * To bytes (LE).
+   * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
   /**
-   * From bits.
+   * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): I8;
   /**
-   * To bits.
+   * Get the boolean array representation of the integer.
    */
   toBitsLe(): Array<any>;
   /**
@@ -1388,15 +1388,15 @@ export class I8 {
    */
   absWrapped(): I8;
   /**
-   * Wrapped addition.
+   * Wrapped addition with another integer.
    */
   addWrapped(other: I8): I8;
   /**
-   * Wrapped subtraction.
+   * Wrapped subtraction with another integer.
    */
   subWrapped(other: I8): I8;
   /**
-   * Wrapped multiplication.
+   * Wrapped multiplication with another integer.
    */
   mulWrapped(other: I8): I8;
   /**
@@ -1404,51 +1404,51 @@ export class I8 {
    */
   divWrapped(other: I8): I8;
   /**
-   * Power to a u8 exponent.
+   * Exponentiate the integer with a u8 exponent.
    */
   powU8(exponent: U8): I8;
   /**
-   * Power to a u16 exponent.
+   * Exponentiate the integer with a u16 exponent.
    */
   powU16(exponent: U16): I8;
   /**
-   * Power to a u32 exponent.
+   * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): I8;
   /**
-   * Negates the integer (e.g., 5 → -5).
+   * Negate the integer (e.g., 5 → -5).
    */
   neg(): I8;
   /**
-   * Checks equality with another integer.
+   * Check equality with another integer.
    */
   equals(other: I8): boolean;
   /**
-   * Remainder.
+   * Get the remainder from integer division.
    */
   rem(other: I8): I8;
   /**
-   * Wrapped remainder.
+   * Get the remainder from an integer division which wraps if there's an overflow.
    */
   remWrapped(other: I8): I8;
   /**
-   * Convert to Scalar.
+   * Convert the integer to a Scalar value.
    */
   toScalar(): Scalar;
   /**
-   * Convert to plaintext.
+   * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
   /**
-   * Convert from Field.
+   * Attempt to construct the integer from a field element.
    */
   static fromField(field: Field): I8;
   /**
-   * Convert from Fields.
+   * Atttempt to construct the integer from a list of field elements.
    */
   static fromFields(fields: Array<any>): I8;
   /**
-   * Clone.
+   * Clone the integer in wasm memory.
    */
   clone(): I8;
 }
@@ -2152,7 +2152,7 @@ export class ProgramManager {
    * @param inputs A javascript array of inputs to the function.
    * @param imports The imports to the program in the format {"programname.aleo":"aleo instructions source code"}.
    */
-  static authorize(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, imports?: object | null): Promise<Authorization>;
+  static authorize(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, imports?: object | null, edition?: number | null): Promise<Authorization>;
   /**
    * Create an execution `Authorization` without generating a circuit. Use this function when
    * fast delegated proving is needed.
@@ -2163,7 +2163,7 @@ export class ProgramManager {
    * @param inputs A javascript array of inputs to the function.
    * @param imports The imports to the program in the format {"programname.aleo":"aleo instructions source code"}.
    */
-  static buildAuthorizationUnchecked(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, imports?: object | null): Promise<Authorization>;
+  static buildAuthorizationUnchecked(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, imports?: object | null, edition?: number | null): Promise<Authorization>;
   /**
    * Create an `Authorization` for `credits.aleo/fee_public` or `credits.aleo/fee_private`.
    * This object requires an associated execution or deployment ID. This can be gained from
@@ -2240,7 +2240,7 @@ export class ProgramManager {
    * @param {ProvingKey | undefined} proving_key (optional) Provide a verifying key to use for the function execution
    * @param {VerifyingKey | undefined} verifying_key (optional) Provide a verifying key to use for the function execution
    */
-  static executeFunctionOffline(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, prove_execution: boolean, cache: boolean, imports?: object | null, proving_key?: ProvingKey | null, verifying_key?: VerifyingKey | null, url?: string | null, offline_query?: OfflineQuery | null): Promise<ExecutionResponse>;
+  static executeFunctionOffline(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, prove_execution: boolean, cache: boolean, imports?: object | null, proving_key?: ProvingKey | null, verifying_key?: VerifyingKey | null, url?: string | null, offline_query?: OfflineQuery | null, edition?: number | null): Promise<ExecutionResponse>;
   /**
    * Execute Aleo function and create an Aleo execution transaction
    *
@@ -2262,9 +2262,11 @@ export class ProgramManager {
    * @param verifying_key (optional) Provide a verifying key to use for the function execution
    * @param fee_proving_key (optional) Provide a proving key to use for the fee execution
    * @param fee_verifying_key (optional) Provide a verifying key to use for the fee execution
+   * @param offline_query An offline query object to use if building a transaction without an internet connection.
+   * @param edition The edition of the program to execute. Defaults to the latest found on the network, or 1 if the program does not exist on the network.
    * @returns {Transaction}
    */
-  static buildExecutionTransaction(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, priority_fee_credits: number, fee_record?: RecordPlaintext | null, url?: string | null, imports?: object | null, proving_key?: ProvingKey | null, verifying_key?: VerifyingKey | null, fee_proving_key?: ProvingKey | null, fee_verifying_key?: VerifyingKey | null, offline_query?: OfflineQuery | null): Promise<Transaction>;
+  static buildExecutionTransaction(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, priority_fee_credits: number, fee_record?: RecordPlaintext | null, url?: string | null, imports?: object | null, proving_key?: ProvingKey | null, verifying_key?: VerifyingKey | null, fee_proving_key?: ProvingKey | null, fee_verifying_key?: VerifyingKey | null, offline_query?: OfflineQuery | null, edition?: number | null): Promise<Transaction>;
   /**
    * Estimate Fee for Aleo function execution. Note if "cache" is set to true, the proving and
    * verifying keys will be stored in the ProgramManager's memory and used for subsequent
@@ -2284,7 +2286,7 @@ export class ProgramManager {
    * @param verifying_key (optional) Provide a verifying key to use for the fee estimation
    * @returns {u64} Fee in microcredits
    */
-  static estimateExecutionFee(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, url?: string | null, imports?: object | null, proving_key?: ProvingKey | null, verifying_key?: VerifyingKey | null, offline_query?: OfflineQuery | null): Promise<bigint>;
+  static estimateExecutionFee(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, url?: string | null, imports?: object | null, proving_key?: ProvingKey | null, verifying_key?: VerifyingKey | null, offline_query?: OfflineQuery | null, edition?: number | null): Promise<bigint>;
   /**
    * Estimate the finalize fee component for executing a function. This fee is additional to the
    * size of the execution of the program in bytes. If the function does not have a finalize
@@ -2331,7 +2333,7 @@ export class ProgramManager {
    * @param broadcast (optional) Flag to indicate if the transaction should be broadcast
    * @returns {Authorization}
    */
-  static buildProvingRequest(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, base_fee_credits: number, priority_fee_credits: number, fee_record: RecordPlaintext | null | undefined, imports: object | null | undefined, broadcast: boolean, unchecked: boolean): Promise<ProvingRequest>;
+  static buildProvingRequest(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, base_fee_credits: number, priority_fee_credits: number, fee_record: RecordPlaintext | null | undefined, imports: object | null | undefined, broadcast: boolean, unchecked: boolean, edition?: number | null): Promise<ProvingRequest>;
   /**
    * Split an Aleo credits record into two separate records. This function does not require a fee.
    *
@@ -2371,7 +2373,7 @@ export class ProgramManager {
    * @param inputs {Array} The inputs to the function
    * @param imports {Object | undefined} The imports for the program
    */
-  static synthesizeKeyPair(private_key: PrivateKey, program: string, function_id: string, inputs: Array<any>, imports?: object | null): Promise<KeyPair>;
+  static synthesizeKeyPair(private_key: PrivateKey, program: string, function_id: string, inputs: Array<any>, imports?: object | null, edition?: number | null): Promise<KeyPair>;
 }
 /**
  * Proving key for a function within an Aleo program
@@ -2905,6 +2907,10 @@ export class Scalar {
    * Create a plaintext element from a scalar element.
    */
   toPlaintext(): Plaintext;
+  /**
+   * Cast the scalar element to a field element.
+   */
+  toField(): Field;
   /**
    * Clone the scalar element.
    */
@@ -3324,27 +3330,27 @@ export class U128 {
   private constructor();
   free(): void;
   /**
-   * Creates from string.
+   * Construct an integer from a string representation.
    */
   static fromString(s: string): U128;
   /**
-   * To string.
+   * Get the string representation of the integer.
    */
   toString(): string;
   /**
-   * From bytes (LE).
+   * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): U128;
   /**
-   * To bytes (LE).
+   * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
   /**
-   * From bits.
+   * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): U128;
   /**
-   * To bits.
+   * Get the boolean array representation of the integer.
    */
   toBitsLe(): Array<any>;
   /**
@@ -3356,15 +3362,15 @@ export class U128 {
    */
   absWrapped(): U128;
   /**
-   * Wrapped addition.
+   * Wrapped addition with another integer.
    */
   addWrapped(other: U128): U128;
   /**
-   * Wrapped subtraction.
+   * Wrapped subtraction with another integer.
    */
   subWrapped(other: U128): U128;
   /**
-   * Wrapped multiplication.
+   * Wrapped multiplication with another integer.
    */
   mulWrapped(other: U128): U128;
   /**
@@ -3372,51 +3378,51 @@ export class U128 {
    */
   divWrapped(other: U128): U128;
   /**
-   * Power to a u8 exponent.
+   * Exponentiate the integer with a u8 exponent.
    */
   powU8(exponent: U8): U128;
   /**
-   * Power to a u16 exponent.
+   * Exponentiate the integer with a u16 exponent.
    */
   powU16(exponent: U16): U128;
   /**
-   * Power to a u32 exponent.
+   * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): U128;
   /**
-   * Negates the integer (e.g., 5 → -5).
+   * Negate the integer (e.g., 5 → -5).
    */
   neg(): U128;
   /**
-   * Checks equality with another integer.
+   * Check equality with another integer.
    */
   equals(other: U128): boolean;
   /**
-   * Remainder.
+   * Get the remainder from integer division.
    */
   rem(other: U128): U128;
   /**
-   * Wrapped remainder.
+   * Get the remainder from an integer division which wraps if there's an overflow.
    */
   remWrapped(other: U128): U128;
   /**
-   * Convert to Scalar.
+   * Convert the integer to a Scalar value.
    */
   toScalar(): Scalar;
   /**
-   * Convert to plaintext.
+   * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
   /**
-   * Convert from Field.
+   * Attempt to construct the integer from a field element.
    */
   static fromField(field: Field): U128;
   /**
-   * Convert from Fields.
+   * Atttempt to construct the integer from a list of field elements.
    */
   static fromFields(fields: Array<any>): U128;
   /**
-   * Clone.
+   * Clone the integer in wasm memory.
    */
   clone(): U128;
 }
@@ -3424,27 +3430,27 @@ export class U16 {
   private constructor();
   free(): void;
   /**
-   * Creates from string.
+   * Construct an integer from a string representation.
    */
   static fromString(s: string): U16;
   /**
-   * To string.
+   * Get the string representation of the integer.
    */
   toString(): string;
   /**
-   * From bytes (LE).
+   * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): U16;
   /**
-   * To bytes (LE).
+   * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
   /**
-   * From bits.
+   * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): U16;
   /**
-   * To bits.
+   * Get the boolean array representation of the integer.
    */
   toBitsLe(): Array<any>;
   /**
@@ -3456,15 +3462,15 @@ export class U16 {
    */
   absWrapped(): U16;
   /**
-   * Wrapped addition.
+   * Wrapped addition with another integer.
    */
   addWrapped(other: U16): U16;
   /**
-   * Wrapped subtraction.
+   * Wrapped subtraction with another integer.
    */
   subWrapped(other: U16): U16;
   /**
-   * Wrapped multiplication.
+   * Wrapped multiplication with another integer.
    */
   mulWrapped(other: U16): U16;
   /**
@@ -3472,51 +3478,51 @@ export class U16 {
    */
   divWrapped(other: U16): U16;
   /**
-   * Power to a u8 exponent.
+   * Exponentiate the integer with a u8 exponent.
    */
   powU8(exponent: U8): U16;
   /**
-   * Power to a u16 exponent.
+   * Exponentiate the integer with a u16 exponent.
    */
   powU16(exponent: U16): U16;
   /**
-   * Power to a u32 exponent.
+   * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): U16;
   /**
-   * Negates the integer (e.g., 5 → -5).
+   * Negate the integer (e.g., 5 → -5).
    */
   neg(): U16;
   /**
-   * Checks equality with another integer.
+   * Check equality with another integer.
    */
   equals(other: U16): boolean;
   /**
-   * Remainder.
+   * Get the remainder from integer division.
    */
   rem(other: U16): U16;
   /**
-   * Wrapped remainder.
+   * Get the remainder from an integer division which wraps if there's an overflow.
    */
   remWrapped(other: U16): U16;
   /**
-   * Convert to Scalar.
+   * Convert the integer to a Scalar value.
    */
   toScalar(): Scalar;
   /**
-   * Convert to plaintext.
+   * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
   /**
-   * Convert from Field.
+   * Attempt to construct the integer from a field element.
    */
   static fromField(field: Field): U16;
   /**
-   * Convert from Fields.
+   * Atttempt to construct the integer from a list of field elements.
    */
   static fromFields(fields: Array<any>): U16;
   /**
-   * Clone.
+   * Clone the integer in wasm memory.
    */
   clone(): U16;
 }
@@ -3524,27 +3530,27 @@ export class U32 {
   private constructor();
   free(): void;
   /**
-   * Creates from string.
+   * Construct an integer from a string representation.
    */
   static fromString(s: string): U32;
   /**
-   * To string.
+   * Get the string representation of the integer.
    */
   toString(): string;
   /**
-   * From bytes (LE).
+   * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): U32;
   /**
-   * To bytes (LE).
+   * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
   /**
-   * From bits.
+   * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): U32;
   /**
-   * To bits.
+   * Get the boolean array representation of the integer.
    */
   toBitsLe(): Array<any>;
   /**
@@ -3556,15 +3562,15 @@ export class U32 {
    */
   absWrapped(): U32;
   /**
-   * Wrapped addition.
+   * Wrapped addition with another integer.
    */
   addWrapped(other: U32): U32;
   /**
-   * Wrapped subtraction.
+   * Wrapped subtraction with another integer.
    */
   subWrapped(other: U32): U32;
   /**
-   * Wrapped multiplication.
+   * Wrapped multiplication with another integer.
    */
   mulWrapped(other: U32): U32;
   /**
@@ -3572,51 +3578,51 @@ export class U32 {
    */
   divWrapped(other: U32): U32;
   /**
-   * Power to a u8 exponent.
+   * Exponentiate the integer with a u8 exponent.
    */
   powU8(exponent: U8): U32;
   /**
-   * Power to a u16 exponent.
+   * Exponentiate the integer with a u16 exponent.
    */
   powU16(exponent: U16): U32;
   /**
-   * Power to a u32 exponent.
+   * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): U32;
   /**
-   * Negates the integer (e.g., 5 → -5).
+   * Negate the integer (e.g., 5 → -5).
    */
   neg(): U32;
   /**
-   * Checks equality with another integer.
+   * Check equality with another integer.
    */
   equals(other: U32): boolean;
   /**
-   * Remainder.
+   * Get the remainder from integer division.
    */
   rem(other: U32): U32;
   /**
-   * Wrapped remainder.
+   * Get the remainder from an integer division which wraps if there's an overflow.
    */
   remWrapped(other: U32): U32;
   /**
-   * Convert to Scalar.
+   * Convert the integer to a Scalar value.
    */
   toScalar(): Scalar;
   /**
-   * Convert to plaintext.
+   * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
   /**
-   * Convert from Field.
+   * Attempt to construct the integer from a field element.
    */
   static fromField(field: Field): U32;
   /**
-   * Convert from Fields.
+   * Atttempt to construct the integer from a list of field elements.
    */
   static fromFields(fields: Array<any>): U32;
   /**
-   * Clone.
+   * Clone the integer in wasm memory.
    */
   clone(): U32;
 }
@@ -3624,27 +3630,27 @@ export class U64 {
   private constructor();
   free(): void;
   /**
-   * Creates from string.
+   * Construct an integer from a string representation.
    */
   static fromString(s: string): U64;
   /**
-   * To string.
+   * Get the string representation of the integer.
    */
   toString(): string;
   /**
-   * From bytes (LE).
+   * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): U64;
   /**
-   * To bytes (LE).
+   * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
   /**
-   * From bits.
+   * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): U64;
   /**
-   * To bits.
+   * Get the boolean array representation of the integer.
    */
   toBitsLe(): Array<any>;
   /**
@@ -3656,15 +3662,15 @@ export class U64 {
    */
   absWrapped(): U64;
   /**
-   * Wrapped addition.
+   * Wrapped addition with another integer.
    */
   addWrapped(other: U64): U64;
   /**
-   * Wrapped subtraction.
+   * Wrapped subtraction with another integer.
    */
   subWrapped(other: U64): U64;
   /**
-   * Wrapped multiplication.
+   * Wrapped multiplication with another integer.
    */
   mulWrapped(other: U64): U64;
   /**
@@ -3672,51 +3678,51 @@ export class U64 {
    */
   divWrapped(other: U64): U64;
   /**
-   * Power to a u8 exponent.
+   * Exponentiate the integer with a u8 exponent.
    */
   powU8(exponent: U8): U64;
   /**
-   * Power to a u16 exponent.
+   * Exponentiate the integer with a u16 exponent.
    */
   powU16(exponent: U16): U64;
   /**
-   * Power to a u32 exponent.
+   * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): U64;
   /**
-   * Negates the integer (e.g., 5 → -5).
+   * Negate the integer (e.g., 5 → -5).
    */
   neg(): U64;
   /**
-   * Checks equality with another integer.
+   * Check equality with another integer.
    */
   equals(other: U64): boolean;
   /**
-   * Remainder.
+   * Get the remainder from integer division.
    */
   rem(other: U64): U64;
   /**
-   * Wrapped remainder.
+   * Get the remainder from an integer division which wraps if there's an overflow.
    */
   remWrapped(other: U64): U64;
   /**
-   * Convert to Scalar.
+   * Convert the integer to a Scalar value.
    */
   toScalar(): Scalar;
   /**
-   * Convert to plaintext.
+   * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
   /**
-   * Convert from Field.
+   * Attempt to construct the integer from a field element.
    */
   static fromField(field: Field): U64;
   /**
-   * Convert from Fields.
+   * Atttempt to construct the integer from a list of field elements.
    */
   static fromFields(fields: Array<any>): U64;
   /**
-   * Clone.
+   * Clone the integer in wasm memory.
    */
   clone(): U64;
 }
@@ -3724,27 +3730,27 @@ export class U8 {
   private constructor();
   free(): void;
   /**
-   * Creates from string.
+   * Construct an integer from a string representation.
    */
   static fromString(s: string): U8;
   /**
-   * To string.
+   * Get the string representation of the integer.
    */
   toString(): string;
   /**
-   * From bytes (LE).
+   * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): U8;
   /**
-   * To bytes (LE).
+   * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
   /**
-   * From bits.
+   * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): U8;
   /**
-   * To bits.
+   * Get the boolean array representation of the integer.
    */
   toBitsLe(): Array<any>;
   /**
@@ -3756,15 +3762,15 @@ export class U8 {
    */
   absWrapped(): U8;
   /**
-   * Wrapped addition.
+   * Wrapped addition with another integer.
    */
   addWrapped(other: U8): U8;
   /**
-   * Wrapped subtraction.
+   * Wrapped subtraction with another integer.
    */
   subWrapped(other: U8): U8;
   /**
-   * Wrapped multiplication.
+   * Wrapped multiplication with another integer.
    */
   mulWrapped(other: U8): U8;
   /**
@@ -3772,51 +3778,51 @@ export class U8 {
    */
   divWrapped(other: U8): U8;
   /**
-   * Power to a u8 exponent.
+   * Exponentiate the integer with a u8 exponent.
    */
   powU8(exponent: U8): U8;
   /**
-   * Power to a u16 exponent.
+   * Exponentiate the integer with a u16 exponent.
    */
   powU16(exponent: U16): U8;
   /**
-   * Power to a u32 exponent.
+   * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): U8;
   /**
-   * Negates the integer (e.g., 5 → -5).
+   * Negate the integer (e.g., 5 → -5).
    */
   neg(): U8;
   /**
-   * Checks equality with another integer.
+   * Check equality with another integer.
    */
   equals(other: U8): boolean;
   /**
-   * Remainder.
+   * Get the remainder from integer division.
    */
   rem(other: U8): U8;
   /**
-   * Wrapped remainder.
+   * Get the remainder from an integer division which wraps if there's an overflow.
    */
   remWrapped(other: U8): U8;
   /**
-   * Convert to Scalar.
+   * Convert the integer to a Scalar value.
    */
   toScalar(): Scalar;
   /**
-   * Convert to plaintext.
+   * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
   /**
-   * Convert from Field.
+   * Attempt to construct the integer from a field element.
    */
   static fromField(field: Field): U8;
   /**
-   * Convert from Fields.
+   * Atttempt to construct the integer from a list of field elements.
    */
   static fromFields(fields: Array<any>): U8;
   /**
-   * Clone.
+   * Clone the integer in wasm memory.
    */
   clone(): U8;
 }
@@ -4044,6 +4050,12 @@ export class VerifyingKey {
    * @returns {String} String representation of the verifying key
    */
   toString(): string;
+  /**
+   * Get the number of constraints associated with the circuit
+   *
+   * @returns {number} The number of constraints
+   */
+  numConstraints(): number;
 }
 export class ViewKey {
   private constructor();
@@ -4078,6 +4090,10 @@ export class ViewKey {
    * Get the underlying scalar of a view key.
    */
   to_scalar(): Scalar;
+  /**
+   * Cast the view key to a field.
+   */
+  toField(): Field;
   /**
    * Decrypt a record ciphertext with a view key
    *