@provablehq/wasm 0.9.5 → 0.9.7

package/dist/mainnet/worker.js

@@ -291,7 +291,7 @@ function __wbg_adapter_43(arg0, arg1, arg2) {
     wasm.__wbindgen_export_7(arg0, arg1, addHeapObject(arg2));
 }
 
-function __wbg_adapter_851(arg0, arg1, arg2, arg3) {
+function __wbg_adapter_854(arg0, arg1, arg2, arg3) {
     wasm.__wbindgen_export_8(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
@@ -2629,10 +2629,11 @@ class ExecutionRequest {
      * @param {Array<any>} inputs
      * @param {Array<any>} input_types
      * @param {Field | null | undefined} root_tvk
+     * @param {Field | null | undefined} program_checksum
      * @param {boolean} is_root
      * @returns {ExecutionRequest}
      */
-    static sign(private_key, program_id, function_name, inputs, input_types, root_tvk, is_root) {
+    static sign(private_key, program_id, function_name, inputs, input_types, root_tvk, program_checksum, is_root) {
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
             _assertClass(private_key, PrivateKey);
@@ -2646,7 +2647,12 @@ class ExecutionRequest {
                 _assertClass(root_tvk, Field);
                 ptr3 = root_tvk.__destroy_into_raw();
             }
-            wasm.executionrequest_sign(retptr, ptr0, ptr1, len1, ptr2, len2, addHeapObject(inputs), addHeapObject(input_types), ptr3, is_root);
+            let ptr4 = 0;
+            if (!isLikeNone(program_checksum)) {
+                _assertClass(program_checksum, Field);
+                ptr4 = program_checksum.__destroy_into_raw();
+            }
+            wasm.executionrequest_sign(retptr, ptr0, ptr1, len1, ptr2, len2, addHeapObject(inputs), addHeapObject(input_types), ptr3, ptr4, is_root);
             var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
             var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
             var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
@@ -2665,10 +2671,16 @@ class ExecutionRequest {
      * @param {boolean} Flag to indicate whether this request is the first function in the call graph.
      * @param {Array<any>} input_types
      * @param {boolean} is_root
+     * @param {Field | null} [program_checksum]
      * @returns {boolean}
      */
-    verify(input_types, is_root) {
-        const ret = wasm.executionrequest_verify(this.__wbg_ptr, addHeapObject(input_types), is_root);
+    verify(input_types, is_root, program_checksum) {
+        let ptr0 = 0;
+        if (!isLikeNone(program_checksum)) {
+            _assertClass(program_checksum, Field);
+            ptr0 = program_checksum.__destroy_into_raw();
+        }
+        const ret = wasm.executionrequest_verify(this.__wbg_ptr, addHeapObject(input_types), is_root, ptr0);
         return ret !== 0;
     }
 }
@@ -3431,7 +3443,7 @@ class I128 {
         wasm.__wbg_i128_free(ptr, 0);
     }
     /**
-     * Creates from string.
+     * Construct an integer from a string representation.
      * @param {string} s
      * @returns {I128}
      */
@@ -3453,7 +3465,7 @@ class I128 {
         }
     }
     /**
-     * To string.
+     * Get the string representation of the integer.
      * @returns {string}
      */
     toString() {
@@ -3473,7 +3485,7 @@ class I128 {
         }
     }
     /**
-     * From bytes (LE).
+     * Get the byte array representation of the integer.
      * @param {Uint8Array} bytes
      * @returns {I128}
      */
@@ -3494,7 +3506,7 @@ class I128 {
         }
     }
     /**
-     * To bytes (LE).
+     * Construct an integer from a byte array representation.
      * @returns {Uint8Array}
      */
     toBytesLe() {
@@ -3513,7 +3525,7 @@ class I128 {
         }
     }
     /**
-     * From bits.
+     * Construct an integer from a boolean array representation.
      * @param {Array<any>} bits
      * @returns {I128}
      */
@@ -3534,7 +3546,7 @@ class I128 {
         }
     }
     /**
-     * To bits.
+     * Get the boolean array representation of the integer.
      * @returns {Array<any>}
      */
     toBitsLe() {
@@ -3558,7 +3570,7 @@ class I128 {
         return I128.__wrap(ret);
     }
     /**
-     * Wrapped addition.
+     * Wrapped addition with another integer.
      * @param {I128} other
      * @returns {I128}
      */
@@ -3568,7 +3580,7 @@ class I128 {
         return I128.__wrap(ret);
     }
     /**
-     * Wrapped subtraction.
+     * Wrapped subtraction with another integer.
      * @param {I128} other
      * @returns {I128}
      */
@@ -3578,7 +3590,7 @@ class I128 {
         return I128.__wrap(ret);
     }
     /**
-     * Wrapped multiplication.
+     * Wrapped multiplication with another integer.
      * @param {I128} other
      * @returns {I128}
      */
@@ -3598,7 +3610,7 @@ class I128 {
         return I128.__wrap(ret);
     }
     /**
-     * Power to a u8 exponent.
+     * Exponentiate the integer with a u8 exponent.
      * @param {U8} exponent
      * @returns {I128}
      */
@@ -3608,7 +3620,7 @@ class I128 {
         return I128.__wrap(ret);
     }
     /**
-     * Power to a u16 exponent.
+     * Exponentiate the integer with a u16 exponent.
      * @param {U16} exponent
      * @returns {I128}
      */
@@ -3618,7 +3630,7 @@ class I128 {
         return I128.__wrap(ret);
     }
     /**
-     * Power to a u32 exponent.
+     * Exponentiate the integer with a u32 exponent.
      * @param {U32} exponent
      * @returns {I128}
      */
@@ -3628,7 +3640,7 @@ class I128 {
         return I128.__wrap(ret);
     }
     /**
-     * Negates the integer (e.g., 5 → -5).
+     * Negate the integer (e.g., 5 → -5).
      * @returns {I128}
      */
     neg() {
@@ -3636,7 +3648,7 @@ class I128 {
         return I128.__wrap(ret);
     }
     /**
-     * Checks equality with another integer.
+     * Check equality with another integer.
      * @param {I128} other
      * @returns {boolean}
      */
@@ -3646,7 +3658,7 @@ class I128 {
         return ret !== 0;
     }
     /**
-     * Remainder.
+     * Get the remainder from integer division.
      * @param {I128} other
      * @returns {I128}
      */
@@ -3656,7 +3668,7 @@ class I128 {
         return I128.__wrap(ret);
     }
     /**
-     * Wrapped remainder.
+     * Get the remainder from an integer division which wraps if there's an overflow.
      * @param {I128} other
      * @returns {I128}
      */
@@ -3666,7 +3678,7 @@ class I128 {
         return I128.__wrap(ret);
     }
     /**
-     * Convert to Scalar.
+     * Convert the integer to a Scalar value.
      * @returns {Scalar}
      */
     toScalar() {
@@ -3674,7 +3686,7 @@ class I128 {
         return Scalar.__wrap(ret);
     }
     /**
-     * Convert to plaintext.
+     * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
      * @returns {Plaintext}
      */
     toPlaintext() {
@@ -3682,7 +3694,7 @@ class I128 {
         return Plaintext.__wrap(ret);
     }
     /**
-     * Convert from Field.
+     * Attempt to construct the integer from a field element.
      * @param {Field} field
      * @returns {I128}
      */
@@ -3703,7 +3715,7 @@ class I128 {
         }
     }
     /**
-     * Convert from Fields.
+     * Atttempt to construct the integer from a list of field elements.
      * @param {Array<any>} fields
      * @returns {I128}
      */
@@ -3723,7 +3735,7 @@ class I128 {
         }
     }
     /**
-     * Clone.
+     * Clone the integer in wasm memory.
      * @returns {I128}
      */
     clone() {
@@ -3758,7 +3770,7 @@ class I16 {
         wasm.__wbg_i16_free(ptr, 0);
     }
     /**
-     * Creates from string.
+     * Construct an integer from a string representation.
      * @param {string} s
      * @returns {I16}
      */
@@ -3780,7 +3792,7 @@ class I16 {
         }
     }
     /**
-     * To string.
+     * Get the string representation of the integer.
      * @returns {string}
      */
     toString() {
@@ -3800,7 +3812,7 @@ class I16 {
         }
     }
     /**
-     * From bytes (LE).
+     * Get the byte array representation of the integer.
      * @param {Uint8Array} bytes
      * @returns {I16}
      */
@@ -3821,7 +3833,7 @@ class I16 {
         }
     }
     /**
-     * To bytes (LE).
+     * Construct an integer from a byte array representation.
      * @returns {Uint8Array}
      */
     toBytesLe() {
@@ -3840,7 +3852,7 @@ class I16 {
         }
     }
     /**
-     * From bits.
+     * Construct an integer from a boolean array representation.
      * @param {Array<any>} bits
      * @returns {I16}
      */
@@ -3861,7 +3873,7 @@ class I16 {
         }
     }
     /**
-     * To bits.
+     * Get the boolean array representation of the integer.
      * @returns {Array<any>}
      */
     toBitsLe() {
@@ -3885,7 +3897,7 @@ class I16 {
         return I16.__wrap(ret);
     }
     /**
-     * Wrapped addition.
+     * Wrapped addition with another integer.
      * @param {I16} other
      * @returns {I16}
      */
@@ -3895,7 +3907,7 @@ class I16 {
         return I16.__wrap(ret);
     }
     /**
-     * Wrapped subtraction.
+     * Wrapped subtraction with another integer.
      * @param {I16} other
      * @returns {I16}
      */
@@ -3905,7 +3917,7 @@ class I16 {
         return I16.__wrap(ret);
     }
     /**
-     * Wrapped multiplication.
+     * Wrapped multiplication with another integer.
      * @param {I16} other
      * @returns {I16}
      */
@@ -3925,7 +3937,7 @@ class I16 {
         return I16.__wrap(ret);
     }
     /**
-     * Power to a u8 exponent.
+     * Exponentiate the integer with a u8 exponent.
      * @param {U8} exponent
      * @returns {I16}
      */
@@ -3935,7 +3947,7 @@ class I16 {
         return I16.__wrap(ret);
     }
     /**
-     * Power to a u16 exponent.
+     * Exponentiate the integer with a u16 exponent.
      * @param {U16} exponent
      * @returns {I16}
      */
@@ -3945,7 +3957,7 @@ class I16 {
         return I16.__wrap(ret);
     }
     /**
-     * Power to a u32 exponent.
+     * Exponentiate the integer with a u32 exponent.
      * @param {U32} exponent
      * @returns {I16}
      */
@@ -3955,7 +3967,7 @@ class I16 {
         return I16.__wrap(ret);
     }
     /**
-     * Negates the integer (e.g., 5 → -5).
+     * Negate the integer (e.g., 5 → -5).
      * @returns {I16}
      */
     neg() {
@@ -3963,7 +3975,7 @@ class I16 {
         return I16.__wrap(ret);
     }
     /**
-     * Checks equality with another integer.
+     * Check equality with another integer.
      * @param {I16} other
      * @returns {boolean}
      */
@@ -3973,7 +3985,7 @@ class I16 {
         return ret !== 0;
     }
     /**
-     * Remainder.
+     * Get the remainder from integer division.
      * @param {I16} other
      * @returns {I16}
      */
@@ -3983,7 +3995,7 @@ class I16 {
         return I16.__wrap(ret);
     }
     /**
-     * Wrapped remainder.
+     * Get the remainder from an integer division which wraps if there's an overflow.
      * @param {I16} other
      * @returns {I16}
      */
@@ -3993,7 +4005,7 @@ class I16 {
         return I16.__wrap(ret);
     }
     /**
-     * Convert to Scalar.
+     * Convert the integer to a Scalar value.
      * @returns {Scalar}
      */
     toScalar() {
@@ -4001,7 +4013,7 @@ class I16 {
         return Scalar.__wrap(ret);
     }
     /**
-     * Convert to plaintext.
+     * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
      * @returns {Plaintext}
      */
     toPlaintext() {
@@ -4009,7 +4021,7 @@ class I16 {
         return Plaintext.__wrap(ret);
     }
     /**
-     * Convert from Field.
+     * Attempt to construct the integer from a field element.
      * @param {Field} field
      * @returns {I16}
      */
@@ -4030,7 +4042,7 @@ class I16 {
         }
     }
     /**
-     * Convert from Fields.
+     * Atttempt to construct the integer from a list of field elements.
      * @param {Array<any>} fields
      * @returns {I16}
      */
@@ -4050,7 +4062,7 @@ class I16 {
         }
     }
     /**
-     * Clone.
+     * Clone the integer in wasm memory.
      * @returns {I16}
      */
     clone() {
@@ -4085,7 +4097,7 @@ class I32 {
         wasm.__wbg_i32_free(ptr, 0);
     }
     /**
-     * Creates from string.
+     * Construct an integer from a string representation.
      * @param {string} s
      * @returns {I32}
      */
@@ -4107,7 +4119,7 @@ class I32 {
         }
     }
     /**
-     * To string.
+     * Get the string representation of the integer.
      * @returns {string}
      */
     toString() {
@@ -4127,7 +4139,7 @@ class I32 {
         }
     }
     /**
-     * From bytes (LE).
+     * Get the byte array representation of the integer.
      * @param {Uint8Array} bytes
      * @returns {I32}
      */
@@ -4148,7 +4160,7 @@ class I32 {
         }
     }
     /**
-     * To bytes (LE).
+     * Construct an integer from a byte array representation.
      * @returns {Uint8Array}
      */
     toBytesLe() {
@@ -4167,7 +4179,7 @@ class I32 {
         }
     }
     /**
-     * From bits.
+     * Construct an integer from a boolean array representation.
      * @param {Array<any>} bits
      * @returns {I32}
      */
@@ -4188,7 +4200,7 @@ class I32 {
         }
     }
     /**
-     * To bits.
+     * Get the boolean array representation of the integer.
      * @returns {Array<any>}
      */
     toBitsLe() {
@@ -4212,7 +4224,7 @@ class I32 {
         return I32.__wrap(ret);
     }
     /**
-     * Wrapped addition.
+     * Wrapped addition with another integer.
      * @param {I32} other
      * @returns {I32}
      */
@@ -4222,7 +4234,7 @@ class I32 {
         return I32.__wrap(ret);
     }
     /**
-     * Wrapped subtraction.
+     * Wrapped subtraction with another integer.
      * @param {I32} other
      * @returns {I32}
      */
@@ -4232,7 +4244,7 @@ class I32 {
         return I32.__wrap(ret);
     }
     /**
-     * Wrapped multiplication.
+     * Wrapped multiplication with another integer.
      * @param {I32} other
      * @returns {I32}
      */
@@ -4252,7 +4264,7 @@ class I32 {
         return I32.__wrap(ret);
     }
     /**
-     * Power to a u8 exponent.
+     * Exponentiate the integer with a u8 exponent.
      * @param {U8} exponent
      * @returns {I32}
      */
@@ -4262,7 +4274,7 @@ class I32 {
         return I32.__wrap(ret);
     }
     /**
-     * Power to a u16 exponent.
+     * Exponentiate the integer with a u16 exponent.
      * @param {U16} exponent
      * @returns {I32}
      */
@@ -4272,7 +4284,7 @@ class I32 {
         return I32.__wrap(ret);
     }
     /**
-     * Power to a u32 exponent.
+     * Exponentiate the integer with a u32 exponent.
      * @param {U32} exponent
      * @returns {I32}
      */
@@ -4282,7 +4294,7 @@ class I32 {
         return I32.__wrap(ret);
     }
     /**
-     * Negates the integer (e.g., 5 → -5).
+     * Negate the integer (e.g., 5 → -5).
      * @returns {I32}
      */
     neg() {
@@ -4290,7 +4302,7 @@ class I32 {
         return I32.__wrap(ret);
     }
     /**
-     * Checks equality with another integer.
+     * Check equality with another integer.
      * @param {I32} other
      * @returns {boolean}
      */
@@ -4300,7 +4312,7 @@ class I32 {
         return ret !== 0;
     }
     /**
-     * Remainder.
+     * Get the remainder from integer division.
      * @param {I32} other
      * @returns {I32}
      */
@@ -4310,7 +4322,7 @@ class I32 {
         return I32.__wrap(ret);
     }
     /**
-     * Wrapped remainder.
+     * Get the remainder from an integer division which wraps if there's an overflow.
      * @param {I32} other
      * @returns {I32}
      */
@@ -4320,7 +4332,7 @@ class I32 {
         return I32.__wrap(ret);
     }
     /**
-     * Convert to Scalar.
+     * Convert the integer to a Scalar value.
      * @returns {Scalar}
      */
     toScalar() {
@@ -4328,7 +4340,7 @@ class I32 {
         return Scalar.__wrap(ret);
     }
     /**
-     * Convert to plaintext.
+     * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
      * @returns {Plaintext}
      */
     toPlaintext() {
@@ -4336,7 +4348,7 @@ class I32 {
         return Plaintext.__wrap(ret);
     }
     /**
-     * Convert from Field.
+     * Attempt to construct the integer from a field element.
      * @param {Field} field
      * @returns {I32}
      */
@@ -4357,7 +4369,7 @@ class I32 {
         }
     }
     /**
-     * Convert from Fields.
+     * Atttempt to construct the integer from a list of field elements.
      * @param {Array<any>} fields
      * @returns {I32}
      */
@@ -4377,7 +4389,7 @@ class I32 {
         }
     }
     /**
-     * Clone.
+     * Clone the integer in wasm memory.
      * @returns {I32}
      */
     clone() {
@@ -4412,7 +4424,7 @@ class I64 {
         wasm.__wbg_i64_free(ptr, 0);
     }
     /**
-     * Creates from string.
+     * Construct an integer from a string representation.
      * @param {string} s
      * @returns {I64}
      */
@@ -4434,7 +4446,7 @@ class I64 {
         }
     }
     /**
-     * To string.
+     * Get the string representation of the integer.
      * @returns {string}
      */
     toString() {
@@ -4454,7 +4466,7 @@ class I64 {
         }
     }
     /**
-     * From bytes (LE).
+     * Get the byte array representation of the integer.
      * @param {Uint8Array} bytes
      * @returns {I64}
      */
@@ -4475,7 +4487,7 @@ class I64 {
         }
     }
     /**
-     * To bytes (LE).
+     * Construct an integer from a byte array representation.
      * @returns {Uint8Array}
      */
     toBytesLe() {
@@ -4494,7 +4506,7 @@ class I64 {
         }
     }
     /**
-     * From bits.
+     * Construct an integer from a boolean array representation.
      * @param {Array<any>} bits
      * @returns {I64}
      */
@@ -4515,7 +4527,7 @@ class I64 {
         }
     }
     /**
-     * To bits.
+     * Get the boolean array representation of the integer.
      * @returns {Array<any>}
      */
     toBitsLe() {
@@ -4539,7 +4551,7 @@ class I64 {
         return I64.__wrap(ret);
     }
     /**
-     * Wrapped addition.
+     * Wrapped addition with another integer.
      * @param {I64} other
      * @returns {I64}
      */
@@ -4549,7 +4561,7 @@ class I64 {
         return I64.__wrap(ret);
     }
     /**
-     * Wrapped subtraction.
+     * Wrapped subtraction with another integer.
      * @param {I64} other
      * @returns {I64}
      */
@@ -4559,7 +4571,7 @@ class I64 {
         return I64.__wrap(ret);
     }
     /**
-     * Wrapped multiplication.
+     * Wrapped multiplication with another integer.
      * @param {I64} other
      * @returns {I64}
      */
@@ -4579,7 +4591,7 @@ class I64 {
         return I64.__wrap(ret);
     }
     /**
-     * Power to a u8 exponent.
+     * Exponentiate the integer with a u8 exponent.
      * @param {U8} exponent
      * @returns {I64}
      */
@@ -4589,7 +4601,7 @@ class I64 {
         return I64.__wrap(ret);
     }
     /**
-     * Power to a u16 exponent.
+     * Exponentiate the integer with a u16 exponent.
      * @param {U16} exponent
      * @returns {I64}
      */
@@ -4599,7 +4611,7 @@ class I64 {
         return I64.__wrap(ret);
     }
     /**
-     * Power to a u32 exponent.
+     * Exponentiate the integer with a u32 exponent.
      * @param {U32} exponent
      * @returns {I64}
      */
@@ -4609,7 +4621,7 @@ class I64 {
         return I64.__wrap(ret);
     }
     /**
-     * Negates the integer (e.g., 5 → -5).
+     * Negate the integer (e.g., 5 → -5).
      * @returns {I64}
      */
     neg() {
@@ -4617,7 +4629,7 @@ class I64 {
         return I64.__wrap(ret);
     }
     /**
-     * Checks equality with another integer.
+     * Check equality with another integer.
      * @param {I64} other
      * @returns {boolean}
      */
@@ -4627,7 +4639,7 @@ class I64 {
         return ret !== 0;
     }
     /**
-     * Remainder.
+     * Get the remainder from integer division.
      * @param {I64} other
      * @returns {I64}
      */
@@ -4637,7 +4649,7 @@ class I64 {
         return I64.__wrap(ret);
     }
     /**
-     * Wrapped remainder.
+     * Get the remainder from an integer division which wraps if there's an overflow.
      * @param {I64} other
      * @returns {I64}
      */
@@ -4647,7 +4659,7 @@ class I64 {
         return I64.__wrap(ret);
     }
     /**
-     * Convert to Scalar.
+     * Convert the integer to a Scalar value.
      * @returns {Scalar}
      */
     toScalar() {
@@ -4655,7 +4667,7 @@ class I64 {
         return Scalar.__wrap(ret);
     }
     /**
-     * Convert to plaintext.
+     * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
      * @returns {Plaintext}
      */
     toPlaintext() {
@@ -4663,7 +4675,7 @@ class I64 {
         return Plaintext.__wrap(ret);
     }
     /**
-     * Convert from Field.
+     * Attempt to construct the integer from a field element.
      * @param {Field} field
      * @returns {I64}
      */
@@ -4684,7 +4696,7 @@ class I64 {
         }
     }
     /**
-     * Convert from Fields.
+     * Atttempt to construct the integer from a list of field elements.
      * @param {Array<any>} fields
      * @returns {I64}
      */
@@ -4704,7 +4716,7 @@ class I64 {
         }
     }
     /**
-     * Clone.
+     * Clone the integer in wasm memory.
      * @returns {I64}
      */
     clone() {
@@ -4739,7 +4751,7 @@ class I8 {
         wasm.__wbg_i8_free(ptr, 0);
     }
     /**
-     * Creates from string.
+     * Construct an integer from a string representation.
      * @param {string} s
      * @returns {I8}
      */
@@ -4761,7 +4773,7 @@ class I8 {
         }
     }
     /**
-     * To string.
+     * Get the string representation of the integer.
      * @returns {string}
      */
     toString() {
@@ -4781,7 +4793,7 @@ class I8 {
         }
     }
     /**
-     * From bytes (LE).
+     * Get the byte array representation of the integer.
      * @param {Uint8Array} bytes
      * @returns {I8}
      */
@@ -4802,7 +4814,7 @@ class I8 {
         }
     }
     /**
-     * To bytes (LE).
+     * Construct an integer from a byte array representation.
      * @returns {Uint8Array}
      */
     toBytesLe() {
@@ -4821,7 +4833,7 @@ class I8 {
         }
     }
     /**
-     * From bits.
+     * Construct an integer from a boolean array representation.
      * @param {Array<any>} bits
      * @returns {I8}
      */
@@ -4842,7 +4854,7 @@ class I8 {
         }
     }
     /**
-     * To bits.
+     * Get the boolean array representation of the integer.
      * @returns {Array<any>}
      */
     toBitsLe() {
@@ -4866,7 +4878,7 @@ class I8 {
         return I8.__wrap(ret);
     }
     /**
-     * Wrapped addition.
+     * Wrapped addition with another integer.
      * @param {I8} other
      * @returns {I8}
      */
@@ -4876,7 +4888,7 @@ class I8 {
         return I8.__wrap(ret);
     }
     /**
-     * Wrapped subtraction.
+     * Wrapped subtraction with another integer.
      * @param {I8} other
      * @returns {I8}
      */
@@ -4886,7 +4898,7 @@ class I8 {
         return I8.__wrap(ret);
     }
     /**
-     * Wrapped multiplication.
+     * Wrapped multiplication with another integer.
      * @param {I8} other
      * @returns {I8}
      */
@@ -4906,7 +4918,7 @@ class I8 {
         return I8.__wrap(ret);
     }
     /**
-     * Power to a u8 exponent.
+     * Exponentiate the integer with a u8 exponent.
      * @param {U8} exponent
      * @returns {I8}
      */
@@ -4916,7 +4928,7 @@ class I8 {
         return I8.__wrap(ret);
     }
     /**
-     * Power to a u16 exponent.
+     * Exponentiate the integer with a u16 exponent.
      * @param {U16} exponent
      * @returns {I8}
      */
@@ -4926,7 +4938,7 @@ class I8 {
         return I8.__wrap(ret);
     }
     /**
-     * Power to a u32 exponent.
+     * Exponentiate the integer with a u32 exponent.
      * @param {U32} exponent
      * @returns {I8}
      */
@@ -4936,7 +4948,7 @@ class I8 {
         return I8.__wrap(ret);
     }
     /**
-     * Negates the integer (e.g., 5 → -5).
+     * Negate the integer (e.g., 5 → -5).
      * @returns {I8}
      */
     neg() {
@@ -4944,7 +4956,7 @@ class I8 {
         return I8.__wrap(ret);
     }
     /**
-     * Checks equality with another integer.
+     * Check equality with another integer.
      * @param {I8} other
      * @returns {boolean}
      */
@@ -4954,7 +4966,7 @@ class I8 {
         return ret !== 0;
     }
     /**
-     * Remainder.
+     * Get the remainder from integer division.
      * @param {I8} other
      * @returns {I8}
      */
@@ -4964,7 +4976,7 @@ class I8 {
         return I8.__wrap(ret);
     }
     /**
-     * Wrapped remainder.
+     * Get the remainder from an integer division which wraps if there's an overflow.
      * @param {I8} other
      * @returns {I8}
      */
@@ -4974,7 +4986,7 @@ class I8 {
         return I8.__wrap(ret);
     }
     /**
-     * Convert to Scalar.
+     * Convert the integer to a Scalar value.
      * @returns {Scalar}
      */
     toScalar() {
@@ -4982,7 +4994,7 @@ class I8 {
         return Scalar.__wrap(ret);
     }
     /**
-     * Convert to plaintext.
+     * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
      * @returns {Plaintext}
      */
     toPlaintext() {
@@ -4990,7 +5002,7 @@ class I8 {
         return Plaintext.__wrap(ret);
     }
     /**
-     * Convert from Field.
+     * Attempt to construct the integer from a field element.
      * @param {Field} field
      * @returns {I8}
      */
@@ -5011,7 +5023,7 @@ class I8 {
         }
     }
     /**
-     * Convert from Fields.
+     * Atttempt to construct the integer from a list of field elements.
      * @param {Array<any>} fields
      * @returns {I8}
      */
@@ -5031,7 +5043,7 @@ class I8 {
         }
     }
     /**
-     * Clone.
+     * Clone the integer in wasm memory.
      * @returns {I8}
      */
     clone() {
@@ -7335,15 +7347,16 @@ class ProgramManager {
      * @param {string} function_name
      * @param {Array<any>} inputs
      * @param {object | null} [imports]
+     * @param {number | null} [edition]
      * @returns {Promise<Authorization>}
      */
-    static authorize(private_key, program, function_name, inputs, imports) {
+    static authorize(private_key, program, function_name, inputs, imports, edition) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export_3, wasm.__wbindgen_export_4);
         const len0 = WASM_VECTOR_LEN;
         const ptr1 = passStringToWasm0(function_name, wasm.__wbindgen_export_3, wasm.__wbindgen_export_4);
         const len1 = WASM_VECTOR_LEN;
-        const ret = wasm.programmanager_authorize(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), isLikeNone(imports) ? 0 : addHeapObject(imports));
+        const ret = wasm.programmanager_authorize(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(edition) ? 0xFFFFFF : edition);
         return takeObject(ret);
     }
     /**
@@ -7360,15 +7373,16 @@ class ProgramManager {
      * @param {string} function_name
      * @param {Array<any>} inputs
      * @param {object | null} [imports]
+     * @param {number | null} [edition]
      * @returns {Promise<Authorization>}
      */
-    static buildAuthorizationUnchecked(private_key, program, function_name, inputs, imports) {
+    static buildAuthorizationUnchecked(private_key, program, function_name, inputs, imports, edition) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export_3, wasm.__wbindgen_export_4);
         const len0 = WASM_VECTOR_LEN;
         const ptr1 = passStringToWasm0(function_name, wasm.__wbindgen_export_3, wasm.__wbindgen_export_4);
         const len1 = WASM_VECTOR_LEN;
-        const ret = wasm.programmanager_buildAuthorizationUnchecked(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), isLikeNone(imports) ? 0 : addHeapObject(imports));
+        const ret = wasm.programmanager_buildAuthorizationUnchecked(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(edition) ? 0xFFFFFF : edition);
         return takeObject(ret);
     }
     /**
@@ -7538,9 +7552,10 @@ class ProgramManager {
      * @param {VerifyingKey | null} [verifying_key]
      * @param {string | null} [url]
      * @param {OfflineQuery | null} [offline_query]
+     * @param {number | null} [edition]
      * @returns {Promise<ExecutionResponse>}
      */
-    static executeFunctionOffline(private_key, program, _function, inputs, prove_execution, cache, imports, proving_key, verifying_key, url, offline_query) {
+    static executeFunctionOffline(private_key, program, _function, inputs, prove_execution, cache, imports, proving_key, verifying_key, url, offline_query, edition) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export_3, wasm.__wbindgen_export_4);
         const len0 = WASM_VECTOR_LEN;
@@ -7563,7 +7578,7 @@ class ProgramManager {
             _assertClass(offline_query, OfflineQuery);
             ptr5 = offline_query.__destroy_into_raw();
         }
-        const ret = wasm.programmanager_executeFunctionOffline(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), prove_execution, cache, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr2, ptr3, ptr4, len4, ptr5);
+        const ret = wasm.programmanager_executeFunctionOffline(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), prove_execution, cache, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr2, ptr3, ptr4, len4, ptr5, isLikeNone(edition) ? 0xFFFFFF : edition);
         return takeObject(ret);
     }
     /**
@@ -7587,6 +7602,8 @@ class ProgramManager {
      * @param verifying_key (optional) Provide a verifying key to use for the function execution
      * @param fee_proving_key (optional) Provide a proving key to use for the fee execution
      * @param fee_verifying_key (optional) Provide a verifying key to use for the fee execution
+     * @param offline_query An offline query object to use if building a transaction without an internet connection.
+     * @param edition The edition of the program to execute. Defaults to the latest found on the network, or 1 if the program does not exist on the network.
      * @returns {Transaction}
      * @param {PrivateKey} private_key
      * @param {string} program
@@ -7601,9 +7618,10 @@ class ProgramManager {
      * @param {ProvingKey | null} [fee_proving_key]
      * @param {VerifyingKey | null} [fee_verifying_key]
      * @param {OfflineQuery | null} [offline_query]
+     * @param {number | null} [edition]
      * @returns {Promise<Transaction>}
      */
-    static buildExecutionTransaction(private_key, program, _function, inputs, priority_fee_credits, fee_record, url, imports, proving_key, verifying_key, fee_proving_key, fee_verifying_key, offline_query) {
+    static buildExecutionTransaction(private_key, program, _function, inputs, priority_fee_credits, fee_record, url, imports, proving_key, verifying_key, fee_proving_key, fee_verifying_key, offline_query, edition) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export_3, wasm.__wbindgen_export_4);
         const len0 = WASM_VECTOR_LEN;
@@ -7641,7 +7659,7 @@ class ProgramManager {
             _assertClass(offline_query, OfflineQuery);
             ptr8 = offline_query.__destroy_into_raw();
         }
-        const ret = wasm.programmanager_buildExecutionTransaction(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), priority_fee_credits, ptr2, ptr3, len3, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr4, ptr5, ptr6, ptr7, ptr8);
+        const ret = wasm.programmanager_buildExecutionTransaction(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), priority_fee_credits, ptr2, ptr3, len3, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr4, ptr5, ptr6, ptr7, ptr8, isLikeNone(edition) ? 0xFFFFFF : edition);
         return takeObject(ret);
     }
     /**
@@ -7671,9 +7689,10 @@ class ProgramManager {
      * @param {ProvingKey | null} [proving_key]
      * @param {VerifyingKey | null} [verifying_key]
      * @param {OfflineQuery | null} [offline_query]
+     * @param {number | null} [edition]
      * @returns {Promise<bigint>}
      */
-    static estimateExecutionFee(private_key, program, _function, inputs, url, imports, proving_key, verifying_key, offline_query) {
+    static estimateExecutionFee(private_key, program, _function, inputs, url, imports, proving_key, verifying_key, offline_query, edition) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export_3, wasm.__wbindgen_export_4);
         const len0 = WASM_VECTOR_LEN;
@@ -7696,7 +7715,7 @@ class ProgramManager {
             _assertClass(offline_query, OfflineQuery);
             ptr5 = offline_query.__destroy_into_raw();
         }
-        const ret = wasm.programmanager_estimateExecutionFee(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), ptr2, len2, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr3, ptr4, ptr5);
+        const ret = wasm.programmanager_estimateExecutionFee(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), ptr2, len2, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr3, ptr4, ptr5, isLikeNone(edition) ? 0xFFFFFF : edition);
         return takeObject(ret);
     }
     /**
@@ -7827,9 +7846,10 @@ class ProgramManager {
      * @param {object | null | undefined} imports
      * @param {boolean} broadcast
      * @param {boolean} unchecked
+     * @param {number | null} [edition]
      * @returns {Promise<ProvingRequest>}
      */
-    static buildProvingRequest(private_key, program, function_name, inputs, base_fee_credits, priority_fee_credits, fee_record, imports, broadcast, unchecked) {
+    static buildProvingRequest(private_key, program, function_name, inputs, base_fee_credits, priority_fee_credits, fee_record, imports, broadcast, unchecked, edition) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export_3, wasm.__wbindgen_export_4);
         const len0 = WASM_VECTOR_LEN;
@@ -7840,7 +7860,7 @@ class ProgramManager {
             _assertClass(fee_record, RecordPlaintext);
             ptr2 = fee_record.__destroy_into_raw();
         }
-        const ret = wasm.programmanager_buildProvingRequest(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), base_fee_credits, priority_fee_credits, ptr2, isLikeNone(imports) ? 0 : addHeapObject(imports), broadcast, unchecked);
+        const ret = wasm.programmanager_buildProvingRequest(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), base_fee_credits, priority_fee_credits, ptr2, isLikeNone(imports) ? 0 : addHeapObject(imports), broadcast, unchecked, isLikeNone(edition) ? 0xFFFFFF : edition);
         return takeObject(ret);
     }
     /**
@@ -7976,15 +7996,16 @@ class ProgramManager {
      * @param {string} function_id
      * @param {Array<any>} inputs
      * @param {object | null} [imports]
+     * @param {number | null} [edition]
      * @returns {Promise<KeyPair>}
      */
-    static synthesizeKeyPair(private_key, program, function_id, inputs, imports) {
+    static synthesizeKeyPair(private_key, program, function_id, inputs, imports, edition) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export_3, wasm.__wbindgen_export_4);
         const len0 = WASM_VECTOR_LEN;
         const ptr1 = passStringToWasm0(function_id, wasm.__wbindgen_export_3, wasm.__wbindgen_export_4);
         const len1 = WASM_VECTOR_LEN;
-        const ret = wasm.programmanager_synthesizeKeyPair(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), isLikeNone(imports) ? 0 : addHeapObject(imports));
+        const ret = wasm.programmanager_synthesizeKeyPair(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(edition) ? 0xFFFFFF : edition);
         return takeObject(ret);
     }
 }
@@ -9377,6 +9398,25 @@ class Scalar {
         const ret = wasm.scalar_toPlaintext(this.__wbg_ptr);
         return Plaintext.__wrap(ret);
     }
+    /**
+     * Cast the scalar element to a field element.
+     * @returns {Field}
+     */
+    toField() {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.scalar_toField(retptr, this.__wbg_ptr);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
+            if (r2) {
+                throw takeObject(r1);
+            }
+            return Field.__wrap(r0);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
     /**
      * Clone the scalar element.
      * @returns {Scalar}
@@ -10425,7 +10465,7 @@ class U128 {
         wasm.__wbg_u128_free(ptr, 0);
     }
     /**
-     * Creates from string.
+     * Construct an integer from a string representation.
      * @param {string} s
      * @returns {U128}
      */
@@ -10447,7 +10487,7 @@ class U128 {
         }
     }
     /**
-     * To string.
+     * Get the string representation of the integer.
      * @returns {string}
      */
     toString() {
@@ -10467,7 +10507,7 @@ class U128 {
         }
     }
     /**
-     * From bytes (LE).
+     * Get the byte array representation of the integer.
      * @param {Uint8Array} bytes
      * @returns {U128}
      */
@@ -10488,7 +10528,7 @@ class U128 {
         }
     }
     /**
-     * To bytes (LE).
+     * Construct an integer from a byte array representation.
      * @returns {Uint8Array}
      */
     toBytesLe() {
@@ -10507,7 +10547,7 @@ class U128 {
         }
     }
     /**
-     * From bits.
+     * Construct an integer from a boolean array representation.
      * @param {Array<any>} bits
      * @returns {U128}
      */
@@ -10528,7 +10568,7 @@ class U128 {
         }
     }
     /**
-     * To bits.
+     * Get the boolean array representation of the integer.
      * @returns {Array<any>}
      */
     toBitsLe() {
@@ -10552,7 +10592,7 @@ class U128 {
         return U128.__wrap(ret);
     }
     /**
-     * Wrapped addition.
+     * Wrapped addition with another integer.
      * @param {U128} other
      * @returns {U128}
      */
@@ -10562,7 +10602,7 @@ class U128 {
         return U128.__wrap(ret);
     }
     /**
-     * Wrapped subtraction.
+     * Wrapped subtraction with another integer.
      * @param {U128} other
      * @returns {U128}
      */
@@ -10572,7 +10612,7 @@ class U128 {
         return U128.__wrap(ret);
     }
     /**
-     * Wrapped multiplication.
+     * Wrapped multiplication with another integer.
      * @param {U128} other
      * @returns {U128}
      */
@@ -10592,7 +10632,7 @@ class U128 {
         return U128.__wrap(ret);
     }
     /**
-     * Power to a u8 exponent.
+     * Exponentiate the integer with a u8 exponent.
      * @param {U8} exponent
      * @returns {U128}
      */
@@ -10602,7 +10642,7 @@ class U128 {
         return U128.__wrap(ret);
     }
     /**
-     * Power to a u16 exponent.
+     * Exponentiate the integer with a u16 exponent.
      * @param {U16} exponent
      * @returns {U128}
      */
@@ -10612,7 +10652,7 @@ class U128 {
         return U128.__wrap(ret);
     }
     /**
-     * Power to a u32 exponent.
+     * Exponentiate the integer with a u32 exponent.
      * @param {U32} exponent
      * @returns {U128}
      */
@@ -10622,7 +10662,7 @@ class U128 {
         return U128.__wrap(ret);
     }
     /**
-     * Negates the integer (e.g., 5 → -5).
+     * Negate the integer (e.g., 5 → -5).
      * @returns {U128}
      */
     neg() {
@@ -10630,7 +10670,7 @@ class U128 {
         return U128.__wrap(ret);
     }
     /**
-     * Checks equality with another integer.
+     * Check equality with another integer.
      * @param {U128} other
      * @returns {boolean}
      */
@@ -10640,7 +10680,7 @@ class U128 {
         return ret !== 0;
     }
     /**
-     * Remainder.
+     * Get the remainder from integer division.
      * @param {U128} other
      * @returns {U128}
      */
@@ -10650,7 +10690,7 @@ class U128 {
         return U128.__wrap(ret);
     }
     /**
-     * Wrapped remainder.
+     * Get the remainder from an integer division which wraps if there's an overflow.
      * @param {U128} other
      * @returns {U128}
      */
@@ -10660,7 +10700,7 @@ class U128 {
         return U128.__wrap(ret);
     }
     /**
-     * Convert to Scalar.
+     * Convert the integer to a Scalar value.
      * @returns {Scalar}
      */
     toScalar() {
@@ -10668,7 +10708,7 @@ class U128 {
         return Scalar.__wrap(ret);
     }
     /**
-     * Convert to plaintext.
+     * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
      * @returns {Plaintext}
      */
     toPlaintext() {
@@ -10676,7 +10716,7 @@ class U128 {
         return Plaintext.__wrap(ret);
     }
     /**
-     * Convert from Field.
+     * Attempt to construct the integer from a field element.
      * @param {Field} field
      * @returns {U128}
      */
@@ -10697,7 +10737,7 @@ class U128 {
         }
     }
     /**
-     * Convert from Fields.
+     * Atttempt to construct the integer from a list of field elements.
      * @param {Array<any>} fields
      * @returns {U128}
      */
@@ -10717,7 +10757,7 @@ class U128 {
         }
     }
     /**
-     * Clone.
+     * Clone the integer in wasm memory.
      * @returns {U128}
      */
     clone() {
@@ -10752,7 +10792,7 @@ class U16 {
         wasm.__wbg_u16_free(ptr, 0);
     }
     /**
-     * Creates from string.
+     * Construct an integer from a string representation.
      * @param {string} s
      * @returns {U16}
      */
@@ -10774,7 +10814,7 @@ class U16 {
         }
     }
     /**
-     * To string.
+     * Get the string representation of the integer.
      * @returns {string}
      */
     toString() {
@@ -10794,7 +10834,7 @@ class U16 {
         }
     }
     /**
-     * From bytes (LE).
+     * Get the byte array representation of the integer.
      * @param {Uint8Array} bytes
      * @returns {U16}
      */
@@ -10815,7 +10855,7 @@ class U16 {
         }
     }
     /**
-     * To bytes (LE).
+     * Construct an integer from a byte array representation.
      * @returns {Uint8Array}
      */
     toBytesLe() {
@@ -10834,7 +10874,7 @@ class U16 {
         }
     }
     /**
-     * From bits.
+     * Construct an integer from a boolean array representation.
      * @param {Array<any>} bits
      * @returns {U16}
      */
@@ -10855,7 +10895,7 @@ class U16 {
         }
     }
     /**
-     * To bits.
+     * Get the boolean array representation of the integer.
      * @returns {Array<any>}
      */
     toBitsLe() {
@@ -10879,7 +10919,7 @@ class U16 {
         return U16.__wrap(ret);
     }
     /**
-     * Wrapped addition.
+     * Wrapped addition with another integer.
      * @param {U16} other
      * @returns {U16}
      */
@@ -10889,7 +10929,7 @@ class U16 {
         return U16.__wrap(ret);
     }
     /**
-     * Wrapped subtraction.
+     * Wrapped subtraction with another integer.
      * @param {U16} other
      * @returns {U16}
      */
@@ -10899,7 +10939,7 @@ class U16 {
         return U16.__wrap(ret);
     }
     /**
-     * Wrapped multiplication.
+     * Wrapped multiplication with another integer.
      * @param {U16} other
      * @returns {U16}
      */
@@ -10919,7 +10959,7 @@ class U16 {
         return U16.__wrap(ret);
     }
     /**
-     * Power to a u8 exponent.
+     * Exponentiate the integer with a u8 exponent.
      * @param {U8} exponent
      * @returns {U16}
      */
@@ -10929,7 +10969,7 @@ class U16 {
         return U16.__wrap(ret);
     }
     /**
-     * Power to a u16 exponent.
+     * Exponentiate the integer with a u16 exponent.
      * @param {U16} exponent
      * @returns {U16}
      */
@@ -10939,7 +10979,7 @@ class U16 {
         return U16.__wrap(ret);
     }
     /**
-     * Power to a u32 exponent.
+     * Exponentiate the integer with a u32 exponent.
      * @param {U32} exponent
      * @returns {U16}
      */
@@ -10949,7 +10989,7 @@ class U16 {
         return U16.__wrap(ret);
     }
     /**
-     * Negates the integer (e.g., 5 → -5).
+     * Negate the integer (e.g., 5 → -5).
      * @returns {U16}
      */
     neg() {
@@ -10957,7 +10997,7 @@ class U16 {
         return U16.__wrap(ret);
     }
     /**
-     * Checks equality with another integer.
+     * Check equality with another integer.
      * @param {U16} other
      * @returns {boolean}
      */
@@ -10967,7 +11007,7 @@ class U16 {
         return ret !== 0;
     }
     /**
-     * Remainder.
+     * Get the remainder from integer division.
      * @param {U16} other
      * @returns {U16}
      */
@@ -10977,7 +11017,7 @@ class U16 {
         return U16.__wrap(ret);
     }
     /**
-     * Wrapped remainder.
+     * Get the remainder from an integer division which wraps if there's an overflow.
      * @param {U16} other
      * @returns {U16}
      */
@@ -10987,7 +11027,7 @@ class U16 {
         return U16.__wrap(ret);
     }
     /**
-     * Convert to Scalar.
+     * Convert the integer to a Scalar value.
      * @returns {Scalar}
      */
     toScalar() {
@@ -10995,7 +11035,7 @@ class U16 {
         return Scalar.__wrap(ret);
     }
     /**
-     * Convert to plaintext.
+     * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
      * @returns {Plaintext}
      */
     toPlaintext() {
@@ -11003,7 +11043,7 @@ class U16 {
         return Plaintext.__wrap(ret);
     }
     /**
-     * Convert from Field.
+     * Attempt to construct the integer from a field element.
      * @param {Field} field
      * @returns {U16}
      */
@@ -11024,7 +11064,7 @@ class U16 {
         }
     }
     /**
-     * Convert from Fields.
+     * Atttempt to construct the integer from a list of field elements.
      * @param {Array<any>} fields
      * @returns {U16}
      */
@@ -11044,7 +11084,7 @@ class U16 {
         }
     }
     /**
-     * Clone.
+     * Clone the integer in wasm memory.
      * @returns {U16}
      */
     clone() {
@@ -11079,7 +11119,7 @@ class U32 {
         wasm.__wbg_u32_free(ptr, 0);
     }
     /**
-     * Creates from string.
+     * Construct an integer from a string representation.
      * @param {string} s
      * @returns {U32}
      */
@@ -11101,7 +11141,7 @@ class U32 {
         }
     }
     /**
-     * To string.
+     * Get the string representation of the integer.
      * @returns {string}
      */
     toString() {
@@ -11121,7 +11161,7 @@ class U32 {
         }
     }
     /**
-     * From bytes (LE).
+     * Get the byte array representation of the integer.
      * @param {Uint8Array} bytes
      * @returns {U32}
      */
@@ -11142,7 +11182,7 @@ class U32 {
         }
     }
     /**
-     * To bytes (LE).
+     * Construct an integer from a byte array representation.
      * @returns {Uint8Array}
      */
     toBytesLe() {
@@ -11161,7 +11201,7 @@ class U32 {
         }
     }
     /**
-     * From bits.
+     * Construct an integer from a boolean array representation.
      * @param {Array<any>} bits
      * @returns {U32}
      */
@@ -11182,7 +11222,7 @@ class U32 {
         }
     }
     /**
-     * To bits.
+     * Get the boolean array representation of the integer.
      * @returns {Array<any>}
      */
     toBitsLe() {
@@ -11206,7 +11246,7 @@ class U32 {
         return U32.__wrap(ret);
     }
     /**
-     * Wrapped addition.
+     * Wrapped addition with another integer.
      * @param {U32} other
      * @returns {U32}
      */
@@ -11216,7 +11256,7 @@ class U32 {
         return U32.__wrap(ret);
     }
     /**
-     * Wrapped subtraction.
+     * Wrapped subtraction with another integer.
      * @param {U32} other
      * @returns {U32}
      */
@@ -11226,7 +11266,7 @@ class U32 {
         return U32.__wrap(ret);
     }
     /**
-     * Wrapped multiplication.
+     * Wrapped multiplication with another integer.
      * @param {U32} other
      * @returns {U32}
      */
@@ -11246,7 +11286,7 @@ class U32 {
         return U32.__wrap(ret);
     }
     /**
-     * Power to a u8 exponent.
+     * Exponentiate the integer with a u8 exponent.
      * @param {U8} exponent
      * @returns {U32}
      */
@@ -11256,7 +11296,7 @@ class U32 {
         return U32.__wrap(ret);
     }
     /**
-     * Power to a u16 exponent.
+     * Exponentiate the integer with a u16 exponent.
      * @param {U16} exponent
      * @returns {U32}
      */
@@ -11266,7 +11306,7 @@ class U32 {
         return U32.__wrap(ret);
     }
     /**
-     * Power to a u32 exponent.
+     * Exponentiate the integer with a u32 exponent.
      * @param {U32} exponent
      * @returns {U32}
      */
@@ -11276,7 +11316,7 @@ class U32 {
         return U32.__wrap(ret);
     }
     /**
-     * Negates the integer (e.g., 5 → -5).
+     * Negate the integer (e.g., 5 → -5).
      * @returns {U32}
      */
     neg() {
@@ -11284,7 +11324,7 @@ class U32 {
         return U32.__wrap(ret);
     }
     /**
-     * Checks equality with another integer.
+     * Check equality with another integer.
      * @param {U32} other
      * @returns {boolean}
      */
@@ -11294,7 +11334,7 @@ class U32 {
         return ret !== 0;
     }
     /**
-     * Remainder.
+     * Get the remainder from integer division.
      * @param {U32} other
      * @returns {U32}
      */
@@ -11304,7 +11344,7 @@ class U32 {
         return U32.__wrap(ret);
     }
     /**
-     * Wrapped remainder.
+     * Get the remainder from an integer division which wraps if there's an overflow.
      * @param {U32} other
      * @returns {U32}
      */
@@ -11314,7 +11354,7 @@ class U32 {
         return U32.__wrap(ret);
     }
     /**
-     * Convert to Scalar.
+     * Convert the integer to a Scalar value.
      * @returns {Scalar}
      */
     toScalar() {
@@ -11322,7 +11362,7 @@ class U32 {
         return Scalar.__wrap(ret);
     }
     /**
-     * Convert to plaintext.
+     * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
      * @returns {Plaintext}
      */
     toPlaintext() {
@@ -11330,7 +11370,7 @@ class U32 {
         return Plaintext.__wrap(ret);
     }
     /**
-     * Convert from Field.
+     * Attempt to construct the integer from a field element.
      * @param {Field} field
      * @returns {U32}
      */
@@ -11351,7 +11391,7 @@ class U32 {
         }
     }
     /**
-     * Convert from Fields.
+     * Atttempt to construct the integer from a list of field elements.
      * @param {Array<any>} fields
      * @returns {U32}
      */
@@ -11371,7 +11411,7 @@ class U32 {
         }
     }
     /**
-     * Clone.
+     * Clone the integer in wasm memory.
      * @returns {U32}
      */
     clone() {
@@ -11406,7 +11446,7 @@ class U64 {
         wasm.__wbg_u64_free(ptr, 0);
     }
     /**
-     * Creates from string.
+     * Construct an integer from a string representation.
      * @param {string} s
      * @returns {U64}
      */
@@ -11428,7 +11468,7 @@ class U64 {
         }
     }
     /**
-     * To string.
+     * Get the string representation of the integer.
      * @returns {string}
      */
     toString() {
@@ -11448,7 +11488,7 @@ class U64 {
         }
     }
     /**
-     * From bytes (LE).
+     * Get the byte array representation of the integer.
      * @param {Uint8Array} bytes
      * @returns {U64}
      */
@@ -11469,7 +11509,7 @@ class U64 {
         }
     }
     /**
-     * To bytes (LE).
+     * Construct an integer from a byte array representation.
      * @returns {Uint8Array}
      */
     toBytesLe() {
@@ -11488,7 +11528,7 @@ class U64 {
         }
     }
     /**
-     * From bits.
+     * Construct an integer from a boolean array representation.
      * @param {Array<any>} bits
      * @returns {U64}
      */
@@ -11509,7 +11549,7 @@ class U64 {
         }
     }
     /**
-     * To bits.
+     * Get the boolean array representation of the integer.
      * @returns {Array<any>}
      */
     toBitsLe() {
@@ -11533,7 +11573,7 @@ class U64 {
         return U64.__wrap(ret);
     }
     /**
-     * Wrapped addition.
+     * Wrapped addition with another integer.
      * @param {U64} other
      * @returns {U64}
      */
@@ -11543,7 +11583,7 @@ class U64 {
         return U64.__wrap(ret);
     }
     /**
-     * Wrapped subtraction.
+     * Wrapped subtraction with another integer.
      * @param {U64} other
      * @returns {U64}
      */
@@ -11553,7 +11593,7 @@ class U64 {
         return U64.__wrap(ret);
     }
     /**
-     * Wrapped multiplication.
+     * Wrapped multiplication with another integer.
      * @param {U64} other
      * @returns {U64}
      */
@@ -11573,7 +11613,7 @@ class U64 {
         return U64.__wrap(ret);
     }
     /**
-     * Power to a u8 exponent.
+     * Exponentiate the integer with a u8 exponent.
      * @param {U8} exponent
      * @returns {U64}
      */
@@ -11583,7 +11623,7 @@ class U64 {
         return U64.__wrap(ret);
     }
     /**
-     * Power to a u16 exponent.
+     * Exponentiate the integer with a u16 exponent.
      * @param {U16} exponent
      * @returns {U64}
      */
@@ -11593,7 +11633,7 @@ class U64 {
         return U64.__wrap(ret);
     }
     /**
-     * Power to a u32 exponent.
+     * Exponentiate the integer with a u32 exponent.
      * @param {U32} exponent
      * @returns {U64}
      */
@@ -11603,7 +11643,7 @@ class U64 {
         return U64.__wrap(ret);
     }
     /**
-     * Negates the integer (e.g., 5 → -5).
+     * Negate the integer (e.g., 5 → -5).
      * @returns {U64}
      */
     neg() {
@@ -11611,7 +11651,7 @@ class U64 {
         return U64.__wrap(ret);
     }
     /**
-     * Checks equality with another integer.
+     * Check equality with another integer.
      * @param {U64} other
      * @returns {boolean}
      */
@@ -11621,7 +11661,7 @@ class U64 {
         return ret !== 0;
     }
     /**
-     * Remainder.
+     * Get the remainder from integer division.
      * @param {U64} other
      * @returns {U64}
      */
@@ -11631,7 +11671,7 @@ class U64 {
         return U64.__wrap(ret);
     }
     /**
-     * Wrapped remainder.
+     * Get the remainder from an integer division which wraps if there's an overflow.
      * @param {U64} other
      * @returns {U64}
      */
@@ -11641,7 +11681,7 @@ class U64 {
         return U64.__wrap(ret);
     }
     /**
-     * Convert to Scalar.
+     * Convert the integer to a Scalar value.
      * @returns {Scalar}
      */
     toScalar() {
@@ -11649,7 +11689,7 @@ class U64 {
         return Scalar.__wrap(ret);
     }
     /**
-     * Convert to plaintext.
+     * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
      * @returns {Plaintext}
      */
     toPlaintext() {
@@ -11657,7 +11697,7 @@ class U64 {
         return Plaintext.__wrap(ret);
     }
     /**
-     * Convert from Field.
+     * Attempt to construct the integer from a field element.
      * @param {Field} field
      * @returns {U64}
      */
@@ -11678,7 +11718,7 @@ class U64 {
         }
     }
     /**
-     * Convert from Fields.
+     * Atttempt to construct the integer from a list of field elements.
      * @param {Array<any>} fields
      * @returns {U64}
      */
@@ -11698,7 +11738,7 @@ class U64 {
         }
     }
     /**
-     * Clone.
+     * Clone the integer in wasm memory.
      * @returns {U64}
      */
     clone() {
@@ -11733,7 +11773,7 @@ class U8 {
         wasm.__wbg_u8_free(ptr, 0);
     }
     /**
-     * Creates from string.
+     * Construct an integer from a string representation.
      * @param {string} s
      * @returns {U8}
      */
@@ -11755,7 +11795,7 @@ class U8 {
         }
     }
     /**
-     * To string.
+     * Get the string representation of the integer.
      * @returns {string}
      */
     toString() {
@@ -11775,7 +11815,7 @@ class U8 {
         }
     }
     /**
-     * From bytes (LE).
+     * Get the byte array representation of the integer.
      * @param {Uint8Array} bytes
      * @returns {U8}
      */
@@ -11796,7 +11836,7 @@ class U8 {
         }
     }
     /**
-     * To bytes (LE).
+     * Construct an integer from a byte array representation.
      * @returns {Uint8Array}
      */
     toBytesLe() {
@@ -11815,7 +11855,7 @@ class U8 {
         }
     }
     /**
-     * From bits.
+     * Construct an integer from a boolean array representation.
      * @param {Array<any>} bits
      * @returns {U8}
      */
@@ -11836,7 +11876,7 @@ class U8 {
         }
     }
     /**
-     * To bits.
+     * Get the boolean array representation of the integer.
      * @returns {Array<any>}
      */
     toBitsLe() {
@@ -11860,7 +11900,7 @@ class U8 {
         return U8.__wrap(ret);
     }
     /**
-     * Wrapped addition.
+     * Wrapped addition with another integer.
      * @param {U8} other
      * @returns {U8}
      */
@@ -11870,7 +11910,7 @@ class U8 {
         return U8.__wrap(ret);
     }
     /**
-     * Wrapped subtraction.
+     * Wrapped subtraction with another integer.
      * @param {U8} other
      * @returns {U8}
      */
@@ -11880,7 +11920,7 @@ class U8 {
         return U8.__wrap(ret);
     }
     /**
-     * Wrapped multiplication.
+     * Wrapped multiplication with another integer.
      * @param {U8} other
      * @returns {U8}
      */
@@ -11900,7 +11940,7 @@ class U8 {
         return U8.__wrap(ret);
     }
     /**
-     * Power to a u8 exponent.
+     * Exponentiate the integer with a u8 exponent.
      * @param {U8} exponent
      * @returns {U8}
      */
@@ -11910,7 +11950,7 @@ class U8 {
         return U8.__wrap(ret);
     }
     /**
-     * Power to a u16 exponent.
+     * Exponentiate the integer with a u16 exponent.
      * @param {U16} exponent
      * @returns {U8}
      */
@@ -11920,7 +11960,7 @@ class U8 {
         return U8.__wrap(ret);
     }
     /**
-     * Power to a u32 exponent.
+     * Exponentiate the integer with a u32 exponent.
      * @param {U32} exponent
      * @returns {U8}
      */
@@ -11930,7 +11970,7 @@ class U8 {
         return U8.__wrap(ret);
     }
     /**
-     * Negates the integer (e.g., 5 → -5).
+     * Negate the integer (e.g., 5 → -5).
      * @returns {U8}
      */
     neg() {
@@ -11938,7 +11978,7 @@ class U8 {
         return U8.__wrap(ret);
     }
     /**
-     * Checks equality with another integer.
+     * Check equality with another integer.
      * @param {U8} other
      * @returns {boolean}
      */
@@ -11948,7 +11988,7 @@ class U8 {
         return ret !== 0;
     }
     /**
-     * Remainder.
+     * Get the remainder from integer division.
      * @param {U8} other
      * @returns {U8}
      */
@@ -11958,7 +11998,7 @@ class U8 {
         return U8.__wrap(ret);
     }
     /**
-     * Wrapped remainder.
+     * Get the remainder from an integer division which wraps if there's an overflow.
      * @param {U8} other
      * @returns {U8}
      */
@@ -11968,7 +12008,7 @@ class U8 {
         return U8.__wrap(ret);
     }
     /**
-     * Convert to Scalar.
+     * Convert the integer to a Scalar value.
      * @returns {Scalar}
      */
     toScalar() {
@@ -11976,7 +12016,7 @@ class U8 {
         return Scalar.__wrap(ret);
     }
     /**
-     * Convert to plaintext.
+     * Convert the integer to the Plaintext type. This must be done before hashing an integer to ensure it matches hashes with a leo/aleo program.
      * @returns {Plaintext}
      */
     toPlaintext() {
@@ -11984,7 +12024,7 @@ class U8 {
         return Plaintext.__wrap(ret);
     }
     /**
-     * Convert from Field.
+     * Attempt to construct the integer from a field element.
      * @param {Field} field
      * @returns {U8}
      */
@@ -12005,7 +12045,7 @@ class U8 {
         }
     }
     /**
-     * Convert from Fields.
+     * Atttempt to construct the integer from a list of field elements.
      * @param {Array<any>} fields
      * @returns {U8}
      */
@@ -12025,7 +12065,7 @@ class U8 {
         }
     }
     /**
-     * Clone.
+     * Clone the integer in wasm memory.
      * @returns {U8}
      */
     clone() {
@@ -12489,6 +12529,16 @@ class VerifyingKey {
             wasm.__wbindgen_export_2(deferred1_0, deferred1_1, 1);
         }
     }
+    /**
+     * Get the number of constraints associated with the circuit
+     *
+     * @returns {number} The number of constraints
+     * @returns {number}
+     */
+    numConstraints() {
+        const ret = wasm.verifyingkey_numConstraints(this.__wbg_ptr);
+        return ret >>> 0;
+    }
 }
 
 const ViewKeyFinalization = (typeof FinalizationRegistry === 'undefined')
@@ -12583,6 +12633,25 @@ class ViewKey {
         const ret = wasm.field_clone(this.__wbg_ptr);
         return Scalar.__wrap(ret);
     }
+    /**
+     * Cast the view key to a field.
+     * @returns {Field}
+     */
+    toField() {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.scalar_toField(retptr, this.__wbg_ptr);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
+            if (r2) {
+                throw takeObject(r1);
+            }
+            return Field.__wrap(r0);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
     /**
      * Decrypt a record ciphertext with a view key
      *
@@ -12733,6 +12802,10 @@ function __wbg_get_imports() {
         const ret = fetch(getObject(arg0));
         return addHeapObject(ret);
     };
+    imports.wbg.__wbg_fetch_f1856afdb49415d1 = function(arg0) {
+        const ret = fetch(getObject(arg0));
+        return addHeapObject(ret);
+    };
     imports.wbg.__wbg_field_new = function(arg0) {
         const ret = Field.__wrap(arg0);
         return addHeapObject(ret);
@@ -12794,7 +12867,7 @@ function __wbg_get_imports() {
         const ret = getObject(arg0).length;
         return ret;
     };
-    imports.wbg.__wbg_log_a64934b81f0f0386 = function(arg0, arg1) {
+    imports.wbg.__wbg_log_c1cb0361f1f1b380 = function(arg0, arg1) {
         console.log(getStringFromWasm0(arg0, arg1));
     };
     imports.wbg.__wbg_msCrypto_0a36e2ec3a343d26 = function(arg0) {
@@ -12812,7 +12885,7 @@ function __wbg_get_imports() {
                 const a = state0.a;
                 state0.a = 0;
                 try {
-                    return __wbg_adapter_851(a, state0.b, arg0, arg1);
+                    return __wbg_adapter_854(a, state0.b, arg0, arg1);
                 } finally {
                     state0.a = a;
                 }
@@ -13003,7 +13076,7 @@ function __wbg_get_imports() {
         const ret = Signature.__wrap(arg0);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbg_spawnWorker_3a7bdc39b2bac9d4 = function(arg0, arg1, arg2, arg3) {
+    imports.wbg.__wbg_spawnWorker_5336e77275412fce = function(arg0, arg1, arg2, arg3) {
         const ret = spawnWorker(getObject(arg0), getObject(arg1), getObject(arg2), arg3 >>> 0);
         return addHeapObject(ret);
     };
@@ -13123,16 +13196,16 @@ function __wbg_get_imports() {
         const ret = false;
         return ret;
     };
-    imports.wbg.__wbindgen_closure_wrapper6531 = function(arg0, arg1, arg2) {
-        const ret = makeMutClosure(arg0, arg1, 476, __wbg_adapter_40);
+    imports.wbg.__wbindgen_closure_wrapper6649 = function(arg0, arg1, arg2) {
+        const ret = makeMutClosure(arg0, arg1, 481, __wbg_adapter_40);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbindgen_closure_wrapper7123 = function(arg0, arg1, arg2) {
-        const ret = makeMutClosure(arg0, arg1, 476, __wbg_adapter_43);
+    imports.wbg.__wbindgen_closure_wrapper7241 = function(arg0, arg1, arg2) {
+        const ret = makeMutClosure(arg0, arg1, 481, __wbg_adapter_43);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbindgen_closure_wrapper7127 = function(arg0, arg1, arg2) {
-        const ret = makeMutClosure(arg0, arg1, 476, __wbg_adapter_43);
+    imports.wbg.__wbindgen_closure_wrapper7245 = function(arg0, arg1, arg2) {
+        const ret = makeMutClosure(arg0, arg1, 481, __wbg_adapter_43);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_is_function = function(arg0) {