@provablehq/wasm 0.11.7 → 0.11.8

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -286,16 +286,6 @@ function runRayonThread(receiver) {
286
286
  wasm.runRayonThread(receiver);
287
287
  }
288
288
 
289
- /**
290
- * @param {URL} url
291
- * @param {number} num_threads
292
- * @returns {Promise<void>}
293
- */
294
- function initThreadPool(url, num_threads) {
295
- const ret = wasm.initThreadPool(addHeapObject(url), num_threads);
296
- return takeObject(ret);
297
- }
298
-
299
289
  /**
300
290
  * Set the WASM log level from JS. Called automatically by the SDK's
301
291
  * `setLogLevel(level)` to keep TS and WASM logging in sync.
@@ -307,6 +297,16 @@ function setWasmLogLevel(level) {
307
297
  wasm.setWasmLogLevel(level);
308
298
  }
309
299
 
300
+ /**
301
+ * @param {URL} url
302
+ * @param {number} num_threads
303
+ * @returns {Promise<void>}
304
+ */
305
+ function initThreadPool(url, num_threads) {
306
+ const ret = wasm.initThreadPool(addHeapObject(url), num_threads);
307
+ return takeObject(ret);
308
+ }
309
+
310
310
  let stack_pointer = 128;
311
311
 
312
312
  function addBorrowedObject(obj) {
@@ -314,39 +314,6 @@ function addBorrowedObject(obj) {
314
314
  heap[--stack_pointer] = obj;
315
315
  return stack_pointer;
316
316
  }
317
- /**
318
- * Verify a SNARK proof against a verifying key and public inputs.
319
- *
320
- * This function verifies a proof produced by an Aleo program that may not be deployed on chain.
321
- * It directly invokes the Varuna proof verification from snarkVM.
322
- *
323
- * @param {VerifyingKey} verifying_key The verifying key for the circuit
324
- * @param {Array<string>} inputs Array of field element strings representing public inputs (e.g. ["1field", "2field"])
325
- * @param {Proof} proof The proof to verify
326
- * @returns {boolean} True if the proof is valid, false otherwise
327
- * @param {VerifyingKey} verifying_key
328
- * @param {Array<any>} inputs
329
- * @param {Proof} proof
330
- * @returns {boolean}
331
- */
332
- function snarkVerify(verifying_key, inputs, proof) {
333
- try {
334
- const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
335
- _assertClass(verifying_key, VerifyingKey);
336
- _assertClass(proof, Proof);
337
- wasm.snarkVerify(retptr, verifying_key.__wbg_ptr, addHeapObject(inputs), proof.__wbg_ptr);
338
- var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
339
- var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
340
- var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
341
- if (r2) {
342
- throw takeObject(r1);
343
- }
344
- return r0 !== 0;
345
- } finally {
346
- wasm.__wbindgen_add_to_stack_pointer(16);
347
- }
348
- }
349
-
350
317
  /**
351
318
  * Verify an execution. Executions with multiple transitions must have the program source code and
352
319
  * verifying keys of imported functions supplied from outside to correctly verify. Also, this does
@@ -428,22 +395,33 @@ function snarkVerifyBatch(verifying_keys, inputs, proof) {
428
395
  }
429
396
 
430
397
  /**
431
- * @param {string} string
432
- * @returns {Field}
398
+ * Verify a SNARK proof against a verifying key and public inputs.
399
+ *
400
+ * This function verifies a proof produced by an Aleo program that may not be deployed on chain.
401
+ * It directly invokes the Varuna proof verification from snarkVM.
402
+ *
403
+ * @param {VerifyingKey} verifying_key The verifying key for the circuit
404
+ * @param {Array<string>} inputs Array of field element strings representing public inputs (e.g. ["1field", "2field"])
405
+ * @param {Proof} proof The proof to verify
406
+ * @returns {boolean} True if the proof is valid, false otherwise
407
+ * @param {VerifyingKey} verifying_key
408
+ * @param {Array<any>} inputs
409
+ * @param {Proof} proof
410
+ * @returns {boolean}
433
411
  */
434
- function stringToField(string) {
412
+ function snarkVerify(verifying_key, inputs, proof) {
435
413
  try {
436
414
  const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
437
- const ptr0 = passStringToWasm0(string, wasm.__wbindgen_export, wasm.__wbindgen_export2);
438
- const len0 = WASM_VECTOR_LEN;
439
- wasm.stringToField(retptr, ptr0, len0);
415
+ _assertClass(verifying_key, VerifyingKey);
416
+ _assertClass(proof, Proof);
417
+ wasm.snarkVerify(retptr, verifying_key.__wbg_ptr, addHeapObject(inputs), proof.__wbg_ptr);
440
418
  var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
441
419
  var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
442
420
  var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
443
421
  if (r2) {
444
422
  throw takeObject(r1);
445
423
  }
446
- return Field.__wrap(r0);
424
+ return r0 !== 0;
447
425
  } finally {
448
426
  wasm.__wbindgen_add_to_stack_pointer(16);
449
427
  }
@@ -486,6 +464,28 @@ function getOrInitConsensusVersionTestHeights(heights) {
486
464
  return takeObject(ret);
487
465
  }
488
466
 
467
+ /**
468
+ * @param {string} string
469
+ * @returns {Field}
470
+ */
471
+ function stringToField(string) {
472
+ try {
473
+ const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
474
+ const ptr0 = passStringToWasm0(string, wasm.__wbindgen_export, wasm.__wbindgen_export2);
475
+ const len0 = WASM_VECTOR_LEN;
476
+ wasm.stringToField(retptr, ptr0, len0);
477
+ var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
478
+ var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
479
+ var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
480
+ if (r2) {
481
+ throw takeObject(r1);
482
+ }
483
+ return Field.__wrap(r0);
484
+ } finally {
485
+ wasm.__wbindgen_add_to_stack_pointer(16);
486
+ }
487
+ }
488
+
489
489
  function passArrayJsValueToWasm0(array, malloc) {
490
490
  const ptr = malloc(array.length * 4, 4) >>> 0;
491
491
  const mem = getDataViewMemory0();
@@ -509,12 +509,12 @@ function __wasm_bindgen_func_elem_8948(arg0, arg1, arg2) {
509
509
  wasm.__wasm_bindgen_func_elem_8948(arg0, arg1, addHeapObject(arg2));
510
510
  }
511
511
 
512
- function __wasm_bindgen_func_elem_7504(arg0, arg1) {
513
- wasm.__wasm_bindgen_func_elem_7504(arg0, arg1);
512
+ function __wasm_bindgen_func_elem_7505(arg0, arg1) {
513
+ wasm.__wasm_bindgen_func_elem_7505(arg0, arg1);
514
514
  }
515
515
 
516
- function __wasm_bindgen_func_elem_7776(arg0, arg1, arg2, arg3) {
517
- wasm.__wasm_bindgen_func_elem_7776(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
516
+ function __wasm_bindgen_func_elem_7777(arg0, arg1, arg2, arg3) {
517
+ wasm.__wasm_bindgen_func_elem_7777(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
518
518
  }
519
519
 
520
520
  const __wbindgen_enum_RequestCredentials = ["omit", "same-origin", "include"];
@@ -19319,7 +19319,7 @@ function __wbg_get_imports(memory) {
19319
19319
  const ret = getObject(arg0).length;
19320
19320
  return ret;
19321
19321
  };
19322
- imports.wbg.__wbg_log_03049fa0ffffc089 = function(arg0, arg1) {
19322
+ imports.wbg.__wbg_log_7ab0c7ccba2f0588 = function(arg0, arg1) {
19323
19323
  console.log(getStringFromWasm0(arg0, arg1));
19324
19324
  };
19325
19325
  imports.wbg.__wbg_new_1acc0b6eea89d040 = function() {
@@ -19337,7 +19337,7 @@ function __wbg_get_imports(memory) {
19337
19337
  const a = state0.a;
19338
19338
  state0.a = 0;
19339
19339
  try {
19340
- return __wasm_bindgen_func_elem_7776(a, state0.b, arg0, arg1);
19340
+ return __wasm_bindgen_func_elem_7777(a, state0.b, arg0, arg1);
19341
19341
  } finally {
19342
19342
  state0.a = a;
19343
19343
  }
@@ -19509,7 +19509,7 @@ function __wbg_get_imports(memory) {
19509
19509
  const ret = Signature.__wrap(arg0);
19510
19510
  return addHeapObject(ret);
19511
19511
  };
19512
- imports.wbg.__wbg_spawnWorker_6984bbe776b8abdc = function(arg0, arg1, arg2, arg3) {
19512
+ imports.wbg.__wbg_spawnWorker_69898deb011084cf = function(arg0, arg1, arg2, arg3) {
19513
19513
  const ret = spawnWorker(getObject(arg0), getObject(arg1), getObject(arg2), arg3 >>> 0);
19514
19514
  return addHeapObject(ret);
19515
19515
  };
@@ -19598,7 +19598,7 @@ function __wbg_get_imports(memory) {
19598
19598
  };
19599
19599
  imports.wbg.__wbindgen_cast_2adca60326a83a78 = function(arg0, arg1) {
19600
19600
  // Cast intrinsic for `Closure(Closure { dtor_idx: 395, function: Function { arguments: [], shim_idx: 528, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
19601
- const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7503, __wasm_bindgen_func_elem_7504);
19601
+ const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7504, __wasm_bindgen_func_elem_7505);
19602
19602
  return addHeapObject(ret);
19603
19603
  };
19604
19604
  imports.wbg.__wbindgen_cast_2ddd8a25ff58642a = function(arg0, arg1) {
@@ -19613,7 +19613,7 @@ function __wbg_get_imports(memory) {
19613
19613
  };
19614
19614
  imports.wbg.__wbindgen_cast_805ada4c4be963fc = function(arg0, arg1) {
19615
19615
  // Cast intrinsic for `Closure(Closure { dtor_idx: 395, function: Function { arguments: [NamedExternref("MessageEvent")], shim_idx: 396, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
19616
- const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7503, __wasm_bindgen_func_elem_8948);
19616
+ const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7504, __wasm_bindgen_func_elem_8948);
19617
19617
  return addHeapObject(ret);
19618
19618
  };
19619
19619
  imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {
@@ -19623,7 +19623,7 @@ function __wbg_get_imports(memory) {
19623
19623
  };
19624
19624
  imports.wbg.__wbindgen_cast_c048d24de4cf58bb = function(arg0, arg1) {
19625
19625
  // Cast intrinsic for `Closure(Closure { dtor_idx: 395, function: Function { arguments: [Externref], shim_idx: 396, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
19626
- const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7503, __wasm_bindgen_func_elem_8948);
19626
+ const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7504, __wasm_bindgen_func_elem_8948);
19627
19627
  return addHeapObject(ret);
19628
19628
  };
19629
19629
  imports.wbg.__wbindgen_cast_d6cd19b81560fd6e = function(arg0) {