@provablehq/wasm 0.9.6 → 0.9.7

package/dist/mainnet/aleo_wasm.d.ts

@@ -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;
 }
@@ -3330,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>;
   /**
@@ -3362,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;
   /**
@@ -3378,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;
 }
@@ -3430,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>;
   /**
@@ -3462,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;
   /**
@@ -3478,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;
 }
@@ -3530,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>;
   /**
@@ -3562,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;
   /**
@@ -3578,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;
 }
@@ -3630,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>;
   /**
@@ -3662,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;
   /**
@@ -3678,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;
 }
@@ -3730,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>;
   /**
@@ -3762,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;
   /**
@@ -3778,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;
 }
@@ -4050,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();