@provablehq/wasm 0.11.4 → 0.11.5
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 +32 -20
- package/dist/mainnet/aleo_wasm.wasm +0 -0
- package/dist/mainnet/index.cjs +81 -63
- package/dist/mainnet/index.cjs.map +1 -1
- package/dist/mainnet/index.js +81 -64
- package/dist/mainnet/index.js.map +1 -1
- package/dist/mainnet/worker.js +81 -63
- package/dist/mainnet/worker.js.map +1 -1
- package/dist/testnet/aleo_wasm.d.ts +26 -14
- package/dist/testnet/aleo_wasm.wasm +0 -0
- package/dist/testnet/index.cjs +86 -68
- package/dist/testnet/index.cjs.map +1 -1
- package/dist/testnet/index.js +86 -69
- package/dist/testnet/index.js.map +1 -1
- package/dist/testnet/worker.js +86 -68
- package/dist/testnet/worker.js.map +1 -1
- package/package.json +1 -1
package/dist/testnet/worker.js
CHANGED
|
@@ -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,23 +396,35 @@ function verifyFunctionExecution(execution, verifying_key, program, function_id,
|
|
|
428
396
|
}
|
|
429
397
|
|
|
430
398
|
/**
|
|
431
|
-
*
|
|
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.
|
|
399
|
+
* Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
|
|
434
400
|
*
|
|
435
|
-
*
|
|
436
|
-
*
|
|
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).
|
|
437
403
|
*
|
|
438
|
-
*
|
|
439
|
-
*
|
|
440
|
-
* @param {
|
|
441
|
-
* @returns {
|
|
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}
|
|
442
412
|
*/
|
|
443
|
-
function
|
|
444
|
-
|
|
445
|
-
|
|
446
|
-
|
|
447
|
-
|
|
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
|
+
}
|
|
448
428
|
}
|
|
449
429
|
|
|
450
430
|
/**
|
|
@@ -469,6 +449,43 @@ function stringToField(string) {
|
|
|
469
449
|
}
|
|
470
450
|
}
|
|
471
451
|
|
|
452
|
+
/**
|
|
453
|
+
* Set test consensus version heights for testing.
|
|
454
|
+
*
|
|
455
|
+
* @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.
|
|
456
|
+
*
|
|
457
|
+
* @example
|
|
458
|
+
* import { getOrInitConsensusVersionTestHeights } from '@provablehq/sdk';
|
|
459
|
+
*
|
|
460
|
+
* 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");
|
|
462
|
+
* @param {string | null} [heights]
|
|
463
|
+
* @returns {Array<any>}
|
|
464
|
+
*/
|
|
465
|
+
function getOrInitConsensusVersionTestHeights(heights) {
|
|
466
|
+
var ptr0 = isLikeNone(heights) ? 0 : passStringToWasm0(heights, wasm.__wbindgen_export, wasm.__wbindgen_export2);
|
|
467
|
+
var len0 = WASM_VECTOR_LEN;
|
|
468
|
+
const ret = wasm.getOrInitConsensusVersionTestHeights(ptr0, len0);
|
|
469
|
+
return takeObject(ret);
|
|
470
|
+
}
|
|
471
|
+
|
|
472
|
+
/**
|
|
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}
|
|
483
|
+
*/
|
|
484
|
+
function getMaxProgramImports() {
|
|
485
|
+
const ret = wasm.getMaxProgramImports();
|
|
486
|
+
return ret >>> 0;
|
|
487
|
+
}
|
|
488
|
+
|
|
472
489
|
function passArrayJsValueToWasm0(array, malloc) {
|
|
473
490
|
const ptr = malloc(array.length * 4, 4) >>> 0;
|
|
474
491
|
const mem = getDataViewMemory0();
|
|
@@ -488,16 +505,16 @@ function getArrayJsValueFromWasm0(ptr, len) {
|
|
|
488
505
|
}
|
|
489
506
|
return result;
|
|
490
507
|
}
|
|
491
|
-
function
|
|
492
|
-
wasm.
|
|
508
|
+
function __wasm_bindgen_func_elem_8910(arg0, arg1, arg2) {
|
|
509
|
+
wasm.__wasm_bindgen_func_elem_8910(arg0, arg1, addHeapObject(arg2));
|
|
493
510
|
}
|
|
494
511
|
|
|
495
|
-
function
|
|
496
|
-
wasm.
|
|
512
|
+
function __wasm_bindgen_func_elem_7472(arg0, arg1) {
|
|
513
|
+
wasm.__wasm_bindgen_func_elem_7472(arg0, arg1);
|
|
497
514
|
}
|
|
498
515
|
|
|
499
|
-
function
|
|
500
|
-
wasm.
|
|
516
|
+
function __wasm_bindgen_func_elem_7744(arg0, arg1, arg2, arg3) {
|
|
517
|
+
wasm.__wasm_bindgen_func_elem_7744(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
|
|
501
518
|
}
|
|
502
519
|
|
|
503
520
|
const __wbindgen_enum_RequestCredentials = ["omit", "same-origin", "include"];
|
|
@@ -19302,7 +19319,7 @@ function __wbg_get_imports(memory) {
|
|
|
19302
19319
|
const ret = getObject(arg0).length;
|
|
19303
19320
|
return ret;
|
|
19304
19321
|
};
|
|
19305
|
-
imports.wbg.
|
|
19322
|
+
imports.wbg.__wbg_log_a530da429f854235 = function(arg0, arg1) {
|
|
19306
19323
|
console.log(getStringFromWasm0(arg0, arg1));
|
|
19307
19324
|
};
|
|
19308
19325
|
imports.wbg.__wbg_new_1acc0b6eea89d040 = function() {
|
|
@@ -19320,7 +19337,7 @@ function __wbg_get_imports(memory) {
|
|
|
19320
19337
|
const a = state0.a;
|
|
19321
19338
|
state0.a = 0;
|
|
19322
19339
|
try {
|
|
19323
|
-
return
|
|
19340
|
+
return __wasm_bindgen_func_elem_7744(a, state0.b, arg0, arg1);
|
|
19324
19341
|
} finally {
|
|
19325
19342
|
state0.a = a;
|
|
19326
19343
|
}
|
|
@@ -19492,7 +19509,7 @@ function __wbg_get_imports(memory) {
|
|
|
19492
19509
|
const ret = Signature.__wrap(arg0);
|
|
19493
19510
|
return addHeapObject(ret);
|
|
19494
19511
|
};
|
|
19495
|
-
imports.wbg.
|
|
19512
|
+
imports.wbg.__wbg_spawnWorker_ad641c7b32ebd520 = function(arg0, arg1, arg2, arg3) {
|
|
19496
19513
|
const ret = spawnWorker(getObject(arg0), getObject(arg1), getObject(arg2), arg3 >>> 0);
|
|
19497
19514
|
return addHeapObject(ret);
|
|
19498
19515
|
};
|
|
@@ -19574,21 +19591,11 @@ function __wbg_get_imports(memory) {
|
|
|
19574
19591
|
const ret = Atomics.waitAsync(getObject(arg0), arg1 >>> 0, arg2);
|
|
19575
19592
|
return addHeapObject(ret);
|
|
19576
19593
|
};
|
|
19577
|
-
imports.wbg.__wbindgen_cast_073ddd2b87fab8ab = function(arg0, arg1) {
|
|
19578
|
-
// Cast intrinsic for `Closure(Closure { dtor_idx: 360, function: Function { arguments: [], shim_idx: 467, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
|
|
19579
|
-
const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7391, __wasm_bindgen_func_elem_7392);
|
|
19580
|
-
return addHeapObject(ret);
|
|
19581
|
-
};
|
|
19582
19594
|
imports.wbg.__wbindgen_cast_2241b6af4c4b2941 = function(arg0, arg1) {
|
|
19583
19595
|
// Cast intrinsic for `Ref(String) -> Externref`.
|
|
19584
19596
|
const ret = getStringFromWasm0(arg0, arg1);
|
|
19585
19597
|
return addHeapObject(ret);
|
|
19586
19598
|
};
|
|
19587
|
-
imports.wbg.__wbindgen_cast_263b62405be3c669 = function(arg0, arg1) {
|
|
19588
|
-
// Cast intrinsic for `Closure(Closure { dtor_idx: 360, function: Function { arguments: [NamedExternref("MessageEvent")], shim_idx: 361, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
|
|
19589
|
-
const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7391, __wasm_bindgen_func_elem_8765);
|
|
19590
|
-
return addHeapObject(ret);
|
|
19591
|
-
};
|
|
19592
19599
|
imports.wbg.__wbindgen_cast_2ddd8a25ff58642a = function(arg0, arg1) {
|
|
19593
19600
|
// Cast intrinsic for `I128 -> Externref`.
|
|
19594
19601
|
const ret = (BigInt.asUintN(64, arg0) | (arg1 << BigInt(64)));
|
|
@@ -19599,9 +19606,9 @@ function __wbg_get_imports(memory) {
|
|
|
19599
19606
|
const ret = BigInt.asUintN(64, arg0);
|
|
19600
19607
|
return addHeapObject(ret);
|
|
19601
19608
|
};
|
|
19602
|
-
imports.wbg.
|
|
19603
|
-
// Cast intrinsic for `Closure(Closure { dtor_idx:
|
|
19604
|
-
const ret = makeMutClosure(arg0, arg1, wasm.
|
|
19609
|
+
imports.wbg.__wbindgen_cast_69588da295a6a0d2 = function(arg0, arg1) {
|
|
19610
|
+
// Cast intrinsic for `Closure(Closure { dtor_idx: 390, function: Function { arguments: [], shim_idx: 495, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
|
|
19611
|
+
const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7471, __wasm_bindgen_func_elem_7472);
|
|
19605
19612
|
return addHeapObject(ret);
|
|
19606
19613
|
};
|
|
19607
19614
|
imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {
|
|
@@ -19609,11 +19616,21 @@ function __wbg_get_imports(memory) {
|
|
|
19609
19616
|
const ret = arg0;
|
|
19610
19617
|
return addHeapObject(ret);
|
|
19611
19618
|
};
|
|
19619
|
+
imports.wbg.__wbindgen_cast_b5deba2f813aede2 = function(arg0, arg1) {
|
|
19620
|
+
// Cast intrinsic for `Closure(Closure { dtor_idx: 390, function: Function { arguments: [NamedExternref("MessageEvent")], shim_idx: 391, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
|
|
19621
|
+
const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7471, __wasm_bindgen_func_elem_8910);
|
|
19622
|
+
return addHeapObject(ret);
|
|
19623
|
+
};
|
|
19612
19624
|
imports.wbg.__wbindgen_cast_d6cd19b81560fd6e = function(arg0) {
|
|
19613
19625
|
// Cast intrinsic for `F64 -> Externref`.
|
|
19614
19626
|
const ret = arg0;
|
|
19615
19627
|
return addHeapObject(ret);
|
|
19616
19628
|
};
|
|
19629
|
+
imports.wbg.__wbindgen_cast_e15614d8168764d1 = function(arg0, arg1) {
|
|
19630
|
+
// Cast intrinsic for `Closure(Closure { dtor_idx: 390, function: Function { arguments: [Externref], shim_idx: 391, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
|
|
19631
|
+
const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7471, __wasm_bindgen_func_elem_8910);
|
|
19632
|
+
return addHeapObject(ret);
|
|
19633
|
+
};
|
|
19617
19634
|
imports.wbg.__wbindgen_cast_e7b45dd881f38ce3 = function(arg0, arg1) {
|
|
19618
19635
|
// Cast intrinsic for `U128 -> Externref`.
|
|
19619
19636
|
const ret = (BigInt.asUintN(64, arg0) | (BigInt.asUintN(64, arg1) << BigInt(64)));
|
|
@@ -19761,6 +19778,7 @@ var exports$1 = /*#__PURE__*/Object.freeze({
|
|
|
19761
19778
|
VerifyingKey: VerifyingKey,
|
|
19762
19779
|
ViewKey: ViewKey,
|
|
19763
19780
|
default: __wbg_init,
|
|
19781
|
+
getMaxProgramImports: getMaxProgramImports,
|
|
19764
19782
|
getOrInitConsensusVersionTestHeights: getOrInitConsensusVersionTestHeights,
|
|
19765
19783
|
initSync: initSync,
|
|
19766
19784
|
initThreadPool: initThreadPool,
|