@provablehq/wasm 0.10.0-rc → 0.10.1

package/dist/mainnet/aleo_wasm.d.ts

@@ -2,6 +2,18 @@
 /* eslint-disable */
 export function runRayonThread(receiver: number): void;
 export function initThreadPool(url: URL, num_threads: number): Promise<void>;
+/**
+ * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
+ *
+ * This function verifies a batch proof produced by Aleo programs that may not be deployed on chain.
+ * Each verifying key is paired with one or more sets of public inputs (instances).
+ *
+ * @param {Array<string>} verifying_keys Array of verifying key strings, one per circuit
+ * @param {Array<Array<Array<string>>>} inputs 3D array of field element strings [circuit_idx][instance_idx][field_idx]
+ * @param {Proof} proof The batch proof to verify
+ * @returns {boolean} True if the batch proof is valid, false otherwise
+ */
+export function snarkVerifyBatch(verifying_keys: Array<any>, inputs: Array<any>, proof: Proof): boolean;
 /**
  * Verify an execution. Executions with multiple transitions must have the program source code and
  * verifying keys of imported functions supplied from outside to correctly verify. Also, this does
@@ -16,12 +28,38 @@ export function initThreadPool(url: URL, num_threads: number): Promise<void>;
  * @returns {boolean} True if the execution is valid, false otherwise
  */
 export function verifyFunctionExecution(execution: Execution, verifying_key: VerifyingKey, program: Program, function_id: string, imports: object | null | undefined, imported_verifying_keys: object | null | undefined, block_height: number): boolean;
+/**
+ * Verify a SNARK proof against a verifying key and public inputs.
+ *
+ * This function verifies a proof produced by an Aleo program that may not be deployed on chain.
+ * It directly invokes the Varuna proof verification from snarkVM.
+ *
+ * @param {VerifyingKey} verifying_key The verifying key for the circuit
+ * @param {Array<string>} inputs Array of field element strings representing public inputs (e.g. ["1field", "2field"])
+ * @param {Proof} proof The proof to verify
+ * @returns {boolean} True if the proof is valid, false otherwise
+ */
+export function snarkVerify(verifying_key: VerifyingKey, inputs: Array<any>, proof: Proof): boolean;
+/**
+ * Set test consensus version heights for testing.
+ *
+ * @param {string | undefined} heights The block heights at which each consensus version applies. This input should be a simple csv list of block heights and there should be one number for each consensus version. If left undefined, the default test heights will be applied.
+ *
+ * @example
+ * import { getOrInitConsensusVersionTestHeights } from '@provablehq/sdk';
+ *
+ * Set the consensus version heights.
+ * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13");
+ */
+export function getOrInitConsensusVersionTestHeights(heights?: string | null): Array<any>;
+export function stringToField(string: string): Field;
 /**
  * Public address of an Aleo account
  */
 export class Address {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Get an address object from a group.
    *
@@ -43,9 +81,10 @@ export class Address {
    */
   static fromFields(fields: Array<any>): Address;
   /**
-   * Create an aleo address object from a string representation of an address
+   * Create an aleo address object from a string representation of an address.
+   * The input is automatically lowercased before parsing.
    *
-   * @param {string} address String representation of an addressm
+   * @param {string} address String representation of an address
    * @returns {Address} Address
    */
   static from_string(address: string): Address;
@@ -53,6 +92,14 @@ export class Address {
    * Get the left endian byte array representation of the address.
    */
   toBytesLe(): Uint8Array;
+  /**
+   * Cast the address to an I8 with lossy truncation.
+   */
+  toI8Lossy(): I8;
+  /**
+   * Cast the address to a U8 with lossy truncation.
+   */
+  toU8Lossy(): U8;
   /**
    * Get an address from a series of bits represented as a boolean array.
    *
@@ -61,10 +108,40 @@ export class Address {
    * @returns {Address} The address object.
    */
   static fromBitsLe(bits: Array<any>): Address;
+  /**
+   * Cast the address to an I16 with lossy truncation.
+   */
+  toI16Lossy(): I16;
+  /**
+   * Cast the address to an I32 with lossy truncation.
+   */
+  toI32Lossy(): I32;
+  /**
+   * Cast the address to an I64 with lossy truncation.
+   */
+  toI64Lossy(): I64;
   /**
    * Get the plaintext representation of the address.
    */
   toPlaintext(): Plaintext;
+  /**
+   * Get a string representation of an Aleo address object
+   *
+   * @returns {string} String representation of the address
+   */
+  toString(): string;
+  /**
+   * Cast the address to a U16 with lossy truncation.
+   */
+  toU16Lossy(): U16;
+  /**
+   * Cast the address to a U32 with lossy truncation.
+   */
+  toU32Lossy(): U32;
+  /**
+   * Cast the address to a U64 with lossy truncation.
+   */
+  toU64Lossy(): U64;
   /**
    * Get an address from a series of bytes.
    *
@@ -80,6 +157,25 @@ export class Address {
    * @returns {Address} Address corresponding to the view key
    */
   static from_view_key(view_key: ViewKey): Address;
+  /**
+   * Cast the address to an I128 with lossy truncation.
+   */
+  toI128Lossy(): I128;
+  /**
+   * Cast the address to a U128 with lossy truncation.
+   */
+  toU128Lossy(): U128;
+  /**
+   * Get the address of a program based on the program ID.
+   *
+   * @param {string} program_id The program ID string.
+   * @returns {Address} The address corresponding to the program ID.
+   */
+  static fromProgramId(program_id: string): Address;
+  /**
+   * Cast the address to a Scalar with lossy truncation (via x-coordinate).
+   */
+  toScalarLossy(): Scalar;
   /**
    * Derive an Aleo address from a compute key.
    *
@@ -93,6 +189,10 @@ export class Address {
    * @returns {Address} Address corresponding to the private key
    */
   static from_private_key(private_key: PrivateKey): Address;
+  /**
+   * Cast the address to a Boolean with lossy truncation (LSB of x-coordinate).
+   */
+  toBooleanLossy(): Boolean;
   /**
    * Verify a signature for a message signed by the address
    *
@@ -100,6 +200,19 @@ export class Address {
    * @returns {boolean} Boolean representing whether or not the signature is valid
    */
   verify(message: Uint8Array, signature: Signature): boolean;
+  /**
+   * Check if the input is a valid Aleo address.
+   * String addresses are automatically lowercased before validation.
+   *
+   * @param {string | Uint8Array} address - Either a string representation of an address
+   *        or a Uint8Array of bytes in little-endian format.
+   * @returns {boolean} True if the input is a valid address, false otherwise.
+   */
+  static isValid(address: any): boolean;
+  /**
+   * Cast the address to a Field element (x-coordinate of the underlying group point).
+   */
+  toField(): Field;
   /**
    * Get the group representation of the address object.
    */
@@ -122,6 +235,7 @@ export class Address {
 export class Authorization {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Reconstructs an Authorization object from its string representation.
    *
@@ -144,6 +258,12 @@ export class Authorization {
    * @param {Uint8Array} bytes Left-endian bytes representing the Authorization.
    */
   static fromBytesLe(bytes: Uint8Array): Authorization;
+  /**
+   * Get the function name.
+   *
+   * @returns {string} The function name.
+   */
+  functionName(): string;
   /**
    * Returns `true` if the Authorization is for `credits.aleo/fee_public`.
    */
@@ -199,6 +319,7 @@ export class Authorization {
 }
 export class BHP1024 {
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Returns a BHP hash with an input hasher of 1024 bits.
    */
@@ -226,6 +347,7 @@ export class BHP1024 {
 }
 export class BHP256 {
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Returns a BHP hash with an input hasher of 256 bits.
    */
@@ -253,6 +375,7 @@ export class BHP256 {
 }
 export class BHP512 {
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Returns a BHP hash with an input hasher of 512 bits.
    */
@@ -280,6 +403,7 @@ export class BHP512 {
 }
 export class BHP768 {
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Returns a BHP hash with an input hasher of 768 bits.
    */
@@ -310,6 +434,11 @@ export class BHP768 {
  */
 export class Boolean {
   free(): void;
+  [Symbol.dispose](): void;
+  /**
+   * Cast the boolean to an Address (strict, via Group). Returns an error if conversion fails.
+   */
+  toAddress(): Address;
   /**
    * Get the left endian boolean array representation of the boolean element.
    */
@@ -334,6 +463,15 @@ export class Boolean {
    * Create a boolean element from a Uint8Array of left endian bytes.
    */
   static fromBytesLe(bytes: Uint8Array): Boolean;
+  /**
+   * Cast the boolean to a Group element (lossy, via Field with Elligator-2 fallback).
+   * This conversion never fails.
+   */
+  toGroupLossy(): Group;
+  /**
+   * Cast the boolean to an Address (lossy, via Group with Elligator-2 fallback).
+   */
+  toAddressLossy(): Address;
   /**
    * Logical OR.
    */
@@ -366,6 +504,14 @@ export class Boolean {
    * Clone the boolean element.
    */
   clone(): Boolean;
+  /**
+   * Cast the boolean to an I8 (false=0, true=1).
+   */
+  toI8(): I8;
+  /**
+   * Cast the boolean to a U8 (false=0, true=1).
+   */
+  toU8(): U8;
   /**
    * Check if one boolean element equals another.
    */
@@ -374,6 +520,51 @@ export class Boolean {
    * Generate a random boolean element.
    */
   static random(): Boolean;
+  /**
+   * Cast the boolean to an I16 (false=0, true=1).
+   */
+  toI16(): I16;
+  /**
+   * Cast the boolean to an I32 (false=0, true=1).
+   */
+  toI32(): I32;
+  /**
+   * Cast the boolean to an I64 (false=0, true=1).
+   */
+  toI64(): I64;
+  /**
+   * Cast the boolean to a U16 (false=0, true=1).
+   */
+  toU16(): U16;
+  /**
+   * Cast the boolean to a U32 (false=0, true=1).
+   */
+  toU32(): U32;
+  /**
+   * Cast the boolean to a U64 (false=0, true=1).
+   */
+  toU64(): U64;
+  /**
+   * Cast the boolean to an I128 (false=0, true=1).
+   */
+  toI128(): I128;
+  /**
+   * Cast the boolean to a U128 (false=0, true=1).
+   */
+  toU128(): U128;
+  /**
+   * Cast the boolean to a Field element (false=0, true=1). Lossless.
+   */
+  toField(): Field;
+  /**
+   * Cast the boolean to a Group element (strict, via Field x-coordinate recovery).
+   * Returns an error if the resulting field is not a valid x-coordinate.
+   */
+  toGroup(): Group;
+  /**
+   * Cast the boolean to a Scalar element (false=0, true=1). Lossless.
+   */
+  toScalar(): Scalar;
   /**
    * Returns the string representation of the boolean element.
    */
@@ -387,6 +578,7 @@ export class Boolean {
 export class Ciphertext {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Get the left endian boolean array representation of the bits of the ciphertext.
    */
@@ -488,6 +680,7 @@ export class Ciphertext {
 export class ComputeKey {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Create a new compute key from a private key.
    *
@@ -521,9 +714,72 @@ export class ComputeKey {
    */
   address(): Address;
 }
+/**
+ * A fixed-size representation of an Aleo record. Like static records, a dynamic record
+ * contains an owner, nonce, and a version, but instead of storing the full data it only
+ * stores the Merkle root of the data, ensuring all dynamic records have a constant size.
+ */
+export class DynamicRecord {
+  private constructor();
+  free(): void;
+  [Symbol.dispose](): void;
+  /**
+   * Returns the dynamic record as a little-endian bit array (JS Array of booleans).
+   */
+  toBitsLe(): Array<any>;
+  /**
+   * Creates a DynamicRecord from a RecordPlaintext.
+   */
+  static fromRecord(record: RecordPlaintext): DynamicRecord;
+  /**
+   * Creates a DynamicRecord from its string representation.
+   */
+  static fromString(s: string): DynamicRecord;
+  /**
+   * Serializes the dynamic record to a little-endian byte array (Uint8Array).
+   */
+  toBytesLe(): Uint8Array;
+  /**
+   * Deserializes a DynamicRecord from a little-endian byte array (Uint8Array).
+   */
+  static fromBytesLe(bytes: Uint8Array): DynamicRecord;
+  /**
+   * Returns the Merkle root of the record data as a Field.
+   */
+  root(): Field;
+  /**
+   * Returns the nonce of the record as a Group.
+   */
+  nonce(): Group;
+  /**
+   * Returns the owner address of the dynamic record.
+   */
+  owner(): Address;
+  /**
+   * Returns `true` if the dynamic record is a hiding variant (version != 0).
+   */
+  isHiding(): boolean;
+  /**
+   * Returns the dynamic record as an array of field elements.
+   */
+  toFields(): Array<any>;
+  /**
+   * Converts this DynamicRecord back to a RecordPlaintext.
+   * `owner_is_private` controls whether the owner field uses private or public visibility.
+   */
+  toRecord(owner_is_private: boolean): RecordPlaintext;
+  /**
+   * Returns the string representation of the dynamic record.
+   */
+  toString(): string;
+}
+/**
+ * EncryptionToolkit provides a set of functions for encrypting, decrypting, and generating individual view keys for records, transitions, and ciphertexts.
+ */
 export class EncryptionToolkit {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Generates a transition view key from the view key and the transition public key.
    *
@@ -533,6 +789,16 @@ export class EncryptionToolkit {
    * @returns {Field} The transition view key.
    */
   static generateTvk(view_key: ViewKey, tpk: Group): Field;
+  /**
+   * Decrypt the sender ciphertext associated with a record.
+   *
+   * @param {ViewKey} view_key View key associated with the record.
+   * @param {RecordPlaintext} record Record plaintext associated with a sender.
+   * @param {Field} sender_ciphertext Sender ciphertext associated with the record.
+   *
+   * @returns {Address} address of the sender.
+   */
+  static decryptSender(view_key: ViewKey, record: RecordPlaintext, sender_ciphertext: Field): Address;
   /**
    * Checks if a record ciphertext is owned by the given view key.
    *
@@ -551,6 +817,15 @@ export class EncryptionToolkit {
    * @returns {vec<RecordPlaintext>} The decrypted record plaintexts.
    */
   static decryptOwnedRecords(view_key: ViewKey, records: RecordCiphertext[]): RecordPlaintext[];
+  /**
+   * Decrypt the sender ciphertext associated with the record with the record view key.
+   *
+   * @param {Field} record_view_key Record view key associated with the record.
+   * @param {Field} sender_ciphertext Sender ciphertext associated with the record.
+   *
+   * @return {Address} the address of the sender.
+   */
+  static decryptSenderWithRvk(record_view_key: Field, sender_ciphertext: Field): Address;
   /**
    * Creates a record view key from the view key.  This can be later be used to decrypt a
    *
@@ -587,6 +862,7 @@ export class EncryptionToolkit {
 export class Execution {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Creates an execution object from a string representation of an execution.
    *
@@ -621,6 +897,7 @@ export class Execution {
 export class ExecutionRequest {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Returns the network ID.
    */
@@ -639,6 +916,14 @@ export class ExecutionRequest {
    * Returns the bytes representation of the request.
    */
   toBytesLe(): Uint8Array;
+  /**
+   * Alias for `sk_tag` (camelCase).
+   */
+  skTag(): Field;
+  /**
+   * Alias for `to_tpk` (camelCase).
+   */
+  toTpk(): Group;
   /**
    * Creates an request object from a bytes representation of an request.
    */
@@ -647,6 +932,56 @@ export class ExecutionRequest {
    * Returns the function name.
    */
   function_name(): string;
+  /**
+   * Alias for `input_ids` (camelCase).
+   */
+  inputIds(): Array<any>;
+  /**
+   * Alias for `network_id` (camelCase).
+   */
+  networkId(): number;
+  /**
+   * Alias for `program_id` (camelCase).
+   */
+  programId(): string;
+  /**
+   * Alias for `function_name` (camelCase).
+   */
+  functionName(): string;
+  /**
+   * Builds a request from externally-signed data using externally-supplied record view keys.
+   *
+   * For record inputs, the caller provides `record_view_keys` and `gammas` directly.
+   * The method uses these to compute commitment, serial number, tag, and InputID for each record.
+   *
+   * @param {string} program_id The id of the program.
+   * @param {string} function_name The function name.
+   * @param {string[]} inputs The inputs to the function.
+   * @param {string[]} input_types The input types of the function.
+   * @param {Signature} signature The externally-computed signature.
+   * @param {Field} tvk The transition view key.
+   * @param {Address} signer The signer address.
+   * @param {Field} sk_tag The tag secret key.
+   * @param {Field[] | undefined} record_view_keys Pre-computed record view keys (required when there are record inputs).
+   * @param {Group[] | undefined} gammas An array of gammas (required when there are record inputs).
+   */
+  static fromExternallySignedData(program_id: string, function_name: string, inputs: Array<any>, input_types: Array<any>, signature: Signature, tvk: Field, signer: Address, sk_tag: Field, record_view_keys?: Array<any> | null, gammas?: Array<any> | null): ExecutionRequest;
+  /**
+   * Computes the function ID and serialized input data for a program function call.
+   * This is a helper for external signing wallets and other applications that need to compute
+   * publicly computable inputs for the `Request::sign` function.
+   *
+   * @param {string} program_id The id of the program.
+   * @param {string} function_name The function name.
+   * @param {string[]} input_types The input types of the function as strings.
+   * @param {string[]} inputs The inputs to the function as strings.
+   * @param {boolean} is_root Flag to indicate if this is the top level function in the call graph.
+   * @param {Field | undefined} program_checksum The program checksum (required if the program has a constructor).
+   * @param {ViewKey | undefined} view_key The view key of the signer to compute a record's tag and h values.
+   *
+   * @returns {ExternalSigningInput}
+   */
+  static computeExternalSigningInputs(program_id: string, function_name: string, inputs: Array<any>, input_types: Array<any>, is_root: boolean, program_checksum?: Field | null, view_key?: ViewKey | null): object;
   /**
    * Returns the signer commitment `scm`.
    */
@@ -659,6 +994,46 @@ export class ExecutionRequest {
    * Returns the transition view key `tvk`.
    */
   tvk(): Field;
+  /**
+   * Builds a request from externally-signed data using a view key to derive record view keys.
+   *
+   * For record inputs, the method computes `record_view_key = (nonce * view_key).to_x_coordinate()`
+   * for each record, then uses it with the supplied `gammas` to compute commitment, serial number,
+   * tag, and InputID.
+   *
+   * @param {string} program_id The id of the program.
+   * @param {string} function_name The function name.
+   * @param {string[]} inputs The inputs to the function.
+   * @param {string[]} input_types The input types of the function.
+   * @param {Signature} signature The externally-computed signature.
+   * @param {Field} tvk The transition view key.
+   * @param {Address} signer The signer address.
+   * @param {Field} sk_tag The tag secret key.
+   * @param {ViewKey} view_key The view key of the signer.
+   * @param {Group[] | undefined} gammas An array of gammas (required when there are record inputs).
+   */
+  static fromExternallySignedDataWithViewKey(program_id: string, function_name: string, inputs: Array<any>, input_types: Array<any>, signature: Signature, tvk: Field, signer: Address, sk_tag: Field, view_key: ViewKey, gammas?: Array<any> | null): ExecutionRequest;
+  /**
+   * Builds a request from externally-signed data with pre-computed input IDs.
+   *
+   * Each element of `input_ids` is either:
+   * - A `Field` for constant, public, or private inputs (the input hash).
+   * - A JS Array `[Field, Group, Field, Field, Field]` for record inputs
+   *   (commitment, gamma, record_view_key, serial_number, tag).
+   *
+   * The `input_types` array is used to determine the InputID variant for scalar fields.
+   *
+   * @param {string} program_id The id of the program.
+   * @param {string} function_name The function name.
+   * @param {string[]} inputs The inputs to the function.
+   * @param {string[]} input_types The input types of the function.
+   * @param {Signature} signature The externally-computed signature.
+   * @param {Field} tvk The transition view key.
+   * @param {Address} signer The signer address.
+   * @param {Field} sk_tag The tag secret key.
+   * @param {(Field | [Field, Group, Field, Field, Field])[]} input_ids Pre-computed input IDs.
+   */
+  static fromExternallySignedDataWithInputIds(program_id: string, function_name: string, inputs: Array<any>, input_types: Array<any>, signature: Signature, tvk: Field, signer: Address, sk_tag: Field, input_ids: Array<any>): ExecutionRequest;
   /**
    * Create a new request by signing over a program ID and set of inputs.
    *
@@ -668,9 +1043,11 @@ export class ExecutionRequest {
    * @param {string[]} inputs The inputs to the function.
    * @param {string[]} input_types The input types of the function.
    * @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 {Field | undefined} program_checksum The checksum of the program. This is undefined if the call is not dynamic.
    * @param {boolean} is_root Flag to indicate if this is the top level function in the call graph.
+   * @param {boolean} is_dynamic Flag to indicate if this is a dynamic call.
    */
-  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;
+  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, is_dynamic: boolean): ExecutionRequest;
   /**
    * Returns the function inputs as an array of strings.
    */
@@ -690,12 +1067,17 @@ export class 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.
+   * @param {string[]} input_types The input types within the request.
+   * @param {boolean} is_root Flag to indicate whether this request is the first function in the call graph.
+   * @param {Field | undefined} program_checksum The checksum of the program. This is undefined if the call is not dynamic.
    */
   verify(input_types: Array<any>, is_root: boolean, program_checksum?: Field | null): boolean;
   /**
    * Returns the input IDs for the transition.
+   *
+   * Each element is either a WASM `Field` (for constant/public/private/external_record inputs)
+   * or a JS Array `[Field, Group, Field, Field, Field]` (for record inputs: commitment, gamma,
+   * record_view_key, serial_number, tag).
    */
   input_ids(): Array<any>;
   /**
@@ -718,6 +1100,7 @@ export class ExecutionRequest {
 export class ExecutionResponse {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Get the outputs of the executed function
    *
@@ -763,10 +1146,21 @@ export class ExecutionResponse {
 export class Field {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
+  /**
+   * Cast the field element to an Address (strict, via Group x-coordinate recovery).
+   * Returns an error if the field is not a valid x-coordinate on the curve.
+   */
+  toAddress(): Address;
   /**
    * Get the left endian boolean array representation of the field element.
    */
   toBitsLe(): Array<any>;
+  /**
+   * Cast the field element to a Boolean (strict).
+   * Returns an error if the field is not zero or one.
+   */
+  toBoolean(): Boolean;
   /**
    * Creates a field object from a string representation of a field element.
    */
@@ -775,18 +1169,82 @@ export class Field {
    * Encode the field element as a Uint8Array of left endian bytes.
    */
   toBytesLe(): Uint8Array;
+  /**
+   * Cast the field to an I8 with lossy truncation.
+   */
+  toI8Lossy(): I8;
+  /**
+   * Cast the field to a U8 with lossy truncation.
+   */
+  toU8Lossy(): U8;
   /**
    * Reconstruct a field element from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): Field;
+  /**
+   * Cast the field to an I16 with lossy truncation.
+   */
+  toI16Lossy(): I16;
+  /**
+   * Cast the field to an I32 with lossy truncation.
+   */
+  toI32Lossy(): I32;
+  /**
+   * Cast the field to an I64 with lossy truncation.
+   */
+  toI64Lossy(): I64;
   /**
    * Create a plaintext from the field element.
    */
   toPlaintext(): Plaintext;
+  /**
+   * Cast the field to a U16 with lossy truncation.
+   */
+  toU16Lossy(): U16;
+  /**
+   * Cast the field to a U32 with lossy truncation.
+   */
+  toU32Lossy(): U32;
+  /**
+   * Cast the field to a U64 with lossy truncation.
+   */
+  toU64Lossy(): U64;
   /**
    * Create a field element from a Uint8Array of left endian bytes.
    */
   static fromBytesLe(bytes: Uint8Array): Field;
+  /**
+   * Cast the field to an I128 with lossy truncation.
+   */
+  toI128Lossy(): I128;
+  /**
+   * Cast the field to a U128 with lossy truncation.
+   */
+  toU128Lossy(): U128;
+  /**
+   * Cast the field element to a Group element with lossy conversion.
+   *
+   * Uses the snarkVM cast_lossy path: tries x-coordinate recovery first,
+   * falls back to the generator for field == 1, and applies Elligator-2
+   * otherwise. This conversion never fails.
+   */
+  toGroupLossy(): Group;
+  /**
+   * Cast the field element to a Scalar with lossy truncation.
+   */
+  toScalarLossy(): Scalar;
+  /**
+   * Cast the field element to an Address with lossy conversion (via Group, Elligator-2 fallback).
+   */
+  toAddressLossy(): Address;
+  /**
+   * Cast the field element to a Boolean with lossy truncation (extracts least-significant bit).
+   */
+  toBooleanLossy(): Boolean;
+  /**
+   * Initializes a new field as a domain separator.
+   */
+  static newDomainSeparator(domain: string): Field;
   /**
    * Add two field elements.
    */
@@ -835,6 +1293,13 @@ export class Field {
    * Subtract two field elements.
    */
   subtract(other: Field): Field;
+  /**
+   * Cast the field element to a Group element (strict).
+   *
+   * Attempts to recover the group element from the field as an x-coordinate.
+   * Returns an error if the field is not a valid x-coordinate on the curve.
+   */
+  toGroup(): Group;
   /**
    * Returns the string representation of the field element.
    */
@@ -843,6 +1308,7 @@ export class Field {
 export class GraphKey {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Create a new graph key from a string representation of a graph key
    *
@@ -850,6 +1316,12 @@ export class GraphKey {
    * @returns {GraphKey} Graph key
    */
   static from_string(graph_key: string): GraphKey;
+  /**
+   * Get a string representation of a graph key
+   *
+   * @returns {string} String representation of a graph key
+   */
+  toString(): string;
   /**
    * Create a new graph key from a view key.
    *
@@ -874,6 +1346,15 @@ export class GraphKey {
 export class Group {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
+  /**
+   * Generate the group element from the x coordinate of the group.
+   */
+  static fromField(field: Field): Group;
+  /**
+   * Cast the group element to an Address (lossless — Address wraps Group).
+   */
+  toAddress(): Address;
   /**
    * Get the left endian boolean array representation of the group element.
    */
@@ -886,26 +1367,78 @@ export class Group {
    * Encode the group element as a Uint8Array of left endian bytes.
    */
   toBytesLe(): Uint8Array;
+  /**
+   * Cast the group to an I8 with lossy truncation.
+   */
+  toI8Lossy(): I8;
+  /**
+   * Cast the group to a U8 with lossy truncation.
+   */
+  toU8Lossy(): U8;
   /**
    * Reconstruct a group element from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): Group;
+  /**
+   * Cast the group to an I16 with lossy truncation.
+   */
+  toI16Lossy(): I16;
+  /**
+   * Cast the group to an I32 with lossy truncation.
+   */
+  toI32Lossy(): I32;
+  /**
+   * Cast the group to an I64 with lossy truncation.
+   */
+  toI64Lossy(): I64;
   /**
    * Create a plaintext element from a group element.
    */
   toPlaintext(): Plaintext;
+  /**
+   * Cast the group to a U16 with lossy truncation.
+   */
+  toU16Lossy(): U16;
+  /**
+   * Cast the group to a U32 with lossy truncation.
+   */
+  toU32Lossy(): U32;
+  /**
+   * Cast the group to a U64 with lossy truncation.
+   */
+  toU64Lossy(): U64;
   /**
    * Create a group element from a Uint8Array of left endian bytes.
    */
   static fromBytesLe(bytes: Uint8Array): Group;
+  /**
+   * Cast the group to an I128 with lossy truncation.
+   */
+  toI128Lossy(): I128;
+  /**
+   * Cast the group to a U128 with lossy truncation.
+   */
+  toU128Lossy(): U128;
   /**
    * Multiply a group element by a scalar element.
    */
   scalarMultiply(scalar: Scalar): Group;
+  /**
+   * Cast the group element to a Scalar with lossy truncation (via x-coordinate).
+   */
+  toScalarLossy(): Scalar;
   /**
    * Get the x-coordinate of the group element.
    */
   toXCoordinate(): Field;
+  /**
+   * Cast the group element to a Boolean with lossy truncation (LSB of x-coordinate).
+   */
+  toBooleanLossy(): Boolean;
+  /**
+   * Generate the group element from a string representation of the x coordinate of the group.
+   */
+  static fromFieldString(field: string): Group;
   /**
    * Add two group elements.
    */
@@ -939,6 +1472,11 @@ export class Group {
    * Subtract two group elements (equivalently: add the inverse of an element).
    */
   subtract(other: Group): Group;
+  /**
+   * Cast the group element to a Field (returns x-coordinate).
+   * This is an alias for `toXCoordinate()`.
+   */
+  toField(): Field;
   /**
    * Get the generator of the group.
    */
@@ -955,6 +1493,7 @@ export class Group {
 export class I128 {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Attempt to construct the integer from a field element.
    */
@@ -1003,18 +1542,66 @@ export class I128 {
    * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
+  /**
+   * Cast to I8 with lossy truncation.
+   */
+  toI8Lossy(): I8;
+  /**
+   * Cast to U8 with lossy truncation.
+   */
+  toU8Lossy(): U8;
   /**
    * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): I128;
+  /**
+   * Cast to I16 with lossy truncation.
+   */
+  toI16Lossy(): I16;
+  /**
+   * Cast to I32 with lossy truncation.
+   */
+  toI32Lossy(): I32;
+  /**
+   * Cast to I64 with lossy truncation.
+   */
+  toI64Lossy(): I64;
   /**
    * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
+  /**
+   * Cast to U16 with lossy truncation.
+   */
+  toU16Lossy(): U16;
+  /**
+   * Cast to U32 with lossy truncation.
+   */
+  toU32Lossy(): U32;
+  /**
+   * Cast to U64 with lossy truncation.
+   */
+  toU64Lossy(): U64;
   /**
    * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): I128;
+  /**
+   * Cast to I128 with lossy truncation.
+   */
+  toI128Lossy(): I128;
+  /**
+   * Cast to U128 with lossy truncation.
+   */
+  toU128Lossy(): U128;
+  /**
+   * Construct an integer from a field element with lossy truncation.
+   */
+  static fromFieldLossy(field: Field): I128;
+  /**
+   * Cast the integer to a Boolean with lossy truncation (extracts least-significant bit).
+   */
+  toBooleanLossy(): Boolean;
   /**
    * Negate the integer (e.g., 5 → -5).
    */
@@ -1043,6 +1630,10 @@ export class I128 {
    * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): I128;
+  /**
+   * Convert the integer to a Field element (lossless).
+   */
+  toField(): Field;
   /**
    * Convert the integer to a Scalar value.
    */
@@ -1055,6 +1646,7 @@ export class I128 {
 export class I16 {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Attempt to construct the integer from a field element.
    */
@@ -1103,18 +1695,66 @@ export class I16 {
    * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
+  /**
+   * Cast to I8 with lossy truncation.
+   */
+  toI8Lossy(): I8;
+  /**
+   * Cast to U8 with lossy truncation.
+   */
+  toU8Lossy(): U8;
   /**
    * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): I16;
+  /**
+   * Cast to I16 with lossy truncation.
+   */
+  toI16Lossy(): I16;
+  /**
+   * Cast to I32 with lossy truncation.
+   */
+  toI32Lossy(): I32;
+  /**
+   * Cast to I64 with lossy truncation.
+   */
+  toI64Lossy(): I64;
   /**
    * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
+  /**
+   * Cast to U16 with lossy truncation.
+   */
+  toU16Lossy(): U16;
+  /**
+   * Cast to U32 with lossy truncation.
+   */
+  toU32Lossy(): U32;
+  /**
+   * Cast to U64 with lossy truncation.
+   */
+  toU64Lossy(): U64;
   /**
    * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): I16;
+  /**
+   * Cast to I128 with lossy truncation.
+   */
+  toI128Lossy(): I128;
+  /**
+   * Cast to U128 with lossy truncation.
+   */
+  toU128Lossy(): U128;
+  /**
+   * Construct an integer from a field element with lossy truncation.
+   */
+  static fromFieldLossy(field: Field): I16;
+  /**
+   * Cast the integer to a Boolean with lossy truncation (extracts least-significant bit).
+   */
+  toBooleanLossy(): Boolean;
   /**
    * Negate the integer (e.g., 5 → -5).
    */
@@ -1143,6 +1783,10 @@ export class I16 {
    * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): I16;
+  /**
+   * Convert the integer to a Field element (lossless).
+   */
+  toField(): Field;
   /**
    * Convert the integer to a Scalar value.
    */
@@ -1155,6 +1799,7 @@ export class I16 {
 export class I32 {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Attempt to construct the integer from a field element.
    */
@@ -1202,19 +1847,67 @@ export class I32 {
   /**
    * Construct an integer from a byte array representation.
    */
-  toBytesLe(): Uint8Array;
+  toBytesLe(): Uint8Array;
+  /**
+   * Cast to I8 with lossy truncation.
+   */
+  toI8Lossy(): I8;
+  /**
+   * Cast to U8 with lossy truncation.
+   */
+  toU8Lossy(): U8;
+  /**
+   * Construct an integer from a boolean array representation.
+   */
+  static fromBitsLe(bits: Array<any>): I32;
+  /**
+   * Cast to I16 with lossy truncation.
+   */
+  toI16Lossy(): I16;
+  /**
+   * Cast to I32 with lossy truncation.
+   */
+  toI32Lossy(): I32;
+  /**
+   * Cast to I64 with lossy truncation.
+   */
+  toI64Lossy(): I64;
+  /**
+   * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
+   */
+  toPlaintext(): Plaintext;
+  /**
+   * Cast to U16 with lossy truncation.
+   */
+  toU16Lossy(): U16;
+  /**
+   * Cast to U32 with lossy truncation.
+   */
+  toU32Lossy(): U32;
+  /**
+   * Cast to U64 with lossy truncation.
+   */
+  toU64Lossy(): U64;
+  /**
+   * Get the byte array representation of the integer.
+   */
+  static fromBytesLe(bytes: Uint8Array): I32;
+  /**
+   * Cast to I128 with lossy truncation.
+   */
+  toI128Lossy(): I128;
   /**
-   * Construct an integer from a boolean array representation.
+   * Cast to U128 with lossy truncation.
    */
-  static fromBitsLe(bits: Array<any>): I32;
+  toU128Lossy(): U128;
   /**
-   * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
+   * Construct an integer from a field element with lossy truncation.
    */
-  toPlaintext(): Plaintext;
+  static fromFieldLossy(field: Field): I32;
   /**
-   * Get the byte array representation of the integer.
+   * Cast the integer to a Boolean with lossy truncation (extracts least-significant bit).
    */
-  static fromBytesLe(bytes: Uint8Array): I32;
+  toBooleanLossy(): Boolean;
   /**
    * Negate the integer (e.g., 5 → -5).
    */
@@ -1243,6 +1936,10 @@ export class I32 {
    * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): I32;
+  /**
+   * Convert the integer to a Field element (lossless).
+   */
+  toField(): Field;
   /**
    * Convert the integer to a Scalar value.
    */
@@ -1255,6 +1952,7 @@ export class I32 {
 export class I64 {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Attempt to construct the integer from a field element.
    */
@@ -1303,18 +2001,66 @@ export class I64 {
    * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
+  /**
+   * Cast to I8 with lossy truncation.
+   */
+  toI8Lossy(): I8;
+  /**
+   * Cast to U8 with lossy truncation.
+   */
+  toU8Lossy(): U8;
   /**
    * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): I64;
+  /**
+   * Cast to I16 with lossy truncation.
+   */
+  toI16Lossy(): I16;
+  /**
+   * Cast to I32 with lossy truncation.
+   */
+  toI32Lossy(): I32;
+  /**
+   * Cast to I64 with lossy truncation.
+   */
+  toI64Lossy(): I64;
   /**
    * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
+  /**
+   * Cast to U16 with lossy truncation.
+   */
+  toU16Lossy(): U16;
+  /**
+   * Cast to U32 with lossy truncation.
+   */
+  toU32Lossy(): U32;
+  /**
+   * Cast to U64 with lossy truncation.
+   */
+  toU64Lossy(): U64;
   /**
    * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): I64;
+  /**
+   * Cast to I128 with lossy truncation.
+   */
+  toI128Lossy(): I128;
+  /**
+   * Cast to U128 with lossy truncation.
+   */
+  toU128Lossy(): U128;
+  /**
+   * Construct an integer from a field element with lossy truncation.
+   */
+  static fromFieldLossy(field: Field): I64;
+  /**
+   * Cast the integer to a Boolean with lossy truncation (extracts least-significant bit).
+   */
+  toBooleanLossy(): Boolean;
   /**
    * Negate the integer (e.g., 5 → -5).
    */
@@ -1343,6 +2089,10 @@ export class I64 {
    * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): I64;
+  /**
+   * Convert the integer to a Field element (lossless).
+   */
+  toField(): Field;
   /**
    * Convert the integer to a Scalar value.
    */
@@ -1355,6 +2105,7 @@ export class I64 {
 export class I8 {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Attempt to construct the integer from a field element.
    */
@@ -1403,18 +2154,66 @@ export class I8 {
    * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
+  /**
+   * Cast to I8 with lossy truncation.
+   */
+  toI8Lossy(): I8;
+  /**
+   * Cast to U8 with lossy truncation.
+   */
+  toU8Lossy(): U8;
   /**
    * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): I8;
+  /**
+   * Cast to I16 with lossy truncation.
+   */
+  toI16Lossy(): I16;
+  /**
+   * Cast to I32 with lossy truncation.
+   */
+  toI32Lossy(): I32;
+  /**
+   * Cast to I64 with lossy truncation.
+   */
+  toI64Lossy(): I64;
   /**
    * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
+  /**
+   * Cast to U16 with lossy truncation.
+   */
+  toU16Lossy(): U16;
+  /**
+   * Cast to U32 with lossy truncation.
+   */
+  toU32Lossy(): U32;
+  /**
+   * Cast to U64 with lossy truncation.
+   */
+  toU64Lossy(): U64;
   /**
    * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): I8;
+  /**
+   * Cast to I128 with lossy truncation.
+   */
+  toI128Lossy(): I128;
+  /**
+   * Cast to U128 with lossy truncation.
+   */
+  toU128Lossy(): U128;
+  /**
+   * Construct an integer from a field element with lossy truncation.
+   */
+  static fromFieldLossy(field: Field): I8;
+  /**
+   * Cast the integer to a Boolean with lossy truncation (extracts least-significant bit).
+   */
+  toBooleanLossy(): Boolean;
   /**
    * Negate the integer (e.g., 5 → -5).
    */
@@ -1443,6 +2242,10 @@ export class I8 {
    * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): I8;
+  /**
+   * Convert the integer to a Field element (lossless).
+   */
+  toField(): Field;
   /**
    * Convert the integer to a Scalar value.
    */
@@ -1457,6 +2260,7 @@ export class I8 {
  */
 export class KeyPair {
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Get the proving key. This method will remove the proving key from the key pair
    *
@@ -1481,6 +2285,7 @@ export class KeyPair {
 export class Metadata {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   static fee_public(): Metadata;
   static bond_public(): Metadata;
   static fee_private(): Metadata;
@@ -1509,6 +2314,7 @@ export class Metadata {
  */
 export class OfflineQuery {
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Create an offline query object from a json string representation.
    *
@@ -1546,6 +2352,7 @@ export class OfflineQuery {
 }
 export class Pedersen128 {
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Returns a Pedersen commitment for the given (up to) 128-bit input and randomizer.
    */
@@ -1569,6 +2376,7 @@ export class Pedersen128 {
 }
 export class Pedersen64 {
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Returns a Pedersen commitment for the given (up to) 64-bit input and randomizer.
    */
@@ -1601,7 +2409,7 @@ export class Pedersen64 {
  *
  * @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);
+ * const bondState = await fetch(https://api.provable.com/v2/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.
@@ -1613,10 +2421,11 @@ export class Pedersen64 {
 export class Plaintext {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
-   * Get the left endian boolean array representation of the bits of the plaintext.
+   * Get the little endian boolean array representation of the bits of the plaintext.
    *
-   * @returns {Array} The left endian boolean array representation of the bits of the plaintext.
+   * @returns {Array} The little endian boolean array representation of the bits of the plaintext.
    */
   toBitsLe(): Array<any>;
   /**
@@ -1636,15 +2445,15 @@ export class Plaintext {
    */
   static fromString(plaintext: string): Plaintext;
   /**
-   * Get the left endian byte array representation of the plaintext.
+   * Get the little endian byte array representation of the plaintext.
    *
-   * @returns {Uint8Array} The left endian byte array representation of the plaintext.
+   * @returns {Uint8Array} The little 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.
+   * @param {Array} bits A little endian boolean array representing the bits plaintext.
    *
    * @returns {Plaintext} The plaintext object.
    */
@@ -1652,17 +2461,47 @@ export class Plaintext {
   /**
    * Get a plaintext object from a series of bytes.
    *
-   * @param {Uint8Array} bytes A left endian byte array representing the plaintext.
+   * @param {Uint8Array} bytes A little endian byte array representing the plaintext.
    *
    * @returns {Plaintext} The plaintext object.
    */
   static fromBytesLe(bytes: Uint8Array): Plaintext;
+  /**
+   * Get the raw field array representation of the plaintext.
+   *
+   * @returns {Array} The raw field array representation of the plaintext.
+   */
+  toFieldsRaw(): Array<any>;
   /**
    * Gives the type of the plaintext.
    *
    * @returns {string} The type of the plaintext.
    */
   plaintextType(): string;
+  /**
+   * Get the raw big endian boolean array representation of the bits of the plaintext.
+   *
+   * @returns {Array} The raw big endian boolean array representation of the bits of the plaintext.
+   */
+  toBitsRawBe(): Array<any>;
+  /**
+   * Get the raw little endian boolean array representation of the bits of the plaintext.
+   *
+   * @returns {Array} The raw little endian boolean array representation of the bits of the plaintext.
+   */
+  toBitsRawLe(): Array<any>;
+  /**
+   * Get the raw big endian byte array representation of the plaintext.
+   *
+   * @returns {Uint8Array} The raw big endian byte array representation of the plaintext.
+   */
+  toBytesRawBe(): Uint8Array;
+  /**
+   * Get the raw little endian byte array representation of the plaintext.
+   *
+   * @returns {Uint8Array} The raw little endian byte array representation of the plaintext.
+   */
+  toBytesRawLe(): Uint8Array;
   /**
    * Encrypt a plaintext with a transition view key.
    *
@@ -1711,6 +2550,7 @@ export class Plaintext {
 }
 export class Poseidon2 {
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Returns the Poseidon hash with an input rate of 2 on the affine curve.
    */
@@ -1738,6 +2578,7 @@ export class Poseidon2 {
 }
 export class Poseidon4 {
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Returns the Poseidon hash with an input rate of 4 on the affine curve.
    */
@@ -1765,6 +2606,7 @@ export class Poseidon4 {
 }
 export class Poseidon8 {
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Returns the Poseidon hash with an input rate of 8 on the affine curve.
    */
@@ -1795,6 +2637,14 @@ export class Poseidon8 {
  */
 export class PrivateKey {
   free(): void;
+  [Symbol.dispose](): void;
+  /**
+   * Sign an instance of a valid Aleo data type or record.
+   *
+   * @param {String} message The string representation of the Aleo datatype or record to sign.
+   * @returns {Signature} Signature of the message.
+   */
+  signValue(message: string): Signature;
   /**
    * Get the address corresponding to the private key
    *
@@ -1808,12 +2658,32 @@ export class PrivateKey {
    * @returns {PrivateKey}
    */
   static from_string(private_key: string): PrivateKey;
+  /**
+   * Get the byte representation of a private key
+   *
+   * @returns {Uint8Array} Byte representation of a private key
+   */
+  toBytesLe(): Uint8Array;
   /**
    * Get the view key corresponding to the private key
    *
    * @returns {ViewKey}
    */
   to_view_key(): ViewKey;
+  /**
+   * 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
+   */
+  toString(): string;
+  /**
+   * Get a private key from a byte representation
+   *
+   * @param {Uint8Array} bytes Byte representation of a private key
+   * @returns {PrivateKey} Private key
+   */
+  static fromBytesLe(bytes: Uint8Array): PrivateKey;
   /**
    * 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
@@ -1872,6 +2742,7 @@ export class PrivateKey {
 export class PrivateKeyCiphertext {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Creates a PrivateKeyCiphertext from a string
    *
@@ -1909,6 +2780,7 @@ export class PrivateKeyCiphertext {
 export class Program {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Create a program from a program string
    *
@@ -2143,15 +3015,17 @@ export class Program {
 export class ProgramManager {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * 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
+   * @param {string} program The program source code of the program to synthesize keys for
+   * @param {string} function_id The function to synthesize keys for
+   * @param {Array} inputs The inputs to the function
+   * @param {Object | undefined} imports 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>;
+  static loadInclusionProver(proving_key: ProvingKey): void;
   /**
    * 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
@@ -2169,7 +3043,19 @@ export class ProgramManager {
    * @param broadcast (optional) Flag to indicate if the transaction should be broadcast
    * @returns {Authorization}
    */
-  static buildProvingRequest(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, base_fee_credits: number, priority_fee_credits: number, fee_record: RecordPlaintext | null | undefined, imports: object | null | undefined, broadcast: boolean, unchecked: boolean, edition?: number | null): Promise<ProvingRequest>;
+  static buildProvingRequest(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, base_fee_credits: number, priority_fee_credits: number, fee_record: RecordPlaintext | null | undefined, imports: object | null | undefined, broadcast: boolean, unchecked: boolean, edition: number | null | undefined, use_fee_master: boolean): Promise<ProvingRequest>;
+  /**
+   * Build a proving request from a `Request` object. By default this method currently uses the feemaster.
+   *
+   * @param {ExecutionRequest} request The execution request to build the authorization from.
+   * @param {string} program The program source code containing the function to authorize.
+   * @param {boolean} unchecked Whether or not to generate an unchecked authorization.
+   * @param {boolean} broadcast Whether or not to broadcast the transaction.
+   * @param {number | undefined} edition The edition of the program.
+   * @param {object | undefined} imports The imports to the program in the format {"programname.aleo":"aleo instructions source code"}.
+   * @param {PrivateKey | undefined} [private_key] Optional private key of the signer. If not provided, functions which call other programs may not succeed.
+   */
+  static buildProvingRequestFromExecutionRequest(request: ExecutionRequest, program: string, unchecked: boolean, broadcast: boolean, edition?: number | null, imports?: object | null, private_key?: PrivateKey | null): Promise<ProvingRequest>;
   /**
    * 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
@@ -2200,6 +3086,48 @@ export class ProgramManager {
    * @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>;
+  /**
+   * Deploy an Aleo program without synthesizing keys and generating certificates.
+   * Intended for use with Leo Devnode.
+   *
+   * @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 buildDevnodeDeploymentTransaction(private_key: PrivateKey, program: string, priority_fee_credits: number, fee_record?: RecordPlaintext | null, url?: string | null, imports?: object | null): Promise<Transaction>;
+  /**
+   * Upgrade a deployed Aleo program without synthesizing keys and generating certificates.
+   * Intended for use with Leo Devnode.
+   *
+   * @param private_key The private key of the sender
+   * @param program The source code of the upgraded program
+   * @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 buildDevnodeUpgradeTransaction(private_key: PrivateKey, program: string, priority_fee_credits: number, fee_record?: RecordPlaintext | null, url?: string | null, imports?: object | null): Promise<Transaction>;
   /**
    * 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
@@ -2243,6 +3171,51 @@ export class ProgramManager {
    * @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>;
+  /**
+   * Upgrade an Aleo program
+   *
+   * @param private_key The private key of the sender
+   * @param program The source code of the program being upgraded
+   * @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" \}
+   * Note that all imported programs must be deployed on chain before the main program in order
+   * for the deployment to succeed
+   * @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 buildUpgradeTransaction(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>;
+  /**
+   * Generate an execution transaction without a proof.
+   * Intended for use with the Leo devnode tool.
+   *
+   * @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 buildDevnodeExecutionTransaction(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, priority_fee_credits: number, fee_record?: RecordPlaintext | null, url?: string | null, imports?: object | null, edition?: number | null): Promise<Transaction>;
   /**
    * 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
@@ -2255,26 +3228,31 @@ export class ProgramManager {
    * @returns {u64} Fee in microcredits
    */
   static estimateFinalizeFee(program: string, _function: string): bigint;
+  /**
+   * Execute an authorization.
+   *
+   * @param authorization The authorization to execute.
+   * @param fee_authorization The fee authorization to execute.
+   * @param program The program authorized to be executed.
+   * @param imports The imports of the program being executed.
+   * @param url The url to get the inclusion proving information from.
+   * @param offline_query Optional offline query object if building a Transaction offline.
+   */
+  static executeAuthorization(authorization: Authorization, fee_authorization: Authorization | null | undefined, program: string, proving_key?: ProvingKey | null, verifying_key?: VerifyingKey | null, fee_proving_key?: ProvingKey | null, fee_verifying_key?: VerifyingKey | null, imports?: object | null, url?: string | null, offline_query?: OfflineQuery | 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 program The source code of the program to estimate the execution fee for.
+   * @param function The name of the function to estimate the execution fee for.
    * @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
+   * @param edition {
    * @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>;
+  static estimateExecutionFee(program: string, _function: string, imports?: object | null, edition?: number | null): bigint;
   /**
    * Execute an arbitrary function locally
    *
@@ -2296,6 +3274,20 @@ export class ProgramManager {
    * @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>;
+  /**
+   * Estimate Fee for an Authorization.
+   *
+   * @param authorization Authorization to estimate the fee for.
+   * @param program The program the Authorization is for.
+   * @param imports 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 offline_query The offline query object used to insert the global state root and state paths needed to create
+   * a valid inclusion proof offline.
+   * @param edition: Optional edition to estimate the fee for.
+   * @returns {u64} Fee in microcredits
+   */
+  static estimateFeeForAuthorization(authorization: Authorization, program: string, imports?: object | null, edition?: number | null): bigint;
   /**
    * Execute Aleo function and create an Aleo execution transaction
    *
@@ -2353,6 +3345,17 @@ export class ProgramManager {
    * @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>;
+  /**
+   * Build an authorization from a `Request` object.
+   *
+   * @param {ExecutionRequest} request The execution request to build the authorization from.
+   * @param {string} program The program source code containing the function to authorize.
+   * @param {boolean} unchecked Whether or not to generate an unchecked authorization.
+   * @param {number | undefined} edition The edition of the program.
+   * @param {object | undefined} imports The imports to the program in the format {"programname.aleo":"aleo instructions source code"}.
+   * @param {PrivateKey | undefined} [private_key] Optional private key of the signer. If not provided, functions which call other programs may not succeed.
+   */
+  static buildAuthorizationFromExecutionRequest(request: ExecutionRequest, program: string, unchecked: boolean, edition?: number | null, imports?: object | null, private_key?: PrivateKey | null): Promise<Authorization>;
   /**
    * Create an execution `Authorization` without generating a circuit. Use this function when
    * fast delegated proving is needed.
@@ -2375,12 +3378,47 @@ export class ProgramManager {
    */
   static authorize(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, imports?: object | null, edition?: number | null): Promise<Authorization>;
 }
+/**
+ * SNARK proof for verification of program execution
+ */
+export class Proof {
+  private constructor();
+  free(): void;
+  [Symbol.dispose](): void;
+  /**
+   * Construct a new proof from a byte array
+   *
+   * @param {Uint8Array} bytes Byte array representation of a proof
+   * @returns {Proof}
+   */
+  static fromBytes(bytes: Uint8Array): Proof;
+  /**
+   * Create a proof from string
+   *
+   * @param {string} string String representation of the proof
+   * @returns {Proof}
+   */
+  static fromString(string: string): Proof;
+  /**
+   * Return the byte representation of a proof
+   *
+   * @returns {Uint8Array} Byte array representation of a proof
+   */
+  toBytes(): Uint8Array;
+  /**
+   * Get a string representation of the proof
+   *
+   * @returns {string} String representation of the proof
+   */
+  toString(): string;
+}
 /**
  * Proving key for a function within an Aleo program
  */
 export class ProvingKey {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Construct a new proving key from a byte array
    *
@@ -2575,6 +3613,7 @@ export class ProvingKey {
 export class ProvingRequest {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Creates a ProvingRequest from a string representation.
    *
@@ -2626,6 +3665,7 @@ export class ProvingRequest {
 export class RecordCiphertext {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Get the left endian boolean array representation of the record ciphertext bits.
    *
@@ -2725,6 +3765,7 @@ export class RecordCiphertext {
 export class RecordPlaintext {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   commitment(program_id: string, record_name: string, record_view_key: string): Field;
   /**
    * Get the record entry matching a key.
@@ -2821,7 +3862,16 @@ export class RecordPlaintext {
    */
   static fromBytesLe(bytes: Uint8Array): RecordPlaintext;
   /**
-   * Generate the record view key. The record view key can only decrypt record if the
+   * Decrypt the sender ciphertext associated with the record.
+   *
+   * @param {ViewKey} view_key View key associated with the record.
+   * @param {Field} sender_ciphertext Sender ciphertext associated with the record.
+   *
+   * @returns {Address} address of the sender.
+   */
+  decryptSender(view_key: ViewKey, sender_ciphertext: Field): Address;
+  /**
+   * Generate the record view key. The record view key can only decrypt the record if the
    * supplied view key belongs to the record owner.
    *
    * @param {ViewKey} view_key View key used to generate the record view key
@@ -2850,6 +3900,15 @@ export class RecordPlaintext {
    * @returns {RecordPlaintext} A clone of the RecordPlaintext WASM object.
    */
   clone(): RecordPlaintext;
+  /**
+   * Compute the record's gamma value.
+   *
+   * @param {string} program_id The program id that produced the record.
+   * @param {string} record_name The name of the record within the program.
+   * @param {PrivateKey} private_key The private key that created the record.
+   * @returns {Group} The computed value of gamma.
+   */
+  gamma(program_id: string, record_name: string, private_key: PrivateKey): Group;
   /**
    * Returns the nonce of the record. This can be used to uniquely identify a record.
    *
@@ -2879,30 +3938,93 @@ export class RecordPlaintext {
 export class Scalar {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
+  /**
+   * Cast the scalar to an Address (strict, via Field x-coordinate recovery).
+   * Returns an error if the resulting field is not a valid x-coordinate on the curve.
+   */
+  toAddress(): Address;
+  /**
+   * Get the left endian boolean array representation of the scalar element.
+   */
+  toBitsLe(): Array<any>;
+  /**
+   * Cast the scalar to a Boolean (strict).
+   * Returns an error if the scalar is not zero or one.
+   */
+  toBoolean(): Boolean;
+  /**
+   * Creates a scalar object from a string representation of a scalar element.
+   */
+  static fromString(group: string): Scalar;
+  /**
+   * Encode the scalar element as a Uint8Array of left endian bytes.
+   */
+  toBytesLe(): Uint8Array;
+  /**
+   * Cast the scalar to an I8 with lossy truncation.
+   */
+  toI8Lossy(): I8;
+  /**
+   * Cast the scalar to a U8 with lossy truncation.
+   */
+  toU8Lossy(): U8;
+  /**
+   * Reconstruct a scalar element from a boolean array representation.
+   */
+  static fromBitsLe(bits: Array<any>): Scalar;
+  /**
+   * Cast the scalar to an I16 with lossy truncation.
+   */
+  toI16Lossy(): I16;
+  /**
+   * Cast the scalar to an I32 with lossy truncation.
+   */
+  toI32Lossy(): I32;
+  /**
+   * Cast the scalar to an I64 with lossy truncation.
+   */
+  toI64Lossy(): I64;
+  /**
+   * Create a plaintext element from a scalar element.
+   */
+  toPlaintext(): Plaintext;
+  /**
+   * Cast the scalar to a U16 with lossy truncation.
+   */
+  toU16Lossy(): U16;
+  /**
+   * Cast the scalar to a U32 with lossy truncation.
+   */
+  toU32Lossy(): U32;
   /**
-   * Get the left endian boolean array representation of the scalar element.
+   * Cast the scalar to a U64 with lossy truncation.
    */
-  toBitsLe(): Array<any>;
+  toU64Lossy(): U64;
   /**
-   * Creates a scalar object from a string representation of a scalar element.
+   * Create a scalar element from a Uint8Array of left endian bytes.
    */
-  static fromString(group: string): Scalar;
+  static fromBytesLe(bytes: Uint8Array): Scalar;
   /**
-   * Encode the scalar element as a Uint8Array of left endian bytes.
+   * Cast the scalar to an I128 with lossy truncation.
    */
-  toBytesLe(): Uint8Array;
+  toI128Lossy(): I128;
   /**
-   * Reconstruct a scalar element from a boolean array representation.
+   * Cast the scalar to a U128 with lossy truncation.
    */
-  static fromBitsLe(bits: Array<any>): Scalar;
+  toU128Lossy(): U128;
   /**
-   * Create a plaintext element from a scalar element.
+   * Cast the scalar to a Group element with lossy conversion (via Field, Elligator-2 fallback).
    */
-  toPlaintext(): Plaintext;
+  toGroupLossy(): Group;
   /**
-   * Create a scalar element from a Uint8Array of left endian bytes.
+   * Cast the scalar to an Address with lossy conversion (via Group, Elligator-2 fallback).
    */
-  static fromBytesLe(bytes: Uint8Array): Scalar;
+  toAddressLossy(): Address;
+  /**
+   * Cast the scalar to a Boolean with lossy truncation (extracts least-significant bit).
+   */
+  toBooleanLossy(): Boolean;
   /**
    * Add two scalar elements.
    */
@@ -2955,6 +4077,11 @@ export class Scalar {
    * Cast the scalar element to a field element.
    */
   toField(): Field;
+  /**
+   * Cast the scalar to a Group element (strict, via Field x-coordinate recovery).
+   * Returns an error if the resulting field is not a valid x-coordinate on the curve.
+   */
+  toGroup(): Group;
   /**
    * Returns the string representation of the scalar element.
    */
@@ -2966,6 +4093,15 @@ export class Scalar {
 export class Signature {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
+  /**
+   * Sign an instance of a valid Aleo data type or record.
+   *
+   * @param {PrivateKey} private_key The private key used to sign the message.
+   * @param {String} message The string representation of the Aleo datatype or record to sign.
+   * @returns {Signature} Signature of the message.
+   */
+  static signValue(private_key: PrivateKey, message: string): Signature;
   /**
    * Get an address from a signature.
    *
@@ -2999,6 +4135,20 @@ export class Signature {
    * Get the plaintext representation of the signature.
    */
   toPlaintext(): Plaintext;
+  /**
+   * Get a string representation of a signature
+   *
+   * @returns {string} String representation of a signature
+   */
+  toString(): string;
+  /**
+   * Verify a signature over an Aleo datatype or record by an address.
+   *
+   * @param {Address} address The address used to verify the signature.
+   * @param {String} message The message to verify, which must be the string representation of a valid Aleo datatype or record.
+   * @returns {boolean} True if the signature is valid, false otherwise.
+   */
+  verifyValue(address: Address, message: string): boolean;
   /**
    * Get a signature from a series of bytes.
    *
@@ -3051,6 +4201,7 @@ export class Signature {
 export class Transaction {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Returns the transaction's total fee.
    */
@@ -3200,6 +4351,7 @@ export class Transaction {
 export class Transition {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Get the program ID of the transition.
    */
@@ -3329,6 +4481,7 @@ export class Transition {
 export class U128 {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Attempt to construct the integer from a field element.
    */
@@ -3377,18 +4530,66 @@ export class U128 {
    * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
+  /**
+   * Cast to I8 with lossy truncation.
+   */
+  toI8Lossy(): I8;
+  /**
+   * Cast to U8 with lossy truncation.
+   */
+  toU8Lossy(): U8;
   /**
    * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): U128;
+  /**
+   * Cast to I16 with lossy truncation.
+   */
+  toI16Lossy(): I16;
+  /**
+   * Cast to I32 with lossy truncation.
+   */
+  toI32Lossy(): I32;
+  /**
+   * Cast to I64 with lossy truncation.
+   */
+  toI64Lossy(): I64;
   /**
    * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
+  /**
+   * Cast to U16 with lossy truncation.
+   */
+  toU16Lossy(): U16;
+  /**
+   * Cast to U32 with lossy truncation.
+   */
+  toU32Lossy(): U32;
+  /**
+   * Cast to U64 with lossy truncation.
+   */
+  toU64Lossy(): U64;
   /**
    * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): U128;
+  /**
+   * Cast to I128 with lossy truncation.
+   */
+  toI128Lossy(): I128;
+  /**
+   * Cast to U128 with lossy truncation.
+   */
+  toU128Lossy(): U128;
+  /**
+   * Construct an integer from a field element with lossy truncation.
+   */
+  static fromFieldLossy(field: Field): U128;
+  /**
+   * Cast the integer to a Boolean with lossy truncation (extracts least-significant bit).
+   */
+  toBooleanLossy(): Boolean;
   /**
    * Negate the integer (e.g., 5 → -5).
    */
@@ -3417,6 +4618,10 @@ export class U128 {
    * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): U128;
+  /**
+   * Convert the integer to a Field element (lossless).
+   */
+  toField(): Field;
   /**
    * Convert the integer to a Scalar value.
    */
@@ -3429,6 +4634,7 @@ export class U128 {
 export class U16 {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Attempt to construct the integer from a field element.
    */
@@ -3477,18 +4683,66 @@ export class U16 {
    * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
+  /**
+   * Cast to I8 with lossy truncation.
+   */
+  toI8Lossy(): I8;
+  /**
+   * Cast to U8 with lossy truncation.
+   */
+  toU8Lossy(): U8;
   /**
    * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): U16;
+  /**
+   * Cast to I16 with lossy truncation.
+   */
+  toI16Lossy(): I16;
+  /**
+   * Cast to I32 with lossy truncation.
+   */
+  toI32Lossy(): I32;
+  /**
+   * Cast to I64 with lossy truncation.
+   */
+  toI64Lossy(): I64;
   /**
    * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
+  /**
+   * Cast to U16 with lossy truncation.
+   */
+  toU16Lossy(): U16;
+  /**
+   * Cast to U32 with lossy truncation.
+   */
+  toU32Lossy(): U32;
+  /**
+   * Cast to U64 with lossy truncation.
+   */
+  toU64Lossy(): U64;
   /**
    * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): U16;
+  /**
+   * Cast to I128 with lossy truncation.
+   */
+  toI128Lossy(): I128;
+  /**
+   * Cast to U128 with lossy truncation.
+   */
+  toU128Lossy(): U128;
+  /**
+   * Construct an integer from a field element with lossy truncation.
+   */
+  static fromFieldLossy(field: Field): U16;
+  /**
+   * Cast the integer to a Boolean with lossy truncation (extracts least-significant bit).
+   */
+  toBooleanLossy(): Boolean;
   /**
    * Negate the integer (e.g., 5 → -5).
    */
@@ -3517,6 +4771,10 @@ export class U16 {
    * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): U16;
+  /**
+   * Convert the integer to a Field element (lossless).
+   */
+  toField(): Field;
   /**
    * Convert the integer to a Scalar value.
    */
@@ -3529,6 +4787,7 @@ export class U16 {
 export class U32 {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Attempt to construct the integer from a field element.
    */
@@ -3577,18 +4836,66 @@ export class U32 {
    * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
+  /**
+   * Cast to I8 with lossy truncation.
+   */
+  toI8Lossy(): I8;
+  /**
+   * Cast to U8 with lossy truncation.
+   */
+  toU8Lossy(): U8;
   /**
    * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): U32;
+  /**
+   * Cast to I16 with lossy truncation.
+   */
+  toI16Lossy(): I16;
+  /**
+   * Cast to I32 with lossy truncation.
+   */
+  toI32Lossy(): I32;
+  /**
+   * Cast to I64 with lossy truncation.
+   */
+  toI64Lossy(): I64;
   /**
    * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
+  /**
+   * Cast to U16 with lossy truncation.
+   */
+  toU16Lossy(): U16;
+  /**
+   * Cast to U32 with lossy truncation.
+   */
+  toU32Lossy(): U32;
+  /**
+   * Cast to U64 with lossy truncation.
+   */
+  toU64Lossy(): U64;
   /**
    * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): U32;
+  /**
+   * Cast to I128 with lossy truncation.
+   */
+  toI128Lossy(): I128;
+  /**
+   * Cast to U128 with lossy truncation.
+   */
+  toU128Lossy(): U128;
+  /**
+   * Construct an integer from a field element with lossy truncation.
+   */
+  static fromFieldLossy(field: Field): U32;
+  /**
+   * Cast the integer to a Boolean with lossy truncation (extracts least-significant bit).
+   */
+  toBooleanLossy(): Boolean;
   /**
    * Negate the integer (e.g., 5 → -5).
    */
@@ -3617,6 +4924,10 @@ export class U32 {
    * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): U32;
+  /**
+   * Convert the integer to a Field element (lossless).
+   */
+  toField(): Field;
   /**
    * Convert the integer to a Scalar value.
    */
@@ -3629,6 +4940,7 @@ export class U32 {
 export class U64 {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Attempt to construct the integer from a field element.
    */
@@ -3677,18 +4989,66 @@ export class U64 {
    * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
+  /**
+   * Cast to I8 with lossy truncation.
+   */
+  toI8Lossy(): I8;
+  /**
+   * Cast to U8 with lossy truncation.
+   */
+  toU8Lossy(): U8;
   /**
    * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): U64;
+  /**
+   * Cast to I16 with lossy truncation.
+   */
+  toI16Lossy(): I16;
+  /**
+   * Cast to I32 with lossy truncation.
+   */
+  toI32Lossy(): I32;
+  /**
+   * Cast to I64 with lossy truncation.
+   */
+  toI64Lossy(): I64;
   /**
    * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
+  /**
+   * Cast to U16 with lossy truncation.
+   */
+  toU16Lossy(): U16;
+  /**
+   * Cast to U32 with lossy truncation.
+   */
+  toU32Lossy(): U32;
+  /**
+   * Cast to U64 with lossy truncation.
+   */
+  toU64Lossy(): U64;
   /**
    * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): U64;
+  /**
+   * Cast to I128 with lossy truncation.
+   */
+  toI128Lossy(): I128;
+  /**
+   * Cast to U128 with lossy truncation.
+   */
+  toU128Lossy(): U128;
+  /**
+   * Construct an integer from a field element with lossy truncation.
+   */
+  static fromFieldLossy(field: Field): U64;
+  /**
+   * Cast the integer to a Boolean with lossy truncation (extracts least-significant bit).
+   */
+  toBooleanLossy(): Boolean;
   /**
    * Negate the integer (e.g., 5 → -5).
    */
@@ -3717,6 +5077,10 @@ export class U64 {
    * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): U64;
+  /**
+   * Convert the integer to a Field element (lossless).
+   */
+  toField(): Field;
   /**
    * Convert the integer to a Scalar value.
    */
@@ -3729,6 +5093,7 @@ export class U64 {
 export class U8 {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Attempt to construct the integer from a field element.
    */
@@ -3777,18 +5142,66 @@ export class U8 {
    * Construct an integer from a byte array representation.
    */
   toBytesLe(): Uint8Array;
+  /**
+   * Cast to I8 with lossy truncation.
+   */
+  toI8Lossy(): I8;
+  /**
+   * Cast to U8 with lossy truncation.
+   */
+  toU8Lossy(): U8;
   /**
    * Construct an integer from a boolean array representation.
    */
   static fromBitsLe(bits: Array<any>): U8;
+  /**
+   * Cast to I16 with lossy truncation.
+   */
+  toI16Lossy(): I16;
+  /**
+   * Cast to I32 with lossy truncation.
+   */
+  toI32Lossy(): I32;
+  /**
+   * Cast to I64 with lossy truncation.
+   */
+  toI64Lossy(): I64;
   /**
    * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
    */
   toPlaintext(): Plaintext;
+  /**
+   * Cast to U16 with lossy truncation.
+   */
+  toU16Lossy(): U16;
+  /**
+   * Cast to U32 with lossy truncation.
+   */
+  toU32Lossy(): U32;
+  /**
+   * Cast to U64 with lossy truncation.
+   */
+  toU64Lossy(): U64;
   /**
    * Get the byte array representation of the integer.
    */
   static fromBytesLe(bytes: Uint8Array): U8;
+  /**
+   * Cast to I128 with lossy truncation.
+   */
+  toI128Lossy(): I128;
+  /**
+   * Cast to U128 with lossy truncation.
+   */
+  toU128Lossy(): U128;
+  /**
+   * Construct an integer from a field element with lossy truncation.
+   */
+  static fromFieldLossy(field: Field): U8;
+  /**
+   * Cast the integer to a Boolean with lossy truncation (extracts least-significant bit).
+   */
+  toBooleanLossy(): Boolean;
   /**
    * Negate the integer (e.g., 5 → -5).
    */
@@ -3817,6 +5230,10 @@ export class U8 {
    * Exponentiate the integer with a u32 exponent.
    */
   powU32(exponent: U32): U8;
+  /**
+   * Convert the integer to a Field element (lossless).
+   */
+  toField(): Field;
   /**
    * Convert the integer to a Scalar value.
    */
@@ -3826,12 +5243,145 @@ export class U8 {
    */
   toString(): string;
 }
+/**
+ * Aleo Value type. Value is the fundamental type representing program function inputs and outputs
+ * in Aleo. It wraps three variants: Plaintext, Record, and Future.
+ *
+ * @example
+ * // Parse a plaintext value from a string.
+ * const value = Value.fromString("100u64");
+ * console.log(value.valueType()); // "plaintext"
+ * console.log(value.isPlaintext()); // true
+ *
+ * // Extract the inner Plaintext.
+ * const plaintext = value.toPlaintext();
+ * console.log(plaintext.toString()); // "100u64"
+ */
+export class Value {
+  private constructor();
+  free(): void;
+  [Symbol.dispose](): void;
+  /**
+   * Returns the little-endian boolean array representation of the bits.
+   *
+   * @returns {Array} Boolean array of bits in little-endian order.
+   */
+  toBitsLe(): Array<any>;
+  /**
+   * Returns the type of the value variant as a string.
+   *
+   * Possible values: "plaintext", "record", "future", "dynamic_record", or "dynamic_future".
+   *
+   * @returns {string} The variant type name.
+   */
+  valueType(): string;
+  /**
+   * Creates a Value from its string representation.
+   *
+   * @param {string} value The string representation of the value.
+   * @returns {Value} The Value object.
+   */
+  static fromString(value: string): Value;
+  /**
+   * Returns the little-endian byte array representation of the value.
+   *
+   * @returns {Uint8Array} The little-endian byte array.
+   */
+  toBytesLe(): Uint8Array;
+  /**
+   * Returns true if the value is a Plaintext variant.
+   *
+   * @returns {boolean}
+   */
+  isPlaintext(): boolean;
+  /**
+   * Extracts the inner Plaintext from a Plaintext variant.
+   *
+   * @returns {Plaintext} The inner Plaintext value.
+   * @throws If the value is not a Plaintext variant.
+   */
+  toPlaintext(): Plaintext;
+  /**
+   * Creates a Value from a little-endian byte array.
+   *
+   * @param {Uint8Array} bytes A little-endian byte array.
+   * @returns {Value} The Value object.
+   */
+  static fromBytesLe(bytes: Uint8Array): Value;
+  /**
+   * Returns the raw field array representation of the value.
+   *
+   * @returns {Array} Array of raw Field elements.
+   */
+  toFieldsRaw(): Array<any>;
+  /**
+   * Creates a Value from a Plaintext object.
+   *
+   * @param {Plaintext} plaintext The Plaintext to wrap.
+   * @returns {Value} A Value wrapping the Plaintext.
+   */
+  static fromPlaintext(plaintext: Plaintext): Value;
+  /**
+   * Returns the raw big-endian boolean array representation of the bits.
+   *
+   * @returns {Array} Raw boolean array of bits in big-endian order.
+   */
+  toBitsRawBe(): Array<any>;
+  /**
+   * Returns the raw little-endian boolean array representation of the bits.
+   *
+   * @returns {Array} Raw boolean array of bits in little-endian order.
+   */
+  toBitsRawLe(): Array<any>;
+  /**
+   * Extracts the inner Record from a Record variant as a RecordPlaintext.
+   *
+   * @returns {RecordPlaintext} The inner record.
+   * @throws If the value is not a Record variant.
+   */
+  toRecordPlaintext(): RecordPlaintext;
+  /**
+   * Creates a Value from a RecordPlaintext object.
+   *
+   * @param {RecordPlaintext} record The RecordPlaintext to wrap.
+   * @returns {Value} A Value wrapping the Record.
+   */
+  static fromRecordPlaintext(record: RecordPlaintext): Value;
+  /**
+   * Returns true if the value is a Future variant.
+   *
+   * Note: There is no `toFuture()` method because the Future type does not have a WASM wrapper.
+   * Use `toString()` or `toBytesLe()` to serialize a Future value.
+   *
+   * @returns {boolean}
+   */
+  isFuture(): boolean;
+  /**
+   * Returns true if the value is a Record variant.
+   *
+   * @returns {boolean}
+   */
+  isRecord(): boolean;
+  /**
+   * Returns the field array representation of the value.
+   *
+   * @returns {Array} Array of Field elements.
+   */
+  toFields(): Array<any>;
+  /**
+   * Returns the string representation of the value.
+   *
+   * @returns {string} The string representation of the value.
+   */
+  toString(): string;
+}
 /**
  * Verifying key for a function within an Aleo program
  */
 export class VerifyingKey {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Construct a new verifying key from a byte array
    *
@@ -3852,12 +5402,29 @@ export class VerifyingKey {
    * @returns {number} The number of constraints
    */
   numConstraints(): number;
+  /**
+   * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
+   *
+   * @param {Array<string>} verifying_keys Array of verifying key strings, one per circuit
+   * @param {Array<Array<Array<string>>>} inputs 3D array of field element strings [circuit_idx][instance_idx][field_idx]
+   * @param {Proof} proof The batch proof to verify
+   * @returns {boolean} True if the batch proof is valid, false otherwise
+   */
+  static verifyBatch(verifying_keys: Array<any>, inputs: Array<any>, proof: Proof): boolean;
   /**
    * Create a copy of the verifying key
    *
    * @returns {VerifyingKey} A copy of the verifying key
    */
   copy(): VerifyingKey;
+  /**
+   * Verify a SNARK proof against this verifying key and public inputs.
+   *
+   * @param {Array<string>} inputs Array of field element strings representing public inputs (e.g. ["1field", "2field"])
+   * @param {Proof} proof The proof to verify
+   * @returns {boolean} True if the proof is valid, false otherwise
+   */
+  verify(inputs: Array<any>, proof: Proof): boolean;
   /**
    * Get the checksum of the verifying key
    *
@@ -4060,6 +5627,7 @@ export class VerifyingKey {
 export class ViewKey {
   private constructor();
   free(): void;
+  [Symbol.dispose](): void;
   /**
    * Get the address corresponding to a view key
    *
@@ -4073,6 +5641,26 @@ export class ViewKey {
    * @returns {ViewKey} View key
    */
   static from_string(view_key: string): ViewKey;
+  /**
+   * Get the underlying bytes of a view key.
+   *
+   * @returns {Uint8Array} Left endian byte array representation of the view key.
+   */
+  toBytesLe(): Uint8Array;
+  /**
+   * Get a string representation of a view key
+   *
+   * @returns {string} String representation of a view key
+   */
+  toString(): string;
+  /**
+   * Get a ViewKey from a series of bytes.
+   *
+   * @param {Uint8Array} bytes A left endian byte array representing the view key.
+   *
+   * @returns {ViewKey} The view key object.
+   */
+  static fromBytesLe(bytes: Uint8Array): ViewKey;
   /**
    * Create a new view key from a private key
    *