@provablehq/wasm 0.11.9 → 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.
@@ -1,6 +1,7 @@
1
1
  /* tslint:disable */
2
2
  /* eslint-disable */
3
3
  export function runRayonThread(receiver: number): void;
4
+ export function initThreadPool(url: URL, num_threads: number): Promise<void>;
4
5
  /**
5
6
  * Set the WASM log level from JS. Called automatically by the SDK's
6
7
  * `setLogLevel(level)` to keep TS and WASM logging in sync.
@@ -8,7 +9,18 @@ export function runRayonThread(receiver: number): void;
8
9
  * Values above 4 are clamped to debug.
9
10
  */
10
11
  export function setWasmLogLevel(level: number): void;
11
- export function initThreadPool(url: URL, num_threads: number): Promise<void>;
12
+ /**
13
+ * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
14
+ *
15
+ * This function verifies a batch proof produced by Aleo programs that may not be deployed on chain.
16
+ * Each verifying key is paired with one or more sets of public inputs (instances).
17
+ *
18
+ * @param {Array<string>} verifying_keys Array of verifying key strings, one per circuit
19
+ * @param {Array<Array<Array<string>>>} inputs 3D array of field element strings [circuit_idx][instance_idx][field_idx]
20
+ * @param {Proof} proof The batch proof to verify
21
+ * @returns {boolean} True if the batch proof is valid, false otherwise
22
+ */
23
+ export function snarkVerifyBatch(verifying_keys: Array<any>, inputs: Array<any>, proof: Proof): boolean;
12
24
  /**
13
25
  * Verify an execution. Executions with multiple transitions must have the program source code and
14
26
  * verifying keys of imported functions supplied from outside to correctly verify. Also, this does
@@ -36,17 +48,17 @@ export function verifyFunctionExecution(execution: Execution, verifying_key: Ver
36
48
  */
37
49
  export function snarkVerify(verifying_key: VerifyingKey, inputs: Array<any>, proof: Proof): boolean;
38
50
  /**
39
- * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
51
+ * Returns the maximum number of imports allowed in a program by the
52
+ * snarkVM network implementation this SDK was built against.
40
53
  *
41
- * This function verifies a batch proof produced by Aleo programs that may not be deployed on chain.
42
- * Each verifying key is paired with one or more sets of public inputs (instances).
54
+ * @returns {number} The maximum number of program imports.
43
55
  *
44
- * @param {Array<string>} verifying_keys Array of verifying key strings, one per circuit
45
- * @param {Array<Array<Array<string>>>} inputs 3D array of field element strings [circuit_idx][instance_idx][field_idx]
46
- * @param {Proof} proof The batch proof to verify
47
- * @returns {boolean} True if the batch proof is valid, false otherwise
56
+ * @example
57
+ * import { getMaxProgramImports } from '@provablehq/sdk';
58
+ *
59
+ * const maxImports = getMaxProgramImports();
48
60
  */
49
- export function snarkVerifyBatch(verifying_keys: Array<any>, inputs: Array<any>, proof: Proof): boolean;
61
+ export function getMaxProgramImports(): number;
50
62
  /**
51
63
  * Set test consensus version heights for testing.
52
64
  *
@@ -56,22 +68,10 @@ export function snarkVerifyBatch(verifying_keys: Array<any>, inputs: Array<any>,
56
68
  * import { getOrInitConsensusVersionTestHeights } from '@provablehq/sdk';
57
69
  *
58
70
  * Set the consensus version heights.
59
- * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18");
71
+ * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20");
60
72
  */
61
73
  export function getOrInitConsensusVersionTestHeights(heights?: string | null): Array<any>;
62
74
  export function stringToField(string: string): Field;
63
- /**
64
- * Returns the maximum number of imports allowed in a program by the
65
- * snarkVM network implementation this SDK was built against.
66
- *
67
- * @returns {number} The maximum number of program imports.
68
- *
69
- * @example
70
- * import { getMaxProgramImports } from '@provablehq/sdk';
71
- *
72
- * const maxImports = getMaxProgramImports();
73
- */
74
- export function getMaxProgramImports(): number;
75
75
  /**
76
76
  * Public address of an Aleo account
77
77
  */
@@ -2447,7 +2447,7 @@ export class Pedersen64 {
2447
2447
  *
2448
2448
  * @example
2449
2449
  * // Get the bond state of an existing address.
2450
- * const bondState = await fetch(https://api.provable.com/v2/mainnet/program/credits.aleo/mapping/bond_state/aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f);
2450
+ * const bondState = await fetch(https://edge.provable.com/api/v2/mainnet/program/credits.aleo/mapping/bond_state/aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f);
2451
2451
  * // Convert the bond state to a Plaintext object.
2452
2452
  * const bondStatePlaintext = Plaintext.fromString(bond_state);
2453
2453
  * // Convert the Plaintext object to a JS object.
Binary file
@@ -292,6 +292,16 @@ function runRayonThread(receiver) {
292
292
  wasm$1.runRayonThread(receiver);
293
293
  }
294
294
 
295
+ /**
296
+ * @param {URL} url
297
+ * @param {number} num_threads
298
+ * @returns {Promise<void>}
299
+ */
300
+ function initThreadPool(url, num_threads) {
301
+ const ret = wasm$1.initThreadPool(addHeapObject(url), num_threads);
302
+ return takeObject(ret);
303
+ }
304
+
295
305
  /**
296
306
  * Set the WASM log level from JS. Called automatically by the SDK's
297
307
  * `setLogLevel(level)` to keep TS and WASM logging in sync.
@@ -303,16 +313,6 @@ function setWasmLogLevel(level) {
303
313
  wasm$1.setWasmLogLevel(level);
304
314
  }
305
315
 
306
- /**
307
- * @param {URL} url
308
- * @param {number} num_threads
309
- * @returns {Promise<void>}
310
- */
311
- function initThreadPool(url, num_threads) {
312
- const ret = wasm$1.initThreadPool(addHeapObject(url), num_threads);
313
- return takeObject(ret);
314
- }
315
-
316
316
  let stack_pointer = 128;
317
317
 
318
318
  function addBorrowedObject(obj) {
@@ -320,6 +320,38 @@ function addBorrowedObject(obj) {
320
320
  heap[--stack_pointer] = obj;
321
321
  return stack_pointer;
322
322
  }
323
+ /**
324
+ * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
325
+ *
326
+ * This function verifies a batch proof produced by Aleo programs that may not be deployed on chain.
327
+ * Each verifying key is paired with one or more sets of public inputs (instances).
328
+ *
329
+ * @param {Array<string>} verifying_keys Array of verifying key strings, one per circuit
330
+ * @param {Array<Array<Array<string>>>} inputs 3D array of field element strings [circuit_idx][instance_idx][field_idx]
331
+ * @param {Proof} proof The batch proof to verify
332
+ * @returns {boolean} True if the batch proof is valid, false otherwise
333
+ * @param {Array<any>} verifying_keys
334
+ * @param {Array<any>} inputs
335
+ * @param {Proof} proof
336
+ * @returns {boolean}
337
+ */
338
+ function snarkVerifyBatch(verifying_keys, inputs, proof) {
339
+ try {
340
+ const retptr = wasm$1.__wbindgen_add_to_stack_pointer(-16);
341
+ _assertClass(proof, Proof);
342
+ wasm$1.snarkVerifyBatch(retptr, addHeapObject(verifying_keys), addHeapObject(inputs), proof.__wbg_ptr);
343
+ var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
344
+ var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
345
+ var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
346
+ if (r2) {
347
+ throw takeObject(r1);
348
+ }
349
+ return r0 !== 0;
350
+ } finally {
351
+ wasm$1.__wbindgen_add_to_stack_pointer(16);
352
+ }
353
+ }
354
+
323
355
  /**
324
356
  * Verify an execution. Executions with multiple transitions must have the program source code and
325
357
  * verifying keys of imported functions supplied from outside to correctly verify. Also, this does
@@ -402,35 +434,20 @@ function snarkVerify(verifying_key, inputs, proof) {
402
434
  }
403
435
 
404
436
  /**
405
- * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
437
+ * Returns the maximum number of imports allowed in a program by the
438
+ * snarkVM network implementation this SDK was built against.
406
439
  *
407
- * This function verifies a batch proof produced by Aleo programs that may not be deployed on chain.
408
- * Each verifying key is paired with one or more sets of public inputs (instances).
440
+ * @returns {number} The maximum number of program imports.
409
441
  *
410
- * @param {Array<string>} verifying_keys Array of verifying key strings, one per circuit
411
- * @param {Array<Array<Array<string>>>} inputs 3D array of field element strings [circuit_idx][instance_idx][field_idx]
412
- * @param {Proof} proof The batch proof to verify
413
- * @returns {boolean} True if the batch proof is valid, false otherwise
414
- * @param {Array<any>} verifying_keys
415
- * @param {Array<any>} inputs
416
- * @param {Proof} proof
417
- * @returns {boolean}
442
+ * @example
443
+ * import { getMaxProgramImports } from '@provablehq/sdk';
444
+ *
445
+ * const maxImports = getMaxProgramImports();
446
+ * @returns {number}
418
447
  */
419
- function snarkVerifyBatch(verifying_keys, inputs, proof) {
420
- try {
421
- const retptr = wasm$1.__wbindgen_add_to_stack_pointer(-16);
422
- _assertClass(proof, Proof);
423
- wasm$1.snarkVerifyBatch(retptr, addHeapObject(verifying_keys), addHeapObject(inputs), proof.__wbg_ptr);
424
- var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
425
- var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
426
- var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
427
- if (r2) {
428
- throw takeObject(r1);
429
- }
430
- return r0 !== 0;
431
- } finally {
432
- wasm$1.__wbindgen_add_to_stack_pointer(16);
433
- }
448
+ function getMaxProgramImports() {
449
+ const ret = wasm$1.getMaxProgramImports();
450
+ return ret >>> 0;
434
451
  }
435
452
 
436
453
  /**
@@ -442,7 +459,7 @@ function snarkVerifyBatch(verifying_keys, inputs, proof) {
442
459
  * import { getOrInitConsensusVersionTestHeights } from '@provablehq/sdk';
443
460
  *
444
461
  * Set the consensus version heights.
445
- * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18");
462
+ * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20");
446
463
  * @param {string | null} [heights]
447
464
  * @returns {Array<any>}
448
465
  */
@@ -475,23 +492,6 @@ function stringToField(string) {
475
492
  }
476
493
  }
477
494
 
478
- /**
479
- * Returns the maximum number of imports allowed in a program by the
480
- * snarkVM network implementation this SDK was built against.
481
- *
482
- * @returns {number} The maximum number of program imports.
483
- *
484
- * @example
485
- * import { getMaxProgramImports } from '@provablehq/sdk';
486
- *
487
- * const maxImports = getMaxProgramImports();
488
- * @returns {number}
489
- */
490
- function getMaxProgramImports() {
491
- const ret = wasm$1.getMaxProgramImports();
492
- return ret >>> 0;
493
- }
494
-
495
495
  function passArrayJsValueToWasm0(array, malloc) {
496
496
  const ptr = malloc(array.length * 4, 4) >>> 0;
497
497
  const mem = getDataViewMemory0();
@@ -511,16 +511,16 @@ function getArrayJsValueFromWasm0(ptr, len) {
511
511
  }
512
512
  return result;
513
513
  }
514
- function __wasm_bindgen_func_elem_7509(arg0, arg1) {
515
- wasm$1.__wasm_bindgen_func_elem_7509(arg0, arg1);
514
+ function __wasm_bindgen_func_elem_7556(arg0, arg1) {
515
+ wasm$1.__wasm_bindgen_func_elem_7556(arg0, arg1);
516
516
  }
517
517
 
518
- function __wasm_bindgen_func_elem_8948(arg0, arg1, arg2) {
519
- wasm$1.__wasm_bindgen_func_elem_8948(arg0, arg1, addHeapObject(arg2));
518
+ function __wasm_bindgen_func_elem_8995(arg0, arg1, arg2) {
519
+ wasm$1.__wasm_bindgen_func_elem_8995(arg0, arg1, addHeapObject(arg2));
520
520
  }
521
521
 
522
- function __wasm_bindgen_func_elem_7781(arg0, arg1, arg2, arg3) {
523
- wasm$1.__wasm_bindgen_func_elem_7781(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
522
+ function __wasm_bindgen_func_elem_7828(arg0, arg1, arg2, arg3) {
523
+ wasm$1.__wasm_bindgen_func_elem_7828(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
524
524
  }
525
525
 
526
526
  const __wbindgen_enum_RequestCredentials = ["omit", "same-origin", "include"];
@@ -8593,7 +8593,7 @@ const PlaintextFinalization = (typeof FinalizationRegistry === 'undefined')
8593
8593
  *
8594
8594
  * @example
8595
8595
  * // Get the bond state of an existing address.
8596
- * const bondState = await fetch(https://api.provable.com/v2/mainnet/program/credits.aleo/mapping/bond_state/aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f);
8596
+ * const bondState = await fetch(https://edge.provable.com/api/v2/mainnet/program/credits.aleo/mapping/bond_state/aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f);
8597
8597
  * // Convert the bond state to a Plaintext object.
8598
8598
  * const bondStatePlaintext = Plaintext.fromString(bond_state);
8599
8599
  * // Convert the Plaintext object to a JS object.
@@ -19325,7 +19325,7 @@ function __wbg_get_imports(memory) {
19325
19325
  const ret = getObject(arg0).length;
19326
19326
  return ret;
19327
19327
  };
19328
- imports.wbg.__wbg_log_94d1dab6039baf0d = function(arg0, arg1) {
19328
+ imports.wbg.__wbg_log_873fe7a781ebc826 = function(arg0, arg1) {
19329
19329
  console.log(getStringFromWasm0(arg0, arg1));
19330
19330
  };
19331
19331
  imports.wbg.__wbg_new_1acc0b6eea89d040 = function() {
@@ -19343,7 +19343,7 @@ function __wbg_get_imports(memory) {
19343
19343
  const a = state0.a;
19344
19344
  state0.a = 0;
19345
19345
  try {
19346
- return __wasm_bindgen_func_elem_7781(a, state0.b, arg0, arg1);
19346
+ return __wasm_bindgen_func_elem_7828(a, state0.b, arg0, arg1);
19347
19347
  } finally {
19348
19348
  state0.a = a;
19349
19349
  }
@@ -19515,7 +19515,7 @@ function __wbg_get_imports(memory) {
19515
19515
  const ret = Signature.__wrap(arg0);
19516
19516
  return addHeapObject(ret);
19517
19517
  };
19518
- imports.wbg.__wbg_spawnWorker_755c8ce6e1ead587 = function(arg0, arg1, arg2, arg3) {
19518
+ imports.wbg.__wbg_spawnWorker_087de831e4bfd369 = function(arg0, arg1, arg2, arg3) {
19519
19519
  const ret = spawnWorker(getObject(arg0), getObject(arg1), getObject(arg2), arg3 >>> 0);
19520
19520
  return addHeapObject(ret);
19521
19521
  };
@@ -19599,7 +19599,7 @@ function __wbg_get_imports(memory) {
19599
19599
  };
19600
19600
  imports.wbg.__wbindgen_cast_19cdf6e41653eb6c = function(arg0, arg1) {
19601
19601
  // Cast intrinsic for `Closure(Closure { dtor_idx: 397, function: Function { arguments: [Externref], shim_idx: 398, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
19602
- const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7508, __wasm_bindgen_func_elem_8948);
19602
+ const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7555, __wasm_bindgen_func_elem_8995);
19603
19603
  return addHeapObject(ret);
19604
19604
  };
19605
19605
  imports.wbg.__wbindgen_cast_2241b6af4c4b2941 = function(arg0, arg1) {
@@ -19617,11 +19617,6 @@ function __wbg_get_imports(memory) {
19617
19617
  const ret = BigInt.asUintN(64, arg0);
19618
19618
  return addHeapObject(ret);
19619
19619
  };
19620
- imports.wbg.__wbindgen_cast_601de75c058a35e1 = function(arg0, arg1) {
19621
- // Cast intrinsic for `Closure(Closure { dtor_idx: 397, function: Function { arguments: [], shim_idx: 528, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
19622
- const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7508, __wasm_bindgen_func_elem_7509);
19623
- return addHeapObject(ret);
19624
- };
19625
19620
  imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {
19626
19621
  // Cast intrinsic for `I64 -> Externref`.
19627
19622
  const ret = arg0;
@@ -19632,6 +19627,11 @@ function __wbg_get_imports(memory) {
19632
19627
  const ret = arg0;
19633
19628
  return addHeapObject(ret);
19634
19629
  };
19630
+ imports.wbg.__wbindgen_cast_dc45e30c78fa2793 = function(arg0, arg1) {
19631
+ // Cast intrinsic for `Closure(Closure { dtor_idx: 397, function: Function { arguments: [], shim_idx: 533, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
19632
+ const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7555, __wasm_bindgen_func_elem_7556);
19633
+ return addHeapObject(ret);
19634
+ };
19635
19635
  imports.wbg.__wbindgen_cast_e7b45dd881f38ce3 = function(arg0, arg1) {
19636
19636
  // Cast intrinsic for `U128 -> Externref`.
19637
19637
  const ret = (BigInt.asUintN(64, arg0) | (BigInt.asUintN(64, arg1) << BigInt(64)));
@@ -19639,7 +19639,7 @@ function __wbg_get_imports(memory) {
19639
19639
  };
19640
19640
  imports.wbg.__wbindgen_cast_eb522c22a7f98ff2 = function(arg0, arg1) {
19641
19641
  // 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`.
19642
- const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7508, __wasm_bindgen_func_elem_8948);
19642
+ const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7555, __wasm_bindgen_func_elem_8995);
19643
19643
  return addHeapObject(ret);
19644
19644
  };
19645
19645
  imports.wbg.__wbindgen_link_b9f45ffe079ef2c1 = function(arg0) {