@provablehq/wasm 0.9.4 → 0.9.6

package/dist/mainnet/aleo_wasm.d.ts

@@ -562,6 +562,24 @@ export class EncryptionToolkit {
    * @returns {Transition} The decrypted transition.
    */
   static decryptTransitionWithVk(transition: Transition, transition_vk: Field): Transition;
+  /**
+   * Decrypts a set of record ciphertexts in parallel and stores successful decryptions.
+   *
+   * @param {ViewKey} view_key The view key of the owner of the records.
+   * @param {Vec<RecordCiphertext>} records The record ciphertexts to decrypt.
+   *
+   * @returns {vec<RecordPlaintext>} The decrypted record plaintexts.
+   */
+  static decryptOwnedRecords(view_key: ViewKey, records: RecordCiphertext[]): RecordPlaintext[];
+  /**
+   * Checks if a record ciphertext is owned by the given view key.
+   *
+   * @param {ViewKey} view_key View key of the owner of the records.
+   * @param {Vec<RecordCiphertext>} records The record ciphertexts for which to check ownership.
+   *
+   * @returns {Vec<RecordCiphertext>} The record ciphertexts that are owned by the view key.
+   */
+  static checkOwnedRecords(view_key: ViewKey, records: RecordCiphertext[]): RecordCiphertext[];
 }
 /**
  * Execution of an Aleo program.
@@ -682,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
@@ -934,1861 +952,2879 @@ export class Group {
    */
   static generator(): Group;
 }
-/**
- * Key pair object containing both the function proving and verifying keys
- */
-export class KeyPair {
+export class I128 {
+  private constructor();
   free(): void;
   /**
-   * Create new key pair from proving and verifying keys
-   *
-   * @param {ProvingKey} proving_key Proving key corresponding to a function in an Aleo program
-   * @param {VerifyingKey} verifying_key Verifying key corresponding to a function in an Aleo program
-   * @returns {KeyPair} Key pair object containing both the function proving and verifying keys
+   * Creates from string.
    */
-  constructor(proving_key: ProvingKey, verifying_key: VerifyingKey);
+  static fromString(s: string): I128;
   /**
-   * Get the proving key. This method will remove the proving key from the key pair
-   *
-   * @returns {ProvingKey}
+   * To string.
    */
-  provingKey(): ProvingKey;
+  toString(): string;
   /**
-   * Get the verifying key. This method will remove the verifying key from the key pair
-   *
-   * @returns {VerifyingKey}
+   * From bytes (LE).
    */
-  verifyingKey(): VerifyingKey;
-}
-export class Metadata {
-  private constructor();
-  free(): void;
-  static baseUrl(): string;
-  static bond_public(): Metadata;
-  static bond_validator(): Metadata;
-  static claim_unbond_public(): Metadata;
-  static fee_private(): Metadata;
-  static fee_public(): Metadata;
-  static inclusion(): Metadata;
-  static join(): Metadata;
-  static set_validator_state(): Metadata;
-  static split(): Metadata;
-  static transfer_private(): Metadata;
-  static transfer_private_to_public(): Metadata;
-  static transfer_public(): Metadata;
-  static transfer_public_as_signer(): Metadata;
-  static transfer_public_to_private(): Metadata;
-  static unbond_public(): Metadata;
-  name: string;
-  locator: string;
-  prover: string;
-  verifier: string;
-  verifyingKey: string;
-}
-/**
- * An offline query object used to insert the global state root and state paths needed to create
- * a valid inclusion proof offline.
- */
-export class OfflineQuery {
-  free(): void;
+  static fromBytesLe(bytes: Uint8Array): I128;
   /**
-   * Creates a new offline query object. The state root is required to be passed in as a string
-   *
-   * @param {u32} block_height The block height.
-   * @param {string} state_root The state root of the current network.
-   *
-   * @returns {OfflineQuery} The newly created offline query object.
+   * To bytes (LE).
    */
-  constructor(block_height: number, state_root: string);
+  toBytesLe(): Uint8Array;
   /**
-   * Add a new block height to the offline query object.
-   *
-   * @param {u32} block_height The block height to add.
+   * From bits.
    */
-  addBlockHeight(block_height: number): void;
+  static fromBitsLe(bits: Array<any>): I128;
   /**
-   * Add a new state path to the offline query object.
-   *
-   * @param {string} commitment: The commitment corresponding to a record input.
-   * @param {string} state_path: The state path corresponding to the commitment.
+   * To bits.
    */
-  addStatePath(commitment: string, state_path: string): void;
+  toBitsLe(): Array<any>;
   /**
-   * Get a json string representation of the offline query object.
-   *
-   * @returns {string} JSON string representation of the offline query object.
+   * Checked absolute value.
    */
-  toString(): string;
+  absChecked(): I128;
   /**
-   * Create an offline query object from a json string representation.
-   *
-   * @param {string} JSON string representation of the offline query object.
+   * Wrapped absolute value.
    */
-  static fromString(s: string): OfflineQuery;
-}
-export class Pedersen128 {
-  free(): void;
+  absWrapped(): I128;
   /**
-   * Create a Pedersen hasher for a given (up to) 128-bit input.
+   * Wrapped addition.
    */
-  constructor();
+  addWrapped(other: I128): I128;
   /**
-   * Create a Pedersen hasher for a given (up to) 128-bit input with a custom domain separator.
+   * Wrapped subtraction.
    */
-  static setup(domain_separator: string): Pedersen128;
+  subWrapped(other: I128): I128;
   /**
-   * Returns the Pedersen hash for a given (up to) 128-bit input.
+   * Wrapped multiplication.
    */
-  hash(input: Array<any>): Field;
+  mulWrapped(other: I128): I128;
   /**
-   * Returns a Pedersen commitment for the given (up to) 128-bit input and randomizer.
+   * Wrapped division.
    */
-  commit(input: Array<any>, randomizer: Scalar): Field;
+  divWrapped(other: I128): I128;
   /**
-   * Returns a Pedersen commitment for the given (up to) 128-bit input and randomizer.
+   * Power to a u8 exponent.
    */
-  commitToGroup(input: Array<any>, randomizer: Scalar): Group;
-}
-export class Pedersen64 {
-  free(): void;
+  powU8(exponent: U8): I128;
   /**
-   * Create a Pedersen hasher for a given (up to) 64-bit input.
+   * Power to a u16 exponent.
    */
-  constructor();
+  powU16(exponent: U16): I128;
   /**
-   * Create a Pedersen64 hasher for a given (up to) 64-bit input with a custom domain separator.
+   * Power to a u32 exponent.
    */
-  static setup(domain_separator: string): Pedersen64;
+  powU32(exponent: U32): I128;
   /**
-   * Returns the Pedersen hash for a given (up to) 64-bit input.
+   * Negates the integer (e.g., 5 → -5).
    */
-  hash(input: Array<any>): Field;
+  neg(): I128;
   /**
-   * Returns a Pedersen commitment for the given (up to) 64-bit input and randomizer.
+   * Checks equality with another integer.
    */
-  commit(input: Array<any>, randomizer: Scalar): Field;
+  equals(other: I128): boolean;
   /**
-   * Returns a Pedersen commitment for the given (up to) 64-bit input and randomizer.
+   * Remainder.
    */
-  commitToGroup(input: Array<any>, randomizer: Scalar): Group;
-}
-/**
- * SnarkVM Plaintext object. Plaintext is a fundamental monadic type used to represent Aleo
- * primitive types (boolean, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128,
- * scalar, and signature), struct types, and array types.
- *
- * In the context of a web or NodeJS application, this type is useful for turning an Aleo type into
- * a JS value, object, or array that might be necessary for performing computations within the
- * application.
- *
- * @example
- * // Get the bond state of an existing address.
- * const bondState = await fetch(https://api.explorer.provable.com/v1/mainnet/program/credits.aleo/mapping/bond_state/aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f);
- * // Convert the bond state to a Plaintext object.
- * const bondStatePlaintext = Plaintext.fromString(bond_state);
- * // Convert the Plaintext object to a JS object.
- * const bondStateObject = bond_state_plaintext.toObject();
- * // Check if the bond state matches the expected object.
- * const expectedObject = { validator: "aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f", microcredits: 100000000u64 };
- * assert( JSON.stringify(bondStateObject) === JSON.stringify(expectedObject) );
- */
-export class Plaintext {
-  private constructor();
-  free(): void;
+  rem(other: I128): I128;
   /**
-   * Find plaintext member if the plaintext is a struct. Returns `null` if the plaintext is not
-   * a struct or the member does not exist.
-   *
-   * @param {string} name The name of the plaintext member to find.
-   *
-   * @returns {Plaintext} The plaintext member.
+   * Wrapped remainder.
    */
-  find(name: string): Plaintext;
+  remWrapped(other: I128): I128;
   /**
-   * Encrypt a plaintext with an address and randomizer.
-   *
-   * @param {Address} address The address to encrypt the plaintext for.
-   * @param {Scalar} randomizer The randomizer to use for encryption.
-   *
-   * @returns {Ciphertext} The encrypted ciphertext.
+   * Convert to Scalar.
    */
-  encrypt(address: Address, randomizer: Scalar): Ciphertext;
+  toScalar(): Scalar;
   /**
-   * Encrypt a plaintext with a transition view key.
-   *
-   * @param {Field} transition_view_key The transition view key of the transition
-   * associated with the plaintext.
-   *
-   * @returns {Ciphertext} The encrypted ciphertext.
+   * Convert to plaintext.
    */
-  encryptSymmetric(transition_view_key: Field): Ciphertext;
+  toPlaintext(): Plaintext;
   /**
-   * Creates a plaintext object from a string representation of a plaintext.
-   *
-   * @param {string} plaintext The string representation of the plaintext.
-   *
-   * @returns {Plaintext} The plaintext object.
+   * Convert from Field.
    */
-  static fromString(plaintext: string): Plaintext;
+  static fromField(field: Field): I128;
   /**
-   * Get a plaintext object from a series of bytes.
-   *
-   * @param {Uint8Array} bytes A left endian byte array representing the plaintext.
-   *
-   * @returns {Plaintext} The plaintext object.
+   * Convert from Fields.
    */
-  static fromBytesLe(bytes: Uint8Array): Plaintext;
+  static fromFields(fields: Array<any>): I128;
   /**
-   * Get the left endian byte array representation of the plaintext.
-   *
-   * @returns {Uint8Array} The left endian byte array representation of the plaintext.
+   * Clone.
    */
-  toBytesLe(): Uint8Array;
+  clone(): I128;
+}
+export class I16 {
+  private constructor();
+  free(): void;
   /**
-   * Get a plaintext object from a series of bits represented as a boolean array.
-   *
-   * @param {Array} bits A left endian boolean array representing the bits plaintext.
-   *
-   * @returns {Plaintext} The plaintext object.
+   * Creates from string.
    */
-  static fromBitsLe(bits: Array<any>): Plaintext;
+  static fromString(s: string): I16;
   /**
-   * Get the left endian boolean array representation of the bits of the plaintext.
-   *
-   * @returns {Array} The left endian boolean array representation of the bits of the plaintext.
+   * To string.
    */
-  toBitsLe(): Array<any>;
+  toString(): string;
   /**
-   * Get a plaintext object from an array of fields.
-   *
-   * @param {Array} fields An array of fields.
-   *
-   * @returns {Plaintext} The plaintext object.
+   * From bytes (LE).
    */
-  static fromFields(fields: Array<any>): Plaintext;
+  static fromBytesLe(bytes: Uint8Array): I16;
   /**
-   * Get the field array representation of the plaintext.
-   *
-   * @returns {Array} The field array representation of the plaintext.
+   * To bytes (LE).
    */
-  toFields(): Array<any>;
+  toBytesLe(): Uint8Array;
   /**
-   * Returns the string representation of the plaintext.
-   *
-   * @returns {string} The string representation of the plaintext.
+   * From bits.
    */
-  toString(): string;
+  static fromBitsLe(bits: Array<any>): I16;
   /**
-   * Gives the type of the plaintext.
-   *
-   * @returns {string} The type of the plaintext.
+   * To bits.
    */
-  plaintextType(): string;
+  toBitsLe(): Array<any>;
   /**
-   * Attempt to convert the plaintext to a JS object.
-   *
-   * @returns {Object} The JS object representation of the plaintext.
+   * Checked absolute value.
    */
-  toObject(): any;
-}
-export class Poseidon2 {
-  free(): void;
+  absChecked(): I16;
   /**
-   * Create a Poseidon hasher with an input rate of 2.
+   * Wrapped absolute value.
    */
-  constructor();
+  absWrapped(): I16;
   /**
-   * Create a Poseidon hasher with an input rate of 2 and a custom domain separator.
+   * Wrapped addition.
    */
-  static setup(domain_separator: string): Poseidon2;
+  addWrapped(other: I16): I16;
   /**
-   * Returns the Poseidon hash with an input rate of 2.
+   * Wrapped subtraction.
    */
-  hash(input: Array<any>): Field;
+  subWrapped(other: I16): I16;
   /**
-   * Returns the extended Poseidon hash with an input rate of 2.
+   * Wrapped multiplication.
    */
-  hashMany(input: Array<any>, num_outputs: number): Array<any>;
+  mulWrapped(other: I16): I16;
   /**
-   * Returns the Poseidon hash with an input rate of 2 on the scalar field.
+   * Wrapped division.
    */
-  hashToScalar(input: Array<any>): Scalar;
+  divWrapped(other: I16): I16;
   /**
-   * Returns the Poseidon hash with an input rate of 2 on the affine curve.
+   * Power to a u8 exponent.
    */
-  hashToGroup(input: Array<any>): Group;
-}
-export class Poseidon4 {
-  free(): void;
+  powU8(exponent: U8): I16;
   /**
-   * Create a Poseidon hasher with an input rate of 4.
+   * Power to a u16 exponent.
    */
-  constructor();
+  powU16(exponent: U16): I16;
   /**
-   * Create a Poseidon hasher with an input rate of 4 and a custom domain separator.
+   * Power to a u32 exponent.
    */
-  static setup(domain_separator: string): Poseidon4;
+  powU32(exponent: U32): I16;
   /**
-   * Returns the Poseidon hash with an input rate of 4.
+   * Negates the integer (e.g., 5 → -5).
    */
-  hash(input: Array<any>): Field;
+  neg(): I16;
   /**
-   * Returns the extended Poseidon hash with an input rate of 4.
+   * Checks equality with another integer.
    */
-  hashMany(input: Array<any>, num_outputs: number): Array<any>;
+  equals(other: I16): boolean;
   /**
-   * Returns the Poseidon hash with an input rate of 4 on the scalar field.
+   * Remainder.
    */
-  hashToScalar(input: Array<any>): Scalar;
+  rem(other: I16): I16;
   /**
-   * Returns the Poseidon hash with an input rate of 4 on the affine curve.
+   * Wrapped remainder.
    */
-  hashToGroup(input: Array<any>): Group;
-}
-export class Poseidon8 {
-  free(): void;
+  remWrapped(other: I16): I16;
   /**
-   * Create a Poseidon hasher with an input rate of 8.
+   * Convert to Scalar.
    */
-  constructor();
+  toScalar(): Scalar;
   /**
-   * Create a Poseidon hasher with an input rate of 8 and a custom domain separator.
+   * Convert to plaintext.
    */
-  static setup(domain_separator: string): Poseidon8;
+  toPlaintext(): Plaintext;
   /**
-   * Returns the Poseidon hash with an input rate of 8.
+   * Convert from Field.
    */
-  hash(input: Array<any>): Field;
+  static fromField(field: Field): I16;
   /**
-   * Returns the extended Poseidon hash with an input rate of 8.
+   * Convert from Fields.
    */
-  hashMany(input: Array<any>, num_outputs: number): Array<any>;
+  static fromFields(fields: Array<any>): I16;
   /**
-   * Returns the Poseidon hash with an input rate of 8 on the scalar field.
+   * Clone.
    */
-  hashToScalar(input: Array<any>): Scalar;
-  /**
-   * Returns the Poseidon hash with an input rate of 8 on the affine curve.
-   */
-  hashToGroup(input: Array<any>): Group;
+  clone(): I16;
 }
-/**
- * Private key of an Aleo account
- */
-export class PrivateKey {
+export class I32 {
+  private constructor();
   free(): void;
   /**
-   * Generate a new private key using a cryptographically secure random number generator
-   *
-   * @returns {PrivateKey}
+   * Creates from string.
    */
-  constructor();
+  static fromString(s: string): I32;
   /**
-   * Get a private key from a series of unchecked bytes
-   *
-   * @param {Uint8Array} seed Unchecked 32 byte long Uint8Array acting as the seed for the private key
-   * @returns {PrivateKey}
+   * To string.
    */
-  static from_seed_unchecked(seed: Uint8Array): PrivateKey;
+  toString(): string;
   /**
-   * Get a private key from a string representation of a private key
-   *
-   * @param {string} seed String representation of a private key
-   * @returns {PrivateKey}
+   * From bytes (LE).
    */
-  static from_string(private_key: string): PrivateKey;
+  static fromBytesLe(bytes: Uint8Array): I32;
   /**
-   * Get a string representation of the private key. This function should be used very carefully
-   * as it exposes the private key plaintext
-   *
-   * @returns {string} String representation of a private key
+   * To bytes (LE).
    */
-  to_string(): string;
+  toBytesLe(): Uint8Array;
   /**
-   * Get the view key corresponding to the private key
-   *
-   * @returns {ViewKey}
+   * From bits.
    */
-  to_view_key(): ViewKey;
+  static fromBitsLe(bits: Array<any>): I32;
   /**
-   * Get the address corresponding to the private key
-   *
-   * @returns {Address}
+   * To bits.
    */
-  to_address(): Address;
+  toBitsLe(): Array<any>;
   /**
-   * Sign a message with the private key
-   *
-   * @param {Uint8Array} Byte array representing a message signed by the address
-   * @returns {Signature} Signature generated by signing the message with the address
+   * Checked absolute value.
    */
-  sign(message: Uint8Array): Signature;
+  absChecked(): I32;
   /**
-   * Get a new randomly generated private key ciphertext using a secret. The secret is sensitive
-   * and will be needed to decrypt the private key later, so it should be stored securely
-   *
-   * @param {string} secret Secret used to encrypt the private key
-   * @returns {PrivateKeyCiphertext} Ciphertext representation of the private key
+   * Wrapped absolute value.
    */
-  static newEncrypted(secret: string): PrivateKeyCiphertext;
+  absWrapped(): I32;
   /**
-   * Encrypt an existing private key with a secret. The secret is sensitive and will be needed to
-   * decrypt the private key later, so it should be stored securely
-   *
-   * @param {string} secret Secret used to encrypt the private key
-   * @returns {PrivateKeyCiphertext} Ciphertext representation of the private key
+   * Wrapped addition.
    */
-  toCiphertext(secret: string): PrivateKeyCiphertext;
+  addWrapped(other: I32): I32;
   /**
-   * Get private key from a private key ciphertext and secret originally used to encrypt it
-   *
-   * @param {PrivateKeyCiphertext} ciphertext Ciphertext representation of the private key
-   * @param {string} secret Secret originally used to encrypt the private key
-   * @returns {PrivateKey} Private key
+   * Wrapped subtraction.
    */
-  static fromPrivateKeyCiphertext(ciphertext: PrivateKeyCiphertext, secret: string): PrivateKey;
+  subWrapped(other: I32): I32;
+  /**
+   * Wrapped multiplication.
+   */
+  mulWrapped(other: I32): I32;
+  /**
+   * Wrapped division.
+   */
+  divWrapped(other: I32): I32;
+  /**
+   * Power to a u8 exponent.
+   */
+  powU8(exponent: U8): I32;
+  /**
+   * Power to a u16 exponent.
+   */
+  powU16(exponent: U16): I32;
+  /**
+   * Power to a u32 exponent.
+   */
+  powU32(exponent: U32): I32;
+  /**
+   * Negates the integer (e.g., 5 → -5).
+   */
+  neg(): I32;
+  /**
+   * Checks equality with another integer.
+   */
+  equals(other: I32): boolean;
+  /**
+   * Remainder.
+   */
+  rem(other: I32): I32;
+  /**
+   * Wrapped remainder.
+   */
+  remWrapped(other: I32): I32;
+  /**
+   * Convert to Scalar.
+   */
+  toScalar(): Scalar;
+  /**
+   * Convert to plaintext.
+   */
+  toPlaintext(): Plaintext;
+  /**
+   * Convert from Field.
+   */
+  static fromField(field: Field): I32;
+  /**
+   * Convert from Fields.
+   */
+  static fromFields(fields: Array<any>): I32;
+  /**
+   * Clone.
+   */
+  clone(): I32;
 }
-/**
- * Private Key in ciphertext form
- */
-export class PrivateKeyCiphertext {
+export class I64 {
   private constructor();
   free(): void;
   /**
-   * Encrypt a private key using a secret string. The secret is sensitive and will be needed to
-   * decrypt the private key later, so it should be stored securely
-   *
-   * @param {PrivateKey} private_key Private key to encrypt
-   * @param {string} secret Secret to encrypt the private key with
-   * @returns {PrivateKeyCiphertext} Private key ciphertext
+   * Creates from string.
    */
-  static encryptPrivateKey(private_key: PrivateKey, secret: string): PrivateKeyCiphertext;
+  static fromString(s: string): I64;
   /**
-   * Decrypts a private ciphertext using a secret string. This must be the same secret used to
-   * encrypt the private key
-   *
-   * @param {string} secret Secret used to encrypt the private key
-   * @returns {PrivateKey} Private key
+   * To string.
    */
-  decryptToPrivateKey(secret: string): PrivateKey;
+  toString(): string;
   /**
-   * Returns the ciphertext string
-   *
-   * @returns {string} Ciphertext string
+   * From bytes (LE).
    */
-  toString(): string;
+  static fromBytesLe(bytes: Uint8Array): I64;
   /**
-   * Creates a PrivateKeyCiphertext from a string
-   *
-   * @param {string} ciphertext Ciphertext string
-   * @returns {PrivateKeyCiphertext} Private key ciphertext
+   * To bytes (LE).
    */
-  static fromString(ciphertext: string): PrivateKeyCiphertext;
+  toBytesLe(): Uint8Array;
+  /**
+   * From bits.
+   */
+  static fromBitsLe(bits: Array<any>): I64;
+  /**
+   * To bits.
+   */
+  toBitsLe(): Array<any>;
+  /**
+   * Checked absolute value.
+   */
+  absChecked(): I64;
+  /**
+   * Wrapped absolute value.
+   */
+  absWrapped(): I64;
+  /**
+   * Wrapped addition.
+   */
+  addWrapped(other: I64): I64;
+  /**
+   * Wrapped subtraction.
+   */
+  subWrapped(other: I64): I64;
+  /**
+   * Wrapped multiplication.
+   */
+  mulWrapped(other: I64): I64;
+  /**
+   * Wrapped division.
+   */
+  divWrapped(other: I64): I64;
+  /**
+   * Power to a u8 exponent.
+   */
+  powU8(exponent: U8): I64;
+  /**
+   * Power to a u16 exponent.
+   */
+  powU16(exponent: U16): I64;
+  /**
+   * Power to a u32 exponent.
+   */
+  powU32(exponent: U32): I64;
+  /**
+   * Negates the integer (e.g., 5 → -5).
+   */
+  neg(): I64;
+  /**
+   * Checks equality with another integer.
+   */
+  equals(other: I64): boolean;
+  /**
+   * Remainder.
+   */
+  rem(other: I64): I64;
+  /**
+   * Wrapped remainder.
+   */
+  remWrapped(other: I64): I64;
+  /**
+   * Convert to Scalar.
+   */
+  toScalar(): Scalar;
+  /**
+   * Convert to plaintext.
+   */
+  toPlaintext(): Plaintext;
+  /**
+   * Convert from Field.
+   */
+  static fromField(field: Field): I64;
+  /**
+   * Convert from Fields.
+   */
+  static fromFields(fields: Array<any>): I64;
+  /**
+   * Clone.
+   */
+  clone(): I64;
 }
-/**
- * Webassembly Representation of an Aleo program
- */
-export class Program {
+export class I8 {
   private constructor();
   free(): void;
   /**
-   * Create a program from a program string
-   *
-   * @param {string} program Aleo program source code
-   * @returns {Program} Program object
+   * Creates from string.
    */
-  static fromString(program: string): Program;
+  static fromString(s: string): I8;
   /**
-   * Get a string representation of the program
-   *
-   * @returns {string} String containing the program source code
+   * To string.
    */
   toString(): string;
   /**
-   * Determine if a function is present in the program
-   *
-   * @param {string} functionName Name of the function to check for
-   * @returns {boolean} True if the program is valid, false otherwise
+   * From bytes (LE).
    */
-  hasFunction(function_name: string): boolean;
+  static fromBytesLe(bytes: Uint8Array): I8;
   /**
-   * Get javascript array of functions names in the program
-   *
-   * @returns {Array} Array of all function names present in the program
-   *
-   * @example
-   * const expected_functions = [
-   *   "mint",
-   *   "transfer_private",
-   *   "transfer_private_to_public",
-   *   "transfer_public",
-   *   "transfer_public_to_private",
-   *   "join",
-   *   "split",
-   *   "fee"
-   * ]
-   *
-   * const credits_program = aleo_wasm.Program.getCreditsProgram();
-   * const credits_functions = credits_program.getFunctions();
-   * console.log(credits_functions === expected_functions); // Output should be "true"
+   * To bytes (LE).
    */
-  getFunctions(): Array<any>;
+  toBytesLe(): Uint8Array;
   /**
-   * Get a javascript object representation of the function inputs and types. This can be used
-   * to generate a web form to capture user inputs for an execution of a function.
-   *
-   * @param {string} function_name Name of the function to get inputs for
-   * @returns {Array} Array of function inputs
-   *
-   * @example
-   * const expected_inputs = [
-   *     {
-   *       type:"record",
-   *       visibility:"private",
-   *       record:"credits",
-   *       members:[
-   *         {
-   *           name:"microcredits",
-   *           type:"u64",
-   *           visibility:"private"
-   *         }
-   *       ],
-   *       register:"r0"
-   *     },
-   *     {
-   *       type:"address",
-   *       visibility:"private",
-   *       register:"r1"
-   *     },
-   *     {
-   *       type:"u64",
-   *       visibility:"private",
-   *       register:"r2"
-   *     }
-   * ];
-   *
-   * const credits_program = aleo_wasm.Program.getCreditsProgram();
-   * const transfer_function_inputs = credits_program.getFunctionInputs("transfer_private");
-   * console.log(transfer_function_inputs === expected_inputs); // Output should be "true"
+   * From bits.
    */
-  getFunctionInputs(function_name: string): Array<any>;
+  static fromBitsLe(bits: Array<any>): I8;
   /**
-   * Get a the list of a program's mappings and the names/types of their keys and values.
-   *
-   * @returns {Array} - An array of objects representing the mappings in the program
-   * @example
-   * const expected_mappings = [
-   *    {
-   *       name: "account",
-   *       key_name: "owner",
-   *       key_type: "address",
-   *       value_name: "microcredits",
-   *       value_type: "u64"
-   *    }
-   * ]
-   *
-   * const credits_program = aleo_wasm.Program.getCreditsProgram();
-   * const credits_mappings = credits_program.getMappings();
-   * console.log(credits_mappings === expected_mappings); // Output should be "true"
+   * To bits.
    */
-  getMappings(): Array<any>;
+  toBitsLe(): Array<any>;
   /**
-   * Get a javascript object representation of a program record and its types
+   * Checked absolute value.
+   */
+  absChecked(): I8;
+  /**
+   * Wrapped absolute value.
+   */
+  absWrapped(): I8;
+  /**
+   * Wrapped addition.
+   */
+  addWrapped(other: I8): I8;
+  /**
+   * Wrapped subtraction.
+   */
+  subWrapped(other: I8): I8;
+  /**
+   * Wrapped multiplication.
+   */
+  mulWrapped(other: I8): I8;
+  /**
+   * Wrapped division.
+   */
+  divWrapped(other: I8): I8;
+  /**
+   * Power to a u8 exponent.
+   */
+  powU8(exponent: U8): I8;
+  /**
+   * Power to a u16 exponent.
+   */
+  powU16(exponent: U16): I8;
+  /**
+   * Power to a u32 exponent.
+   */
+  powU32(exponent: U32): I8;
+  /**
+   * Negates the integer (e.g., 5 → -5).
+   */
+  neg(): I8;
+  /**
+   * Checks equality with another integer.
+   */
+  equals(other: I8): boolean;
+  /**
+   * Remainder.
+   */
+  rem(other: I8): I8;
+  /**
+   * Wrapped remainder.
+   */
+  remWrapped(other: I8): I8;
+  /**
+   * Convert to Scalar.
+   */
+  toScalar(): Scalar;
+  /**
+   * Convert to plaintext.
+   */
+  toPlaintext(): Plaintext;
+  /**
+   * Convert from Field.
+   */
+  static fromField(field: Field): I8;
+  /**
+   * Convert from Fields.
+   */
+  static fromFields(fields: Array<any>): I8;
+  /**
+   * Clone.
+   */
+  clone(): I8;
+}
+/**
+ * Key pair object containing both the function proving and verifying keys
+ */
+export class KeyPair {
+  free(): void;
+  /**
+   * Create new key pair from proving and verifying keys
+   *
+   * @param {ProvingKey} proving_key Proving key corresponding to a function in an Aleo program
+   * @param {VerifyingKey} verifying_key Verifying key corresponding to a function in an Aleo program
+   * @returns {KeyPair} Key pair object containing both the function proving and verifying keys
+   */
+  constructor(proving_key: ProvingKey, verifying_key: VerifyingKey);
+  /**
+   * Get the proving key. This method will remove the proving key from the key pair
+   *
+   * @returns {ProvingKey}
+   */
+  provingKey(): ProvingKey;
+  /**
+   * Get the verifying key. This method will remove the verifying key from the key pair
+   *
+   * @returns {VerifyingKey}
+   */
+  verifyingKey(): VerifyingKey;
+}
+export class Metadata {
+  private constructor();
+  free(): void;
+  static baseUrl(): string;
+  static bond_public(): Metadata;
+  static bond_validator(): Metadata;
+  static claim_unbond_public(): Metadata;
+  static fee_private(): Metadata;
+  static fee_public(): Metadata;
+  static inclusion(): Metadata;
+  static join(): Metadata;
+  static set_validator_state(): Metadata;
+  static split(): Metadata;
+  static transfer_private(): Metadata;
+  static transfer_private_to_public(): Metadata;
+  static transfer_public(): Metadata;
+  static transfer_public_as_signer(): Metadata;
+  static transfer_public_to_private(): Metadata;
+  static unbond_public(): Metadata;
+  name: string;
+  locator: string;
+  prover: string;
+  verifier: string;
+  verifyingKey: string;
+}
+/**
+ * An offline query object used to insert the global state root and state paths needed to create
+ * a valid inclusion proof offline.
+ */
+export class OfflineQuery {
+  free(): void;
+  /**
+   * Creates a new offline query object. The state root is required to be passed in as a string
+   *
+   * @param {u32} block_height The block height.
+   * @param {string} state_root The state root of the current network.
+   *
+   * @returns {OfflineQuery} The newly created offline query object.
+   */
+  constructor(block_height: number, state_root: string);
+  /**
+   * Add a new block height to the offline query object.
+   *
+   * @param {u32} block_height The block height to add.
+   */
+  addBlockHeight(block_height: number): void;
+  /**
+   * Add a new state path to the offline query object.
+   *
+   * @param {string} commitment: The commitment corresponding to a record input.
+   * @param {string} state_path: The state path corresponding to the commitment.
+   */
+  addStatePath(commitment: string, state_path: string): void;
+  /**
+   * Get a json string representation of the offline query object.
+   *
+   * @returns {string} JSON string representation of the offline query object.
+   */
+  toString(): string;
+  /**
+   * Create an offline query object from a json string representation.
+   *
+   * @param {string} JSON string representation of the offline query object.
+   */
+  static fromString(s: string): OfflineQuery;
+}
+export class Pedersen128 {
+  free(): void;
+  /**
+   * Create a Pedersen hasher for a given (up to) 128-bit input.
+   */
+  constructor();
+  /**
+   * Create a Pedersen hasher for a given (up to) 128-bit input with a custom domain separator.
+   */
+  static setup(domain_separator: string): Pedersen128;
+  /**
+   * Returns the Pedersen hash for a given (up to) 128-bit input.
+   */
+  hash(input: Array<any>): Field;
+  /**
+   * Returns a Pedersen commitment for the given (up to) 128-bit input and randomizer.
+   */
+  commit(input: Array<any>, randomizer: Scalar): Field;
+  /**
+   * Returns a Pedersen commitment for the given (up to) 128-bit input and randomizer.
+   */
+  commitToGroup(input: Array<any>, randomizer: Scalar): Group;
+}
+export class Pedersen64 {
+  free(): void;
+  /**
+   * Create a Pedersen hasher for a given (up to) 64-bit input.
+   */
+  constructor();
+  /**
+   * Create a Pedersen64 hasher for a given (up to) 64-bit input with a custom domain separator.
+   */
+  static setup(domain_separator: string): Pedersen64;
+  /**
+   * Returns the Pedersen hash for a given (up to) 64-bit input.
+   */
+  hash(input: Array<any>): Field;
+  /**
+   * Returns a Pedersen commitment for the given (up to) 64-bit input and randomizer.
+   */
+  commit(input: Array<any>, randomizer: Scalar): Field;
+  /**
+   * Returns a Pedersen commitment for the given (up to) 64-bit input and randomizer.
+   */
+  commitToGroup(input: Array<any>, randomizer: Scalar): Group;
+}
+/**
+ * SnarkVM Plaintext object. Plaintext is a fundamental monadic type used to represent Aleo
+ * primitive types (boolean, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128,
+ * scalar, and signature), struct types, and array types.
+ *
+ * In the context of a web or NodeJS application, this type is useful for turning an Aleo type into
+ * a JS value, object, or array that might be necessary for performing computations within the
+ * application.
+ *
+ * @example
+ * // Get the bond state of an existing address.
+ * const bondState = await fetch(https://api.explorer.provable.com/v1/mainnet/program/credits.aleo/mapping/bond_state/aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f);
+ * // Convert the bond state to a Plaintext object.
+ * const bondStatePlaintext = Plaintext.fromString(bond_state);
+ * // Convert the Plaintext object to a JS object.
+ * const bondStateObject = bond_state_plaintext.toObject();
+ * // Check if the bond state matches the expected object.
+ * const expectedObject = { validator: "aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f", microcredits: 100000000u64 };
+ * assert( JSON.stringify(bondStateObject) === JSON.stringify(expectedObject) );
+ */
+export class Plaintext {
+  private constructor();
+  free(): void;
+  /**
+   * Find plaintext member if the plaintext is a struct. Returns `null` if the plaintext is not
+   * a struct or the member does not exist.
+   *
+   * @param {string} name The name of the plaintext member to find.
+   *
+   * @returns {Plaintext} The plaintext member.
+   */
+  find(name: string): Plaintext;
+  /**
+   * Encrypt a plaintext with an address and randomizer.
+   *
+   * @param {Address} address The address to encrypt the plaintext for.
+   * @param {Scalar} randomizer The randomizer to use for encryption.
+   *
+   * @returns {Ciphertext} The encrypted ciphertext.
+   */
+  encrypt(address: Address, randomizer: Scalar): Ciphertext;
+  /**
+   * Encrypt a plaintext with a transition view key.
+   *
+   * @param {Field} transition_view_key The transition view key of the transition
+   * associated with the plaintext.
+   *
+   * @returns {Ciphertext} The encrypted ciphertext.
+   */
+  encryptSymmetric(transition_view_key: Field): Ciphertext;
+  /**
+   * Creates a plaintext object from a string representation of a plaintext.
+   *
+   * @param {string} plaintext The string representation of the plaintext.
+   *
+   * @returns {Plaintext} The plaintext object.
+   */
+  static fromString(plaintext: string): Plaintext;
+  /**
+   * Get a plaintext object from a series of bytes.
+   *
+   * @param {Uint8Array} bytes A left endian byte array representing the plaintext.
+   *
+   * @returns {Plaintext} The plaintext object.
+   */
+  static fromBytesLe(bytes: Uint8Array): Plaintext;
+  /**
+   * Get the left endian byte array representation of the plaintext.
+   *
+   * @returns {Uint8Array} The left endian byte array representation of the plaintext.
+   */
+  toBytesLe(): Uint8Array;
+  /**
+   * Get a plaintext object from a series of bits represented as a boolean array.
+   *
+   * @param {Array} bits A left endian boolean array representing the bits plaintext.
+   *
+   * @returns {Plaintext} The plaintext object.
+   */
+  static fromBitsLe(bits: Array<any>): Plaintext;
+  /**
+   * Get the left endian boolean array representation of the bits of the plaintext.
+   *
+   * @returns {Array} The left endian boolean array representation of the bits of the plaintext.
+   */
+  toBitsLe(): Array<any>;
+  /**
+   * Get a plaintext object from an array of fields.
+   *
+   * @param {Array} fields An array of fields.
+   *
+   * @returns {Plaintext} The plaintext object.
+   */
+  static fromFields(fields: Array<any>): Plaintext;
+  /**
+   * Get the field array representation of the plaintext.
+   *
+   * @returns {Array} The field array representation of the plaintext.
+   */
+  toFields(): Array<any>;
+  /**
+   * Returns the string representation of the plaintext.
+   *
+   * @returns {string} The string representation of the plaintext.
+   */
+  toString(): string;
+  /**
+   * Gives the type of the plaintext.
+   *
+   * @returns {string} The type of the plaintext.
+   */
+  plaintextType(): string;
+  /**
+   * Attempt to convert the plaintext to a JS object.
+   *
+   * @returns {Object} The JS object representation of the plaintext.
+   */
+  toObject(): any;
+}
+export class Poseidon2 {
+  free(): void;
+  /**
+   * Create a Poseidon hasher with an input rate of 2.
+   */
+  constructor();
+  /**
+   * Create a Poseidon hasher with an input rate of 2 and a custom domain separator.
+   */
+  static setup(domain_separator: string): Poseidon2;
+  /**
+   * Returns the Poseidon hash with an input rate of 2.
+   */
+  hash(input: Array<any>): Field;
+  /**
+   * Returns the extended Poseidon hash with an input rate of 2.
+   */
+  hashMany(input: Array<any>, num_outputs: number): Array<any>;
+  /**
+   * Returns the Poseidon hash with an input rate of 2 on the scalar field.
+   */
+  hashToScalar(input: Array<any>): Scalar;
+  /**
+   * Returns the Poseidon hash with an input rate of 2 on the affine curve.
+   */
+  hashToGroup(input: Array<any>): Group;
+}
+export class Poseidon4 {
+  free(): void;
+  /**
+   * Create a Poseidon hasher with an input rate of 4.
+   */
+  constructor();
+  /**
+   * Create a Poseidon hasher with an input rate of 4 and a custom domain separator.
+   */
+  static setup(domain_separator: string): Poseidon4;
+  /**
+   * Returns the Poseidon hash with an input rate of 4.
+   */
+  hash(input: Array<any>): Field;
+  /**
+   * Returns the extended Poseidon hash with an input rate of 4.
+   */
+  hashMany(input: Array<any>, num_outputs: number): Array<any>;
+  /**
+   * Returns the Poseidon hash with an input rate of 4 on the scalar field.
+   */
+  hashToScalar(input: Array<any>): Scalar;
+  /**
+   * Returns the Poseidon hash with an input rate of 4 on the affine curve.
+   */
+  hashToGroup(input: Array<any>): Group;
+}
+export class Poseidon8 {
+  free(): void;
+  /**
+   * Create a Poseidon hasher with an input rate of 8.
+   */
+  constructor();
+  /**
+   * Create a Poseidon hasher with an input rate of 8 and a custom domain separator.
+   */
+  static setup(domain_separator: string): Poseidon8;
+  /**
+   * Returns the Poseidon hash with an input rate of 8.
+   */
+  hash(input: Array<any>): Field;
+  /**
+   * Returns the extended Poseidon hash with an input rate of 8.
+   */
+  hashMany(input: Array<any>, num_outputs: number): Array<any>;
+  /**
+   * Returns the Poseidon hash with an input rate of 8 on the scalar field.
+   */
+  hashToScalar(input: Array<any>): Scalar;
+  /**
+   * Returns the Poseidon hash with an input rate of 8 on the affine curve.
+   */
+  hashToGroup(input: Array<any>): Group;
+}
+/**
+ * Private key of an Aleo account
+ */
+export class PrivateKey {
+  free(): void;
+  /**
+   * Generate a new private key using a cryptographically secure random number generator
+   *
+   * @returns {PrivateKey}
+   */
+  constructor();
+  /**
+   * Get a private key from a series of unchecked bytes
+   *
+   * @param {Uint8Array} seed Unchecked 32 byte long Uint8Array acting as the seed for the private key
+   * @returns {PrivateKey}
+   */
+  static from_seed_unchecked(seed: Uint8Array): PrivateKey;
+  /**
+   * Get a private key from a string representation of a private key
+   *
+   * @param {string} seed String representation of a private key
+   * @returns {PrivateKey}
+   */
+  static from_string(private_key: string): PrivateKey;
+  /**
+   * Get a string representation of the private key. This function should be used very carefully
+   * as it exposes the private key plaintext
+   *
+   * @returns {string} String representation of a private key
+   */
+  to_string(): string;
+  /**
+   * Get the view key corresponding to the private key
+   *
+   * @returns {ViewKey}
+   */
+  to_view_key(): ViewKey;
+  /**
+   * Get the address corresponding to the private key
+   *
+   * @returns {Address}
+   */
+  to_address(): Address;
+  /**
+   * Sign a message with the private key
+   *
+   * @param {Uint8Array} Byte array representing a message signed by the address
+   * @returns {Signature} Signature generated by signing the message with the address
+   */
+  sign(message: Uint8Array): Signature;
+  /**
+   * Get a new randomly generated private key ciphertext using a secret. The secret is sensitive
+   * and will be needed to decrypt the private key later, so it should be stored securely
+   *
+   * @param {string} secret Secret used to encrypt the private key
+   * @returns {PrivateKeyCiphertext} Ciphertext representation of the private key
+   */
+  static newEncrypted(secret: string): PrivateKeyCiphertext;
+  /**
+   * Encrypt an existing private key with a secret. The secret is sensitive and will be needed to
+   * decrypt the private key later, so it should be stored securely
+   *
+   * @param {string} secret Secret used to encrypt the private key
+   * @returns {PrivateKeyCiphertext} Ciphertext representation of the private key
+   */
+  toCiphertext(secret: string): PrivateKeyCiphertext;
+  /**
+   * Get private key from a private key ciphertext and secret originally used to encrypt it
+   *
+   * @param {PrivateKeyCiphertext} ciphertext Ciphertext representation of the private key
+   * @param {string} secret Secret originally used to encrypt the private key
+   * @returns {PrivateKey} Private key
+   */
+  static fromPrivateKeyCiphertext(ciphertext: PrivateKeyCiphertext, secret: string): PrivateKey;
+}
+/**
+ * Private Key in ciphertext form
+ */
+export class PrivateKeyCiphertext {
+  private constructor();
+  free(): void;
+  /**
+   * Encrypt a private key using a secret string. The secret is sensitive and will be needed to
+   * decrypt the private key later, so it should be stored securely
+   *
+   * @param {PrivateKey} private_key Private key to encrypt
+   * @param {string} secret Secret to encrypt the private key with
+   * @returns {PrivateKeyCiphertext} Private key ciphertext
+   */
+  static encryptPrivateKey(private_key: PrivateKey, secret: string): PrivateKeyCiphertext;
+  /**
+   * Decrypts a private ciphertext using a secret string. This must be the same secret used to
+   * encrypt the private key
+   *
+   * @param {string} secret Secret used to encrypt the private key
+   * @returns {PrivateKey} Private key
+   */
+  decryptToPrivateKey(secret: string): PrivateKey;
+  /**
+   * Returns the ciphertext string
+   *
+   * @returns {string} Ciphertext string
+   */
+  toString(): string;
+  /**
+   * Creates a PrivateKeyCiphertext from a string
+   *
+   * @param {string} ciphertext Ciphertext string
+   * @returns {PrivateKeyCiphertext} Private key ciphertext
+   */
+  static fromString(ciphertext: string): PrivateKeyCiphertext;
+}
+/**
+ * Webassembly Representation of an Aleo program
+ */
+export class Program {
+  private constructor();
+  free(): void;
+  /**
+   * Create a program from a program string
+   *
+   * @param {string} program Aleo program source code
+   * @returns {Program} Program object
+   */
+  static fromString(program: string): Program;
+  /**
+   * Get a string representation of the program
+   *
+   * @returns {string} String containing the program source code
+   */
+  toString(): string;
+  /**
+   * Determine if a function is present in the program
+   *
+   * @param {string} functionName Name of the function to check for
+   * @returns {boolean} True if the program is valid, false otherwise
+   */
+  hasFunction(function_name: string): boolean;
+  /**
+   * Get javascript array of functions names in the program
+   *
+   * @returns {Array} Array of all function names present in the program
+   *
+   * @example
+   * const expected_functions = [
+   *   "mint",
+   *   "transfer_private",
+   *   "transfer_private_to_public",
+   *   "transfer_public",
+   *   "transfer_public_to_private",
+   *   "join",
+   *   "split",
+   *   "fee"
+   * ]
+   *
+   * const credits_program = aleo_wasm.Program.getCreditsProgram();
+   * const credits_functions = credits_program.getFunctions();
+   * console.log(credits_functions === expected_functions); // Output should be "true"
+   */
+  getFunctions(): Array<any>;
+  /**
+   * Get a javascript object representation of the function inputs and types. This can be used
+   * to generate a web form to capture user inputs for an execution of a function.
+   *
+   * @param {string} function_name Name of the function to get inputs for
+   * @returns {Array} Array of function inputs
+   *
+   * @example
+   * const expected_inputs = [
+   *     {
+   *       type:"record",
+   *       visibility:"private",
+   *       record:"credits",
+   *       members:[
+   *         {
+   *           name:"microcredits",
+   *           type:"u64",
+   *           visibility:"private"
+   *         }
+   *       ],
+   *       register:"r0"
+   *     },
+   *     {
+   *       type:"address",
+   *       visibility:"private",
+   *       register:"r1"
+   *     },
+   *     {
+   *       type:"u64",
+   *       visibility:"private",
+   *       register:"r2"
+   *     }
+   * ];
+   *
+   * const credits_program = aleo_wasm.Program.getCreditsProgram();
+   * const transfer_function_inputs = credits_program.getFunctionInputs("transfer_private");
+   * console.log(transfer_function_inputs === expected_inputs); // Output should be "true"
+   */
+  getFunctionInputs(function_name: string): Array<any>;
+  /**
+   * Get a the list of a program's mappings and the names/types of their keys and values.
+   *
+   * @returns {Array} - An array of objects representing the mappings in the program
+   * @example
+   * const expected_mappings = [
+   *    {
+   *       name: "account",
+   *       key_name: "owner",
+   *       key_type: "address",
+   *       value_name: "microcredits",
+   *       value_type: "u64"
+   *    }
+   * ]
+   *
+   * const credits_program = aleo_wasm.Program.getCreditsProgram();
+   * const credits_mappings = credits_program.getMappings();
+   * console.log(credits_mappings === expected_mappings); // Output should be "true"
+   */
+  getMappings(): Array<any>;
+  /**
+   * Get a javascript object representation of a program record and its types
+   *
+   * @param {string} record_name Name of the record to get members for
+   * @returns {Object} Object containing the record name, type, and members
+   *
+   * @example
+   *
+   * const expected_record = {
+   *     type: "record",
+   *     record: "Credits",
+   *     members: [
+   *       {
+   *         name: "owner",
+   *         type: "address",
+   *         visibility: "private"
+   *       },
+   *       {
+   *         name: "microcredits",
+   *         type: "u64",
+   *         visibility: "private"
+   *       }
+   *     ];
+   *  };
+   *
+   * const credits_program = aleo_wasm.Program.getCreditsProgram();
+   * const credits_record = credits_program.getRecordMembers("Credits");
+   * console.log(credits_record === expected_record); // Output should be "true"
+   */
+  getRecordMembers(record_name: string): object;
+  /**
+   * Get a javascript object representation of a program struct and its types
+   *
+   * @param {string} struct_name Name of the struct to get members for
+   * @returns {Array} Array containing the struct members
+   *
+   * @example
+   *
+   * const STRUCT_PROGRAM = "program token_issue.aleo;
+   *
+   * struct token_metadata:
+   *     network as u32;
+   *     version as u32;
+   *
+   * struct token:
+   *     token_id as u32;
+   *     metadata as token_metadata;
+   *
+   * function no_op:
+   *    input r0 as u64;
+   *    output r0 as u64;"
+   *
+   * const expected_struct_members = [
+   *    {
+   *      name: "token_id",
+   *      type: "u32",
+   *    },
+   *    {
+   *      name: "metadata",
+   *      type: "struct",
+   *      struct_id: "token_metadata",
+   *      members: [
+   *       {
+   *         name: "network",
+   *         type: "u32",
+   *       }
+   *       {
+   *         name: "version",
+   *         type: "u32",
+   *       }
+   *     ]
+   *   }
+   * ];
+   *
+   * const program = aleo_wasm.Program.fromString(STRUCT_PROGRAM);
+   * const struct_members = program.getStructMembers("token");
+   * console.log(struct_members === expected_struct_members); // Output should be "true"
+   */
+  getStructMembers(struct_name: string): Array<any>;
+  /**
+   * Get the credits.aleo program
+   *
+   * @returns {Program} The credits.aleo program
+   */
+  static getCreditsProgram(): Program;
+  /**
+   * Get the id of the program
+   *
+   * @returns {string} The id of the program
+   */
+  id(): string;
+  /**
+   * Get a unique address of the program
+   *
+   * @returns {Address} The address of the program
+   */
+  address(): Address;
+  /**
+   * Determine equality with another program
+   *
+   * @param {Program} other The other program to compare
+   * @returns {boolean} True if the programs are equal, false otherwise
+   */
+  isEqual(other: Program): boolean;
+  /**
+   * Get program_imports
+   *
+   * @returns {Array} The program imports
+   *
+   * @example
+   *
+   * const DOUBLE_TEST = "import multiply_test.aleo;
+   *
+   * program double_test.aleo;
+   *
+   * function double_it:
+   *     input r0 as u32.private;
+   *     call multiply_test.aleo/multiply 2u32 r0 into r1;
+   *     output r1 as u32.private;";
+   *
+   * const expected_imports = [
+   *    "multiply_test.aleo"
+   * ];
+   *
+   * const program = aleo_wasm.Program.fromString(DOUBLE_TEST_PROGRAM);
+   * const imports = program.getImports();
+   * console.log(imports === expected_imports); // Output should be "true"
+   */
+  getImports(): Array<any>;
+}
+export class ProgramManager {
+  private constructor();
+  free(): void;
+  /**
+   * Create an execution `Authorization` for a given program:function tuple with specified inputs.
+   *
+   * @param private_key The private key of the signer.
+   * @param program The program source code containing the function to authorize.
+   * @param function_name The function to authorize.
+   * @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, edition?: number | null): Promise<Authorization>;
+  /**
+   * Create an execution `Authorization` without generating a circuit. Use this function when
+   * fast delegated proving is needed.
+   *
+   * @param private_key The private key of the signer.
+   * @param program The program source code containing the function to authorize.
+   * @param function_name The function to authorize.
+   * @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, 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
+   * any previously created authorization by calling (authorization.toExecutionId()).
+   *
+   * @param private_key The private key of the signer.
+   * @param deployment_or_execution_id The id of the deployment or execution to authorize the fee program for.
+   * @param base_fee_credits The base fee to be paid for the authorization
+   * @param priority_fee_credits The optional priority fee to be paid for the transaction
+   * @param fee_record The record to spend the fee from
+   * @returns {Authorization}
+   */
+  static authorizeFee(private_key: PrivateKey, deployment_or_execution_id: string, base_fee_credits: number, priority_fee_credits: number, fee_record?: RecordPlaintext | null): Promise<Authorization>;
+  /**
+   * Deploy an Aleo program
+   *
+   * @param private_key The private key of the sender
+   * @param program The source code of the program being deployed
+   * @param imports A javascript object holding the source code of any imported programs in the
+   * form \{"program_name1": "program_source_code", "program_name2": "program_source_code", ..\}.
+   * Note that all imported programs must be deployed on chain before the main program in order
+   * for the deployment to succeed
+   * @param priority_fee_credits The optional priority fee to be paid for the transaction
+   * @param fee_record The record to spend the fee from
+   * @param url The url of the Aleo network node to send the transaction to
+   * @param imports (optional) Provide a list of imports to use for the program deployment in the
+   * form of a javascript object where the keys are a string of the program name and the values
+   * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
+   * @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
+   * @returns {Transaction}
+   */
+  static buildDeploymentTransaction(private_key: PrivateKey, program: string, priority_fee_credits: number, fee_record?: RecordPlaintext | null, url?: string | null, imports?: object | null, fee_proving_key?: ProvingKey | null, fee_verifying_key?: VerifyingKey | null, offline_query?: OfflineQuery | null): Promise<Transaction>;
+  /**
+   * Estimate the fee for a program deployment
+   *
+   * Disclaimer: Fee estimation is experimental and may not represent a correct estimate on any current or future network
+   *
+   * @param program The source code of the program being deployed
+   * @param imports (optional) Provide a list of imports to use for the deployment fee estimation
+   * in the form of a javascript object where the keys are a string of the program name and the values
+   * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
+   * @returns {u64}
+   */
+  static estimateDeploymentFee(program: string, imports?: object | null): Promise<bigint>;
+  /**
+   * Estimate the component of the deployment cost which comes from the fee for the program name.
+   * Note that this cost does not represent the entire cost of deployment. It is additional to
+   * the cost of the size (in bytes) of the deployment.
+   *
+   * Disclaimer: Fee estimation is experimental and may not represent a correct estimate on any current or future network
+   *
+   * @param name The name of the program to be deployed
+   * @returns {u64}
+   */
+  static estimateProgramNameCost(name: string): bigint;
+  /**
+   * Execute an arbitrary function locally
+   *
+   * @param {PrivateKey} private_key The private key of the sender
+   * @param {string} program The source code of the program being executed
+   * @param {string} function The name of the function to execute
+   * @param {Array} inputs A javascript array of inputs to the function
+   * @param {boolean} prove_execution If true, the execution will be proven and an execution object
+   * containing the proof and the encrypted inputs and outputs needed to verify the proof offline
+   * will be returned.
+   * @param {boolean} cache Cache the proving and verifying keys in the Execution response.
+   * If this is set to 'true' the keys synthesized will be stored in the Execution Response
+   * and the `ProvingKey` and `VerifyingKey` can be retrieved from the response via the `.getKeys()`
+   * method.
+   * @param {Object | undefined} imports (optional) Provide a list of imports to use for the function execution in the
+   * form of a javascript object where the keys are a string of the program name and the values
+   * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
+   * @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, edition?: number | null): Promise<ExecutionResponse>;
+  /**
+   * Execute Aleo function and create an Aleo execution transaction
+   *
+   * @param private_key The private key of the sender
+   * @param program The source code of the program being executed
+   * @param function The name of the function to execute
+   * @param inputs A javascript array of inputs to the function
+   * @param priority_fee_credits The optional priority fee to be paid for the transaction
+   * @param fee_record The record to spend the fee from
+   * @param url The url of the Aleo network node to send the transaction to
+   * If this is set to 'true' the keys synthesized (or passed in as optional parameters via the
+   * `proving_key` and `verifying_key` arguments) will be stored in the ProgramManager's memory
+   * and used for subsequent transactions. If this is set to 'false' the proving and verifying
+   * keys will be deallocated from memory after the transaction is executed.
+   * @param imports (optional) Provide a list of imports to use for the function execution in the
+   * form of a javascript object where the keys are a string of the program name and the values
+   * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
+   * @param proving_key (optional) Provide a verifying key to use for the function execution
+   * @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, 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
+   * program executions.
+   *
+   * Disclaimer: Fee estimation is experimental and may not represent a correct estimate on any current or future network
+   *
+   * @param private_key The private key of the sender
+   * @param program The source code of the program to estimate the execution fee for
+   * @param function The name of the function to execute
+   * @param inputs A javascript array of inputs to the function
+   * @param url The url of the Aleo network node to send the transaction to
+   * @param imports (optional) Provide a list of imports to use for the fee estimation in the
+   * form of a javascript object where the keys are a string of the program name and the values
+   * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
+   * @param proving_key (optional) Provide a verifying key to use for the fee estimation
+   * @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, 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
+   * step, then the finalize fee is 0.
+   *
+   * Disclaimer: Fee estimation is experimental and may not represent a correct estimate on any current or future network
+   *
+   * @param program The program containing the function to estimate the finalize fee for
+   * @param function The function to estimate the finalize fee for
+   * @returns {u64} Fee in microcredits
+   */
+  static estimateFinalizeFee(program: string, _function: string): bigint;
+  /**
+   * Join two records together to create a new record with an amount of credits equal to the sum
+   * of the credits of the two original records
+   *
+   * @param private_key The private key of the sender
+   * @param record_1 The first record to combine
+   * @param record_2 The second record to combine
+   * @param priority_fee_credits The opptional priority fee to be paid for the transaction
+   * @param fee_record The record to spend the fee from
+   * @param url The url of the Aleo network node to send the transaction to
+   * @param join_proving_key (optional) Provide a proving key to use for the join function
+   * @param join_verifying_key (optional) Provide a verifying key to use for the join function
+   * @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
+   * @returns {Transaction} Transaction object
+   */
+  static buildJoinTransaction(private_key: PrivateKey, record_1: RecordPlaintext, record_2: RecordPlaintext, priority_fee_credits: number, fee_record?: RecordPlaintext | null, url?: string | null, join_proving_key?: ProvingKey | null, join_verifying_key?: VerifyingKey | null, fee_proving_key?: ProvingKey | null, fee_verifying_key?: VerifyingKey | null, offline_query?: OfflineQuery | null): Promise<Transaction>;
+  /**
+   * Create a `ProvingRequest` object. This object creates authorizations for the top level
+   * function and associated fee function. This object can be sent directly to a remote prover
+   * OR used to extract both execution and fee authorizations.
+   *
+   * @param private_key The private key of the signer.
+   * @param program The program source code containing the function to authorize.
+   * @param function_name The function to authorize.
+   * @param inputs A javascript array of inputs to the function.
+   * @param base_fee_credits The base fee to be paid for the authorization
+   * @param priority_fee_credits The optional priority fee to be paid for the transaction
+   * @param fee_record The record to spend the fee from
+   * @param imports The imports to the program in the format {"programname.aleo":"aleo instructions source code"}.
+   * @param url The url of the Aleo network node to send the transaction to
+   * @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, edition?: number | null): Promise<ProvingRequest>;
+  /**
+   * Split an Aleo credits record into two separate records. This function does not require a fee.
+   *
+   * @param private_key The private key of the sender
+   * @param split_amount The amount of the credit split. This amount will be subtracted from the
+   * value of the record and two new records will be created with the split amount and the remainder
+   * @param amount_record The record to split
+   * @param url The url of the Aleo network node to send the transaction to
+   * @param split_proving_key (optional) Provide a proving key to use for the split function
+   * @param split_verifying_key (optional) Provide a verifying key to use for the split function
+   * @returns {Transaction} Transaction object
+   */
+  static buildSplitTransaction(private_key: PrivateKey, split_amount: number, amount_record: RecordPlaintext, url?: string | null, split_proving_key?: ProvingKey | null, split_verifying_key?: VerifyingKey | null, offline_query?: OfflineQuery | null): Promise<Transaction>;
+  /**
+   * Send credits from one Aleo account to another
+   *
+   * @param private_key The private key of the sender
+   * @param amount_credits The amount of credits to send
+   * @param recipient The recipient of the transaction
+   * @param transfer_type The type of the transfer (options: "private", "public", "private_to_public", "public_to_private")
+   * @param amount_record The record to fund the amount from
+   * @param priority_fee_credits The optional priority fee to be paid for the transaction
+   * @param fee_record The record to spend the fee from
+   * @param url The url of the Aleo network node to send the transaction to
+   * @param transfer_verifying_key (optional) Provide a verifying key to use for the transfer
+   * function
+   * @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
+   * @returns {Transaction}
+   */
+  static buildTransferTransaction(private_key: PrivateKey, amount_credits: number, recipient: string, transfer_type: string, amount_record: RecordPlaintext | null | undefined, priority_fee_credits: number, fee_record?: RecordPlaintext | null, url?: string | null, transfer_proving_key?: ProvingKey | null, transfer_verifying_key?: VerifyingKey | null, fee_proving_key?: ProvingKey | null, fee_verifying_key?: VerifyingKey | null, offline_query?: OfflineQuery | null): Promise<Transaction>;
+  /**
+   * Synthesize proving and verifying keys for a program
+   *
+   * @param program {string} The program source code of the program to synthesize keys for
+   * @param function_id {string} The function to synthesize keys for
+   * @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, edition?: number | null): Promise<KeyPair>;
+}
+/**
+ * Proving key for a function within an Aleo program
+ */
+export class ProvingKey {
+  private constructor();
+  free(): void;
+  /**
+   * Verify if the proving key is for the bond_public function
+   *
+   * @example
+   * const provingKey = ProvingKey.fromBytes("bond_public_proving_key.bin");
+   * provingKey.isBondPublicProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   *
+   * @returns {boolean} returns true if the proving key is for the bond_public function, false if otherwise
+   */
+  isBondPublicProver(): boolean;
+  /**
+   * Verify if the proving key is for the bond_validator function
+   *
+   * @example
+   * const provingKey = ProvingKey.fromBytes("bond_validator_proving_key.bin");
+   * provingKey.isBondPublicProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   *
+   * @returns {boolean} returns true if the proving key is for the bond_validator function, false if otherwise
+   */
+  isBondValidatorProver(): boolean;
+  /**
+   * Verify if the proving key is for the claim_unbond function
+   *
+   * @example
+   * const provingKey = ProvingKey.fromBytes("claim_unbond_proving_key.bin");
+   * provingKey.isClaimUnbondProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   *
+   * @returns {boolean} returns true if the proving key is for the claim_unbond function, false if otherwise
+   */
+  isClaimUnbondPublicProver(): boolean;
+  /**
+   * Verify if the proving key is for the fee_private function
+   *
+   * @example
+   * const provingKey = ProvingKey.fromBytes("fee_private_proving_key.bin");
+   * provingKey.isFeePrivateProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   *
+   * @returns {boolean} returns true if the proving key is for the fee_private function, false if otherwise
+   */
+  isFeePrivateProver(): boolean;
+  /**
+   * Verify if the proving key is for the fee_public function
+   *
+   * @example
+   * const provingKey = ProvingKey.fromBytes("fee_public_proving_key.bin");
+   * provingKey.isFeePublicProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   *
+   * @returns {boolean} returns true if the proving key is for the fee_public function, false if otherwise
+   */
+  isFeePublicProver(): boolean;
+  /**
+   * Verify if the proving key is for the inclusion function
+   *
+   * @example
+   * const provingKey = ProvingKey.fromBytes("inclusion_proving_key.bin");
+   * provingKey.isInclusionProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   *
+   * @returns {boolean} returns true if the proving key is for the inclusion function, false if otherwise
+   */
+  isInclusionProver(): boolean;
+  /**
+   * Verify if the proving key is for the join function
+   *
+   * @example
+   * const provingKey = ProvingKey.fromBytes("join_proving_key.bin");
+   * provingKey.isJoinProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   *
+   * @returns {boolean} returns true if the proving key is for the join function, false if otherwise
+   */
+  isJoinProver(): boolean;
+  /**
+   * Verify if the proving key is for the set_validator_state function
+   *
+   * @example
+   * const provingKey = ProvingKey.fromBytes("set_validator_set_proving_key.bin");
+   * provingKey.isSetValidatorStateProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   *
+   * @returns {boolean} returns true if the proving key is for the set_validator_state function, false if otherwise
+   */
+  isSetValidatorStateProver(): boolean;
+  /**
+   * Verify if the proving key is for the split function
+   *
+   * @example
+   * const provingKey = ProvingKey.fromBytes("split_proving_key.bin");
+   * provingKey.isSplitProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   *
+   * @returns {boolean} returns true if the proving key is for the split function, false if otherwise
+   */
+  isSplitProver(): boolean;
+  /**
+   * Verify if the proving key is for the transfer_private function
+   *
+   * @example
+   * const provingKey = ProvingKey.fromBytes("transfer_private_proving_key.bin");
+   * provingKey.isTransferPrivateProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   *
+   * @returns {boolean} returns true if the proving key is for the transfer_private function, false if otherwise
+   */
+  isTransferPrivateProver(): boolean;
+  /**
+   * Verify if the proving key is for the transfer_private_to_public function
+   *
+   * @example
+   * const provingKey = ProvingKey.fromBytes("transfer_private_to_public_proving_key.bin");
+   * provingKey.isTransferPrivateToPublicProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   *
+   * @returns {boolean} returns true if the proving key is for the transfer_private_to_public function, false if otherwise
+   */
+  isTransferPrivateToPublicProver(): boolean;
+  /**
+   * Verify if the proving key is for the transfer_public function
+   *
+   * @example
+   * const provingKey = ProvingKey.fromBytes("transfer_public_proving_key.bin");
+   * provingKey.isTransferPublicProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   *
+   * @returns {boolean} returns true if the proving key is for the transfer_public function, false if otherwise
+   */
+  isTransferPublicProver(): boolean;
+  /**
+   * Verify if the proving key is for the transfer_public_as_signer function
+   *
+   * @example
+   * const provingKey = ProvingKey.fromBytes("transfer_public_as_signer_proving_key.bin");
+   * provingKey.isTransferPublicAsSignerProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   *
+   * @returns {boolean} returns true if the proving key is for the transfer_public function, false if otherwise
+   */
+  isTransferPublicAsSignerProver(): boolean;
+  /**
+   * Verify if the proving key is for the transfer_public_to_private function
+   *
+   * @example
+   * const provingKey = ProvingKey.fromBytes("transfer_public_to_private_proving_key.bin");
+   * provingKey.isTransferPublicToPrivateProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   *
+   * @returns {boolean} returns true if the proving key is for the transfer_public_to_private function, false if otherwise
+   */
+  isTransferPublicToPrivateProver(): boolean;
+  /**
+   * Verify if the proving key is for the unbond_public function
+   *
+   * @example
+   * const provingKey = ProvingKey.fromBytes("unbond_public.bin");
+   * provingKey.isUnbondPublicProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   *
+   * @returns {boolean} returns true if the proving key is for the unbond_public_prover function, false if otherwise
+   */
+  isUnbondPublicProver(): boolean;
+  /**
+   * Return the checksum of the proving key
+   *
+   * @returns {string} Checksum of the proving key
+   */
+  checksum(): string;
+  /**
+   * Create a copy of the proving key
+   *
+   * @returns {ProvingKey} A copy of the proving key
+   */
+  copy(): ProvingKey;
+  /**
+   * Construct a new proving key from a byte array
+   *
+   * @param {Uint8Array} bytes Byte array representation of a proving key
+   * @returns {ProvingKey}
+   */
+  static fromBytes(bytes: Uint8Array): ProvingKey;
+  /**
+   * Create a proving key from string
+   *
+   * @param {string} String representation of the proving key
+   */
+  static fromString(string: string): ProvingKey;
+  /**
+   * Return the byte representation of a proving key
+   *
+   * @returns {Uint8Array} Byte array representation of a proving key
+   */
+  toBytes(): Uint8Array;
+  /**
+   * Get a string representation of the proving key
+   *
+   * @returns {string} String representation of the proving key
+   */
+  toString(): string;
+}
+/**
+ * Represents a proving request to a prover.
+ */
+export class ProvingRequest {
+  private constructor();
+  free(): void;
+  /**
+   * Creates a new ProvingRequest from a function Authorization and an optional fee Authorization.
+   *
+   * @param {Authorization} authorization An Authorization for a function.
+   * @param {Authorization} fee_authorization The authorization for the `credits.aleo/fee_public` or `credits.aleo/fee_private` function that pays the fee for the execution of the main function.
+   * @param {boolean} broadcast Flag that indicates whether the remote proving service should attempt to submit the transaction on the caller's behalf.
+   */
+  static new(authorization: Authorization, fee_authorization: Authorization | null | undefined, broadcast: boolean): ProvingRequest;
+  /**
+   * Creates a ProvingRequest from a string representation.
+   *
+   * @param {Uint8Array} request String representation of the ProvingRequest.
+   */
+  static fromString(request: string): ProvingRequest;
+  /**
+   * Creates a string representation of the ProvingRequest.
+   */
+  toString(): string;
+  /**
+   * Creates a ProvingRequest from a left-endian byte representation of the ProvingRequest.
    *
-   * @param {string} record_name Name of the record to get members for
-   * @returns {Object} Object containing the record name, type, and members
+   * @param {Uint8Array} bytes Left-endian bytes representing the proving request.
+   */
+  static fromBytesLe(bytes: Uint8Array): ProvingRequest;
+  /**
+   * Creates a left-endian byte representation of the ProvingRequest.
+   */
+  toBytesLe(): Uint8Array;
+  /**
+   * Get the Authorization of the main function in the ProvingRequest.
+   */
+  authorization(): Authorization;
+  /**
+   * Get the fee Authorization in the ProvingRequest.
+   */
+  feeAuthorization(): Authorization | undefined;
+  /**
+   * Get the broadcast flag set in the ProvingRequest.
+   */
+  broadcast(): boolean;
+  /**
+   * Check if a ProvingRequest is the same as another ProvingRequest.
+   */
+  equals(other: ProvingRequest): boolean;
+}
+/**
+ * Encrypted Aleo record
+ */
+export class RecordCiphertext {
+  private constructor();
+  free(): void;
+  /**
+   * Create a record ciphertext from a string
+   *
+   * @param {string} record String representation of a record ciphertext
+   * @returns {RecordCiphertext} Record ciphertext
+   */
+  static fromString(record: string): RecordCiphertext;
+  /**
+   * Return the string representation of the record ciphertext
+   *
+   * @returns {string} String representation of the record ciphertext
+   */
+  toString(): string;
+  /**
+   * Decrypt the record ciphertext into plaintext using the view key. The record will only
+   * decrypt if the record was encrypted by the account corresponding to the view key
+   *
+   * @param {ViewKey} view_key View key used to decrypt the ciphertext
+   * @returns {RecordPlaintext} Record plaintext object
+   */
+  decrypt(view_key: ViewKey): RecordPlaintext;
+  /**
+   * Generate the record view key. The record view key can only decrypt record if the
+   * supplied view key belongs to the record owner.
+   *
+   * @param {ViewKey} view_key View key used to generate the record view key
+   *
+   * @returns {Group} record view key
+   */
+  recordViewKey(view_key: ViewKey): Field;
+  /**
+   * Determines if the account corresponding to the view key is the owner of the record
+   *
+   * @param {ViewKey} view_key View key used to decrypt the ciphertext
+   * @returns {boolean}
+   */
+  isOwner(view_key: ViewKey): boolean;
+  /**
+   * Get the tag of the record using the graph key.
+   *
+   * @param {GraphKey} graph key of the account associatd with the record.
+   * @param {Field} commitment of the record.
+   *
+   * @returns {Field} tag of the record.
+   */
+  static tag(graph_key: GraphKey, commitment: Field): Field;
+  /**
+   * Get a record ciphertext object from a series of bytes.
+   *
+   * @param {Uint8Array} bytes A left endian byte array representing the record ciphertext.
+   *
+   * @returns {RecordCiphertext}
+   */
+  static fromBytesLe(bytes: Uint8Array): RecordCiphertext;
+  /**
+   * Get the left endian byte array representation of the record ciphertext.
+   *
+   * @returns {Uint8Array} Left endian byte array representation of the record ciphertext.
+   */
+  toBytesLe(): Uint8Array;
+  /**
+   * Get the left endian boolean array representation of the record ciphertext bits.
+   *
+   * returns {Array} Left endian boolean array representation of the bits of the record ciphertext.
+   */
+  toBitsLe(): Array<any>;
+  /**
+   * Get the field array representation of the record ciphertext.
+   *
+   * @returns {Array} Field array representation of the record ciphertext.
+   */
+  toFields(): Array<any>;
+  /**
+   * Decrypt the record ciphertext into plaintext using a record view key.
+   *
+   * @param {Field} record_vk Record view key used to decrypt the record.
+   *
+   * @returns {RecordPlaintext}
+   */
+  decryptWithRecordViewKey(record_vk: Field): RecordPlaintext;
+  /**
+   * Get the record nonce.
+   *
+   * @returns {Group} The record nonce.
+   */
+  nonce(): Group;
+  /**
+   * Clone the RecordCiphertext WASM object.
+   *
+   * @returns {RecordCiphertext} A clone of the RecordCiphertext WASM object.
+   */
+  clone(): RecordCiphertext;
+}
+/**
+ * Plaintext representation of an Aleo record
+ */
+export class RecordPlaintext {
+  private constructor();
+  free(): void;
+  commitment(program_id: string, record_name: string, record_view_key: string): Field;
+  /**
+   * Return a record plaintext from a string.
+   *
+   * @param {string} record String representation of a plaintext representation of an Aleo record.
+   *
+   * @returns {RecordPlaintext} Record plaintext
+   */
+  static fromString(record: string): RecordPlaintext;
+  /**
+   * Get the record entry matching a key.
+   *
+   * @param {string} input The key to retrieve the value in the record data field.
+   *
+   * @returns {Plaintext} The plaintext value corresponding to the key.
+   */
+  getMember(input: string): Plaintext;
+  /**
+   * Get the owner of the record.
+   *
+   * @returns {Address} Address of the owner of the record.
+   */
+  owner(): Address;
+  /**
+   * Get a representation of a record as a javascript object for usage in client side
+   * computations. Note that this is not a reversible operation and exists for the convenience
+   * of discovering and using properties of the record.
+   *
+   * The conversion guide is as follows:
+   * - u8, u16, u32, i8, i16 i32 --> Number
+   * - u64, u128, i64, i128 --> BigInt
+   * - Address, Field, Group, Scalar --> String.
+   *
+   * Address, Field, Group, and Scalar will all be converted to their bech32 string
+   * representation. These string representations can be converted back to their respective wasm
+   * types using the fromString method on the Address, Field, Group, and Scalar objects in this
+   * library.
    *
    * @example
+   * # Create a wasm record from a record string.
+   * let record_plaintext_wasm = RecordPlainext.from_string("{
+   *   owner: aleo1kh5t7m30djl0ecdn4f5vuzp7dx0tcwh7ncquqjkm4matj2p2zqpqm6at48.private,
+   *   metadata: {
+   *     player1: aleo1kh5t7m30djl0ecdn4f5vuzp7dx0tcwh7ncquqjkm4matj2p2zqpqm6at48.private,
+   *     player2: aleo1dreuxnmg9cny8ee9v2u0wr4v4affnwm09u2pytfwz0f2en2shgqsdsfjn6.private,
+   *     nonce: 660310649780728486489183263981322848354071976582883879926426319832534836534field.private
+   *   },
+   *   id: 1953278585719525811355617404139099418855053112960441725284031425961000152405field.private,
+   *   positions: 50794271u64.private,
+   *   attempts: 0u64.private,
+   *   hits: 0u64.private,
+   *   _nonce: 5668100912391182624073500093436664635767788874314097667746354181784048204413group.public
+   * }");
    *
-   * const expected_record = {
-   *     type: "record",
-   *     record: "Credits",
-   *     members: [
-   *       {
-   *         name: "owner",
-   *         type: "address",
-   *         visibility: "private"
-   *       },
-   *       {
-   *         name: "microcredits",
-   *         type: "u64",
-   *         visibility: "private"
-   *       }
-   *     ];
-   *  };
+   * let expected_object = {
+   *   owner: "aleo1kh5t7m30djl0ecdn4f5vuzp7dx0tcwh7ncquqjkm4matj2p2zqpqm6at48",
+   *   metadata: {
+   *     player1: "aleo1kh5t7m30djl0ecdn4f5vuzp7dx0tcwh7ncquqjkm4matj2p2zqpqm6at48",
+   *     player2: "aleo1dreuxnmg9cny8ee9v2u0wr4v4affnwm09u2pytfwz0f2en2shgqsdsfjn6",
+   *     nonce: "660310649780728486489183263981322848354071976582883879926426319832534836534field"
+   *   },
+   *   id: "1953278585719525811355617404139099418855053112960441725284031425961000152405field",
+   *   positions: 50794271,
+   *   attempts: 0,
+   *   hits: 0,
+   *   _nonce: "5668100912391182624073500093436664635767788874314097667746354181784048204413group"
+   * };
    *
-   * const credits_program = aleo_wasm.Program.getCreditsProgram();
-   * const credits_record = credits_program.getRecordMembers("Credits");
-   * console.log(credits_record === expected_record); // Output should be "true"
+   * # Create the expected object
+   * let record_plaintext_object = record_plaintext_wasm.to_js_object();
+   * assert(JSON.stringify(record_plaintext_object) == JSON.stringify(expected_object));
+   *
+   * @returns {Object} Javascript object representation of the record
+   */
+  toJsObject(): object;
+  /**
+   * Returns the record plaintext string
+   *
+   * @returns {string} String representation of the record plaintext
+   */
+  toString(): string;
+  /**
+   * Get a record plaintext object from a series of bytes.
+   *
+   * @param {Uint8Array} bytes A left endian byte array representing the record plaintext.
+   *
+   * @returns {RecordPlaintext} The record plaintext.
+   */
+  static fromBytesLe(bytes: Uint8Array): RecordPlaintext;
+  /**
+   * Returns the left endian byte array representation of the record plaintext.
+   *
+   * @returns {Uint8Array} Byte array representation of the record plaintext.
+   */
+  toBytesLe(): Uint8Array;
+  /**
+   * Returns the left endian boolean array representation of the record plaintext bits.
+   *
+   * @returns {Array} Boolean array representation of the record plaintext bits.
+   */
+  toBitsLe(): Array<any>;
+  /**
+   * Get the field array representation of the record plaintext.
+   */
+  toFields(): Array<any>;
+  /**
+   * Returns the amount of microcredits in the record
+   *
+   * @returns {u64} Amount of microcredits in the record
    */
-  getRecordMembers(record_name: string): object;
+  microcredits(): bigint;
   /**
-   * Get a javascript object representation of a program struct and its types
-   *
-   * @param {string} struct_name Name of the struct to get members for
-   * @returns {Array} Array containing the struct members
-   *
-   * @example
-   *
-   * const STRUCT_PROGRAM = "program token_issue.aleo;
+   * Returns the nonce of the record. This can be used to uniquely identify a record.
    *
-   * struct token_metadata:
-   *     network as u32;
-   *     version as u32;
+   * @returns {string} Nonce of the record
+   */
+  nonce(): string;
+  /**
+   * Attempt to get the serial number of a record to determine whether or not is has been spent
    *
-   * struct token:
-   *     token_id as u32;
-   *     metadata as token_metadata;
+   * @param {PrivateKey} private_key Private key of the account that owns the record
+   * @param {string} program_id Program ID of the program that the record is associated with
+   * @param {string} record_name Name of the record
+   * @param {string} record_view_key The string representation of the record view key.
    *
-   * function no_op:
-   *    input r0 as u64;
-   *    output r0 as u64;"
+   * @returns {string} Serial number of the record
+   */
+  serialNumberString(private_key: PrivateKey, program_id: string, record_name: string, record_view_key: string): string;
+  /**
+   * Get the tag of the record using the graph key.
+   */
+  tag(graph_key: GraphKey, commitment: Field): Field;
+  /**
+   * Generate the record view key. The record view key can only decrypt record if the
+   * supplied view key belongs to the record owner.
    *
-   * const expected_struct_members = [
-   *    {
-   *      name: "token_id",
-   *      type: "u32",
-   *    },
-   *    {
-   *      name: "metadata",
-   *      type: "struct",
-   *      struct_id: "token_metadata",
-   *      members: [
-   *       {
-   *         name: "network",
-   *         type: "u32",
-   *       }
-   *       {
-   *         name: "version",
-   *         type: "u32",
-   *       }
-   *     ]
-   *   }
-   * ];
+   * @param {ViewKey} view_key View key used to generate the record view key
    *
-   * const program = aleo_wasm.Program.fromString(STRUCT_PROGRAM);
-   * const struct_members = program.getStructMembers("token");
-   * console.log(struct_members === expected_struct_members); // Output should be "true"
+   * @returns {Group} record view key
    */
-  getStructMembers(struct_name: string): Array<any>;
+  recordViewKey(view_key: ViewKey): Field;
   /**
-   * Get the credits.aleo program
+   * Clone the RecordPlaintext WASM object.
    *
-   * @returns {Program} The credits.aleo program
+   * @returns {RecordPlaintext} A clone of the RecordPlaintext WASM object.
    */
-  static getCreditsProgram(): Program;
+  clone(): RecordPlaintext;
+}
+/**
+ * Scalar field element.
+ */
+export class Scalar {
+  private constructor();
+  free(): void;
   /**
-   * Get the id of the program
-   *
-   * @returns {string} The id of the program
+   * Creates a scalar object from a string representation of a scalar element.
    */
-  id(): string;
+  static fromString(group: string): Scalar;
   /**
-   * Get a unique address of the program
+   * Returns the string representation of the scalar element.
+   */
+  toString(): string;
+  /**
+   * Create a scalar element from a Uint8Array of left endian bytes.
+   */
+  static fromBytesLe(bytes: Uint8Array): Scalar;
+  /**
+   * Encode the scalar element as a Uint8Array of left endian bytes.
+   */
+  toBytesLe(): Uint8Array;
+  /**
+   * Reconstruct a scalar element from a boolean array representation.
+   */
+  static fromBitsLe(bits: Array<any>): Scalar;
+  /**
+   * Get the left endian boolean array representation of the scalar element.
+   */
+  toBitsLe(): Array<any>;
+  /**
+   * Create a plaintext element from a scalar element.
+   */
+  toPlaintext(): Plaintext;
+  /**
+   * Cast the scalar element to a field element.
+   */
+  toField(): Field;
+  /**
+   * Clone the scalar element.
+   */
+  clone(): Scalar;
+  /**
+   * Generate a random scalar element.
+   */
+  static random(): Scalar;
+  /**
+   * Add two scalar elements.
+   */
+  add(other: Scalar): Scalar;
+  /**
+   * Subtract two scalar elements.
+   */
+  subtract(other: Scalar): Scalar;
+  /**
+   * Multiply two scalar elements.
+   */
+  multiply(other: Scalar): Scalar;
+  /**
+   * Divide two scalar elements.
+   */
+  divide(other: Scalar): Scalar;
+  /**
+   * Double the scalar element.
+   */
+  double(): Scalar;
+  /**
+   * Power of a scalar element.
+   */
+  pow(other: Scalar): Scalar;
+  /**
+   * Invert the scalar element.
+   */
+  inverse(): Scalar;
+  /**
+   * Get the multiplicative identity of the scalar field.
+   */
+  static one(): Scalar;
+  /**
+   * Get the additive identity of the scalar field.
+   */
+  static zero(): Scalar;
+  /**
+   * Check if one scalar element equals another.
+   */
+  equals(other: Scalar): boolean;
+}
+/**
+ * Cryptographic signature of a message signed by an Aleo account
+ */
+export class Signature {
+  private constructor();
+  free(): void;
+  /**
+   * Sign a message with a private key
    *
-   * @returns {Address} The address of the program
+   * @param {PrivateKey} private_key The private key to sign the message with
+   * @param {Uint8Array} message Byte representation of the message to sign
+   * @returns {Signature} Signature of the message
    */
-  address(): Address;
+  static sign(private_key: PrivateKey, message: Uint8Array): Signature;
   /**
-   * Determine equality with another program
+   * Get an address from a signature.
    *
-   * @param {Program} other The other program to compare
-   * @returns {boolean} True if the programs are equal, false otherwise
+   * @returns {Address} Address object
    */
-  isEqual(other: Program): boolean;
+  to_address(): Address;
   /**
-   * Get program_imports
+   * Get the challenge of a signature.
+   */
+  challenge(): Scalar;
+  /**
+   * Get the response of a signature.
+   */
+  response(): Scalar;
+  /**
+   * Verify a signature of a message with an address
    *
-   * @returns {Array} The program imports
+   * @param {Address} address The address to verify the signature with
+   * @param {Uint8Array} message Byte representation of the message to verify
+   * @returns {boolean} True if the signature is valid, false otherwise
+   */
+  verify(address: Address, message: Uint8Array): boolean;
+  /**
+   * Get a signature from a series of bytes.
    *
-   * @example
+   * @param {Uint8Array} bytes A left endian byte array representing the signature.
    *
-   * const DOUBLE_TEST = "import multiply_test.aleo;
+   * @returns {Signature} The signature object.
+   */
+  static fromBytesLe(bytes: Uint8Array): Signature;
+  /**
+   * Get the left endian byte array representation of the signature.
+   */
+  toBytesLe(): Uint8Array;
+  /**
+   * Get a signature from a series of bits represented as a boolean array.
    *
-   * program double_test.aleo;
+   * @param {Array} bits A left endian boolean array representing the bits of the signature.
    *
-   * function double_it:
-   *     input r0 as u32.private;
-   *     call multiply_test.aleo/multiply 2u32 r0 into r1;
-   *     output r1 as u32.private;";
+   * @returns {Signature} The signature object.
+   */
+  static fromBitsLe(bits: Array<any>): Signature;
+  /**
+   * Get the left endian boolean array representation of the bits of the signature.
+   */
+  toBitsLe(): Array<any>;
+  /**
+   * Get the field array representation of the signature.
+   */
+  toFields(): Array<any>;
+  /**
+   * Get a signature from a string representation of a signature
    *
-   * const expected_imports = [
-   *    "multiply_test.aleo"
-   * ];
+   * @param {string} signature String representation of a signature
+   * @returns {Signature} Signature
+   */
+  static from_string(signature: string): Signature;
+  /**
+   * Get a string representation of a signature
    *
-   * const program = aleo_wasm.Program.fromString(DOUBLE_TEST_PROGRAM);
-   * const imports = program.getImports();
-   * console.log(imports === expected_imports); // Output should be "true"
+   * @returns {string} String representation of a signature
    */
-  getImports(): Array<any>;
+  to_string(): string;
+  /**
+   * Get the plaintext representation of the signature.
+   */
+  toPlaintext(): Plaintext;
 }
-export class ProgramManager {
+/**
+ * Webassembly Representation of an Aleo transaction
+ *
+ * This object is created when generating an on-chain function deployment or execution and is the
+ * object that should be submitted to the Aleo Network in order to deploy or execute a function.
+ */
+export class Transaction {
   private constructor();
   free(): void;
   /**
-   * Create an execution `Authorization` for a given program:function tuple with specified inputs.
+   * Create a transaction from a string
    *
-   * @param private_key The private key of the signer.
-   * @param program The program source code containing the function to authorize.
-   * @param function_name The function to authorize.
-   * @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"}.
+   * @param {string} transaction String representation of a transaction
+   * @returns {Transaction}
    */
-  static authorize(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, imports?: object | null): Promise<Authorization>;
+  static fromString(transaction: string): Transaction;
   /**
-   * Create an execution `Authorization` without generating a circuit. Use this function when
-   * fast delegated proving is needed.
+   * Create a transaction from a Uint8Array of left endian bytes.
    *
-   * @param private_key The private key of the signer.
-   * @param program The program source code containing the function to authorize.
-   * @param function_name The function to authorize.
-   * @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"}.
+   * @param {Uint8Array} Uint8Array of left endian bytes encoding a Transaction.
+   * @returns {Transaction}
    */
-  static buildAuthorizationUnchecked(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, imports?: object | null): Promise<Authorization>;
+  static fromBytesLe(bytes: Uint8Array): Transaction;
   /**
-   * 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
-   * any previously created authorization by calling (authorization.toExecutionId()).
+   * Get the transaction as a string. If you want to submit this transaction to the Aleo Network
+   * this function will create the string that should be submitted in the `POST` data.
    *
-   * @param private_key The private key of the signer.
-   * @param deployment_or_execution_id The id of the deployment or execution to authorize the fee program for.
-   * @param base_fee_credits The base fee to be paid for the authorization
-   * @param priority_fee_credits The optional priority fee to be paid for the transaction
-   * @param fee_record The record to spend the fee from
-   * @returns {Authorization}
+   * @returns {string} String representation of the transaction
    */
-  static authorizeFee(private_key: PrivateKey, deployment_or_execution_id: string, base_fee_credits: number, priority_fee_credits: number, fee_record?: RecordPlaintext | null): Promise<Authorization>;
+  toString(): string;
   /**
-   * Deploy an Aleo program
+   * Get the transaction as a Uint8Array of left endian bytes.
    *
-   * @param private_key The private key of the sender
-   * @param program The source code of the program being deployed
-   * @param imports A javascript object holding the source code of any imported programs in the
-   * form \{"program_name1": "program_source_code", "program_name2": "program_source_code", ..\}.
-   * Note that all imported programs must be deployed on chain before the main program in order
-   * for the deployment to succeed
-   * @param priority_fee_credits The optional priority fee to be paid for the transaction
-   * @param fee_record The record to spend the fee from
-   * @param url The url of the Aleo network node to send the transaction to
-   * @param imports (optional) Provide a list of imports to use for the program deployment in the
-   * form of a javascript object where the keys are a string of the program name and the values
-   * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
-   * @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
-   * @returns {Transaction}
+   * @returns {Uint8Array} Uint8Array representation of the transaction
    */
-  static buildDeploymentTransaction(private_key: PrivateKey, program: string, priority_fee_credits: number, fee_record?: RecordPlaintext | null, url?: string | null, imports?: object | null, fee_proving_key?: ProvingKey | null, fee_verifying_key?: VerifyingKey | null, offline_query?: OfflineQuery | null): Promise<Transaction>;
+  toBytesLe(): Uint8Array;
   /**
-   * Estimate the fee for a program deployment
+   * Returns true if the transaction contains the given serial number.
    *
-   * Disclaimer: Fee estimation is experimental and may not represent a correct estimate on any current or future network
+   * @param {boolean} True if the transaction contains the given serial number.
+   */
+  constainsSerialNumber(serial_number: Field): boolean;
+  /**
+   * Returns true if the transaction contains the given commitment.
    *
-   * @param program The source code of the program being deployed
-   * @param imports (optional) Provide a list of imports to use for the deployment fee estimation
-   * in the form of a javascript object where the keys are a string of the program name and the values
-   * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
-   * @returns {u64}
+   * @param {boolean} True if the transaction contains the given commitment.
    */
-  static estimateDeploymentFee(program: string, imports?: object | null): Promise<bigint>;
+  constainsCommitment(commitment: Field): boolean;
   /**
-   * Estimate the component of the deployment cost which comes from the fee for the program name.
-   * Note that this cost does not represent the entire cost of deployment. It is additional to
-   * the cost of the size (in bytes) of the deployment.
+   * Find a record in the transaction by the record's commitment.
+   */
+  findRecord(commitment: Field): RecordCiphertext | undefined;
+  /**
+   * Returns the transaction's base fee.
+   */
+  baseFeeAmount(): bigint;
+  /**
+   * Returns the transaction's total fee.
+   */
+  feeAmount(): bigint;
+  /**
+   * Returns the transaction's priority fee.
    *
-   * Disclaimer: Fee estimation is experimental and may not represent a correct estimate on any current or future network
+   * returns {bigint} The transaction's priority fee.
+   */
+  priorityFeeAmount(): bigint;
+  /**
+   * Returns true if the transaction is a deployment transaction.
    *
-   * @param name The name of the program to be deployed
-   * @returns {u64}
+   * @returns {boolean} True if the transaction is a deployment transaction
    */
-  static estimateProgramNameCost(name: string): bigint;
+  isDeploy(): boolean;
   /**
-   * Execute an arbitrary function locally
+   * Returns true if the transaction is an execution transaction.
    *
-   * @param {PrivateKey} private_key The private key of the sender
-   * @param {string} program The source code of the program being executed
-   * @param {string} function The name of the function to execute
-   * @param {Array} inputs A javascript array of inputs to the function
-   * @param {boolean} prove_execution If true, the execution will be proven and an execution object
-   * containing the proof and the encrypted inputs and outputs needed to verify the proof offline
-   * will be returned.
-   * @param {boolean} cache Cache the proving and verifying keys in the Execution response.
-   * If this is set to 'true' the keys synthesized will be stored in the Execution Response
-   * and the `ProvingKey` and `VerifyingKey` can be retrieved from the response via the `.getKeys()`
-   * method.
-   * @param {Object | undefined} imports (optional) Provide a list of imports to use for the function execution in the
-   * form of a javascript object where the keys are a string of the program name and the values
-   * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
-   * @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
+   * @returns {boolean} True if the transaction is an execution transaction
    */
-  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>;
+  isExecute(): boolean;
   /**
-   * Execute Aleo function and create an Aleo execution transaction
+   * Returns true if the transaction is a fee transaction.
    *
-   * @param private_key The private key of the sender
-   * @param program The source code of the program being executed
-   * @param function The name of the function to execute
-   * @param inputs A javascript array of inputs to the function
-   * @param priority_fee_credits The optional priority fee to be paid for the transaction
-   * @param fee_record The record to spend the fee from
-   * @param url The url of the Aleo network node to send the transaction to
-   * If this is set to 'true' the keys synthesized (or passed in as optional parameters via the
-   * `proving_key` and `verifying_key` arguments) will be stored in the ProgramManager's memory
-   * and used for subsequent transactions. If this is set to 'false' the proving and verifying
-   * keys will be deallocated from memory after the transaction is executed.
-   * @param imports (optional) Provide a list of imports to use for the function execution in the
-   * form of a javascript object where the keys are a string of the program name and the values
-   * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
-   * @param proving_key (optional) Provide a verifying key to use for the function execution
-   * @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
-   * @returns {Transaction}
+   * @returns {boolean} True if the transaction is a fee 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>;
+  isFee(): boolean;
   /**
-   * 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
-   * program executions.
+   * Returns the program deployed within the transaction if the transaction is a deployment
+   * transaction.
    *
-   * Disclaimer: Fee estimation is experimental and may not represent a correct estimate on any current or future network
+   * @returns {Program | undefined} The program deployed within the transaction.
+   */
+  deployedProgram(): Program | undefined;
+  /**
+   * Returns the execution within the transaction (if present).
    *
-   * @param private_key The private key of the sender
-   * @param program The source code of the program to estimate the execution fee for
-   * @param function The name of the function to execute
-   * @param inputs A javascript array of inputs to the function
-   * @param url The url of the Aleo network node to send the transaction to
-   * @param imports (optional) Provide a list of imports to use for the fee estimation in the
-   * form of a javascript object where the keys are a string of the program name and the values
-   * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
-   * @param proving_key (optional) Provide a verifying key to use for the fee estimation
-   * @param verifying_key (optional) Provide a verifying key to use for the fee estimation
-   * @returns {u64} Fee in microcredits
+   * @returns {Execution | undefined} The execution within the transaction.
    */
-  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>;
+  execution(): Execution | undefined;
   /**
-   * 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
-   * step, then the finalize fee is 0.
+   * Get the record plaintext present in a transaction owned by a specific view key.
    *
-   * Disclaimer: Fee estimation is experimental and may not represent a correct estimate on any current or future network
+   * @param {ViewKey} view_key View key used to decrypt the ciphertext
    *
-   * @param program The program containing the function to estimate the finalize fee for
-   * @param function The function to estimate the finalize fee for
-   * @returns {u64} Fee in microcredits
+   * @returns {Array<RecordPlaintext>} Array of record plaintext objects
    */
-  static estimateFinalizeFee(program: string, _function: string): bigint;
+  ownedRecords(view_key: ViewKey): Array<any>;
   /**
-   * Join two records together to create a new record with an amount of credits equal to the sum
-   * of the credits of the two original records
+   * Get the records present in a transaction and their commitments.
    *
-   * @param private_key The private key of the sender
-   * @param record_1 The first record to combine
-   * @param record_2 The second record to combine
-   * @param priority_fee_credits The opptional priority fee to be paid for the transaction
-   * @param fee_record The record to spend the fee from
-   * @param url The url of the Aleo network node to send the transaction to
-   * @param join_proving_key (optional) Provide a proving key to use for the join function
-   * @param join_verifying_key (optional) Provide a verifying key to use for the join function
-   * @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
-   * @returns {Transaction} Transaction object
+   * @returns {Array<{commitment: Field, record: RecordCiphertext}>} Array of record ciphertext objects
    */
-  static buildJoinTransaction(private_key: PrivateKey, record_1: RecordPlaintext, record_2: RecordPlaintext, priority_fee_credits: number, fee_record?: RecordPlaintext | null, url?: string | null, join_proving_key?: ProvingKey | null, join_verifying_key?: VerifyingKey | null, fee_proving_key?: ProvingKey | null, fee_verifying_key?: VerifyingKey | null, offline_query?: OfflineQuery | null): Promise<Transaction>;
+  records(): Array<any>;
   /**
-   * Create a `ProvingRequest` object. This object creates authorizations for the top level
-   * function and associated fee function. This object can be sent directly to a remote prover
-   * OR used to extract both execution and fee authorizations.
+   * Get a summary of the transaction within a javascript object.
    *
-   * @param private_key The private key of the signer.
-   * @param program The program source code containing the function to authorize.
-   * @param function_name The function to authorize.
-   * @param inputs A javascript array of inputs to the function.
-   * @param base_fee_credits The base fee to be paid for the authorization
-   * @param priority_fee_credits The optional priority fee to be paid for the transaction
-   * @param fee_record The record to spend the fee from
-   * @param imports The imports to the program in the format {"programname.aleo":"aleo instructions source code"}.
-   * @param url The url of the Aleo network node to send the transaction to
-   * @param broadcast (optional) Flag to indicate if the transaction should be broadcast
-   * @returns {Authorization}
+   * If the transaction is an execution transaction, this function will return a list of the
+   * transitions and their inputs and outputs.
+   *
+   * If the transaction is a deployment transaction, this function will return the program id and
+   * a list of the functions and their verifying keys, constraint, and variable counts.
+   *
+   * @param {boolean} convert_to_js If true the inputs and outputs will be converted to JS objects,
+   * if false the inputs and outputs will be in wasm format.
+   *
+   * @returns {Object} Transaction summary
    */
-  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>;
+  summary(convert_to_js: boolean): object;
   /**
-   * Split an Aleo credits record into two separate records. This function does not require a fee.
+   * Get the id of the transaction. This is the merkle root of the transaction's inclusion proof.
    *
-   * @param private_key The private key of the sender
-   * @param split_amount The amount of the credit split. This amount will be subtracted from the
-   * value of the record and two new records will be created with the split amount and the remainder
-   * @param amount_record The record to split
-   * @param url The url of the Aleo network node to send the transaction to
-   * @param split_proving_key (optional) Provide a proving key to use for the split function
-   * @param split_verifying_key (optional) Provide a verifying key to use for the split function
-   * @returns {Transaction} Transaction object
+   * This value can be used to query the status of the transaction on the Aleo Network to see
+   * if it was successful. If successful, the transaction will be included in a block and this
+   * value can be used to lookup the transaction data on-chain.
+   *
+   * @returns {string} TransactionId
    */
-  static buildSplitTransaction(private_key: PrivateKey, split_amount: number, amount_record: RecordPlaintext, url?: string | null, split_proving_key?: ProvingKey | null, split_verifying_key?: VerifyingKey | null, offline_query?: OfflineQuery | null): Promise<Transaction>;
+  id(): string;
   /**
-   * Send credits from one Aleo account to another
+   * Get the type of the transaction (will return "deploy" or "execute")
    *
-   * @param private_key The private key of the sender
-   * @param amount_credits The amount of credits to send
-   * @param recipient The recipient of the transaction
-   * @param transfer_type The type of the transfer (options: "private", "public", "private_to_public", "public_to_private")
-   * @param amount_record The record to fund the amount from
-   * @param priority_fee_credits The optional priority fee to be paid for the transaction
-   * @param fee_record The record to spend the fee from
-   * @param url The url of the Aleo network node to send the transaction to
-   * @param transfer_verifying_key (optional) Provide a verifying key to use for the transfer
-   * function
-   * @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
-   * @returns {Transaction}
+   * @returns {string} Transaction type
+   */
+  transactionType(): string;
+  /**
+   * Get the transitions in a transaction.
+   *
+   * @returns {Array<Transition>} Array of transition objects
    */
-  static buildTransferTransaction(private_key: PrivateKey, amount_credits: number, recipient: string, transfer_type: string, amount_record: RecordPlaintext | null | undefined, priority_fee_credits: number, fee_record?: RecordPlaintext | null, url?: string | null, transfer_proving_key?: ProvingKey | null, transfer_verifying_key?: VerifyingKey | null, fee_proving_key?: ProvingKey | null, fee_verifying_key?: VerifyingKey | null, offline_query?: OfflineQuery | null): Promise<Transaction>;
+  transitions(): Array<any>;
   /**
-   * Synthesize proving and verifying keys for a program
+   * Get the verifying keys in a transaction.
    *
-   * @param program {string} The program source code of the program to synthesize keys for
-   * @param function_id {string} The function to synthesize keys for
-   * @param inputs {Array} The inputs to the function
-   * @param imports {Object | undefined} The imports for the program
+   * @returns {Array<Object>} Array of verifying keys.
    */
-  static synthesizeKeyPair(private_key: PrivateKey, program: string, function_id: string, inputs: Array<any>, imports?: object | null): Promise<KeyPair>;
+  verifyingKeys(): Array<any>;
 }
-/**
- * Proving key for a function within an Aleo program
- */
-export class ProvingKey {
+export class Transition {
   private constructor();
   free(): void;
   /**
-   * Verify if the proving key is for the bond_public function
-   *
-   * @example
-   * const provingKey = ProvingKey.fromBytes("bond_public_proving_key.bin");
-   * provingKey.isBondPublicProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   * Get the transition ID
    *
-   * @returns {boolean} returns true if the proving key is for the bond_public function, false if otherwise
+   * @returns {string} The transition ID
    */
-  isBondPublicProver(): boolean;
+  id(): string;
   /**
-   * Verify if the proving key is for the bond_validator function
-   *
-   * @example
-   * const provingKey = ProvingKey.fromBytes("bond_validator_proving_key.bin");
-   * provingKey.isBondPublicProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   * Create a transition from a string
    *
-   * @returns {boolean} returns true if the proving key is for the bond_validator function, false if otherwise
+   * @param {string} transition String representation of a transition
+   * @returns {Transition}
    */
-  isBondValidatorProver(): boolean;
+  static fromString(transition: string): Transition;
   /**
-   * Verify if the proving key is for the claim_unbond function
-   *
-   * @example
-   * const provingKey = ProvingKey.fromBytes("claim_unbond_proving_key.bin");
-   * provingKey.isClaimUnbondProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   * Create a transition from a Uint8Array of left endian bytes.
    *
-   * @returns {boolean} returns true if the proving key is for the claim_unbond function, false if otherwise
+   * @param {Uint8Array} Uint8Array of left endian bytes encoding a Transition.
+   * @returns {Transition}
    */
-  isClaimUnbondPublicProver(): boolean;
+  static fromBytesLe(bytes: Uint8Array): Transition;
   /**
-   * Verify if the proving key is for the fee_private function
-   *
-   * @example
-   * const provingKey = ProvingKey.fromBytes("fee_private_proving_key.bin");
-   * provingKey.isFeePrivateProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   * Get the transition as a string. If you want to submit this transition to the Aleo Network
+   * this function will create the string that should be submitted in the `POST` data.
    *
-   * @returns {boolean} returns true if the proving key is for the fee_private function, false if otherwise
+   * @returns {string} String representation of the transition
    */
-  isFeePrivateProver(): boolean;
+  toString(): string;
   /**
-   * Verify if the proving key is for the fee_public function
-   *
-   * @example
-   * const provingKey = ProvingKey.fromBytes("fee_public_proving_key.bin");
-   * provingKey.isFeePublicProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   * Get the transition as a Uint8Array of left endian bytes.
    *
-   * @returns {boolean} returns true if the proving key is for the fee_public function, false if otherwise
+   * @returns {Uint8Array} Uint8Array representation of the transition
    */
-  isFeePublicProver(): boolean;
+  toBytesLe(): Uint8Array;
   /**
-   * Verify if the proving key is for the inclusion function
-   *
-   * @example
-   * const provingKey = ProvingKey.fromBytes("inclusion_proving_key.bin");
-   * provingKey.isInclusionProver() ? console.log("Key verified") : throw new Error("Invalid key");
-   *
-   * @returns {boolean} returns true if the proving key is for the inclusion function, false if otherwise
+   * Get the program ID of the transition.
    */
-  isInclusionProver(): boolean;
+  programId(): string;
   /**
-   * Verify if the proving key is for the join function
-   *
-   * @example
-   * const provingKey = ProvingKey.fromBytes("join_proving_key.bin");
-   * provingKey.isJoinProver() ? console.log("Key verified") : throw new Error("Invalid key");
-   *
-   * @returns {boolean} returns true if the proving key is for the join function, false if otherwise
+   * Get the function name of the transition.
    */
-  isJoinProver(): boolean;
+  functionName(): string;
   /**
-   * Verify if the proving key is for the set_validator_state function
-   *
-   * @example
-   * const provingKey = ProvingKey.fromBytes("set_validator_set_proving_key.bin");
-   * provingKey.isSetValidatorStateProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   * Returns true if the transition contains the given commitment.
    *
-   * @returns {boolean} returns true if the proving key is for the set_validator_state function, false if otherwise
+   * @param {boolean} True if the transition contains the given commitment.
    */
-  isSetValidatorStateProver(): boolean;
+  containsCommitment(commitment: Field): boolean;
   /**
-   * Verify if the proving key is for the split function
+   * Check if the transition contains a serial number.
    *
-   * @example
-   * const provingKey = ProvingKey.fromBytes("split_proving_key.bin");
-   * provingKey.isSplitProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   * @param {Field} serial_number The serial number to check for
    *
-   * @returns {boolean} returns true if the proving key is for the split function, false if otherwise
+   * @returns {bool} True if the transition contains a serial number, false otherwise
    */
-  isSplitProver(): boolean;
+  containsSerialNumber(serial_number: Field): boolean;
   /**
-   * Verify if the proving key is for the transfer_private function
-   *
-   * @example
-   * const provingKey = ProvingKey.fromBytes("transfer_private_proving_key.bin");
-   * provingKey.isTransferPrivateProver() ? console.log("Key verified") : throw new Error("Invalid key");
-   *
-   * @returns {boolean} returns true if the proving key is for the transfer_private function, false if otherwise
+   * Find a record in the transition by the record's commitment.
    */
-  isTransferPrivateProver(): boolean;
+  findRecord(commitment: Field): RecordCiphertext | undefined;
   /**
-   * Verify if the proving key is for the transfer_private_to_public function
+   * Get the record plaintext present in a transition owned by a specific view key.
    *
-   * @example
-   * const provingKey = ProvingKey.fromBytes("transfer_private_to_public_proving_key.bin");
-   * provingKey.isTransferPrivateToPublicProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   * @param {ViewKey} view_key The view key of the record owner.
    *
-   * @returns {boolean} returns true if the proving key is for the transfer_private_to_public function, false if otherwise
+   * @returns {Array<RecordPlaintext>} Array of record plaintext objects
    */
-  isTransferPrivateToPublicProver(): boolean;
+  ownedRecords(view_key: ViewKey): Array<any>;
   /**
-   * Verify if the proving key is for the transfer_public function
-   *
-   * @example
-   * const provingKey = ProvingKey.fromBytes("transfer_public_proving_key.bin");
-   * provingKey.isTransferPublicProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   * Get the records present in a transition and their commitments.
    *
-   * @returns {boolean} returns true if the proving key is for the transfer_public function, false if otherwise
+   * @returns {Array<{commitment: Field, record: RecordCiphertext}>} Array of record ciphertext objects
    */
-  isTransferPublicProver(): boolean;
+  records(): Array<any>;
   /**
-   * Verify if the proving key is for the transfer_public_as_signer function
+   * Get the inputs of the transition.
    *
-   * @example
-   * const provingKey = ProvingKey.fromBytes("transfer_public_as_signer_proving_key.bin");
-   * provingKey.isTransferPublicAsSignerProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   * @param {bool} convert_to_js If true the inputs will be converted to JS objects, if false
+   * the inputs will be in wasm format.
    *
-   * @returns {boolean} returns true if the proving key is for the transfer_public function, false if otherwise
+   * @returns {Array} Array of inputs
    */
-  isTransferPublicAsSignerProver(): boolean;
+  inputs(convert_to_js: boolean): Array<any>;
   /**
-   * Verify if the proving key is for the transfer_public_to_private function
+   * Get the outputs of the transition.
    *
-   * @example
-   * const provingKey = ProvingKey.fromBytes("transfer_public_to_private_proving_key.bin");
-   * provingKey.isTransferPublicToPrivateProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   * @param {bool} convert_to_js If true the outputs will be converted to JS objects, if false
+   * the outputs will be in wasm format.
    *
-   * @returns {boolean} returns true if the proving key is for the transfer_public_to_private function, false if otherwise
+   * @returns {Array} Array of outputs
    */
-  isTransferPublicToPrivateProver(): boolean;
+  outputs(convert_to_js: boolean): Array<any>;
   /**
-   * Verify if the proving key is for the unbond_public function
-   *
-   * @example
-   * const provingKey = ProvingKey.fromBytes("unbond_public.bin");
-   * provingKey.isUnbondPublicProver() ? console.log("Key verified") : throw new Error("Invalid key");
+   * Get the transition public key of the transition.
    *
-   * @returns {boolean} returns true if the proving key is for the unbond_public_prover function, false if otherwise
+   * @returns {Group} Transition public key
    */
-  isUnbondPublicProver(): boolean;
+  tpk(): Group;
   /**
-   * Return the checksum of the proving key
+   * Get the transition view key of the transition.
    *
-   * @returns {string} Checksum of the proving key
-   */
-  checksum(): string;
-  /**
-   * Create a copy of the proving key
+   * @param {ViewKey} view_key The view key of the transition signer.
    *
-   * @returns {ProvingKey} A copy of the proving key
+   * @returns {Field} Transition view key
    */
-  copy(): ProvingKey;
+  tvk(view_key: ViewKey): Field;
   /**
-   * Construct a new proving key from a byte array
+   * Get the transition commitment of the transition.
    *
-   * @param {Uint8Array} bytes Byte array representation of a proving key
-   * @returns {ProvingKey}
+   * @returns {Field} Transition commitment
    */
-  static fromBytes(bytes: Uint8Array): ProvingKey;
+  tcm(): Field;
   /**
-   * Create a proving key from string
+   * Get the transition signer commitment of the transition.
    *
-   * @param {string} String representation of the proving key
+   * @returns {Field} Transition signer commitment
    */
-  static fromString(string: string): ProvingKey;
+  scm(): Field;
   /**
-   * Return the byte representation of a proving key
+   * Decrypt the transition using the transition view key.
    *
-   * @returns {Uint8Array} Byte array representation of a proving key
-   */
-  toBytes(): Uint8Array;
-  /**
-   * Get a string representation of the proving key
+   * @param {Field} tvk The transition view key.
    *
-   * @returns {string} String representation of the proving key
+   * @returns {Transition} The transition with public values for inputs and outputs.
    */
-  toString(): string;
+  decryptTransition(tvk: Field): Transition;
 }
-/**
- * Represents a proving request to a prover.
- */
-export class ProvingRequest {
+export class U128 {
   private constructor();
   free(): void;
   /**
-   * Creates a new ProvingRequest from a function Authorization and an optional fee Authorization.
-   *
-   * @param {Authorization} authorization An Authorization for a function.
-   * @param {Authorization} fee_authorization The authorization for the `credits.aleo/fee_public` or `credits.aleo/fee_private` function that pays the fee for the execution of the main function.
-   * @param {boolean} broadcast Flag that indicates whether the remote proving service should attempt to submit the transaction on the caller's behalf.
-   */
-  static new(authorization: Authorization, fee_authorization: Authorization | null | undefined, broadcast: boolean): ProvingRequest;
-  /**
-   * Creates a ProvingRequest from a string representation.
-   *
-   * @param {Uint8Array} request String representation of the ProvingRequest.
+   * Creates from string.
    */
-  static fromString(request: string): ProvingRequest;
+  static fromString(s: string): U128;
   /**
-   * Creates a string representation of the ProvingRequest.
+   * To string.
    */
   toString(): string;
   /**
-   * Creates a ProvingRequest from a left-endian byte representation of the ProvingRequest.
-   *
-   * @param {Uint8Array} bytes Left-endian bytes representing the proving request.
+   * From bytes (LE).
    */
-  static fromBytesLe(bytes: Uint8Array): ProvingRequest;
+  static fromBytesLe(bytes: Uint8Array): U128;
   /**
-   * Creates a left-endian byte representation of the ProvingRequest.
+   * To bytes (LE).
    */
   toBytesLe(): Uint8Array;
   /**
-   * Get the Authorization of the main function in the ProvingRequest.
+   * From bits.
    */
-  authorization(): Authorization;
+  static fromBitsLe(bits: Array<any>): U128;
   /**
-   * Get the fee Authorization in the ProvingRequest.
+   * To bits.
    */
-  feeAuthorization(): Authorization | undefined;
+  toBitsLe(): Array<any>;
   /**
-   * Get the broadcast flag set in the ProvingRequest.
+   * Checked absolute value.
    */
-  broadcast(): boolean;
+  absChecked(): U128;
   /**
-   * Check if a ProvingRequest is the same as another ProvingRequest.
+   * Wrapped absolute value.
    */
-  equals(other: ProvingRequest): boolean;
-}
-/**
- * Encrypted Aleo record
- */
-export class RecordCiphertext {
-  private constructor();
-  free(): void;
+  absWrapped(): U128;
+  /**
+   * Wrapped addition.
+   */
+  addWrapped(other: U128): U128;
+  /**
+   * Wrapped subtraction.
+   */
+  subWrapped(other: U128): U128;
+  /**
+   * Wrapped multiplication.
+   */
+  mulWrapped(other: U128): U128;
+  /**
+   * Wrapped division.
+   */
+  divWrapped(other: U128): U128;
   /**
-   * Create a record ciphertext from a string
-   *
-   * @param {string} record String representation of a record ciphertext
-   * @returns {RecordCiphertext} Record ciphertext
+   * Power to a u8 exponent.
    */
-  static fromString(record: string): RecordCiphertext;
+  powU8(exponent: U8): U128;
   /**
-   * Return the string representation of the record ciphertext
-   *
-   * @returns {string} String representation of the record ciphertext
+   * Power to a u16 exponent.
    */
-  toString(): string;
+  powU16(exponent: U16): U128;
   /**
-   * Decrypt the record ciphertext into plaintext using the view key. The record will only
-   * decrypt if the record was encrypted by the account corresponding to the view key
-   *
-   * @param {ViewKey} view_key View key used to decrypt the ciphertext
-   * @returns {RecordPlaintext} Record plaintext object
+   * Power to a u32 exponent.
    */
-  decrypt(view_key: ViewKey): RecordPlaintext;
+  powU32(exponent: U32): U128;
   /**
-   * Generate the record view key. The record view key can only decrypt record if the
-   * supplied view key belongs to the record owner.
-   *
-   * @param {ViewKey} view_key View key used to generate the record view key
-   *
-   * @returns {Group} record view key
+   * Negates the integer (e.g., 5 → -5).
    */
-  recordViewKey(view_key: ViewKey): Field;
+  neg(): U128;
   /**
-   * Determines if the account corresponding to the view key is the owner of the record
-   *
-   * @param {ViewKey} view_key View key used to decrypt the ciphertext
-   * @returns {boolean}
+   * Checks equality with another integer.
    */
-  isOwner(view_key: ViewKey): boolean;
+  equals(other: U128): boolean;
   /**
-   * Get the tag of the record using the graph key.
-   *
-   * @param {GraphKey} graph key of the account associatd with the record.
-   * @param {Field} commitment of the record.
-   *
-   * @returns {Field} tag of the record.
+   * Remainder.
    */
-  static tag(graph_key: GraphKey, commitment: Field): Field;
+  rem(other: U128): U128;
   /**
-   * Get a record ciphertext object from a series of bytes.
-   *
-   * @param {Uint8Array} bytes A left endian byte array representing the record ciphertext.
-   *
-   * @returns {RecordCiphertext}
+   * Wrapped remainder.
    */
-  static fromBytesLe(bytes: Uint8Array): RecordCiphertext;
+  remWrapped(other: U128): U128;
   /**
-   * Get the left endian byte array representation of the record ciphertext.
-   *
-   * @returns {Uint8Array} Left endian byte array representation of the record ciphertext.
+   * Convert to Scalar.
    */
-  toBytesLe(): Uint8Array;
+  toScalar(): Scalar;
   /**
-   * Get the left endian boolean array representation of the record ciphertext bits.
-   *
-   * returns {Array} Left endian boolean array representation of the bits of the record ciphertext.
+   * Convert to plaintext.
    */
-  toBitsLe(): Array<any>;
+  toPlaintext(): Plaintext;
   /**
-   * Get the field array representation of the record ciphertext.
-   *
-   * @returns {Array} Field array representation of the record ciphertext.
+   * Convert from Field.
    */
-  toFields(): Array<any>;
+  static fromField(field: Field): U128;
   /**
-   * Decrypt the record ciphertext into plaintext using a record view key.
-   *
-   * @param {Field} record_vk Record view key used to decrypt the record.
-   *
-   * @returns {RecordPlaintext}
+   * Convert from Fields.
    */
-  decryptWithRecordViewKey(record_vk: Field): RecordPlaintext;
+  static fromFields(fields: Array<any>): U128;
   /**
-   * Get the record nonce.
-   *
-   * @returns {Group} The record nonce.
+   * Clone.
    */
-  nonce(): Group;
+  clone(): U128;
 }
-/**
- * Plaintext representation of an Aleo record
- */
-export class RecordPlaintext {
+export class U16 {
   private constructor();
   free(): void;
-  commitment(program_id: string, record_name: string, record_view_key: string): Field;
   /**
-   * Return a record plaintext from a string.
-   *
-   * @param {string} record String representation of a plaintext representation of an Aleo record.
-   *
-   * @returns {RecordPlaintext} Record plaintext
+   * Creates from string.
    */
-  static fromString(record: string): RecordPlaintext;
+  static fromString(s: string): U16;
   /**
-   * Get the record entry matching a key.
-   *
-   * @param {string} input The key to retrieve the value in the record data field.
-   *
-   * @returns {Plaintext} The plaintext value corresponding to the key.
+   * To string.
    */
-  getMember(input: string): Plaintext;
+  toString(): string;
   /**
-   * Get the owner of the record.
-   *
-   * @returns {Address} Address of the owner of the record.
+   * From bytes (LE).
    */
-  owner(): Address;
+  static fromBytesLe(bytes: Uint8Array): U16;
   /**
-   * Get a representation of a record as a javascript object for usage in client side
-   * computations. Note that this is not a reversible operation and exists for the convenience
-   * of discovering and using properties of the record.
-   *
-   * The conversion guide is as follows:
-   * - u8, u16, u32, i8, i16 i32 --> Number
-   * - u64, u128, i64, i128 --> BigInt
-   * - Address, Field, Group, Scalar --> String.
-   *
-   * Address, Field, Group, and Scalar will all be converted to their bech32 string
-   * representation. These string representations can be converted back to their respective wasm
-   * types using the fromString method on the Address, Field, Group, and Scalar objects in this
-   * library.
-   *
-   * @example
-   * # Create a wasm record from a record string.
-   * let record_plaintext_wasm = RecordPlainext.from_string("{
-   *   owner: aleo1kh5t7m30djl0ecdn4f5vuzp7dx0tcwh7ncquqjkm4matj2p2zqpqm6at48.private,
-   *   metadata: {
-   *     player1: aleo1kh5t7m30djl0ecdn4f5vuzp7dx0tcwh7ncquqjkm4matj2p2zqpqm6at48.private,
-   *     player2: aleo1dreuxnmg9cny8ee9v2u0wr4v4affnwm09u2pytfwz0f2en2shgqsdsfjn6.private,
-   *     nonce: 660310649780728486489183263981322848354071976582883879926426319832534836534field.private
-   *   },
-   *   id: 1953278585719525811355617404139099418855053112960441725284031425961000152405field.private,
-   *   positions: 50794271u64.private,
-   *   attempts: 0u64.private,
-   *   hits: 0u64.private,
-   *   _nonce: 5668100912391182624073500093436664635767788874314097667746354181784048204413group.public
-   * }");
-   *
-   * let expected_object = {
-   *   owner: "aleo1kh5t7m30djl0ecdn4f5vuzp7dx0tcwh7ncquqjkm4matj2p2zqpqm6at48",
-   *   metadata: {
-   *     player1: "aleo1kh5t7m30djl0ecdn4f5vuzp7dx0tcwh7ncquqjkm4matj2p2zqpqm6at48",
-   *     player2: "aleo1dreuxnmg9cny8ee9v2u0wr4v4affnwm09u2pytfwz0f2en2shgqsdsfjn6",
-   *     nonce: "660310649780728486489183263981322848354071976582883879926426319832534836534field"
-   *   },
-   *   id: "1953278585719525811355617404139099418855053112960441725284031425961000152405field",
-   *   positions: 50794271,
-   *   attempts: 0,
-   *   hits: 0,
-   *   _nonce: "5668100912391182624073500093436664635767788874314097667746354181784048204413group"
-   * };
-   *
-   * # Create the expected object
-   * let record_plaintext_object = record_plaintext_wasm.to_js_object();
-   * assert(JSON.stringify(record_plaintext_object) == JSON.stringify(expected_object));
-   *
-   * @returns {Object} Javascript object representation of the record
+   * To bytes (LE).
    */
-  toJsObject(): object;
+  toBytesLe(): Uint8Array;
   /**
-   * Returns the record plaintext string
-   *
-   * @returns {string} String representation of the record plaintext
+   * From bits.
    */
-  toString(): string;
+  static fromBitsLe(bits: Array<any>): U16;
   /**
-   * Get a record plaintext object from a series of bytes.
-   *
-   * @param {Uint8Array} bytes A left endian byte array representing the record plaintext.
-   *
-   * @returns {RecordPlaintext} The record plaintext.
+   * To bits.
    */
-  static fromBytesLe(bytes: Uint8Array): RecordPlaintext;
+  toBitsLe(): Array<any>;
   /**
-   * Returns the left endian byte array representation of the record plaintext.
-   *
-   * @returns {Uint8Array} Byte array representation of the record plaintext.
+   * Checked absolute value.
    */
-  toBytesLe(): Uint8Array;
+  absChecked(): U16;
   /**
-   * Returns the left endian boolean array representation of the record plaintext bits.
-   *
-   * @returns {Array} Boolean array representation of the record plaintext bits.
+   * Wrapped absolute value.
    */
-  toBitsLe(): Array<any>;
+  absWrapped(): U16;
   /**
-   * Get the field array representation of the record plaintext.
+   * Wrapped addition.
    */
-  toFields(): Array<any>;
+  addWrapped(other: U16): U16;
   /**
-   * Returns the amount of microcredits in the record
-   *
-   * @returns {u64} Amount of microcredits in the record
+   * Wrapped subtraction.
    */
-  microcredits(): bigint;
+  subWrapped(other: U16): U16;
   /**
-   * Returns the nonce of the record. This can be used to uniquely identify a record.
-   *
-   * @returns {string} Nonce of the record
+   * Wrapped multiplication.
    */
-  nonce(): string;
+  mulWrapped(other: U16): U16;
   /**
-   * Attempt to get the serial number of a record to determine whether or not is has been spent
-   *
-   * @param {PrivateKey} private_key Private key of the account that owns the record
-   * @param {string} program_id Program ID of the program that the record is associated with
-   * @param {string} record_name Name of the record
-   * @param {string} record_view_key The string representation of the record view key.
-   *
-   * @returns {string} Serial number of the record
+   * Wrapped division.
    */
-  serialNumberString(private_key: PrivateKey, program_id: string, record_name: string, record_view_key: string): string;
+  divWrapped(other: U16): U16;
   /**
-   * Get the tag of the record using the graph key.
+   * Power to a u8 exponent.
    */
-  tag(graph_key: GraphKey, commitment: Field): Field;
+  powU8(exponent: U8): U16;
   /**
-   * Generate the record view key. The record view key can only decrypt record if the
-   * supplied view key belongs to the record owner.
-   *
-   * @param {ViewKey} view_key View key used to generate the record view key
-   *
-   * @returns {Group} record view key
+   * Power to a u16 exponent.
    */
-  recordViewKey(view_key: ViewKey): Field;
-}
-/**
- * Scalar field element.
- */
-export class Scalar {
-  private constructor();
-  free(): void;
+  powU16(exponent: U16): U16;
   /**
-   * Creates a scalar object from a string representation of a scalar element.
+   * Power to a u32 exponent.
    */
-  static fromString(group: string): Scalar;
+  powU32(exponent: U32): U16;
   /**
-   * Returns the string representation of the scalar element.
+   * Negates the integer (e.g., 5 → -5).
    */
-  toString(): string;
+  neg(): U16;
   /**
-   * Create a scalar element from a Uint8Array of left endian bytes.
+   * Checks equality with another integer.
    */
-  static fromBytesLe(bytes: Uint8Array): Scalar;
+  equals(other: U16): boolean;
   /**
-   * Encode the scalar element as a Uint8Array of left endian bytes.
+   * Remainder.
    */
-  toBytesLe(): Uint8Array;
+  rem(other: U16): U16;
   /**
-   * Reconstruct a scalar element from a boolean array representation.
+   * Wrapped remainder.
    */
-  static fromBitsLe(bits: Array<any>): Scalar;
+  remWrapped(other: U16): U16;
   /**
-   * Get the left endian boolean array representation of the scalar element.
+   * Convert to Scalar.
    */
-  toBitsLe(): Array<any>;
+  toScalar(): Scalar;
   /**
-   * Create a plaintext element from a scalar element.
+   * Convert to plaintext.
    */
   toPlaintext(): Plaintext;
   /**
-   * Clone the scalar element.
+   * Convert from Field.
    */
-  clone(): Scalar;
+  static fromField(field: Field): U16;
   /**
-   * Generate a random scalar element.
+   * Convert from Fields.
    */
-  static random(): Scalar;
+  static fromFields(fields: Array<any>): U16;
   /**
-   * Add two scalar elements.
+   * Clone.
    */
-  add(other: Scalar): Scalar;
+  clone(): U16;
+}
+export class U32 {
+  private constructor();
+  free(): void;
   /**
-   * Subtract two scalar elements.
+   * Creates from string.
    */
-  subtract(other: Scalar): Scalar;
+  static fromString(s: string): U32;
   /**
-   * Multiply two scalar elements.
+   * To string.
    */
-  multiply(other: Scalar): Scalar;
+  toString(): string;
   /**
-   * Divide two scalar elements.
+   * From bytes (LE).
    */
-  divide(other: Scalar): Scalar;
+  static fromBytesLe(bytes: Uint8Array): U32;
   /**
-   * Double the scalar element.
+   * To bytes (LE).
    */
-  double(): Scalar;
+  toBytesLe(): Uint8Array;
   /**
-   * Power of a scalar element.
+   * From bits.
    */
-  pow(other: Scalar): Scalar;
+  static fromBitsLe(bits: Array<any>): U32;
   /**
-   * Invert the scalar element.
+   * To bits.
    */
-  inverse(): Scalar;
+  toBitsLe(): Array<any>;
   /**
-   * Get the multiplicative identity of the scalar field.
+   * Checked absolute value.
    */
-  static one(): Scalar;
+  absChecked(): U32;
   /**
-   * Get the additive identity of the scalar field.
+   * Wrapped absolute value.
    */
-  static zero(): Scalar;
+  absWrapped(): U32;
   /**
-   * Check if one scalar element equals another.
+   * Wrapped addition.
    */
-  equals(other: Scalar): boolean;
-}
-/**
- * Cryptographic signature of a message signed by an Aleo account
- */
-export class Signature {
-  private constructor();
-  free(): void;
+  addWrapped(other: U32): U32;
   /**
-   * Sign a message with a private key
-   *
-   * @param {PrivateKey} private_key The private key to sign the message with
-   * @param {Uint8Array} message Byte representation of the message to sign
-   * @returns {Signature} Signature of the message
+   * Wrapped subtraction.
    */
-  static sign(private_key: PrivateKey, message: Uint8Array): Signature;
+  subWrapped(other: U32): U32;
   /**
-   * Get an address from a signature.
-   *
-   * @returns {Address} Address object
+   * Wrapped multiplication.
    */
-  to_address(): Address;
+  mulWrapped(other: U32): U32;
   /**
-   * Get the challenge of a signature.
+   * Wrapped division.
    */
-  challenge(): Scalar;
+  divWrapped(other: U32): U32;
+  /**
+   * Power to a u8 exponent.
+   */
+  powU8(exponent: U8): U32;
+  /**
+   * Power to a u16 exponent.
+   */
+  powU16(exponent: U16): U32;
   /**
-   * Get the response of a signature.
+   * Power to a u32 exponent.
    */
-  response(): Scalar;
+  powU32(exponent: U32): U32;
   /**
-   * Verify a signature of a message with an address
-   *
-   * @param {Address} address The address to verify the signature with
-   * @param {Uint8Array} message Byte representation of the message to verify
-   * @returns {boolean} True if the signature is valid, false otherwise
+   * Negates the integer (e.g., 5 → -5).
    */
-  verify(address: Address, message: Uint8Array): boolean;
+  neg(): U32;
   /**
-   * Get a signature from a series of bytes.
-   *
-   * @param {Uint8Array} bytes A left endian byte array representing the signature.
-   *
-   * @returns {Signature} The signature object.
+   * Checks equality with another integer.
    */
-  static fromBytesLe(bytes: Uint8Array): Signature;
+  equals(other: U32): boolean;
   /**
-   * Get the left endian byte array representation of the signature.
+   * Remainder.
    */
-  toBytesLe(): Uint8Array;
+  rem(other: U32): U32;
   /**
-   * Get a signature from a series of bits represented as a boolean array.
-   *
-   * @param {Array} bits A left endian boolean array representing the bits of the signature.
-   *
-   * @returns {Signature} The signature object.
+   * Wrapped remainder.
    */
-  static fromBitsLe(bits: Array<any>): Signature;
+  remWrapped(other: U32): U32;
   /**
-   * Get the left endian boolean array representation of the bits of the signature.
+   * Convert to Scalar.
    */
-  toBitsLe(): Array<any>;
+  toScalar(): Scalar;
   /**
-   * Get the field array representation of the signature.
+   * Convert to plaintext.
    */
-  toFields(): Array<any>;
+  toPlaintext(): Plaintext;
   /**
-   * Get a signature from a string representation of a signature
-   *
-   * @param {string} signature String representation of a signature
-   * @returns {Signature} Signature
+   * Convert from Field.
    */
-  static from_string(signature: string): Signature;
+  static fromField(field: Field): U32;
   /**
-   * Get a string representation of a signature
-   *
-   * @returns {string} String representation of a signature
+   * Convert from Fields.
    */
-  to_string(): string;
+  static fromFields(fields: Array<any>): U32;
   /**
-   * Get the plaintext representation of the signature.
+   * Clone.
    */
-  toPlaintext(): Plaintext;
+  clone(): U32;
 }
-/**
- * Webassembly Representation of an Aleo transaction
- *
- * This object is created when generating an on-chain function deployment or execution and is the
- * object that should be submitted to the Aleo Network in order to deploy or execute a function.
- */
-export class Transaction {
+export class U64 {
   private constructor();
   free(): void;
   /**
-   * Create a transaction from a string
-   *
-   * @param {string} transaction String representation of a transaction
-   * @returns {Transaction}
+   * Creates from string.
    */
-  static fromString(transaction: string): Transaction;
+  static fromString(s: string): U64;
   /**
-   * Create a transaction from a Uint8Array of left endian bytes.
-   *
-   * @param {Uint8Array} Uint8Array of left endian bytes encoding a Transaction.
-   * @returns {Transaction}
+   * To string.
    */
-  static fromBytesLe(bytes: Uint8Array): Transaction;
+  toString(): string;
   /**
-   * Get the transaction as a string. If you want to submit this transaction to the Aleo Network
-   * this function will create the string that should be submitted in the `POST` data.
-   *
-   * @returns {string} String representation of the transaction
+   * From bytes (LE).
    */
-  toString(): string;
+  static fromBytesLe(bytes: Uint8Array): U64;
   /**
-   * Get the transaction as a Uint8Array of left endian bytes.
-   *
-   * @returns {Uint8Array} Uint8Array representation of the transaction
+   * To bytes (LE).
    */
   toBytesLe(): Uint8Array;
   /**
-   * Returns true if the transaction contains the given serial number.
-   *
-   * @param {boolean} True if the transaction contains the given serial number.
+   * From bits.
    */
-  constainsSerialNumber(serial_number: Field): boolean;
+  static fromBitsLe(bits: Array<any>): U64;
   /**
-   * Returns true if the transaction contains the given commitment.
-   *
-   * @param {boolean} True if the transaction contains the given commitment.
+   * To bits.
    */
-  constainsCommitment(commitment: Field): boolean;
+  toBitsLe(): Array<any>;
   /**
-   * Find a record in the transaction by the record's commitment.
+   * Checked absolute value.
    */
-  findRecord(commitment: Field): RecordCiphertext | undefined;
+  absChecked(): U64;
   /**
-   * Returns the transaction's base fee.
+   * Wrapped absolute value.
    */
-  baseFeeAmount(): bigint;
+  absWrapped(): U64;
   /**
-   * Returns the transaction's total fee.
+   * Wrapped addition.
    */
-  feeAmount(): bigint;
+  addWrapped(other: U64): U64;
   /**
-   * Returns the transaction's priority fee.
-   *
-   * returns {bigint} The transaction's priority fee.
+   * Wrapped subtraction.
    */
-  priorityFeeAmount(): bigint;
+  subWrapped(other: U64): U64;
   /**
-   * Returns true if the transaction is a deployment transaction.
-   *
-   * @returns {boolean} True if the transaction is a deployment transaction
+   * Wrapped multiplication.
    */
-  isDeploy(): boolean;
+  mulWrapped(other: U64): U64;
   /**
-   * Returns true if the transaction is an execution transaction.
-   *
-   * @returns {boolean} True if the transaction is an execution transaction
+   * Wrapped division.
    */
-  isExecute(): boolean;
+  divWrapped(other: U64): U64;
   /**
-   * Returns true if the transaction is a fee transaction.
-   *
-   * @returns {boolean} True if the transaction is a fee transaction
+   * Power to a u8 exponent.
    */
-  isFee(): boolean;
+  powU8(exponent: U8): U64;
   /**
-   * Returns the program deployed within the transaction if the transaction is a deployment
-   * transaction.
-   *
-   * @returns {Program | undefined} The program deployed within the transaction.
+   * Power to a u16 exponent.
    */
-  deployedProgram(): Program | undefined;
+  powU16(exponent: U16): U64;
   /**
-   * Returns the execution within the transaction (if present).
-   *
-   * @returns {Execution | undefined} The execution within the transaction.
+   * Power to a u32 exponent.
    */
-  execution(): Execution | undefined;
+  powU32(exponent: U32): U64;
   /**
-   * Get the record plaintext present in a transaction owned by a specific view key.
-   *
-   * @param {ViewKey} view_key View key used to decrypt the ciphertext
-   *
-   * @returns {Array<RecordPlaintext>} Array of record plaintext objects
+   * Negates the integer (e.g., 5 → -5).
    */
-  ownedRecords(view_key: ViewKey): Array<any>;
+  neg(): U64;
   /**
-   * Get the records present in a transaction and their commitments.
-   *
-   * @returns {Array<{commitment: Field, record: RecordCiphertext}>} Array of record ciphertext objects
+   * Checks equality with another integer.
    */
-  records(): Array<any>;
+  equals(other: U64): boolean;
   /**
-   * Get a summary of the transaction within a javascript object.
-   *
-   * If the transaction is an execution transaction, this function will return a list of the
-   * transitions and their inputs and outputs.
-   *
-   * If the transaction is a deployment transaction, this function will return the program id and
-   * a list of the functions and their verifying keys, constraint, and variable counts.
-   *
-   * @param {boolean} convert_to_js If true the inputs and outputs will be converted to JS objects,
-   * if false the inputs and outputs will be in wasm format.
-   *
-   * @returns {Object} Transaction summary
+   * Remainder.
    */
-  summary(convert_to_js: boolean): object;
+  rem(other: U64): U64;
   /**
-   * Get the id of the transaction. This is the merkle root of the transaction's inclusion proof.
-   *
-   * This value can be used to query the status of the transaction on the Aleo Network to see
-   * if it was successful. If successful, the transaction will be included in a block and this
-   * value can be used to lookup the transaction data on-chain.
-   *
-   * @returns {string} TransactionId
+   * Wrapped remainder.
    */
-  id(): string;
+  remWrapped(other: U64): U64;
   /**
-   * Get the type of the transaction (will return "deploy" or "execute")
-   *
-   * @returns {string} Transaction type
+   * Convert to Scalar.
    */
-  transactionType(): string;
+  toScalar(): Scalar;
   /**
-   * Get the transitions in a transaction.
-   *
-   * @returns {Array<Transition>} Array of transition objects
+   * Convert to plaintext.
    */
-  transitions(): Array<any>;
+  toPlaintext(): Plaintext;
   /**
-   * Get the verifying keys in a transaction.
-   *
-   * @returns {Array<Object>} Array of verifying keys.
+   * Convert from Field.
    */
-  verifyingKeys(): Array<any>;
+  static fromField(field: Field): U64;
+  /**
+   * Convert from Fields.
+   */
+  static fromFields(fields: Array<any>): U64;
+  /**
+   * Clone.
+   */
+  clone(): U64;
 }
-export class Transition {
+export class U8 {
   private constructor();
   free(): void;
   /**
-   * Get the transition ID
-   *
-   * @returns {string} The transition ID
+   * Creates from string.
    */
-  id(): string;
+  static fromString(s: string): U8;
   /**
-   * Create a transition from a string
-   *
-   * @param {string} transition String representation of a transition
-   * @returns {Transition}
+   * To string.
    */
-  static fromString(transition: string): Transition;
+  toString(): string;
   /**
-   * Create a transition from a Uint8Array of left endian bytes.
-   *
-   * @param {Uint8Array} Uint8Array of left endian bytes encoding a Transition.
-   * @returns {Transition}
+   * From bytes (LE).
    */
-  static fromBytesLe(bytes: Uint8Array): Transition;
+  static fromBytesLe(bytes: Uint8Array): U8;
   /**
-   * Get the transition as a string. If you want to submit this transition to the Aleo Network
-   * this function will create the string that should be submitted in the `POST` data.
-   *
-   * @returns {string} String representation of the transition
+   * To bytes (LE).
    */
-  toString(): string;
+  toBytesLe(): Uint8Array;
   /**
-   * Get the transition as a Uint8Array of left endian bytes.
-   *
-   * @returns {Uint8Array} Uint8Array representation of the transition
+   * From bits.
    */
-  toBytesLe(): Uint8Array;
+  static fromBitsLe(bits: Array<any>): U8;
   /**
-   * Get the program ID of the transition.
+   * To bits.
    */
-  programId(): string;
+  toBitsLe(): Array<any>;
   /**
-   * Get the function name of the transition.
+   * Checked absolute value.
    */
-  functionName(): string;
+  absChecked(): U8;
   /**
-   * Returns true if the transition contains the given commitment.
-   *
-   * @param {boolean} True if the transition contains the given commitment.
+   * Wrapped absolute value.
    */
-  containsCommitment(commitment: Field): boolean;
+  absWrapped(): U8;
   /**
-   * Check if the transition contains a serial number.
-   *
-   * @param {Field} serial_number The serial number to check for
-   *
-   * @returns {bool} True if the transition contains a serial number, false otherwise
+   * Wrapped addition.
    */
-  containsSerialNumber(serial_number: Field): boolean;
+  addWrapped(other: U8): U8;
   /**
-   * Find a record in the transition by the record's commitment.
+   * Wrapped subtraction.
    */
-  findRecord(commitment: Field): RecordCiphertext | undefined;
+  subWrapped(other: U8): U8;
   /**
-   * Get the record plaintext present in a transition owned by a specific view key.
-   *
-   * @param {ViewKey} view_key The view key of the record owner.
-   *
-   * @returns {Array<RecordPlaintext>} Array of record plaintext objects
+   * Wrapped multiplication.
    */
-  ownedRecords(view_key: ViewKey): Array<any>;
+  mulWrapped(other: U8): U8;
   /**
-   * Get the records present in a transition and their commitments.
-   *
-   * @returns {Array<{commitment: Field, record: RecordCiphertext}>} Array of record ciphertext objects
+   * Wrapped division.
    */
-  records(): Array<any>;
+  divWrapped(other: U8): U8;
   /**
-   * Get the inputs of the transition.
-   *
-   * @param {bool} convert_to_js If true the inputs will be converted to JS objects, if false
-   * the inputs will be in wasm format.
-   *
-   * @returns {Array} Array of inputs
+   * Power to a u8 exponent.
    */
-  inputs(convert_to_js: boolean): Array<any>;
+  powU8(exponent: U8): U8;
   /**
-   * Get the outputs of the transition.
-   *
-   * @param {bool} convert_to_js If true the outputs will be converted to JS objects, if false
-   * the outputs will be in wasm format.
-   *
-   * @returns {Array} Array of outputs
+   * Power to a u16 exponent.
    */
-  outputs(convert_to_js: boolean): Array<any>;
+  powU16(exponent: U16): U8;
   /**
-   * Get the transition public key of the transition.
-   *
-   * @returns {Group} Transition public key
+   * Power to a u32 exponent.
    */
-  tpk(): Group;
+  powU32(exponent: U32): U8;
   /**
-   * Get the transition view key of the transition.
-   *
-   * @param {ViewKey} view_key The view key of the transition signer.
-   *
-   * @returns {Field} Transition view key
+   * Negates the integer (e.g., 5 → -5).
    */
-  tvk(view_key: ViewKey): Field;
+  neg(): U8;
   /**
-   * Get the transition commitment of the transition.
-   *
-   * @returns {Field} Transition commitment
+   * Checks equality with another integer.
    */
-  tcm(): Field;
+  equals(other: U8): boolean;
   /**
-   * Get the transition signer commitment of the transition.
-   *
-   * @returns {Field} Transition signer commitment
+   * Remainder.
    */
-  scm(): Field;
+  rem(other: U8): U8;
   /**
-   * Decrypt the transition using the transition view key.
-   *
-   * @param {Field} tvk The transition view key.
-   *
-   * @returns {Transition} The transition with public values for inputs and outputs.
+   * Wrapped remainder.
    */
-  decryptTransition(tvk: Field): Transition;
+  remWrapped(other: U8): U8;
+  /**
+   * Convert to Scalar.
+   */
+  toScalar(): Scalar;
+  /**
+   * Convert to plaintext.
+   */
+  toPlaintext(): Plaintext;
+  /**
+   * Convert from Field.
+   */
+  static fromField(field: Field): U8;
+  /**
+   * Convert from Fields.
+   */
+  static fromFields(fields: Array<any>): U8;
+  /**
+   * Clone.
+   */
+  clone(): U8;
 }
 /**
  * Verifying key for a function within an Aleo program
@@ -3048,6 +4084,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
    *