@provablehq/wasm 0.11.0 → 0.11.1

package/dist/mainnet/aleo_wasm.d.ts

@@ -23,18 +23,6 @@ export function initThreadPool(url: URL, num_threads: number): Promise<void>;
  * @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, program_imports?: ProgramImports | null): boolean;
-/**
- * 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
- */
-export function snarkVerify(verifying_key: VerifyingKey, inputs: Array<any>, proof: Proof): boolean;
 /**
  * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
  *
@@ -47,6 +35,19 @@ export function snarkVerify(verifying_key: VerifyingKey, inputs: Array<any>, pro
  * @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.
+ *
+ * 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
+ */
+export function snarkVerify(verifying_key: VerifyingKey, inputs: Array<any>, proof: Proof): boolean;
+export function stringToField(string: string): Field;
 /**
  * Set test consensus version heights for testing.
  *
@@ -56,10 +57,9 @@ export function snarkVerifyBatch(verifying_keys: Array<any>, inputs: Array<any>,
  * 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");
+ * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14");
  */
 export function getOrInitConsensusVersionTestHeights(heights?: string | null): Array<any>;
-export function stringToField(string: string): Field;
 /**
  * Public address of an Aleo account
  */

package/dist/mainnet/index.cjs

@@ -368,6 +368,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);
+    }
+}
+
 /**
  * Verify a SNARK proof against a verifying key and public inputs.
  *
@@ -402,32 +434,22 @@ function snarkVerify(verifying_key, inputs, proof) {
 }
 
 /**
- * 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}
+ * @param {string} string
+ * @returns {Field}
  */
-function snarkVerifyBatch(verifying_keys, inputs, proof) {
+function stringToField(string) {
     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);
+        const ptr0 = passStringToWasm0(string, wasm$1.__wbindgen_export, wasm$1.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm$1.stringToField(retptr, ptr0, len0);
         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;
+        return Field.__wrap(r0);
     } finally {
         wasm$1.__wbindgen_add_to_stack_pointer(16);
     }
@@ -442,7 +464,7 @@ function snarkVerifyBatch(verifying_keys, inputs, proof) {
  * 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");
+ * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14");
  * @param {string | null} [heights]
  * @returns {Array<any>}
  */
@@ -453,28 +475,6 @@ function getOrInitConsensusVersionTestHeights(heights) {
     return takeObject(ret);
 }
 
-/**
- * @param {string} string
- * @returns {Field}
- */
-function stringToField(string) {
-    try {
-        const retptr = wasm$1.__wbindgen_add_to_stack_pointer(-16);
-        const ptr0 = passStringToWasm0(string, wasm$1.__wbindgen_export, wasm$1.__wbindgen_export2);
-        const len0 = WASM_VECTOR_LEN;
-        wasm$1.stringToField(retptr, ptr0, len0);
-        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$1.__wbindgen_add_to_stack_pointer(16);
-    }
-}
-
 function passArrayJsValueToWasm0(array, malloc) {
     const ptr = malloc(array.length * 4, 4) >>> 0;
     const mem = getDataViewMemory0();
@@ -494,16 +494,16 @@ function getArrayJsValueFromWasm0(ptr, len) {
     }
     return result;
 }
-function __wasm_bindgen_func_elem_7287(arg0, arg1) {
-    wasm$1.__wasm_bindgen_func_elem_7287(arg0, arg1);
+function __wasm_bindgen_func_elem_8740(arg0, arg1, arg2) {
+    wasm$1.__wasm_bindgen_func_elem_8740(arg0, arg1, addHeapObject(arg2));
 }
 
-function __wasm_bindgen_func_elem_8655(arg0, arg1, arg2) {
-    wasm$1.__wasm_bindgen_func_elem_8655(arg0, arg1, addHeapObject(arg2));
+function __wasm_bindgen_func_elem_7369(arg0, arg1) {
+    wasm$1.__wasm_bindgen_func_elem_7369(arg0, arg1);
 }
 
-function __wasm_bindgen_func_elem_7560(arg0, arg1, arg2, arg3) {
-    wasm$1.__wasm_bindgen_func_elem_7560(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_7641(arg0, arg1, arg2, arg3) {
+    wasm$1.__wasm_bindgen_func_elem_7641(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
 const __wbindgen_enum_RequestCredentials = ["omit", "same-origin", "include"];
@@ -19023,10 +19023,6 @@ function __wbg_get_imports(memory) {
         const ret = typeof(val) === 'object' && val !== null;
         return ret;
     };
-    imports.wbg.__wbg___wbindgen_is_string_fbb76cb2940daafd = function(arg0) {
-        const ret = typeof(getObject(arg0)) === 'string';
-        return ret;
-    };
     imports.wbg.__wbg___wbindgen_is_undefined_2d472862bd29a478 = function(arg0) {
         const ret = getObject(arg0) === undefined;
         return ret;
@@ -19108,10 +19104,6 @@ function __wbg_get_imports(memory) {
         const ret = clearTimeout(takeObject(arg0));
         return addHeapObject(ret);
     };
-    imports.wbg.__wbg_crypto_574e78ad8b13b65f = function(arg0) {
-        const ret = getObject(arg0).crypto;
-        return addHeapObject(ret);
-    };
     imports.wbg.__wbg_data_ee4306d069f24f2d = function(arg0) {
         const ret = getObject(arg0).data;
         return addHeapObject(ret);
@@ -19155,8 +19147,8 @@ function __wbg_get_imports(memory) {
         const ret = Array.from(getObject(arg0));
         return addHeapObject(ret);
     };
-    imports.wbg.__wbg_getRandomValues_b8f5dbd5f3995a9e = function() { return handleError(function (arg0, arg1) {
-        getObject(arg0).getRandomValues(getObject(arg1));
+    imports.wbg.__wbg_getRandomValues_90e56bff4f3b89fb = function() { return handleError(function (arg0) {
+        globalThis.crypto.getRandomValues(getObject(arg0));
     }, arguments) };
     imports.wbg.__wbg_get_7bed016f185add81 = function(arg0, arg1) {
         const ret = getObject(arg0)[arg1 >>> 0];
@@ -19246,13 +19238,9 @@ function __wbg_get_imports(memory) {
         const ret = getObject(arg0).length;
         return ret;
     };
-    imports.wbg.__wbg_log_b88efcc0ed7757a6 = function(arg0, arg1) {
+    imports.wbg.__wbg_log_e77f2654b14580d9 = function(arg0, arg1) {
         console.log(getStringFromWasm0(arg0, arg1));
     };
-    imports.wbg.__wbg_msCrypto_a61aeb35a24c1329 = function(arg0) {
-        const ret = getObject(arg0).msCrypto;
-        return addHeapObject(ret);
-    };
     imports.wbg.__wbg_new_1acc0b6eea89d040 = function() {
         const ret = new Object();
         return addHeapObject(ret);
@@ -19268,7 +19256,7 @@ function __wbg_get_imports(memory) {
                 const a = state0.a;
                 state0.a = 0;
                 try {
-                    return __wasm_bindgen_func_elem_7560(a, state0.b, arg0, arg1);
+                    return __wasm_bindgen_func_elem_7641(a, state0.b, arg0, arg1);
                 } finally {
                     state0.a = a;
                 }
@@ -19335,10 +19323,6 @@ function __wbg_get_imports(memory) {
         const ret = getObject(arg0).next;
         return addHeapObject(ret);
     };
-    imports.wbg.__wbg_node_905d3e251edff8a2 = function(arg0) {
-        const ret = getObject(arg0).node;
-        return addHeapObject(ret);
-    };
     imports.wbg.__wbg_of_3192b3b018b8f660 = function(arg0, arg1, arg2) {
         const ret = Array.of(getObject(arg0), getObject(arg1), getObject(arg2));
         return addHeapObject(ret);
@@ -19356,10 +19340,6 @@ function __wbg_get_imports(memory) {
     imports.wbg.__wbg_postMessage_f34857ca078c8536 = function() { return handleError(function (arg0, arg1) {
         getObject(arg0).postMessage(getObject(arg1));
     }, arguments) };
-    imports.wbg.__wbg_process_dc0fbacc7c1c06f7 = function(arg0) {
-        const ret = getObject(arg0).process;
-        return addHeapObject(ret);
-    };
     imports.wbg.__wbg_prototypesetcall_2a6620b6922694b2 = function(arg0, arg1, arg2) {
         Uint8Array.prototype.set.call(getArrayU8FromWasm0(arg0, arg1), getObject(arg2));
     };
@@ -19378,9 +19358,6 @@ function __wbg_get_imports(memory) {
     imports.wbg.__wbg_queueMicrotask_9d76cacb20c84d58 = function(arg0) {
         queueMicrotask(getObject(arg0));
     };
-    imports.wbg.__wbg_randomFillSync_ac0988aba3254290 = function() { return handleError(function (arg0, arg1) {
-        getObject(arg0).randomFillSync(takeObject(arg1));
-    }, arguments) };
     imports.wbg.__wbg_recordciphertext_new = function(arg0) {
         const ret = RecordCiphertext.__wrap(arg0);
         return addHeapObject(ret);
@@ -19393,10 +19370,6 @@ function __wbg_get_imports(memory) {
         const ret = RecordPlaintext.__wrap(arg0);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbg_require_60cc747a6bc5215a = function() { return handleError(function () {
-        const ret = module.require;
-        return addHeapObject(ret);
-    }, arguments) };
     imports.wbg.__wbg_resolve_caf97c30b83f7053 = function(arg0) {
         const ret = Promise.resolve(getObject(arg0));
         return addHeapObject(ret);
@@ -19455,7 +19428,7 @@ function __wbg_get_imports(memory) {
         const ret = Signature.__wrap(arg0);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbg_spawnWorker_6ede797d507e374c = function(arg0, arg1, arg2, arg3) {
+    imports.wbg.__wbg_spawnWorker_77887968658d2179 = function(arg0, arg1, arg2, arg3) {
         const ret = spawnWorker(getObject(arg0), getObject(arg1), getObject(arg2), arg3 >>> 0);
         return addHeapObject(ret);
     };
@@ -19494,10 +19467,6 @@ function __wbg_get_imports(memory) {
         const ret = JSON.stringify(getObject(arg0));
         return addHeapObject(ret);
     }, arguments) };
-    imports.wbg.__wbg_subarray_480600f3d6a9f26c = function(arg0, arg1, arg2) {
-        const ret = getObject(arg0).subarray(arg1 >>> 0, arg2 >>> 0);
-        return addHeapObject(ret);
-    };
     imports.wbg.__wbg_then_4f46f6544e6b4a28 = function(arg0, arg1) {
         const ret = getObject(arg0).then(getObject(arg1));
         return addHeapObject(ret);
@@ -19533,10 +19502,6 @@ function __wbg_get_imports(memory) {
         const ret = VerifyingKey.__wrap(arg0);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbg_versions_c01dfd4722a88165 = function(arg0) {
-        const ret = getObject(arg0).versions;
-        return addHeapObject(ret);
-    };
     imports.wbg.__wbg_waitAsync_2c4b633ebb554615 = function() {
         const ret = Atomics.waitAsync;
         return addHeapObject(ret);
@@ -19555,24 +19520,19 @@ function __wbg_get_imports(memory) {
         const ret = (BigInt.asUintN(64, arg0) | (arg1 << BigInt(64)));
         return addHeapObject(ret);
     };
-    imports.wbg.__wbindgen_cast_3ebebf8ee554379e = function(arg0, arg1) {
-        // Cast intrinsic for `Closure(Closure { dtor_idx: 354, function: Function { arguments: [NamedExternref("MessageEvent")], shim_idx: 355, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7286, __wasm_bindgen_func_elem_8655);
-        return addHeapObject(ret);
-    };
     imports.wbg.__wbindgen_cast_4625c577ab2ec9ee = function(arg0) {
         // Cast intrinsic for `U64 -> Externref`.
         const ret = BigInt.asUintN(64, arg0);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbindgen_cast_5e9bcb6388942484 = function(arg0, arg1) {
-        // Cast intrinsic for `Closure(Closure { dtor_idx: 354, function: Function { arguments: [], shim_idx: 462, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7286, __wasm_bindgen_func_elem_7287);
+    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$1.__wasm_bindgen_func_elem_7368, __wasm_bindgen_func_elem_8740);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbindgen_cast_74f3a90a349943d1 = function(arg0, arg1) {
-        // Cast intrinsic for `Closure(Closure { dtor_idx: 354, function: Function { arguments: [Externref], shim_idx: 355, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7286, __wasm_bindgen_func_elem_8655);
+    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$1.__wasm_bindgen_func_elem_7368, __wasm_bindgen_func_elem_8740);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {
@@ -19580,9 +19540,9 @@ function __wbg_get_imports(memory) {
         const ret = arg0;
         return addHeapObject(ret);
     };
-    imports.wbg.__wbindgen_cast_cb9088102bce6b30 = function(arg0, arg1) {
-        // Cast intrinsic for `Ref(Slice(U8)) -> NamedExternref("Uint8Array")`.
-        const ret = getArrayU8FromWasm0(arg0, arg1);
+    imports.wbg.__wbindgen_cast_aca65e91b5ef2a91 = function(arg0, arg1) {
+        // Cast intrinsic for `Closure(Closure { dtor_idx: 358, function: Function { arguments: [], shim_idx: 467, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
+        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7368, __wasm_bindgen_func_elem_7369);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_d6cd19b81560fd6e = function(arg0) {