@provablehq/wasm 0.11.4 → 0.11.6

package/dist/mainnet/index.js

@@ -314,54 +314,6 @@ function addBorrowedObject(obj) {
     heap[--stack_pointer] = obj;
     return stack_pointer;
 }
-/**
- * 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 {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 verifyFunctionExecution(execution, verifying_key, program, function_id, imports, imported_verifying_keys, block_height, program_imports) {
-    try {
-        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        _assertClass(execution, Execution);
-        _assertClass(verifying_key, VerifyingKey);
-        _assertClass(program, Program);
-        const ptr0 = passStringToWasm0(function_id, wasm.__wbindgen_export, wasm.__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.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);
-        if (r2) {
-            throw takeObject(r1);
-        }
-        return r0 !== 0;
-    } finally {
-        wasm.__wbindgen_add_to_stack_pointer(16);
-    }
-}
-
 /**
  * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
  *
@@ -428,22 +380,48 @@ function snarkVerify(verifying_key, inputs, proof) {
 }
 
 /**
- * @param {string} string
- * @returns {Field}
+ * 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 {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 stringToField(string) {
+function verifyFunctionExecution(execution, verifying_key, program, function_id, imports, imported_verifying_keys, block_height, program_imports) {
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        const ptr0 = passStringToWasm0(string, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        _assertClass(execution, Execution);
+        _assertClass(verifying_key, VerifyingKey);
+        _assertClass(program, Program);
+        const ptr0 = passStringToWasm0(function_id, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
-        wasm.stringToField(retptr, ptr0, len0);
+        let ptr1 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr1 = program_imports.__destroy_into_raw();
+        }
+        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);
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
         if (r2) {
             throw takeObject(r1);
         }
-        return Field.__wrap(r0);
+        return r0 !== 0;
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
     }
@@ -458,7 +436,7 @@ function stringToField(string) {
  * 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");
+ * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17");
  * @param {string | null} [heights]
  * @returns {Array<any>}
  */
@@ -469,6 +447,45 @@ function getOrInitConsensusVersionTestHeights(heights) {
     return takeObject(ret);
 }
 
+/**
+ * Returns the maximum number of imports allowed in a program by the
+ * snarkVM network implementation this SDK was built against.
+ *
+ * @returns {number} The maximum number of program imports.
+ *
+ * @example
+ * import { getMaxProgramImports } from '@provablehq/sdk';
+ *
+ * const maxImports = getMaxProgramImports();
+ * @returns {number}
+ */
+function getMaxProgramImports() {
+    const ret = wasm.getMaxProgramImports();
+    return ret >>> 0;
+}
+
+/**
+ * @param {string} string
+ * @returns {Field}
+ */
+function stringToField(string) {
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(string, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.stringToField(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
+        if (r2) {
+            throw takeObject(r1);
+        }
+        return Field.__wrap(r0);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+    }
+}
+
 function passArrayJsValueToWasm0(array, malloc) {
     const ptr = malloc(array.length * 4, 4) >>> 0;
     const mem = getDataViewMemory0();
@@ -488,16 +505,16 @@ function getArrayJsValueFromWasm0(ptr, len) {
     }
     return result;
 }
-function __wasm_bindgen_func_elem_8765(arg0, arg1, arg2) {
-    wasm.__wasm_bindgen_func_elem_8765(arg0, arg1, addHeapObject(arg2));
+function __wasm_bindgen_func_elem_8910(arg0, arg1, arg2) {
+    wasm.__wasm_bindgen_func_elem_8910(arg0, arg1, addHeapObject(arg2));
 }
 
-function __wasm_bindgen_func_elem_7397(arg0, arg1) {
-    wasm.__wasm_bindgen_func_elem_7397(arg0, arg1);
+function __wasm_bindgen_func_elem_7471(arg0, arg1) {
+    wasm.__wasm_bindgen_func_elem_7471(arg0, arg1);
 }
 
-function __wasm_bindgen_func_elem_7669(arg0, arg1, arg2, arg3) {
-    wasm.__wasm_bindgen_func_elem_7669(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_7743(arg0, arg1, arg2, arg3) {
+    wasm.__wasm_bindgen_func_elem_7743(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
 const __wbindgen_enum_RequestCredentials = ["omit", "same-origin", "include"];
@@ -19302,7 +19319,7 @@ function __wbg_get_imports(memory) {
         const ret = getObject(arg0).length;
         return ret;
     };
-    imports.wbg.__wbg_log_4507b73801c06872 = function(arg0, arg1) {
+    imports.wbg.__wbg_log_27d73c032446232d = function(arg0, arg1) {
         console.log(getStringFromWasm0(arg0, arg1));
     };
     imports.wbg.__wbg_new_1acc0b6eea89d040 = function() {
@@ -19320,7 +19337,7 @@ function __wbg_get_imports(memory) {
                 const a = state0.a;
                 state0.a = 0;
                 try {
-                    return __wasm_bindgen_func_elem_7669(a, state0.b, arg0, arg1);
+                    return __wasm_bindgen_func_elem_7743(a, state0.b, arg0, arg1);
                 } finally {
                     state0.a = a;
                 }
@@ -19492,7 +19509,7 @@ function __wbg_get_imports(memory) {
         const ret = Signature.__wrap(arg0);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbg_spawnWorker_6197e35077a8baba = function(arg0, arg1, arg2, arg3) {
+    imports.wbg.__wbg_spawnWorker_e00cacfddf7ee0c0 = function(arg0, arg1, arg2, arg3) {
         const ret = spawnWorker(getObject(arg0), getObject(arg1), getObject(arg2), arg3 >>> 0);
         return addHeapObject(ret);
     };
@@ -19574,6 +19591,16 @@ function __wbg_get_imports(memory) {
         const ret = Atomics.waitAsync(getObject(arg0), arg1 >>> 0, arg2);
         return addHeapObject(ret);
     };
+    imports.wbg.__wbindgen_cast_01d4af51d575cfe0 = function(arg0, arg1) {
+        // Cast intrinsic for `Closure(Closure { dtor_idx: 388, function: Function { arguments: [], shim_idx: 495, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
+        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7470, __wasm_bindgen_func_elem_7471);
+        return addHeapObject(ret);
+    };
+    imports.wbg.__wbindgen_cast_13f76f7c228ed64d = function(arg0, arg1) {
+        // Cast intrinsic for `Closure(Closure { dtor_idx: 388, function: Function { arguments: [NamedExternref("MessageEvent")], shim_idx: 389, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
+        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7470, __wasm_bindgen_func_elem_8910);
+        return addHeapObject(ret);
+    };
     imports.wbg.__wbindgen_cast_2241b6af4c4b2941 = function(arg0, arg1) {
         // Cast intrinsic for `Ref(String) -> Externref`.
         const ret = getStringFromWasm0(arg0, arg1);
@@ -19584,31 +19611,21 @@ function __wbg_get_imports(memory) {
         const ret = (BigInt.asUintN(64, arg0) | (arg1 << BigInt(64)));
         return addHeapObject(ret);
     };
+    imports.wbg.__wbindgen_cast_42ef79217ed4073d = function(arg0, arg1) {
+        // Cast intrinsic for `Closure(Closure { dtor_idx: 388, function: Function { arguments: [Externref], shim_idx: 389, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
+        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7470, __wasm_bindgen_func_elem_8910);
+        return addHeapObject(ret);
+    };
     imports.wbg.__wbindgen_cast_4625c577ab2ec9ee = function(arg0) {
         // Cast intrinsic for `U64 -> Externref`.
         const ret = BigInt.asUintN(64, arg0);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbindgen_cast_4a64cbb5b17898c9 = function(arg0, arg1) {
-        // Cast intrinsic for `Closure(Closure { dtor_idx: 358, function: Function { arguments: [Externref], shim_idx: 359, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7396, __wasm_bindgen_func_elem_8765);
-        return addHeapObject(ret);
-    };
-    imports.wbg.__wbindgen_cast_65bbaf572cb463ed = function(arg0, arg1) {
-        // Cast intrinsic for `Closure(Closure { dtor_idx: 358, function: Function { arguments: [NamedExternref("MessageEvent")], shim_idx: 359, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7396, __wasm_bindgen_func_elem_8765);
-        return addHeapObject(ret);
-    };
     imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {
         // Cast intrinsic for `I64 -> Externref`.
         const ret = arg0;
         return addHeapObject(ret);
     };
-    imports.wbg.__wbindgen_cast_aca65e91b5ef2a91 = function(arg0, arg1) {
-        // Cast intrinsic for `Closure(Closure { dtor_idx: 358, function: Function { arguments: [], shim_idx: 467, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7396, __wasm_bindgen_func_elem_7397);
-        return addHeapObject(ret);
-    };
     imports.wbg.__wbindgen_cast_d6cd19b81560fd6e = function(arg0) {
         // Cast intrinsic for `F64 -> Externref`.
         const ret = arg0;
@@ -19717,5 +19734,5 @@ async function initThreadPool(threads) {
     await initThreadPool$1(new URL("worker.js", import.meta.url), threads);
 }
 
-export { Address, Authorization, BHP1024, BHP256, BHP512, BHP768, Boolean, CallbackQuery, Ciphertext, ComputeKey, DynamicRecord, EncryptionToolkit, Execution, ExecutionRequest, ExecutionResponse, Field, GraphKey, Group, I128, I16, I32, I64, I8, KeyPair, Metadata, OfflineQuery, Pedersen128, Pedersen64, Plaintext, Poseidon2, Poseidon4, Poseidon8, PrivateKey, PrivateKeyCiphertext, Program, ProgramImports, ProgramManager, Proof, ProvingKey, ProvingRequest, QueryOption, RecordCiphertext, RecordPlaintext, Scalar, Signature, Transaction, Transition, U128, U16, U32, U64, U8, Value, VerifyingKey, ViewKey, getOrInitConsensusVersionTestHeights, initSync, initThreadPool, runRayonThread, setWasmLogLevel, snarkVerify, snarkVerifyBatch, stringToField, verifyFunctionExecution };
+export { Address, Authorization, BHP1024, BHP256, BHP512, BHP768, Boolean, CallbackQuery, Ciphertext, ComputeKey, DynamicRecord, EncryptionToolkit, Execution, ExecutionRequest, ExecutionResponse, Field, GraphKey, Group, I128, I16, I32, I64, I8, KeyPair, Metadata, OfflineQuery, Pedersen128, Pedersen64, Plaintext, Poseidon2, Poseidon4, Poseidon8, PrivateKey, PrivateKeyCiphertext, Program, ProgramImports, ProgramManager, Proof, ProvingKey, ProvingRequest, QueryOption, RecordCiphertext, RecordPlaintext, Scalar, Signature, Transaction, Transition, U128, U16, U32, U64, U8, Value, VerifyingKey, ViewKey, getMaxProgramImports, getOrInitConsensusVersionTestHeights, initSync, initThreadPool, runRayonThread, setWasmLogLevel, snarkVerify, snarkVerifyBatch, stringToField, verifyFunctionExecution };
 //# sourceMappingURL=index.js.map