@provablehq/wasm 0.10.0 → 0.10.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.
  *
@@ -40,6 +28,19 @@ export function snarkVerify(verifying_key: VerifyingKey, inputs: Array<any>, pro
  * @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 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.
    */
@@ -1694,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).
    */
@@ -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.
    */
@@ -3427,10 +3939,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 +3961,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 +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.
    */
@@ -3951,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).
    */
@@ -3991,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.
    */
@@ -4052,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).
    */
@@ -4092,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.
    */
@@ -4153,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).
    */
@@ -4193,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.
    */
@@ -4254,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).
    */
@@ -4294,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.
    */
@@ -4355,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).
    */
@@ -4395,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.
    */