@provablehq/wasm 0.11.9 → 0.11.10
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.
- package/dist/mainnet/aleo_wasm.d.ts +15 -15
- package/dist/mainnet/aleo_wasm.wasm +0 -0
- package/dist/mainnet/index.cjs +69 -69
- package/dist/mainnet/index.cjs.map +1 -1
- package/dist/mainnet/index.js +69 -69
- package/dist/mainnet/index.js.map +1 -1
- package/dist/mainnet/worker.js +69 -69
- package/dist/mainnet/worker.js.map +1 -1
- package/dist/testnet/aleo_wasm.d.ts +15 -15
- package/dist/testnet/aleo_wasm.wasm +0 -0
- package/dist/testnet/index.cjs +62 -62
- package/dist/testnet/index.cjs.map +1 -1
- package/dist/testnet/index.js +62 -62
- package/dist/testnet/index.js.map +1 -1
- package/dist/testnet/worker.js +62 -62
- package/dist/testnet/worker.js.map +1 -1
- package/package.json +1 -1
package/dist/testnet/worker.js
CHANGED
|
@@ -286,6 +286,16 @@ 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
|
+
|
|
289
299
|
/**
|
|
290
300
|
* Set the WASM log level from JS. Called automatically by the SDK's
|
|
291
301
|
* `setLogLevel(level)` to keep TS and WASM logging in sync.
|
|
@@ -297,16 +307,6 @@ function setWasmLogLevel(level) {
|
|
|
297
307
|
wasm.setWasmLogLevel(level);
|
|
298
308
|
}
|
|
299
309
|
|
|
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) {
|
|
@@ -362,6 +362,38 @@ function verifyFunctionExecution(execution, verifying_key, program, function_id,
|
|
|
362
362
|
}
|
|
363
363
|
}
|
|
364
364
|
|
|
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
|
+
|
|
365
397
|
/**
|
|
366
398
|
* Verify a SNARK proof against a verifying key and public inputs.
|
|
367
399
|
*
|
|
@@ -396,32 +428,22 @@ function snarkVerify(verifying_key, inputs, proof) {
|
|
|
396
428
|
}
|
|
397
429
|
|
|
398
430
|
/**
|
|
399
|
-
*
|
|
400
|
-
*
|
|
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).
|
|
403
|
-
*
|
|
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}
|
|
431
|
+
* @param {string} string
|
|
432
|
+
* @returns {Field}
|
|
412
433
|
*/
|
|
413
|
-
function
|
|
434
|
+
function stringToField(string) {
|
|
414
435
|
try {
|
|
415
436
|
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
416
|
-
|
|
417
|
-
|
|
437
|
+
const ptr0 = passStringToWasm0(string, wasm.__wbindgen_export, wasm.__wbindgen_export2);
|
|
438
|
+
const len0 = WASM_VECTOR_LEN;
|
|
439
|
+
wasm.stringToField(retptr, ptr0, len0);
|
|
418
440
|
var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
|
|
419
441
|
var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
|
|
420
442
|
var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
|
|
421
443
|
if (r2) {
|
|
422
444
|
throw takeObject(r1);
|
|
423
445
|
}
|
|
424
|
-
return r0
|
|
446
|
+
return Field.__wrap(r0);
|
|
425
447
|
} finally {
|
|
426
448
|
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
427
449
|
}
|
|
@@ -447,28 +469,6 @@ function getOrInitConsensusVersionTestHeights(heights) {
|
|
|
447
469
|
return takeObject(ret);
|
|
448
470
|
}
|
|
449
471
|
|
|
450
|
-
/**
|
|
451
|
-
* @param {string} string
|
|
452
|
-
* @returns {Field}
|
|
453
|
-
*/
|
|
454
|
-
function stringToField(string) {
|
|
455
|
-
try {
|
|
456
|
-
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
457
|
-
const ptr0 = passStringToWasm0(string, wasm.__wbindgen_export, wasm.__wbindgen_export2);
|
|
458
|
-
const len0 = WASM_VECTOR_LEN;
|
|
459
|
-
wasm.stringToField(retptr, ptr0, len0);
|
|
460
|
-
var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
|
|
461
|
-
var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
|
|
462
|
-
var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
|
|
463
|
-
if (r2) {
|
|
464
|
-
throw takeObject(r1);
|
|
465
|
-
}
|
|
466
|
-
return Field.__wrap(r0);
|
|
467
|
-
} finally {
|
|
468
|
-
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
469
|
-
}
|
|
470
|
-
}
|
|
471
|
-
|
|
472
472
|
/**
|
|
473
473
|
* Returns the maximum number of imports allowed in a program by the
|
|
474
474
|
* snarkVM network implementation this SDK was built against.
|
|
@@ -505,16 +505,16 @@ function getArrayJsValueFromWasm0(ptr, len) {
|
|
|
505
505
|
}
|
|
506
506
|
return result;
|
|
507
507
|
}
|
|
508
|
-
function
|
|
509
|
-
wasm.
|
|
508
|
+
function __wasm_bindgen_func_elem_8946(arg0, arg1, arg2) {
|
|
509
|
+
wasm.__wasm_bindgen_func_elem_8946(arg0, arg1, addHeapObject(arg2));
|
|
510
510
|
}
|
|
511
511
|
|
|
512
|
-
function
|
|
513
|
-
wasm.
|
|
512
|
+
function __wasm_bindgen_func_elem_7506(arg0, arg1) {
|
|
513
|
+
wasm.__wasm_bindgen_func_elem_7506(arg0, arg1);
|
|
514
514
|
}
|
|
515
515
|
|
|
516
|
-
function
|
|
517
|
-
wasm.
|
|
516
|
+
function __wasm_bindgen_func_elem_7778(arg0, arg1, arg2, arg3) {
|
|
517
|
+
wasm.__wasm_bindgen_func_elem_7778(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
|
|
518
518
|
}
|
|
519
519
|
|
|
520
520
|
const __wbindgen_enum_RequestCredentials = ["omit", "same-origin", "include"];
|
|
@@ -8587,7 +8587,7 @@ const PlaintextFinalization = (typeof FinalizationRegistry === 'undefined')
|
|
|
8587
8587
|
*
|
|
8588
8588
|
* @example
|
|
8589
8589
|
* // Get the bond state of an existing address.
|
|
8590
|
-
* const bondState = await fetch(https://
|
|
8590
|
+
* const bondState = await fetch(https://edge.provable.com/api/v2/mainnet/program/credits.aleo/mapping/bond_state/aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f);
|
|
8591
8591
|
* // Convert the bond state to a Plaintext object.
|
|
8592
8592
|
* const bondStatePlaintext = Plaintext.fromString(bond_state);
|
|
8593
8593
|
* // Convert the Plaintext object to a JS object.
|
|
@@ -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.
|
|
19322
|
+
imports.wbg.__wbg_log_6a7c7e39dc2b85ff = 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
|
|
19340
|
+
return __wasm_bindgen_func_elem_7778(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.
|
|
19512
|
+
imports.wbg.__wbg_spawnWorker_ea93f1cb9997e793 = 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.
|
|
19596
|
+
const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7505, __wasm_bindgen_func_elem_8946);
|
|
19597
19597
|
return addHeapObject(ret);
|
|
19598
19598
|
};
|
|
19599
19599
|
imports.wbg.__wbindgen_cast_2241b6af4c4b2941 = function(arg0, arg1) {
|
|
@@ -19613,7 +19613,7 @@ function __wbg_get_imports(memory) {
|
|
|
19613
19613
|
};
|
|
19614
19614
|
imports.wbg.__wbindgen_cast_601de75c058a35e1 = function(arg0, arg1) {
|
|
19615
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.
|
|
19616
|
+
const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7505, __wasm_bindgen_func_elem_7506);
|
|
19617
19617
|
return addHeapObject(ret);
|
|
19618
19618
|
};
|
|
19619
19619
|
imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {
|
|
@@ -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.
|
|
19636
|
+
const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7505, __wasm_bindgen_func_elem_8946);
|
|
19637
19637
|
return addHeapObject(ret);
|
|
19638
19638
|
};
|
|
19639
19639
|
imports.wbg.__wbindgen_link_b9f45ffe079ef2c1 = function(arg0) {
|