@provablehq/wasm 0.8.8 → 0.9.0

package/dist/mainnet/aleo_wasm.d.ts

@@ -1,17 +1,19 @@
 /* tslint:disable */
 /* eslint-disable */
 /**
- * Verify an execution with a single function and a single transition. Executions with multiple
- * transitions or functions will fail to verify. Also, this does not verify that the state root of
- * the execution is included in the Aleo Network ledger.
+ * 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
  */
-export function verifyFunctionExecution(execution: Execution, verifying_key: VerifyingKey, program: Program, function_id: string): boolean;
+export function verifyFunctionExecution(execution: Execution, verifying_key: VerifyingKey, program: Program, function_id: string, imports?: object | null, imported_verifying_keys?: object | null): boolean;
 export function runRayonThread(receiver: number): void;
 export function initThreadPool(url: URL, num_threads: number): Promise<void>;
 /**

package/dist/mainnet/index.js

@@ -194,22 +194,26 @@ function passArray8ToWasm0(arg, malloc) {
     return ptr;
 }
 /**
- * Verify an execution with a single function and a single transition. Executions with multiple
- * transitions or functions will fail to verify. Also, this does not verify that the state root of
- * the execution is included in the Aleo Network ledger.
+ * 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} [imports]
+ * @param {object | null} [imported_verifying_keys]
  * @returns {boolean}
  */
-function verifyFunctionExecution(execution, verifying_key, program, function_id) {
+function verifyFunctionExecution(execution, verifying_key, program, function_id, imports, imported_verifying_keys) {
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
         _assertClass(execution, Execution);
@@ -217,7 +221,7 @@ function verifyFunctionExecution(execution, verifying_key, program, function_id)
         _assertClass(program, Program);
         const ptr0 = passStringToWasm0(function_id, wasm.__wbindgen_export_3, wasm.__wbindgen_export_4);
         const len0 = WASM_VECTOR_LEN;
-        wasm.verifyFunctionExecution(retptr, execution.__wbg_ptr, verifying_key.__wbg_ptr, program.__wbg_ptr, ptr0, len0);
+        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));
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
@@ -263,7 +267,7 @@ function __wbg_adapter_40(arg0, arg1, arg2) {
     wasm.__wbindgen_export_6(arg0, arg1, addHeapObject(arg2));
 }
 
-function __wbg_adapter_524(arg0, arg1, arg2, arg3) {
+function __wbg_adapter_526(arg0, arg1, arg2, arg3) {
     wasm.__wbindgen_export_7(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
@@ -8026,6 +8030,10 @@ function __wbg_get_imports() {
         const ret = KeyPair.__wrap(arg0);
         return addHeapObject(ret);
     };
+    imports.wbg.__wbg_keys_5c77a08ddc2fb8a6 = function(arg0) {
+        const ret = Object.keys(getObject(arg0));
+        return addHeapObject(ret);
+    };
     imports.wbg.__wbg_length_a446193dc22c12f8 = function(arg0) {
         const ret = getObject(arg0).length;
         return ret;
@@ -8052,7 +8060,7 @@ function __wbg_get_imports() {
                 const a = state0.a;
                 state0.a = 0;
                 try {
-                    return __wbg_adapter_524(a, state0.b, arg0, arg1);
+                    return __wbg_adapter_526(a, state0.b, arg0, arg1);
                 } finally {
                     state0.a = a;
                 }
@@ -8351,11 +8359,11 @@ function __wbg_get_imports() {
         const ret = false;
         return ret;
     };
-    imports.wbg.__wbindgen_closure_wrapper6080 = function(arg0, arg1, arg2) {
+    imports.wbg.__wbindgen_closure_wrapper6083 = function(arg0, arg1, arg2) {
         const ret = makeMutClosure(arg0, arg1, 519, __wbg_adapter_40);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbindgen_closure_wrapper6086 = function(arg0, arg1, arg2) {
+    imports.wbg.__wbindgen_closure_wrapper6089 = function(arg0, arg1, arg2) {
         const ret = makeMutClosure(arg0, arg1, 519, __wbg_adapter_40);
         return addHeapObject(ret);
     };