@provablehq/wasm 0.10.2 → 0.10.4

package/dist/testnet/index.d.cts

@@ -0,0 +1,8 @@
+/**
+ * Initializes a thread pool of Workers. This enables multi-threading, which significantly improves performance.
+ *
+ * @param {number | undefined} threads  Number of threads to spawn. If not specified, uses the number of available cores.
+ */
+export function initThreadPool(threads?: number): Promise<void>;
+
+export * from "./aleo_wasm.js";

package/dist/testnet/index.js

@@ -335,39 +335,6 @@ function snarkVerifyBatch(verifying_keys, inputs, proof) {
     }
 }
 
-/**
- * Verify a SNARK proof against a verifying key and public inputs.
- *
- * This function verifies a proof produced by an Aleo program that may not be deployed on chain.
- * It directly invokes the Varuna proof verification from snarkVM.
- *
- * @param {VerifyingKey} verifying_key The verifying key for the circuit
- * @param {Array<string>} inputs Array of field element strings representing public inputs (e.g. ["1field", "2field"])
- * @param {Proof} proof The proof to verify
- * @returns {boolean} True if the proof is valid, false otherwise
- * @param {VerifyingKey} verifying_key
- * @param {Array<any>} inputs
- * @param {Proof} proof
- * @returns {boolean}
- */
-function snarkVerify(verifying_key, inputs, proof) {
-    try {
-        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        _assertClass(verifying_key, VerifyingKey);
-        _assertClass(proof, Proof);
-        wasm.snarkVerify(retptr, verifying_key.__wbg_ptr, 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.__wbindgen_add_to_stack_pointer(16);
-    }
-}
-
 /**
  * Verify an execution. Executions with multiple transitions must have the program source code and
  * verifying keys of imported functions supplied from outside to correctly verify. Also, this does
@@ -411,23 +378,36 @@ function verifyFunctionExecution(execution, verifying_key, program, function_id,
 }
 
 /**
- * Set test consensus version heights for testing.
- *
- * @param {string | undefined} heights The block heights at which each consensus version applies. This input should be a simple csv list of block heights and there should be one number for each consensus version. If left undefined, the default test heights will be applied.
+ * Verify a SNARK proof against a verifying key and public inputs.
  *
- * @example
- * import { getOrInitConsensusVersionTestHeights } from '@provablehq/sdk';
+ * This function verifies a proof produced by an Aleo program that may not be deployed on chain.
+ * It directly invokes the Varuna proof verification from snarkVM.
  *
- * Set the consensus version heights.
- * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13");
- * @param {string | null} [heights]
- * @returns {Array<any>}
+ * @param {VerifyingKey} verifying_key The verifying key for the circuit
+ * @param {Array<string>} inputs Array of field element strings representing public inputs (e.g. ["1field", "2field"])
+ * @param {Proof} proof The proof to verify
+ * @returns {boolean} True if the proof is valid, false otherwise
+ * @param {VerifyingKey} verifying_key
+ * @param {Array<any>} inputs
+ * @param {Proof} proof
+ * @returns {boolean}
  */
-function getOrInitConsensusVersionTestHeights(heights) {
-    var ptr0 = isLikeNone(heights) ? 0 : passStringToWasm0(heights, wasm.__wbindgen_export, wasm.__wbindgen_export2);
-    var len0 = WASM_VECTOR_LEN;
-    const ret = wasm.getOrInitConsensusVersionTestHeights(ptr0, len0);
-    return takeObject(ret);
+function snarkVerify(verifying_key, inputs, proof) {
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        _assertClass(verifying_key, VerifyingKey);
+        _assertClass(proof, Proof);
+        wasm.snarkVerify(retptr, verifying_key.__wbg_ptr, 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.__wbindgen_add_to_stack_pointer(16);
+    }
 }
 
 /**
@@ -452,6 +432,26 @@ function stringToField(string) {
     }
 }
 
+/**
+ * Set test consensus version heights for testing.
+ *
+ * @param {string | undefined} heights The block heights at which each consensus version applies. This input should be a simple csv list of block heights and there should be one number for each consensus version. If left undefined, the default test heights will be applied.
+ *
+ * @example
+ * import { getOrInitConsensusVersionTestHeights } from '@provablehq/sdk';
+ *
+ * Set the consensus version heights.
+ * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13");
+ * @param {string | null} [heights]
+ * @returns {Array<any>}
+ */
+function getOrInitConsensusVersionTestHeights(heights) {
+    var ptr0 = isLikeNone(heights) ? 0 : passStringToWasm0(heights, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+    var len0 = WASM_VECTOR_LEN;
+    const ret = wasm.getOrInitConsensusVersionTestHeights(ptr0, len0);
+    return takeObject(ret);
+}
+
 function passArrayJsValueToWasm0(array, malloc) {
     const ptr = malloc(array.length * 4, 4) >>> 0;
     const mem = getDataViewMemory0();
@@ -471,16 +471,16 @@ function getArrayJsValueFromWasm0(ptr, len) {
     }
     return result;
 }
-function __wasm_bindgen_func_elem_7170(arg0, arg1) {
-    wasm.__wasm_bindgen_func_elem_7170(arg0, arg1);
+function __wasm_bindgen_func_elem_8536(arg0, arg1, arg2) {
+    wasm.__wasm_bindgen_func_elem_8536(arg0, arg1, addHeapObject(arg2));
 }
 
-function __wasm_bindgen_func_elem_8534(arg0, arg1, arg2) {
-    wasm.__wasm_bindgen_func_elem_8534(arg0, arg1, addHeapObject(arg2));
+function __wasm_bindgen_func_elem_7166(arg0, arg1) {
+    wasm.__wasm_bindgen_func_elem_7166(arg0, arg1);
 }
 
-function __wasm_bindgen_func_elem_7443(arg0, arg1, arg2, arg3) {
-    wasm.__wasm_bindgen_func_elem_7443(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_7439(arg0, arg1, arg2, arg3) {
+    wasm.__wasm_bindgen_func_elem_7439(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
 const __wbindgen_enum_RequestCredentials = ["omit", "same-origin", "include"];
@@ -9870,6 +9870,16 @@ class Program {
         const ret = wasm.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.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.
      *
@@ -18336,7 +18346,7 @@ function __wbg_get_imports(memory) {
         const ret = getObject(arg0).length;
         return ret;
     };
-    imports.wbg.__wbg_log_8439fc9fbc2e093e = function(arg0, arg1) {
+    imports.wbg.__wbg_log_4688d4dee83f4df4 = function(arg0, arg1) {
         console.log(getStringFromWasm0(arg0, arg1));
     };
     imports.wbg.__wbg_msCrypto_a61aeb35a24c1329 = function(arg0) {
@@ -18358,7 +18368,7 @@ function __wbg_get_imports(memory) {
                 const a = state0.a;
                 state0.a = 0;
                 try {
-                    return __wasm_bindgen_func_elem_7443(a, state0.b, arg0, arg1);
+                    return __wasm_bindgen_func_elem_7439(a, state0.b, arg0, arg1);
                 } finally {
                     state0.a = a;
                 }
@@ -18545,7 +18555,7 @@ function __wbg_get_imports(memory) {
         const ret = Signature.__wrap(arg0);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbg_spawnWorker_e4acc8b34866a9bd = 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);
     };
@@ -18637,7 +18647,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_0eb37dec5f5def71 = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 358, function: Function { arguments: [], shim_idx: 465, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7169, __wasm_bindgen_func_elem_7170);
+        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7165, __wasm_bindgen_func_elem_7166);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_2241b6af4c4b2941 = function(arg0, arg1) {
@@ -18657,12 +18667,12 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_4a64cbb5b17898c9 = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 358, function: Function { arguments: [Externref], shim_idx: 359, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7169, __wasm_bindgen_func_elem_8534);
+        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7165, __wasm_bindgen_func_elem_8536);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_65bbaf572cb463ed = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 358, function: Function { arguments: [NamedExternref("MessageEvent")], shim_idx: 359, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7169, __wasm_bindgen_func_elem_8534);
+        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7165, __wasm_bindgen_func_elem_8536);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {