@provablehq/wasm 0.11.10 → 0.11.11

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,6 +314,38 @@ 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
+
317
349
  /**
318
350
  * Verify an execution. Executions with multiple transitions must have the program source code and
319
351
  * verifying keys of imported functions supplied from outside to correctly verify. Also, this does
@@ -362,38 +394,6 @@ function verifyFunctionExecution(execution, verifying_key, program, function_id,
362
394
  }
363
395
  }
364
396
 
365
- /**
366
- * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
367
- *
368
- * This function verifies a batch proof produced by Aleo programs that may not be deployed on chain.
369
- * Each verifying key is paired with one or more sets of public inputs (instances).
370
- *
371
- * @param {Array<string>} verifying_keys Array of verifying key strings, one per circuit
372
- * @param {Array<Array<Array<string>>>} inputs 3D array of field element strings [circuit_idx][instance_idx][field_idx]
373
- * @param {Proof} proof The batch proof to verify
374
- * @returns {boolean} True if the batch proof is valid, false otherwise
375
- * @param {Array<any>} verifying_keys
376
- * @param {Array<any>} inputs
377
- * @param {Proof} proof
378
- * @returns {boolean}
379
- */
380
- function snarkVerifyBatch(verifying_keys, inputs, proof) {
381
- try {
382
- const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
383
- _assertClass(proof, Proof);
384
- wasm.snarkVerifyBatch(retptr, addHeapObject(verifying_keys), addHeapObject(inputs), proof.__wbg_ptr);
385
- var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
386
- var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
387
- var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
388
- if (r2) {
389
- throw takeObject(r1);
390
- }
391
- return r0 !== 0;
392
- } finally {
393
- wasm.__wbindgen_add_to_stack_pointer(16);
394
- }
395
- }
396
-
397
397
  /**
398
398
  * Verify a SNARK proof against a verifying key and public inputs.
399
399
  *
@@ -428,25 +428,20 @@ function snarkVerify(verifying_key, inputs, proof) {
428
428
  }
429
429
 
430
430
  /**
431
- * @param {string} string
432
- * @returns {Field}
431
+ * Returns the maximum number of imports allowed in a program by the
432
+ * snarkVM network implementation this SDK was built against.
433
+ *
434
+ * @returns {number} The maximum number of program imports.
435
+ *
436
+ * @example
437
+ * import { getMaxProgramImports } from '@provablehq/sdk';
438
+ *
439
+ * const maxImports = getMaxProgramImports();
440
+ * @returns {number}
433
441
  */
434
- function stringToField(string) {
435
- try {
436
- 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);
440
- var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
441
- var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
442
- var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
443
- if (r2) {
444
- throw takeObject(r1);
445
- }
446
- return Field.__wrap(r0);
447
- } finally {
448
- wasm.__wbindgen_add_to_stack_pointer(16);
449
- }
442
+ function getMaxProgramImports() {
443
+ const ret = wasm.getMaxProgramImports();
444
+ return ret >>> 0;
450
445
  }
451
446
 
452
447
  /**
@@ -458,7 +453,7 @@ function stringToField(string) {
458
453
  * import { getOrInitConsensusVersionTestHeights } from '@provablehq/sdk';
459
454
  *
460
455
  * Set the consensus version heights.
461
- * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18");
456
+ * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20");
462
457
  * @param {string | null} [heights]
463
458
  * @returns {Array<any>}
464
459
  */
@@ -470,20 +465,25 @@ function getOrInitConsensusVersionTestHeights(heights) {
470
465
  }
471
466
 
472
467
  /**
473
- * Returns the maximum number of imports allowed in a program by the
474
- * snarkVM network implementation this SDK was built against.
475
- *
476
- * @returns {number} The maximum number of program imports.
477
- *
478
- * @example
479
- * import { getMaxProgramImports } from '@provablehq/sdk';
480
- *
481
- * const maxImports = getMaxProgramImports();
482
- * @returns {number}
468
+ * @param {string} string
469
+ * @returns {Field}
483
470
  */
484
- function getMaxProgramImports() {
485
- const ret = wasm.getMaxProgramImports();
486
- return ret >>> 0;
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
487
  }
488
488
 
489
489
  function passArrayJsValueToWasm0(array, malloc) {
@@ -505,16 +505,16 @@ function getArrayJsValueFromWasm0(ptr, len) {
505
505
  }
506
506
  return result;
507
507
  }
508
- function __wasm_bindgen_func_elem_8946(arg0, arg1, arg2) {
509
- wasm.__wasm_bindgen_func_elem_8946(arg0, arg1, addHeapObject(arg2));
508
+ function __wasm_bindgen_func_elem_7556(arg0, arg1) {
509
+ wasm.__wasm_bindgen_func_elem_7556(arg0, arg1);
510
510
  }
511
511
 
512
- function __wasm_bindgen_func_elem_7506(arg0, arg1) {
513
- wasm.__wasm_bindgen_func_elem_7506(arg0, arg1);
512
+ function __wasm_bindgen_func_elem_8995(arg0, arg1, arg2) {
513
+ wasm.__wasm_bindgen_func_elem_8995(arg0, arg1, addHeapObject(arg2));
514
514
  }
515
515
 
516
- function __wasm_bindgen_func_elem_7778(arg0, arg1, arg2, arg3) {
517
- wasm.__wasm_bindgen_func_elem_7778(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
516
+ function __wasm_bindgen_func_elem_7828(arg0, arg1, arg2, arg3) {
517
+ wasm.__wasm_bindgen_func_elem_7828(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_6a7c7e39dc2b85ff = function(arg0, arg1) {
19322
+ imports.wbg.__wbg_log_873fe7a781ebc826 = 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_7778(a, state0.b, arg0, arg1);
19340
+ return __wasm_bindgen_func_elem_7828(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_ea93f1cb9997e793 = function(arg0, arg1, arg2, arg3) {
19512
+ imports.wbg.__wbg_spawnWorker_087de831e4bfd369 = 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
  };
@@ -19593,7 +19593,7 @@ function __wbg_get_imports(memory) {
19593
19593
  };
19594
19594
  imports.wbg.__wbindgen_cast_19cdf6e41653eb6c = function(arg0, arg1) {
19595
19595
  // Cast intrinsic for `Closure(Closure { dtor_idx: 397, function: Function { arguments: [Externref], shim_idx: 398, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
19596
- const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7505, __wasm_bindgen_func_elem_8946);
19596
+ const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7555, __wasm_bindgen_func_elem_8995);
19597
19597
  return addHeapObject(ret);
19598
19598
  };
19599
19599
  imports.wbg.__wbindgen_cast_2241b6af4c4b2941 = function(arg0, arg1) {
@@ -19611,11 +19611,6 @@ function __wbg_get_imports(memory) {
19611
19611
  const ret = BigInt.asUintN(64, arg0);
19612
19612
  return addHeapObject(ret);
19613
19613
  };
19614
- imports.wbg.__wbindgen_cast_601de75c058a35e1 = function(arg0, arg1) {
19615
- // Cast intrinsic for `Closure(Closure { dtor_idx: 397, function: Function { arguments: [], shim_idx: 528, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
19616
- const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7505, __wasm_bindgen_func_elem_7506);
19617
- return addHeapObject(ret);
19618
- };
19619
19614
  imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {
19620
19615
  // Cast intrinsic for `I64 -> Externref`.
19621
19616
  const ret = arg0;
@@ -19626,6 +19621,11 @@ function __wbg_get_imports(memory) {
19626
19621
  const ret = arg0;
19627
19622
  return addHeapObject(ret);
19628
19623
  };
19624
+ imports.wbg.__wbindgen_cast_dc45e30c78fa2793 = function(arg0, arg1) {
19625
+ // Cast intrinsic for `Closure(Closure { dtor_idx: 397, function: Function { arguments: [], shim_idx: 533, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
19626
+ const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7555, __wasm_bindgen_func_elem_7556);
19627
+ return addHeapObject(ret);
19628
+ };
19629
19629
  imports.wbg.__wbindgen_cast_e7b45dd881f38ce3 = function(arg0, arg1) {
19630
19630
  // Cast intrinsic for `U128 -> Externref`.
19631
19631
  const ret = (BigInt.asUintN(64, arg0) | (BigInt.asUintN(64, arg1) << BigInt(64)));
@@ -19633,7 +19633,7 @@ function __wbg_get_imports(memory) {
19633
19633
  };
19634
19634
  imports.wbg.__wbindgen_cast_eb522c22a7f98ff2 = function(arg0, arg1) {
19635
19635
  // Cast intrinsic for `Closure(Closure { dtor_idx: 397, function: Function { arguments: [NamedExternref("MessageEvent")], shim_idx: 398, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
19636
- const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7505, __wasm_bindgen_func_elem_8946);
19636
+ const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7555, __wasm_bindgen_func_elem_8995);
19637
19637
  return addHeapObject(ret);
19638
19638
  };
19639
19639
  imports.wbg.__wbindgen_link_b9f45ffe079ef2c1 = function(arg0) {