@provablehq/wasm 0.11.9 → 0.11.11

package/dist/mainnet/aleo_wasm.d.ts

@@ -1,7 +1,6 @@
 /* tslint:disable */
 /* eslint-disable */
 export function runRayonThread(receiver: number): void;
-export function initThreadPool(url: URL, num_threads: number): Promise<void>;
 /**
  * Set the WASM log level from JS. Called automatically by the SDK's
  * `setLogLevel(level)` to keep TS and WASM logging in sync.
@@ -9,18 +8,21 @@ export function initThreadPool(url: URL, num_threads: number): Promise<void>;
  * Values above 4 are clamped to debug.
  */
 export function setWasmLogLevel(level: number): void;
+export function initThreadPool(url: URL, num_threads: number): Promise<void>;
 /**
- * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
- *
- * This function verifies a batch proof produced by Aleo programs that may not be deployed on chain.
- * Each verifying key is paired with one or more sets of public inputs (instances).
+ * Verify an execution. Executions with multiple transitions must have the program source code and
+ * verifying keys of imported functions supplied from outside to correctly verify. Also, this does
+ * not verify that the state root of the execution is included in the Aleo Network ledger.
  *
- * @param {Array<string>} verifying_keys Array of verifying key strings, one per circuit
- * @param {Array<Array<Array<string>>>} inputs 3D array of field element strings [circuit_idx][instance_idx][field_idx]
- * @param {Proof} proof The batch proof to verify
- * @returns {boolean} True if the batch proof is valid, false otherwise
+ * @param {Execution} execution The function execution to verify
+ * @param {VerifyingKey} verifying_key The verifying key for the function
+ * @param {Program} program The program that the function execution belongs to
+ * @param {String} function_id The name of the function that was executed
+ * @param {Object} imports The imports for the program in the form of { "program_id.aleo":"source code", ... }
+ * @param {Object} import_verifying_keys The verifying keys for the imports in the form of { "program_id.aleo": [["function, "verifying_key"], ...],  ...}
+ * @returns {boolean} True if the execution is valid, false otherwise
  */
-export function snarkVerifyBatch(verifying_keys: Array<any>, inputs: Array<any>, proof: Proof): boolean;
+export function verifyFunctionExecution(execution: Execution, verifying_key: VerifyingKey, program: Program, function_id: string, imports: object | null | undefined, imported_verifying_keys: object | null | undefined, block_height: number, program_imports?: ProgramImports | null): boolean;
 /**
  * Verify a SNARK proof against a verifying key and public inputs.
  *
@@ -34,19 +36,18 @@ export function snarkVerifyBatch(verifying_keys: Array<any>, inputs: Array<any>,
  */
 export function snarkVerify(verifying_key: VerifyingKey, inputs: Array<any>, proof: Proof): boolean;
 /**
- * Verify an execution. Executions with multiple transitions must have the program source code and
- * verifying keys of imported functions supplied from outside to correctly verify. Also, this does
- * not verify that the state root of the execution is included in the Aleo Network ledger.
+ * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
  *
- * @param {Execution} execution The function execution to verify
- * @param {VerifyingKey} verifying_key The verifying key for the function
- * @param {Program} program The program that the function execution belongs to
- * @param {String} function_id The name of the function that was executed
- * @param {Object} imports The imports for the program in the form of { "program_id.aleo":"source code", ... }
- * @param {Object} import_verifying_keys The verifying keys for the imports in the form of { "program_id.aleo": [["function, "verifying_key"], ...],  ...}
- * @returns {boolean} True if the execution is valid, false otherwise
+ * This function verifies a batch proof produced by Aleo programs that may not be deployed on chain.
+ * Each verifying key is paired with one or more sets of public inputs (instances).
+ *
+ * @param {Array<string>} verifying_keys Array of verifying key strings, one per circuit
+ * @param {Array<Array<Array<string>>>} inputs 3D array of field element strings [circuit_idx][instance_idx][field_idx]
+ * @param {Proof} proof The batch proof to verify
+ * @returns {boolean} True if the batch proof is valid, false otherwise
  */
-export function verifyFunctionExecution(execution: Execution, verifying_key: VerifyingKey, program: Program, function_id: string, imports: object | null | undefined, imported_verifying_keys: object | null | undefined, block_height: number, program_imports?: ProgramImports | null): boolean;
+export function snarkVerifyBatch(verifying_keys: Array<any>, inputs: Array<any>, proof: Proof): boolean;
+export function stringToField(string: string): Field;
 /**
  * Set test consensus version heights for testing.
  *
@@ -56,10 +57,9 @@ export function verifyFunctionExecution(execution: Execution, verifying_key: Ver
  * import { getOrInitConsensusVersionTestHeights } from '@provablehq/sdk';
  *
  * Set the consensus version heights.
- * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18");
+ * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20");
  */
 export function getOrInitConsensusVersionTestHeights(heights?: string | null): Array<any>;
-export function stringToField(string: string): Field;
 /**
  * Returns the maximum number of imports allowed in a program by the
  * snarkVM network implementation this SDK was built against.
@@ -2447,7 +2447,7 @@ export class Pedersen64 {
  *
  * @example
  * // Get the bond state of an existing address.
- * const bondState = await fetch(https://api.provable.com/v2/mainnet/program/credits.aleo/mapping/bond_state/aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f);
+ * const bondState = await fetch(https://edge.provable.com/api/v2/mainnet/program/credits.aleo/mapping/bond_state/aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f);
  * // Convert the bond state to a Plaintext object.
  * const bondStatePlaintext = Plaintext.fromString(bond_state);
  * // Convert the Plaintext object to a JS object.

package/dist/mainnet/index.cjs

@@ -292,16 +292,6 @@ function runRayonThread(receiver) {
     wasm$1.runRayonThread(receiver);
 }
 
-/**
- * @param {URL} url
- * @param {number} num_threads
- * @returns {Promise<void>}
- */
-function initThreadPool(url, num_threads) {
-    const ret = wasm$1.initThreadPool(addHeapObject(url), num_threads);
-    return takeObject(ret);
-}
-
 /**
  * Set the WASM log level from JS. Called automatically by the SDK's
  * `setLogLevel(level)` to keep TS and WASM logging in sync.
@@ -313,6 +303,16 @@ function setWasmLogLevel(level) {
     wasm$1.setWasmLogLevel(level);
 }
 
+/**
+ * @param {URL} url
+ * @param {number} num_threads
+ * @returns {Promise<void>}
+ */
+function initThreadPool(url, num_threads) {
+    const ret = wasm$1.initThreadPool(addHeapObject(url), num_threads);
+    return takeObject(ret);
+}
+
 let stack_pointer = 128;
 
 function addBorrowedObject(obj) {
@@ -321,25 +321,41 @@ function addBorrowedObject(obj) {
     return stack_pointer;
 }
 /**
- * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
- *
- * This function verifies a batch proof produced by Aleo programs that may not be deployed on chain.
- * Each verifying key is paired with one or more sets of public inputs (instances).
+ * Verify an execution. Executions with multiple transitions must have the program source code and
+ * verifying keys of imported functions supplied from outside to correctly verify. Also, this does
+ * not verify that the state root of the execution is included in the Aleo Network ledger.
  *
- * @param {Array<string>} verifying_keys Array of verifying key strings, one per circuit
- * @param {Array<Array<Array<string>>>} inputs 3D array of field element strings [circuit_idx][instance_idx][field_idx]
- * @param {Proof} proof The batch proof to verify
- * @returns {boolean} True if the batch proof is valid, false otherwise
- * @param {Array<any>} verifying_keys
- * @param {Array<any>} inputs
- * @param {Proof} proof
+ * @param {Execution} execution The function execution to verify
+ * @param {VerifyingKey} verifying_key The verifying key for the function
+ * @param {Program} program The program that the function execution belongs to
+ * @param {String} function_id The name of the function that was executed
+ * @param {Object} imports The imports for the program in the form of { "program_id.aleo":"source code", ... }
+ * @param {Object} import_verifying_keys The verifying keys for the imports in the form of { "program_id.aleo": [["function, "verifying_key"], ...],  ...}
+ * @returns {boolean} True if the execution is valid, false otherwise
+ * @param {Execution} execution
+ * @param {VerifyingKey} verifying_key
+ * @param {Program} program
+ * @param {string} function_id
+ * @param {object | null | undefined} imports
+ * @param {object | null | undefined} imported_verifying_keys
+ * @param {number} block_height
+ * @param {ProgramImports | null} [program_imports]
  * @returns {boolean}
  */
-function snarkVerifyBatch(verifying_keys, inputs, proof) {
+function verifyFunctionExecution(execution, verifying_key, program, function_id, imports, imported_verifying_keys, block_height, program_imports) {
     try {
         const retptr = wasm$1.__wbindgen_add_to_stack_pointer(-16);
-        _assertClass(proof, Proof);
-        wasm$1.snarkVerifyBatch(retptr, addHeapObject(verifying_keys), addHeapObject(inputs), proof.__wbg_ptr);
+        _assertClass(execution, Execution);
+        _assertClass(verifying_key, VerifyingKey);
+        _assertClass(program, Program);
+        const ptr0 = passStringToWasm0(function_id, wasm$1.__wbindgen_export, wasm$1.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        let ptr1 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr1 = program_imports.__destroy_into_raw();
+        }
+        wasm$1.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);
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
@@ -386,41 +402,25 @@ function snarkVerify(verifying_key, inputs, proof) {
 }
 
 /**
- * Verify an execution. Executions with multiple transitions must have the program source code and
- * verifying keys of imported functions supplied from outside to correctly verify. Also, this does
- * not verify that the state root of the execution is included in the Aleo Network ledger.
+ * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
  *
- * @param {Execution} execution The function execution to verify
- * @param {VerifyingKey} verifying_key The verifying key for the function
- * @param {Program} program The program that the function execution belongs to
- * @param {String} function_id The name of the function that was executed
- * @param {Object} imports The imports for the program in the form of { "program_id.aleo":"source code", ... }
- * @param {Object} import_verifying_keys The verifying keys for the imports in the form of { "program_id.aleo": [["function, "verifying_key"], ...],  ...}
- * @returns {boolean} True if the execution is valid, false otherwise
- * @param {Execution} execution
- * @param {VerifyingKey} verifying_key
- * @param {Program} program
- * @param {string} function_id
- * @param {object | null | undefined} imports
- * @param {object | null | undefined} imported_verifying_keys
- * @param {number} block_height
- * @param {ProgramImports | null} [program_imports]
+ * This function verifies a batch proof produced by Aleo programs that may not be deployed on chain.
+ * Each verifying key is paired with one or more sets of public inputs (instances).
+ *
+ * @param {Array<string>} verifying_keys Array of verifying key strings, one per circuit
+ * @param {Array<Array<Array<string>>>} inputs 3D array of field element strings [circuit_idx][instance_idx][field_idx]
+ * @param {Proof} proof The batch proof to verify
+ * @returns {boolean} True if the batch proof is valid, false otherwise
+ * @param {Array<any>} verifying_keys
+ * @param {Array<any>} inputs
+ * @param {Proof} proof
  * @returns {boolean}
  */
-function verifyFunctionExecution(execution, verifying_key, program, function_id, imports, imported_verifying_keys, block_height, program_imports) {
+function snarkVerifyBatch(verifying_keys, inputs, proof) {
     try {
         const retptr = wasm$1.__wbindgen_add_to_stack_pointer(-16);
-        _assertClass(execution, Execution);
-        _assertClass(verifying_key, VerifyingKey);
-        _assertClass(program, Program);
-        const ptr0 = passStringToWasm0(function_id, wasm$1.__wbindgen_export, wasm$1.__wbindgen_export2);
-        const len0 = WASM_VECTOR_LEN;
-        let ptr1 = 0;
-        if (!isLikeNone(program_imports)) {
-            _assertClass(program_imports, ProgramImports);
-            ptr1 = program_imports.__destroy_into_raw();
-        }
-        wasm$1.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);
+        _assertClass(proof, Proof);
+        wasm$1.snarkVerifyBatch(retptr, addHeapObject(verifying_keys), addHeapObject(inputs), proof.__wbg_ptr);
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
@@ -433,26 +433,6 @@ function verifyFunctionExecution(execution, verifying_key, program, function_id,
     }
 }
 
-/**
- * Set test consensus version heights for testing.
- *
- * @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.
- *
- * @example
- * import { getOrInitConsensusVersionTestHeights } from '@provablehq/sdk';
- *
- * Set the consensus version heights.
- * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18");
- * @param {string | null} [heights]
- * @returns {Array<any>}
- */
-function getOrInitConsensusVersionTestHeights(heights) {
-    var ptr0 = isLikeNone(heights) ? 0 : passStringToWasm0(heights, wasm$1.__wbindgen_export, wasm$1.__wbindgen_export2);
-    var len0 = WASM_VECTOR_LEN;
-    const ret = wasm$1.getOrInitConsensusVersionTestHeights(ptr0, len0);
-    return takeObject(ret);
-}
-
 /**
  * @param {string} string
  * @returns {Field}
@@ -475,6 +455,26 @@ function stringToField(string) {
     }
 }
 
+/**
+ * Set test consensus version heights for testing.
+ *
+ * @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.
+ *
+ * @example
+ * import { getOrInitConsensusVersionTestHeights } from '@provablehq/sdk';
+ *
+ * Set the consensus version heights.
+ * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20");
+ * @param {string | null} [heights]
+ * @returns {Array<any>}
+ */
+function getOrInitConsensusVersionTestHeights(heights) {
+    var ptr0 = isLikeNone(heights) ? 0 : passStringToWasm0(heights, wasm$1.__wbindgen_export, wasm$1.__wbindgen_export2);
+    var len0 = WASM_VECTOR_LEN;
+    const ret = wasm$1.getOrInitConsensusVersionTestHeights(ptr0, len0);
+    return takeObject(ret);
+}
+
 /**
  * Returns the maximum number of imports allowed in a program by the
  * snarkVM network implementation this SDK was built against.
@@ -511,16 +511,16 @@ function getArrayJsValueFromWasm0(ptr, len) {
     }
     return result;
 }
-function __wasm_bindgen_func_elem_8948(arg0, arg1, arg2) {
-    wasm$1.__wasm_bindgen_func_elem_8948(arg0, arg1, addHeapObject(arg2));
+function __wasm_bindgen_func_elem_8995(arg0, arg1, arg2) {
+    wasm$1.__wasm_bindgen_func_elem_8995(arg0, arg1, addHeapObject(arg2));
 }
 
-function __wasm_bindgen_func_elem_7507(arg0, arg1) {
-    wasm$1.__wasm_bindgen_func_elem_7507(arg0, arg1);
+function __wasm_bindgen_func_elem_7556(arg0, arg1) {
+    wasm$1.__wasm_bindgen_func_elem_7556(arg0, arg1);
 }
 
-function __wasm_bindgen_func_elem_7780(arg0, arg1, arg2, arg3) {
-    wasm$1.__wasm_bindgen_func_elem_7780(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_7829(arg0, arg1, arg2, arg3) {
+    wasm$1.__wasm_bindgen_func_elem_7829(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
 const __wbindgen_enum_RequestCredentials = ["omit", "same-origin", "include"];
@@ -8593,7 +8593,7 @@ const PlaintextFinalization = (typeof FinalizationRegistry === 'undefined')
  *
  * @example
  * // Get the bond state of an existing address.
- * const bondState = await fetch(https://api.provable.com/v2/mainnet/program/credits.aleo/mapping/bond_state/aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f);
+ * const bondState = await fetch(https://edge.provable.com/api/v2/mainnet/program/credits.aleo/mapping/bond_state/aleo12zlythl7htjdtjjjz3ahdj4vl6wk3zuzm37s80l86qpx8fyx95fqnxcn2f);
  * // Convert the bond state to a Plaintext object.
  * const bondStatePlaintext = Plaintext.fromString(bond_state);
  * // Convert the Plaintext object to a JS object.
@@ -19325,7 +19325,7 @@ function __wbg_get_imports(memory) {
         const ret = getObject(arg0).length;
         return ret;
     };
-    imports.wbg.__wbg_log_94d1dab6039baf0d = function(arg0, arg1) {
+    imports.wbg.__wbg_log_873fe7a781ebc826 = function(arg0, arg1) {
         console.log(getStringFromWasm0(arg0, arg1));
     };
     imports.wbg.__wbg_new_1acc0b6eea89d040 = function() {
@@ -19343,7 +19343,7 @@ function __wbg_get_imports(memory) {
                 const a = state0.a;
                 state0.a = 0;
                 try {
-                    return __wasm_bindgen_func_elem_7780(a, state0.b, arg0, arg1);
+                    return __wasm_bindgen_func_elem_7829(a, state0.b, arg0, arg1);
                 } finally {
                     state0.a = a;
                 }
@@ -19515,7 +19515,7 @@ function __wbg_get_imports(memory) {
         const ret = Signature.__wrap(arg0);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbg_spawnWorker_755c8ce6e1ead587 = function(arg0, arg1, arg2, arg3) {
+    imports.wbg.__wbg_spawnWorker_087de831e4bfd369 = function(arg0, arg1, arg2, arg3) {
         const ret = spawnWorker(getObject(arg0), getObject(arg1), getObject(arg2), arg3 >>> 0);
         return addHeapObject(ret);
     };
@@ -19602,11 +19602,6 @@ function __wbg_get_imports(memory) {
         const ret = getStringFromWasm0(arg0, arg1);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbindgen_cast_2adca60326a83a78 = function(arg0, arg1) {
-        // Cast intrinsic for `Closure(Closure { dtor_idx: 395, function: Function { arguments: [], shim_idx: 528, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7506, __wasm_bindgen_func_elem_7507);
-        return addHeapObject(ret);
-    };
     imports.wbg.__wbindgen_cast_2ddd8a25ff58642a = function(arg0, arg1) {
         // Cast intrinsic for `I128 -> Externref`.
         const ret = (BigInt.asUintN(64, arg0) | (arg1 << BigInt(64)));
@@ -19619,7 +19614,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_805ada4c4be963fc = function(arg0, arg1) {
         // 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`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7506, __wasm_bindgen_func_elem_8948);
+        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7555, __wasm_bindgen_func_elem_8995);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {
@@ -19629,7 +19624,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_c048d24de4cf58bb = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 395, function: Function { arguments: [Externref], shim_idx: 396, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7506, __wasm_bindgen_func_elem_8948);
+        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7555, __wasm_bindgen_func_elem_8995);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_d6cd19b81560fd6e = function(arg0) {
@@ -19642,6 +19637,11 @@ function __wbg_get_imports(memory) {
         const ret = (BigInt.asUintN(64, arg0) | (BigInt.asUintN(64, arg1) << BigInt(64)));
         return addHeapObject(ret);
     };
+    imports.wbg.__wbindgen_cast_f10277ab8e6ee562 = function(arg0, arg1) {
+        // Cast intrinsic for `Closure(Closure { dtor_idx: 395, function: Function { arguments: [], shim_idx: 533, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
+        const ret = makeMutClosure(arg0, arg1, wasm$1.__wasm_bindgen_func_elem_7555, __wasm_bindgen_func_elem_7556);
+        return addHeapObject(ret);
+    };
     imports.wbg.__wbindgen_link_b9f45ffe079ef2c1 = function(arg0) {
         const val = `onmessage = function (ev) {
             let [ia, index, value] = ev.data;