@provablehq/wasm 0.10.0 → 0.10.2-rc.1

package/dist/testnet/aleo_wasm.d.ts

@@ -2,18 +2,6 @@
 /* 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 a SNARK proof against a verifying key and public inputs.
  *
@@ -39,7 +27,20 @@ export function snarkVerify(verifying_key: VerifyingKey, inputs: Array<any>, pro
  * @param {Object} import_verifying_keys The verifying keys for the imports in the form of { "program_id.aleo": [["function, "verifying_key"], ...],  ...}
  * @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;
+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, program_imports?: ProgramImports | null): boolean;
+/**
+ * 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;
+export function stringToField(string: string): Field;
 /**
  * Set test consensus version heights for testing.
  *
@@ -52,7 +53,6 @@ export function verifyFunctionExecution(execution: Execution, verifying_key: Ver
  * 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
  */
@@ -92,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.
    *
@@ -100,6 +108,18 @@ 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.
    */
@@ -110,6 +130,18 @@ export class Address {
    * @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.
    *
@@ -125,6 +157,14 @@ 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.
    *
@@ -132,6 +172,10 @@ export class Address {
    * @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.
    *
@@ -145,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
    *
@@ -161,6 +209,10 @@ export class Address {
    * @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.
    */
@@ -383,6 +435,10 @@ 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.
    */
@@ -407,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.
    */
@@ -439,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.
    */
@@ -447,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.
    */
@@ -1029,10 +1147,20 @@ 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.
    */
@@ -1041,18 +1169,78 @@ 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.
    */
@@ -1105,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.
    */
@@ -1156,6 +1351,10 @@ export class Group {
    * 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.
    */
@@ -1168,26 +1367,74 @@ 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.
    */
@@ -1225,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.
    */
@@ -1290,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).
    */
@@ -1330,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.
    */
@@ -1391,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).
    */
@@ -1431,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.
    */
@@ -1492,18 +1848,66 @@ export class I32 {
    * 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>): 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;
+  /**
+   * Cast to U128 with lossy truncation.
+   */
+  toU128Lossy(): U128;
+  /**
+   * Construct an integer from a field element with lossy truncation.
+   */
+  static fromFieldLossy(field: Field): I32;
+  /**
+   * Cast the integer to a Boolean with lossy truncation (extracts least-significant bit).
+   */
+  toBooleanLossy(): Boolean;
   /**
    * Negate the integer (e.g., 5 → -5).
    */
@@ -1532,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.
    */
@@ -1593,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).
    */
@@ -1633,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.
    */
@@ -1691,21 +2151,69 @@ export class I8 {
    */
   subWrapped(other: I8): I8;
   /**
-   * Construct an integer from a byte array representation.
+   * 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.
    */
-  toBytesLe(): Uint8Array;
+  toI128Lossy(): I128;
   /**
-   * Construct an integer from a boolean array representation.
+   * Cast to U128 with lossy truncation.
    */
-  static fromBitsLe(bits: Array<any>): I8;
+  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): I8;
   /**
-   * 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): I8;
+  toBooleanLossy(): Boolean;
   /**
    * Negate the integer (e.g., 5 → -5).
    */
@@ -1734,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.
    */
@@ -2500,6 +3012,198 @@ export class Program {
    */
   toString(): string;
 }
+/**
+ * Backed by `Rc<RefCell<>>` for interior mutability — cloning produces a cheap
+ * reference-counted copy that shares the same underlying data. This allows
+ * execution functions to clone the builder internally while the caller's
+ * original reference automatically sees any mutations (e.g. synthesized keys).
+ */
+export class ProgramImports {
+  free(): void;
+  [Symbol.dispose](): void;
+  /**
+   * Add a program's source code to the imports.
+   *
+   * The source is parsed, validated, and added to the internal Process.
+   * Static imports of the program are resolved depth-first from programs
+   * already present in this builder.
+   *
+   * @param {string} name The program name (e.g., "my_program.aleo").
+   * @param {string} source The program source code.
+   * @param {number | undefined} edition The program edition (defaults to 1).
+   */
+  addProgram(name: string, source: string, edition?: number | null): void;
+  /**
+   * Create a ProgramImports from a plain JavaScript object.
+   *
+   * Accepts three formats:
+   * ```js
+   * // 1. Plain string — source code only.
+   * { "my_program.aleo": "program source..." }
+   *
+   * // 2. Structured — program source with optional edition.
+   * { "my_program.aleo": { program: "program source..." } }
+   *
+   * // 3. Structured with keys — program source plus proving/verifying keys per function.
+   * {
+   *   "my_program.aleo": {
+   *     program: "program source...",
+   *     keys: {
+   *       "my_function": {
+   *         provingKey: Uint8Array,
+   *         verifyingKey: Uint8Array
+   *       }
+   *     }
+   *   }
+   * }
+   * ```
+   *
+   * Programs created via this method default to edition 1.
+   *
+   * @param {Object} object A plain JavaScript object mapping program names to source code
+   *   and optional keys.
+   * @returns {ProgramImports}
+   */
+  static fromObject(object: object): ProgramImports;
+  /**
+   * Return the source code of a program by name, without serializing keys.
+   *
+   * @param {string} name The program name (e.g., "my_program.aleo").
+   * @returns {string | undefined}
+   */
+  getProgram(name: string): string | undefined;
+  /**
+   * Return the names of all programs in this builder as a JS `Array<string>`.
+   *
+   * This is a lightweight alternative to `toObject()` when you only need to
+   * enumerate program names without serializing keys.
+   *
+   * @returns {Array<string>}
+   */
+  programNames(): Array<any>;
+  /**
+   * Add a proving key for a function or record within an imported program.
+   *
+   * The key is transferred directly from the WASM `ProvingKey` type with no
+   * serialization overhead.
+   *
+   * @param {string} program_name The program name (e.g., "my_program.aleo").
+   * @param {string} identifier The function name or record name the key belongs to.
+   * @param {ProvingKey} key The proving key.
+   */
+  addProvingKey(program_name: string, identifier: string, key: ProvingKey): void;
+  /**
+   * Get a proving key for a specific program and identifier (function or record name).
+   * Returns a clone of the key from the internal Process. Non-destructive — the key
+   * remains available for future calls.
+   *
+   * @param {string} program_name The program name (e.g., "my_program.aleo").
+   * @param {string} identifier The function or record name.
+   * @returns {ProvingKey | undefined}
+   */
+  getProvingKey(program_name: string, identifier: string): ProvingKey | undefined;
+  /**
+   * Add a verifying key for a function or record within an imported program.
+   *
+   * The key is transferred directly from the WASM `VerifyingKey` type with no
+   * serialization overhead.
+   *
+   * @param {string} program_name The program name (e.g., "my_program.aleo").
+   * @param {string} identifier The function name or record name the key belongs to.
+   * @param {VerifyingKey} key The verifying key.
+   */
+  addVerifyingKey(program_name: string, identifier: string, key: VerifyingKey): void;
+  /**
+   * Get a verifying key for a specific program and identifier (function or record name).
+   * Returns a clone of the key from the internal Process. Non-destructive — the key
+   * remains available for future calls.
+   *
+   * @param {string} program_name The program name (e.g., "my_program.aleo").
+   * @param {string} identifier The function or record name.
+   * @returns {VerifyingKey | undefined}
+   */
+  getVerifyingKey(program_name: string, identifier: string): VerifyingKey | undefined;
+  /**
+   * Add a proving key from its byte representation.
+   *
+   * Deserializes the bytes into a native proving key and stores it. The program
+   * must already have been added via `addProgram`.
+   *
+   * @param {string} program_name The program name (e.g., "my_program.aleo").
+   * @param {string} identifier The function name or record name the key belongs to.
+   * @param {Uint8Array} bytes The proving key bytes.
+   */
+  addProvingKeyBytes(program_name: string, identifier: string, bytes: Uint8Array): void;
+  /**
+   * Add a verifying key from its byte representation.
+   *
+   * Deserializes the bytes into a native verifying key and stores it. The program
+   * must already have been added via `addProgram`.
+   *
+   * @param {string} program_name The program name (e.g., "my_program.aleo").
+   * @param {string} identifier The function name or record name the key belongs to.
+   * @param {Uint8Array} bytes The verifying key bytes.
+   */
+  addVerifyingKeyBytes(program_name: string, identifier: string, bytes: Uint8Array): void;
+  /**
+   * Return the names of functions that have both a proving key and a verifying key
+   * stored for the given program.
+   *
+   * @param {string} program_name The program name (e.g., "my_program.aleo").
+   * @returns {Array<string>}
+   */
+  functionKeysAvailable(program_name: string): Array<any>;
+  /**
+   * Create a new empty ProgramImports builder.
+   *
+   * Initializes an internal snarkVM Process. This is the same cost as a
+   * single execution call, but is paid once and reused across all operations.
+   */
+  constructor();
+  /**
+   * Create a cheap clone that shares the same underlying data.
+   *
+   * Useful for passing to WASM execution functions which consume ownership:
+   * the caller keeps the original, and both copies see any mutations
+   * (e.g. synthesized keys) through the shared interior state.
+   */
+  clone(): ProgramImports;
+  /**
+   * Check whether a specific program has been added.
+   *
+   * @param {string} name The program name.
+   * @returns {boolean}
+   */
+  contains(name: string): boolean;
+  /**
+   * Check whether any programs have been added to this builder.
+   *
+   * @returns {boolean}
+   */
+  isEmpty(): boolean;
+  /**
+   * Convert this ProgramImports to a plain JavaScript object.
+   *
+   * Entries without keys use the simple `{ "name.aleo": "source" }` format.
+   * Entries with keys use the structured format:
+   * ```js
+   * {
+   *   "name.aleo": {
+   *     program: "program source...",
+   *     keys: {
+   *       "function_name": {
+   *         provingKey: Uint8Array,
+   *         verifyingKey: Uint8Array
+   *       }
+   *     }
+   *   }
+   * }
+   * ```
+   *
+   * @returns {Object}
+   */
+  toObject(): object;
+}
 export class ProgramManager {
   private constructor();
   free(): void;
@@ -2512,7 +3216,7 @@ export class ProgramManager {
    * @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 synthesizeKeyPair(private_key: PrivateKey, program: string, function_id: string, inputs: Array<any>, imports?: object | null, edition?: number | null, program_imports?: ProgramImports | null): Promise<KeyPair>;
   static loadInclusionProver(proving_key: ProvingKey): void;
   /**
    * Create a `ProvingRequest` object. This object creates authorizations for the top level
@@ -2531,7 +3235,7 @@ export class ProgramManager {
    * @param broadcast (optional) Flag to indicate if the transaction should be broadcast
    * @returns {Authorization}
    */
-  static buildProvingRequest(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, base_fee_credits: number, priority_fee_credits: number, fee_record: RecordPlaintext | null | undefined, imports: object | null | undefined, broadcast: boolean, unchecked: boolean, edition: number | null | undefined, use_fee_master: boolean): Promise<ProvingRequest>;
+  static buildProvingRequest(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, base_fee_credits: number, priority_fee_credits: number, fee_record: RecordPlaintext | null | undefined, imports: object | null | undefined, broadcast: boolean, unchecked: boolean, edition: number | null | undefined, use_fee_master: boolean, program_imports?: ProgramImports | null): Promise<ProvingRequest>;
   /**
    * Build a proving request from a `Request` object. By default this method currently uses the feemaster.
    *
@@ -2543,7 +3247,7 @@ export class ProgramManager {
    * @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>;
+  static buildProvingRequestFromExecutionRequest(request: ExecutionRequest, program: string, unchecked: boolean, broadcast: boolean, edition?: number | null, imports?: object | null, private_key?: PrivateKey | null, program_imports?: ProgramImports | 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
@@ -2594,7 +3298,7 @@ export class ProgramManager {
    * @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>;
+  static buildDevnodeDeploymentTransaction(private_key: PrivateKey, program: string, priority_fee_credits: number, fee_record?: RecordPlaintext | null, url?: string | null, imports?: object | null, program_imports?: ProgramImports | null): Promise<Transaction>;
   /**
    * Upgrade a deployed Aleo program without synthesizing keys and generating certificates.
    * Intended for use with Leo Devnode.
@@ -2615,7 +3319,7 @@ export class ProgramManager {
    * @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>;
+  static buildDevnodeUpgradeTransaction(private_key: PrivateKey, program: string, priority_fee_credits: number, fee_record?: RecordPlaintext | null, url?: string | null, imports?: object | null, program_imports?: ProgramImports | 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
@@ -2638,7 +3342,7 @@ export class ProgramManager {
    * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
    * @returns {u64}
    */
-  static estimateDeploymentFee(program: string, imports?: object | null): Promise<bigint>;
+  static estimateDeploymentFee(program: string, imports?: object | null, program_imports?: ProgramImports | null): Promise<bigint>;
   /**
    * Deploy an Aleo program
    *
@@ -2658,7 +3362,7 @@ export class ProgramManager {
    * @param fee_verifying_key (optional) Provide a verifying key to use for the fee execution
    * @returns {Transaction}
    */
-  static buildDeploymentTransaction(private_key: PrivateKey, program: string, priority_fee_credits: number, fee_record?: RecordPlaintext | null, url?: string | null, imports?: object | null, fee_proving_key?: ProvingKey | null, fee_verifying_key?: VerifyingKey | null, offline_query?: OfflineQuery | null): Promise<Transaction>;
+  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, program_imports?: ProgramImports | null): Promise<Transaction>;
   /**
    * Upgrade an Aleo program
    *
@@ -2676,7 +3380,7 @@ export class ProgramManager {
    * @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>;
+  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, program_imports?: ProgramImports | null): Promise<Transaction>;
   /**
    * Generate an execution transaction without a proof.
    * Intended for use with the Leo devnode tool.
@@ -2688,22 +3392,13 @@ export class ProgramManager {
    * @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.
+   * @param edition The edition of the program to execute. Defaults to 1.
    * @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>;
+  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, program_imports?: ProgramImports | 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
@@ -2725,22 +3420,21 @@ export class ProgramManager {
    * @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.
+   * @param edition The program edition (defaults to 1).
    */
-  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>;
+  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, program_imports?: ProgramImports | null, edition?: number | null): Promise<Transaction>;
   /**
-   * Estimate Fee for Aleo function execution. Note if "cache" is set to true, the proving and
-   * verifying keys will be stored in the ProgramManager's memory and used for subsequent
-   * program executions.
+   * Estimate Fee for Aleo function execution.
    *
    * @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 edition {
+   * @param edition The edition of the program. Defaults to 1.
    * @returns {u64} Fee in microcredits
    */
-  static estimateExecutionFee(program: string, _function: string, imports?: object | null, edition?: number | null): bigint;
+  static estimateExecutionFee(program: string, _function: string, imports?: object | null, edition?: number | null, program_imports?: ProgramImports | null): bigint;
   /**
    * Execute an arbitrary function locally
    *
@@ -2758,10 +3452,10 @@ export class ProgramManager {
    * @param {Object | undefined} imports (optional) Provide a list of imports to use for the function execution in the
    * form of a javascript object where the keys are a string of the program name and the values
    * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
-   * @param {ProvingKey | undefined} proving_key (optional) Provide a verifying key to use for the function execution
+   * @param {ProvingKey | undefined} proving_key (optional) Provide a proving key to use for the function execution
    * @param {VerifyingKey | undefined} verifying_key (optional) Provide a verifying key to use for the function execution
    */
-  static executeFunctionOffline(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, prove_execution: boolean, cache: boolean, imports?: object | null, proving_key?: ProvingKey | null, verifying_key?: VerifyingKey | null, url?: string | null, offline_query?: OfflineQuery | null, edition?: number | null): Promise<ExecutionResponse>;
+  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, program_imports?: ProgramImports | null): Promise<ExecutionResponse>;
   /**
    * Estimate Fee for an Authorization.
    *
@@ -2775,7 +3469,7 @@ export class ProgramManager {
    * @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;
+  static estimateFeeForAuthorization(authorization: Authorization, program: string, imports?: object | null, edition?: number | null, program_imports?: ProgramImports | null): bigint;
   /**
    * Execute Aleo function and create an Aleo execution transaction
    *
@@ -2786,22 +3480,18 @@ export class ProgramManager {
    * @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 proving_key (optional) Provide a proving 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.
+   * @param edition The edition of the program to execute. Defaults to 1.
    * @returns {Transaction}
    */
-  static buildExecutionTransaction(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, priority_fee_credits: number, fee_record?: RecordPlaintext | null, url?: string | null, imports?: object | null, proving_key?: ProvingKey | null, verifying_key?: VerifyingKey | null, fee_proving_key?: ProvingKey | null, fee_verifying_key?: VerifyingKey | null, offline_query?: OfflineQuery | null, edition?: number | null): Promise<Transaction>;
+  static buildExecutionTransaction(private_key: PrivateKey, program: string, _function: string, inputs: Array<any>, priority_fee_credits: number, fee_record?: RecordPlaintext | null, url?: string | null, imports?: object | null, proving_key?: ProvingKey | null, verifying_key?: VerifyingKey | null, fee_proving_key?: ProvingKey | null, fee_verifying_key?: VerifyingKey | null, offline_query?: OfflineQuery | null, edition?: number | null, program_imports?: ProgramImports | null): Promise<Transaction>;
   /**
    * Send credits from one Aleo account to another
    *
@@ -2843,7 +3533,7 @@ export class ProgramManager {
    * @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>;
+  static buildAuthorizationFromExecutionRequest(request: ExecutionRequest, program: string, unchecked: boolean, edition?: number | null, imports?: object | null, private_key?: PrivateKey | null, program_imports?: ProgramImports | null): Promise<Authorization>;
   /**
    * Create an execution `Authorization` without generating a circuit. Use this function when
    * fast delegated proving is needed.
@@ -2854,7 +3544,7 @@ export class ProgramManager {
    * @param inputs A javascript array of inputs to the function.
    * @param imports The imports to the program in the format {"programname.aleo":"aleo instructions source code"}.
    */
-  static buildAuthorizationUnchecked(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, imports?: object | null, edition?: number | null): Promise<Authorization>;
+  static buildAuthorizationUnchecked(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, imports?: object | null, edition?: number | null, program_imports?: ProgramImports | null): Promise<Authorization>;
   /**
    * Create an execution `Authorization` for a given program:function tuple with specified inputs.
    *
@@ -2864,7 +3554,7 @@ export class ProgramManager {
    * @param inputs A javascript array of inputs to the function.
    * @param imports The imports to the program in the format {"programname.aleo":"aleo instructions source code"}.
    */
-  static authorize(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, imports?: object | null, edition?: number | null): Promise<Authorization>;
+  static authorize(private_key: PrivateKey, program: string, function_name: string, inputs: Array<any>, imports?: object | null, edition?: number | null, program_imports?: ProgramImports | null): Promise<Authorization>;
 }
 /**
  * SNARK proof for verification of program execution
@@ -3427,10 +4117,20 @@ 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.
    */
@@ -3439,18 +4139,70 @@ export class 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;
+  /**
+   * Cast the scalar to a U64 with lossy truncation.
+   */
+  toU64Lossy(): U64;
   /**
    * Create a scalar element from a Uint8Array of left endian bytes.
    */
   static fromBytesLe(bytes: Uint8Array): Scalar;
+  /**
+   * Cast the scalar to an I128 with lossy truncation.
+   */
+  toI128Lossy(): I128;
+  /**
+   * Cast the scalar to a U128 with lossy truncation.
+   */
+  toU128Lossy(): U128;
+  /**
+   * Cast the scalar to a Group element with lossy conversion (via Field, Elligator-2 fallback).
+   */
+  toGroupLossy(): Group;
+  /**
+   * Cast the scalar to an Address with lossy conversion (via Group, Elligator-2 fallback).
+   */
+  toAddressLossy(): Address;
+  /**
+   * Cast the scalar to a Boolean with lossy truncation (extracts least-significant bit).
+   */
+  toBooleanLossy(): Boolean;
   /**
    * Add two scalar elements.
    */
@@ -3503,6 +4255,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.
    */
@@ -3951,18 +4708,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).
    */
@@ -3991,6 +4796,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.
    */
@@ -4052,18 +4861,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).
    */
@@ -4092,6 +4949,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.
    */
@@ -4153,18 +5014,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).
    */
@@ -4193,6 +5102,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.
    */
@@ -4254,18 +5167,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).
    */
@@ -4294,6 +5255,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.
    */
@@ -4355,18 +5320,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).
    */
@@ -4395,6 +5408,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.
    */