@provablehq/wasm 0.11.8 → 0.11.9
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 +24 -24
- package/dist/mainnet/aleo_wasm.wasm +0 -0
- package/dist/mainnet/index.cjs +80 -80
- package/dist/mainnet/index.cjs.map +1 -1
- package/dist/mainnet/index.js +80 -80
- package/dist/mainnet/index.js.map +1 -1
- package/dist/mainnet/worker.js +80 -80
- package/dist/mainnet/worker.js.map +1 -1
- package/dist/testnet/aleo_wasm.d.ts +25 -25
- package/dist/testnet/aleo_wasm.wasm +0 -0
- package/dist/testnet/index.cjs +70 -70
- package/dist/testnet/index.cjs.map +1 -1
- package/dist/testnet/index.js +70 -70
- package/dist/testnet/index.js.map +1 -1
- package/dist/testnet/worker.js +70 -70
- package/dist/testnet/worker.js.map +1 -1
- package/package.json +1 -1
package/dist/mainnet/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) {
|
|
@@ -314,54 +314,6 @@ function addBorrowedObject(obj) {
|
|
|
314
314
|
heap[--stack_pointer] = obj;
|
|
315
315
|
return stack_pointer;
|
|
316
316
|
}
|
|
317
|
-
/**
|
|
318
|
-
* Verify an execution. Executions with multiple transitions must have the program source code and
|
|
319
|
-
* verifying keys of imported functions supplied from outside to correctly verify. Also, this does
|
|
320
|
-
* not verify that the state root of the execution is included in the Aleo Network ledger.
|
|
321
|
-
*
|
|
322
|
-
* @param {Execution} execution The function execution to verify
|
|
323
|
-
* @param {VerifyingKey} verifying_key The verifying key for the function
|
|
324
|
-
* @param {Program} program The program that the function execution belongs to
|
|
325
|
-
* @param {String} function_id The name of the function that was executed
|
|
326
|
-
* @param {Object} imports The imports for the program in the form of { "program_id.aleo":"source code", ... }
|
|
327
|
-
* @param {Object} import_verifying_keys The verifying keys for the imports in the form of { "program_id.aleo": [["function, "verifying_key"], ...], ...}
|
|
328
|
-
* @returns {boolean} True if the execution is valid, false otherwise
|
|
329
|
-
* @param {Execution} execution
|
|
330
|
-
* @param {VerifyingKey} verifying_key
|
|
331
|
-
* @param {Program} program
|
|
332
|
-
* @param {string} function_id
|
|
333
|
-
* @param {object | null | undefined} imports
|
|
334
|
-
* @param {object | null | undefined} imported_verifying_keys
|
|
335
|
-
* @param {number} block_height
|
|
336
|
-
* @param {ProgramImports | null} [program_imports]
|
|
337
|
-
* @returns {boolean}
|
|
338
|
-
*/
|
|
339
|
-
function verifyFunctionExecution(execution, verifying_key, program, function_id, imports, imported_verifying_keys, block_height, program_imports) {
|
|
340
|
-
try {
|
|
341
|
-
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
342
|
-
_assertClass(execution, Execution);
|
|
343
|
-
_assertClass(verifying_key, VerifyingKey);
|
|
344
|
-
_assertClass(program, Program);
|
|
345
|
-
const ptr0 = passStringToWasm0(function_id, wasm.__wbindgen_export, wasm.__wbindgen_export2);
|
|
346
|
-
const len0 = WASM_VECTOR_LEN;
|
|
347
|
-
let ptr1 = 0;
|
|
348
|
-
if (!isLikeNone(program_imports)) {
|
|
349
|
-
_assertClass(program_imports, ProgramImports);
|
|
350
|
-
ptr1 = program_imports.__destroy_into_raw();
|
|
351
|
-
}
|
|
352
|
-
wasm.verifyFunctionExecution(retptr, execution.__wbg_ptr, verifying_key.__wbg_ptr, program.__wbg_ptr, ptr0, len0, isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(imported_verifying_keys) ? 0 : addHeapObject(imported_verifying_keys), block_height, ptr1);
|
|
353
|
-
var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
|
|
354
|
-
var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
|
|
355
|
-
var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
|
|
356
|
-
if (r2) {
|
|
357
|
-
throw takeObject(r1);
|
|
358
|
-
}
|
|
359
|
-
return r0 !== 0;
|
|
360
|
-
} finally {
|
|
361
|
-
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
362
|
-
}
|
|
363
|
-
}
|
|
364
|
-
|
|
365
317
|
/**
|
|
366
318
|
* Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
|
|
367
319
|
*
|
|
@@ -428,20 +380,51 @@ function snarkVerify(verifying_key, inputs, proof) {
|
|
|
428
380
|
}
|
|
429
381
|
|
|
430
382
|
/**
|
|
431
|
-
*
|
|
432
|
-
*
|
|
433
|
-
*
|
|
434
|
-
* @returns {number} The maximum number of program imports.
|
|
435
|
-
*
|
|
436
|
-
* @example
|
|
437
|
-
* import { getMaxProgramImports } from '@provablehq/sdk';
|
|
383
|
+
* Verify an execution. Executions with multiple transitions must have the program source code and
|
|
384
|
+
* verifying keys of imported functions supplied from outside to correctly verify. Also, this does
|
|
385
|
+
* not verify that the state root of the execution is included in the Aleo Network ledger.
|
|
438
386
|
*
|
|
439
|
-
*
|
|
440
|
-
* @
|
|
387
|
+
* @param {Execution} execution The function execution to verify
|
|
388
|
+
* @param {VerifyingKey} verifying_key The verifying key for the function
|
|
389
|
+
* @param {Program} program The program that the function execution belongs to
|
|
390
|
+
* @param {String} function_id The name of the function that was executed
|
|
391
|
+
* @param {Object} imports The imports for the program in the form of { "program_id.aleo":"source code", ... }
|
|
392
|
+
* @param {Object} import_verifying_keys The verifying keys for the imports in the form of { "program_id.aleo": [["function, "verifying_key"], ...], ...}
|
|
393
|
+
* @returns {boolean} True if the execution is valid, false otherwise
|
|
394
|
+
* @param {Execution} execution
|
|
395
|
+
* @param {VerifyingKey} verifying_key
|
|
396
|
+
* @param {Program} program
|
|
397
|
+
* @param {string} function_id
|
|
398
|
+
* @param {object | null | undefined} imports
|
|
399
|
+
* @param {object | null | undefined} imported_verifying_keys
|
|
400
|
+
* @param {number} block_height
|
|
401
|
+
* @param {ProgramImports | null} [program_imports]
|
|
402
|
+
* @returns {boolean}
|
|
441
403
|
*/
|
|
442
|
-
function
|
|
443
|
-
|
|
444
|
-
|
|
404
|
+
function verifyFunctionExecution(execution, verifying_key, program, function_id, imports, imported_verifying_keys, block_height, program_imports) {
|
|
405
|
+
try {
|
|
406
|
+
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
407
|
+
_assertClass(execution, Execution);
|
|
408
|
+
_assertClass(verifying_key, VerifyingKey);
|
|
409
|
+
_assertClass(program, Program);
|
|
410
|
+
const ptr0 = passStringToWasm0(function_id, wasm.__wbindgen_export, wasm.__wbindgen_export2);
|
|
411
|
+
const len0 = WASM_VECTOR_LEN;
|
|
412
|
+
let ptr1 = 0;
|
|
413
|
+
if (!isLikeNone(program_imports)) {
|
|
414
|
+
_assertClass(program_imports, ProgramImports);
|
|
415
|
+
ptr1 = program_imports.__destroy_into_raw();
|
|
416
|
+
}
|
|
417
|
+
wasm.verifyFunctionExecution(retptr, execution.__wbg_ptr, verifying_key.__wbg_ptr, program.__wbg_ptr, ptr0, len0, isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(imported_verifying_keys) ? 0 : addHeapObject(imported_verifying_keys), block_height, ptr1);
|
|
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
|
+
}
|
|
445
428
|
}
|
|
446
429
|
|
|
447
430
|
/**
|
|
@@ -486,6 +469,23 @@ function stringToField(string) {
|
|
|
486
469
|
}
|
|
487
470
|
}
|
|
488
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
|
+
|
|
489
489
|
function passArrayJsValueToWasm0(array, malloc) {
|
|
490
490
|
const ptr = malloc(array.length * 4, 4) >>> 0;
|
|
491
491
|
const mem = getDataViewMemory0();
|
|
@@ -509,12 +509,12 @@ function __wasm_bindgen_func_elem_8948(arg0, arg1, arg2) {
|
|
|
509
509
|
wasm.__wasm_bindgen_func_elem_8948(arg0, arg1, addHeapObject(arg2));
|
|
510
510
|
}
|
|
511
511
|
|
|
512
|
-
function
|
|
513
|
-
wasm.
|
|
512
|
+
function __wasm_bindgen_func_elem_7507(arg0, arg1) {
|
|
513
|
+
wasm.__wasm_bindgen_func_elem_7507(arg0, arg1);
|
|
514
514
|
}
|
|
515
515
|
|
|
516
|
-
function
|
|
517
|
-
wasm.
|
|
516
|
+
function __wasm_bindgen_func_elem_7780(arg0, arg1, arg2, arg3) {
|
|
517
|
+
wasm.__wasm_bindgen_func_elem_7780(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.
|
|
19322
|
+
imports.wbg.__wbg_log_94d1dab6039baf0d = 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_7780(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_755c8ce6e1ead587 = 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
|
};
|
|
@@ -19598,7 +19598,7 @@ function __wbg_get_imports(memory) {
|
|
|
19598
19598
|
};
|
|
19599
19599
|
imports.wbg.__wbindgen_cast_2adca60326a83a78 = function(arg0, arg1) {
|
|
19600
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.
|
|
19601
|
+
const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7506, __wasm_bindgen_func_elem_7507);
|
|
19602
19602
|
return addHeapObject(ret);
|
|
19603
19603
|
};
|
|
19604
19604
|
imports.wbg.__wbindgen_cast_2ddd8a25ff58642a = function(arg0, arg1) {
|
|
@@ -19613,7 +19613,7 @@ function __wbg_get_imports(memory) {
|
|
|
19613
19613
|
};
|
|
19614
19614
|
imports.wbg.__wbindgen_cast_805ada4c4be963fc = function(arg0, arg1) {
|
|
19615
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.
|
|
19616
|
+
const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7506, __wasm_bindgen_func_elem_8948);
|
|
19617
19617
|
return addHeapObject(ret);
|
|
19618
19618
|
};
|
|
19619
19619
|
imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {
|
|
@@ -19623,7 +19623,7 @@ function __wbg_get_imports(memory) {
|
|
|
19623
19623
|
};
|
|
19624
19624
|
imports.wbg.__wbindgen_cast_c048d24de4cf58bb = function(arg0, arg1) {
|
|
19625
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.
|
|
19626
|
+
const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7506, __wasm_bindgen_func_elem_8948);
|
|
19627
19627
|
return addHeapObject(ret);
|
|
19628
19628
|
};
|
|
19629
19629
|
imports.wbg.__wbindgen_cast_d6cd19b81560fd6e = function(arg0) {
|