@provablehq/wasm 0.11.6 → 0.11.7

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.
@@ -314,38 +314,6 @@ function addBorrowedObject(obj) {
314
314
  heap[--stack_pointer] = obj;
315
315
  return stack_pointer;
316
316
  }
317
- /**
318
- * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
319
- *
320
- * This function verifies a batch proof produced by Aleo programs that may not be deployed on chain.
321
- * Each verifying key is paired with one or more sets of public inputs (instances).
322
- *
323
- * @param {Array<string>} verifying_keys Array of verifying key strings, one per circuit
324
- * @param {Array<Array<Array<string>>>} inputs 3D array of field element strings [circuit_idx][instance_idx][field_idx]
325
- * @param {Proof} proof The batch proof to verify
326
- * @returns {boolean} True if the batch proof is valid, false otherwise
327
- * @param {Array<any>} verifying_keys
328
- * @param {Array<any>} inputs
329
- * @param {Proof} proof
330
- * @returns {boolean}
331
- */
332
- function snarkVerifyBatch(verifying_keys, inputs, proof) {
333
- try {
334
- const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
335
- _assertClass(proof, Proof);
336
- wasm.snarkVerifyBatch(retptr, addHeapObject(verifying_keys), addHeapObject(inputs), proof.__wbg_ptr);
337
- var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
338
- var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
339
- var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
340
- if (r2) {
341
- throw takeObject(r1);
342
- }
343
- return r0 !== 0;
344
- } finally {
345
- wasm.__wbindgen_add_to_stack_pointer(16);
346
- }
347
- }
348
-
349
317
  /**
350
318
  * Verify a SNARK proof against a verifying key and public inputs.
351
319
  *
@@ -428,40 +396,35 @@ function verifyFunctionExecution(execution, verifying_key, program, function_id,
428
396
  }
429
397
 
430
398
  /**
431
- * Set test consensus version heights for testing.
432
- *
433
- * @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.
434
- *
435
- * @example
436
- * import { getOrInitConsensusVersionTestHeights } from '@provablehq/sdk';
437
- *
438
- * Set the consensus version heights.
439
- * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17");
440
- * @param {string | null} [heights]
441
- * @returns {Array<any>}
442
- */
443
- function getOrInitConsensusVersionTestHeights(heights) {
444
- var ptr0 = isLikeNone(heights) ? 0 : passStringToWasm0(heights, wasm.__wbindgen_export, wasm.__wbindgen_export2);
445
- var len0 = WASM_VECTOR_LEN;
446
- const ret = wasm.getOrInitConsensusVersionTestHeights(ptr0, len0);
447
- return takeObject(ret);
448
- }
449
-
450
- /**
451
- * Returns the maximum number of imports allowed in a program by the
452
- * snarkVM network implementation this SDK was built against.
453
- *
454
- * @returns {number} The maximum number of program imports.
399
+ * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
455
400
  *
456
- * @example
457
- * import { getMaxProgramImports } from '@provablehq/sdk';
401
+ * This function verifies a batch proof produced by Aleo programs that may not be deployed on chain.
402
+ * Each verifying key is paired with one or more sets of public inputs (instances).
458
403
  *
459
- * const maxImports = getMaxProgramImports();
460
- * @returns {number}
404
+ * @param {Array<string>} verifying_keys Array of verifying key strings, one per circuit
405
+ * @param {Array<Array<Array<string>>>} inputs 3D array of field element strings [circuit_idx][instance_idx][field_idx]
406
+ * @param {Proof} proof The batch proof to verify
407
+ * @returns {boolean} True if the batch proof is valid, false otherwise
408
+ * @param {Array<any>} verifying_keys
409
+ * @param {Array<any>} inputs
410
+ * @param {Proof} proof
411
+ * @returns {boolean}
461
412
  */
462
- function getMaxProgramImports() {
463
- const ret = wasm.getMaxProgramImports();
464
- return ret >>> 0;
413
+ function snarkVerifyBatch(verifying_keys, inputs, proof) {
414
+ try {
415
+ const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
416
+ _assertClass(proof, Proof);
417
+ wasm.snarkVerifyBatch(retptr, addHeapObject(verifying_keys), addHeapObject(inputs), proof.__wbg_ptr);
418
+ var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
419
+ var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
420
+ var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
421
+ if (r2) {
422
+ throw takeObject(r1);
423
+ }
424
+ return r0 !== 0;
425
+ } finally {
426
+ wasm.__wbindgen_add_to_stack_pointer(16);
427
+ }
465
428
  }
466
429
 
467
430
  /**
@@ -486,6 +449,43 @@ function stringToField(string) {
486
449
  }
487
450
  }
488
451
 
452
+ /**
453
+ * Returns the maximum number of imports allowed in a program by the
454
+ * snarkVM network implementation this SDK was built against.
455
+ *
456
+ * @returns {number} The maximum number of program imports.
457
+ *
458
+ * @example
459
+ * import { getMaxProgramImports } from '@provablehq/sdk';
460
+ *
461
+ * const maxImports = getMaxProgramImports();
462
+ * @returns {number}
463
+ */
464
+ function getMaxProgramImports() {
465
+ const ret = wasm.getMaxProgramImports();
466
+ return ret >>> 0;
467
+ }
468
+
469
+ /**
470
+ * Set test consensus version heights for testing.
471
+ *
472
+ * @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.
473
+ *
474
+ * @example
475
+ * import { getOrInitConsensusVersionTestHeights } from '@provablehq/sdk';
476
+ *
477
+ * Set the consensus version heights.
478
+ * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18");
479
+ * @param {string | null} [heights]
480
+ * @returns {Array<any>}
481
+ */
482
+ function getOrInitConsensusVersionTestHeights(heights) {
483
+ var ptr0 = isLikeNone(heights) ? 0 : passStringToWasm0(heights, wasm.__wbindgen_export, wasm.__wbindgen_export2);
484
+ var len0 = WASM_VECTOR_LEN;
485
+ const ret = wasm.getOrInitConsensusVersionTestHeights(ptr0, len0);
486
+ return takeObject(ret);
487
+ }
488
+
489
489
  function passArrayJsValueToWasm0(array, malloc) {
490
490
  const ptr = malloc(array.length * 4, 4) >>> 0;
491
491
  const mem = getDataViewMemory0();
@@ -505,16 +505,16 @@ function getArrayJsValueFromWasm0(ptr, len) {
505
505
  }
506
506
  return result;
507
507
  }
508
- function __wasm_bindgen_func_elem_8910(arg0, arg1, arg2) {
509
- wasm.__wasm_bindgen_func_elem_8910(arg0, arg1, addHeapObject(arg2));
508
+ function __wasm_bindgen_func_elem_8948(arg0, arg1, arg2) {
509
+ wasm.__wasm_bindgen_func_elem_8948(arg0, arg1, addHeapObject(arg2));
510
510
  }
511
511
 
512
- function __wasm_bindgen_func_elem_7471(arg0, arg1) {
513
- wasm.__wasm_bindgen_func_elem_7471(arg0, arg1);
512
+ function __wasm_bindgen_func_elem_7504(arg0, arg1) {
513
+ wasm.__wasm_bindgen_func_elem_7504(arg0, arg1);
514
514
  }
515
515
 
516
- function __wasm_bindgen_func_elem_7743(arg0, arg1, arg2, arg3) {
517
- wasm.__wasm_bindgen_func_elem_7743(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
516
+ function __wasm_bindgen_func_elem_7776(arg0, arg1, arg2, arg3) {
517
+ wasm.__wasm_bindgen_func_elem_7776(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_27d73c032446232d = function(arg0, arg1) {
19322
+ imports.wbg.__wbg_log_03049fa0ffffc089 = 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_7743(a, state0.b, arg0, arg1);
19340
+ return __wasm_bindgen_func_elem_7776(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_e00cacfddf7ee0c0 = function(arg0, arg1, arg2, arg3) {
19512
+ imports.wbg.__wbg_spawnWorker_6984bbe776b8abdc = 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
  };
@@ -19591,41 +19591,41 @@ function __wbg_get_imports(memory) {
19591
19591
  const ret = Atomics.waitAsync(getObject(arg0), arg1 >>> 0, arg2);
19592
19592
  return addHeapObject(ret);
19593
19593
  };
19594
- imports.wbg.__wbindgen_cast_01d4af51d575cfe0 = function(arg0, arg1) {
19595
- // Cast intrinsic for `Closure(Closure { dtor_idx: 388, function: Function { arguments: [], shim_idx: 495, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
19596
- const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7470, __wasm_bindgen_func_elem_7471);
19597
- return addHeapObject(ret);
19598
- };
19599
- imports.wbg.__wbindgen_cast_13f76f7c228ed64d = function(arg0, arg1) {
19600
- // Cast intrinsic for `Closure(Closure { dtor_idx: 388, function: Function { arguments: [NamedExternref("MessageEvent")], shim_idx: 389, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
19601
- const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7470, __wasm_bindgen_func_elem_8910);
19602
- return addHeapObject(ret);
19603
- };
19604
19594
  imports.wbg.__wbindgen_cast_2241b6af4c4b2941 = function(arg0, arg1) {
19605
19595
  // Cast intrinsic for `Ref(String) -> Externref`.
19606
19596
  const ret = getStringFromWasm0(arg0, arg1);
19607
19597
  return addHeapObject(ret);
19608
19598
  };
19599
+ imports.wbg.__wbindgen_cast_2adca60326a83a78 = function(arg0, arg1) {
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);
19602
+ return addHeapObject(ret);
19603
+ };
19609
19604
  imports.wbg.__wbindgen_cast_2ddd8a25ff58642a = function(arg0, arg1) {
19610
19605
  // Cast intrinsic for `I128 -> Externref`.
19611
19606
  const ret = (BigInt.asUintN(64, arg0) | (arg1 << BigInt(64)));
19612
19607
  return addHeapObject(ret);
19613
19608
  };
19614
- imports.wbg.__wbindgen_cast_42ef79217ed4073d = function(arg0, arg1) {
19615
- // Cast intrinsic for `Closure(Closure { dtor_idx: 388, function: Function { arguments: [Externref], shim_idx: 389, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
19616
- const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7470, __wasm_bindgen_func_elem_8910);
19617
- return addHeapObject(ret);
19618
- };
19619
19609
  imports.wbg.__wbindgen_cast_4625c577ab2ec9ee = function(arg0) {
19620
19610
  // Cast intrinsic for `U64 -> Externref`.
19621
19611
  const ret = BigInt.asUintN(64, arg0);
19622
19612
  return addHeapObject(ret);
19623
19613
  };
19614
+ imports.wbg.__wbindgen_cast_805ada4c4be963fc = function(arg0, arg1) {
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);
19617
+ return addHeapObject(ret);
19618
+ };
19624
19619
  imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {
19625
19620
  // Cast intrinsic for `I64 -> Externref`.
19626
19621
  const ret = arg0;
19627
19622
  return addHeapObject(ret);
19628
19623
  };
19624
+ imports.wbg.__wbindgen_cast_c048d24de4cf58bb = function(arg0, arg1) {
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);
19627
+ return addHeapObject(ret);
19628
+ };
19629
19629
  imports.wbg.__wbindgen_cast_d6cd19b81560fd6e = function(arg0) {
19630
19630
  // Cast intrinsic for `F64 -> Externref`.
19631
19631
  const ret = arg0;