@provablehq/wasm 0.10.3 → 0.10.4

package/dist/mainnet/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,18 @@ 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.
@@ -2813,6 +2813,12 @@ export class Program {
    * console.log(imports === expected_imports); // Output should be "true"
    */
   getImports(): Array<any>;
+  /**
+   * Get the checksum of the program.
+   *
+   * @returns {Uint8Array} The checksum of the program as a 32-byte Uint8Array
+   */
+  toChecksum(): Uint8Array;
   /**
    * Get a the list of a program's mappings and the names/types of their keys and values.
    *

package/dist/mainnet/index.cjs

@@ -309,38 +309,6 @@ function addBorrowedObject(obj) {
     heap[--stack_pointer] = obj;
     return stack_pointer;
 }
-/**
- * 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
- * @param {Array<any>} verifying_keys
- * @param {Array<any>} inputs
- * @param {Proof} proof
- * @returns {boolean}
- */
-function snarkVerifyBatch(verifying_keys, inputs, proof) {
-    try {
-        const retptr = wasm$1.__wbindgen_add_to_stack_pointer(-16);
-        _assertClass(proof, Proof);
-        wasm$1.snarkVerifyBatch(retptr, addHeapObject(verifying_keys), addHeapObject(inputs), proof.__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 r0 !== 0;
-    } finally {
-        wasm$1.__wbindgen_add_to_stack_pointer(16);
-    }
-}
-
 /**
  * Verify a SNARK proof against a verifying key and public inputs.
  *
@@ -416,6 +384,38 @@ function verifyFunctionExecution(execution, verifying_key, program, function_id,
     }
 }
 
+/**
+ * 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
+ * @param {Array<any>} verifying_keys
+ * @param {Array<any>} inputs
+ * @param {Proof} proof
+ * @returns {boolean}
+ */
+function snarkVerifyBatch(verifying_keys, inputs, proof) {
+    try {
+        const retptr = wasm$1.__wbindgen_add_to_stack_pointer(-16);
+        _assertClass(proof, Proof);
+        wasm$1.snarkVerifyBatch(retptr, addHeapObject(verifying_keys), addHeapObject(inputs), proof.__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 r0 !== 0;
+    } finally {
+        wasm$1.__wbindgen_add_to_stack_pointer(16);
+    }
+}
+
 /**
  * @param {string} string
  * @returns {Field}
@@ -477,12 +477,12 @@ function getArrayJsValueFromWasm0(ptr, len) {
     }
     return result;
 }
-function __wasm_bindgen_func_elem_7170(arg0, arg1) {
-    wasm$1.__wasm_bindgen_func_elem_7170(arg0, arg1);
+function __wasm_bindgen_func_elem_8536(arg0, arg1, arg2) {
+    wasm$1.__wasm_bindgen_func_elem_8536(arg0, arg1, addHeapObject(arg2));
 }
 
-function __wasm_bindgen_func_elem_8534(arg0, arg1, arg2) {
-    wasm$1.__wasm_bindgen_func_elem_8534(arg0, arg1, addHeapObject(arg2));
+function __wasm_bindgen_func_elem_7170(arg0, arg1) {
+    wasm$1.__wasm_bindgen_func_elem_7170(arg0, arg1);
 }
 
 function __wasm_bindgen_func_elem_7443(arg0, arg1, arg2, arg3) {
@@ -9876,6 +9876,16 @@ class Program {
         const ret = wasm$1.program_getImports(this.__wbg_ptr);
         return takeObject(ret);
     }
+    /**
+     * Get the checksum of the program.
+     *
+     * @returns {Uint8Array} The checksum of the program as a 32-byte Uint8Array
+     * @returns {Uint8Array}
+     */
+    toChecksum() {
+        const ret = wasm$1.program_toChecksum(this.__wbg_ptr);
+        return takeObject(ret);
+    }
     /**
      * Get a the list of a program's mappings and the names/types of their keys and values.
      *
@@ -18342,7 +18352,7 @@ function __wbg_get_imports(memory) {
         const ret = getObject(arg0).length;
         return ret;
     };
-    imports.wbg.__wbg_log_0b9e82a3d425c505 = function(arg0, arg1) {
+    imports.wbg.__wbg_log_4688d4dee83f4df4 = function(arg0, arg1) {
         console.log(getStringFromWasm0(arg0, arg1));
     };
     imports.wbg.__wbg_msCrypto_a61aeb35a24c1329 = function(arg0) {
@@ -18551,7 +18561,7 @@ function __wbg_get_imports(memory) {
         const ret = Signature.__wrap(arg0);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbg_spawnWorker_fd8a412decad8341 = function(arg0, arg1, arg2, arg3) {
+    imports.wbg.__wbg_spawnWorker_9ce4a98fc7b6f238 = function(arg0, arg1, arg2, arg3) {
         const ret = spawnWorker(getObject(arg0), getObject(arg1), getObject(arg2), arg3 >>> 0);
         return addHeapObject(ret);
     };
@@ -18658,7 +18668,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_711d7deea8fc39ca = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 356, function: Function { arguments: [Externref], shim_idx: 357, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7169, __wasm_bindgen_func_elem_8534);
+        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7169, __wasm_bindgen_func_elem_8536);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {
@@ -18673,7 +18683,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_cada7727142cd213 = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 356, function: Function { arguments: [NamedExternref("MessageEvent")], shim_idx: 357, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7169, __wasm_bindgen_func_elem_8534);
+        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7169, __wasm_bindgen_func_elem_8536);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_cb9088102bce6b30 = function(arg0, arg1) {