@provablehq/wasm 0.10.5 → 0.10.6-rc.1

package/dist/testnet/index.js

@@ -304,35 +304,25 @@ function addBorrowedObject(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.
+ * 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
+ * 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) {
+function snarkVerifyBatch(verifying_keys, inputs, proof) {
     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;
-        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);
+        _assertClass(proof, Proof);
+        wasm.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);
@@ -379,25 +369,41 @@ function snarkVerify(verifying_key, inputs, proof) {
 }
 
 /**
- * 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.__wbindgen_add_to_stack_pointer(-16);
-        _assertClass(proof, Proof);
-        wasm.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.__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);
@@ -471,16 +477,16 @@ function getArrayJsValueFromWasm0(ptr, len) {
     }
     return result;
 }
-function __wasm_bindgen_func_elem_7201(arg0, arg1) {
-    wasm.__wasm_bindgen_func_elem_7201(arg0, arg1);
+function __wasm_bindgen_func_elem_8618(arg0, arg1, arg2) {
+    wasm.__wasm_bindgen_func_elem_8618(arg0, arg1, addHeapObject(arg2));
 }
 
-function __wasm_bindgen_func_elem_8569(arg0, arg1, arg2) {
-    wasm.__wasm_bindgen_func_elem_8569(arg0, arg1, addHeapObject(arg2));
+function __wasm_bindgen_func_elem_7257(arg0, arg1) {
+    wasm.__wasm_bindgen_func_elem_7257(arg0, arg1);
 }
 
-function __wasm_bindgen_func_elem_7473(arg0, arg1, arg2, arg3) {
-    wasm.__wasm_bindgen_func_elem_7473(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_7529(arg0, arg1, arg2, arg3) {
+    wasm.__wasm_bindgen_func_elem_7529(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
 const __wbindgen_enum_RequestCredentials = ["omit", "same-origin", "include"];
@@ -9997,6 +10003,36 @@ class Program {
         const ret = wasm.program_getFunctions(this.__wbg_ptr);
         return takeObject(ret);
     }
+    /**
+     * Get the external call graph reachable from a specific entry function.
+     *
+     * Starting from `entry_function`, traces all reachable functions and closures
+     * within this program (via local calls) and collects external calls
+     * (`call program.aleo/function`). Returns a JS object mapping program names
+     * to arrays of called function names.
+     *
+     * @param {string} entry_function The name of the entry function to trace from
+     * @returns {object} An object like `{ "program.aleo": ["fn1", "fn2"] }`
+     * @param {string} entry_function
+     * @returns {any}
+     */
+    getCallGraph(entry_function) {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            const ptr0 = passStringToWasm0(entry_function, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len0 = WASM_VECTOR_LEN;
+            wasm.program_getCallGraph(retptr, this.__wbg_ptr, 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 takeObject(r0);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
     /**
      * Get a javascript object representation of a program record and its types
      *
@@ -10260,6 +10296,436 @@ class Program {
 }
 if (Symbol.dispose) Program.prototype[Symbol.dispose] = Program.prototype.free;
 
+const ProgramImportsFinalization = (typeof FinalizationRegistry === 'undefined')
+    ? { register: () => {}, unregister: () => {} }
+    : new FinalizationRegistry(ptr => wasm.__wbg_programimports_free(ptr >>> 0, 1));
+/**
+ * Backed by `Rc<RefCell<>>` for interior mutability — cloning produces a cheap
+ * reference-counted copy that shares the same underlying data. This allows
+ * execution functions to clone the builder internally while the caller's
+ * original reference automatically sees any mutations (e.g. synthesized keys).
+ */
+class ProgramImports {
+
+    static __wrap(ptr) {
+        ptr = ptr >>> 0;
+        const obj = Object.create(ProgramImports.prototype);
+        obj.__wbg_ptr = ptr;
+        ProgramImportsFinalization.register(obj, obj.__wbg_ptr, obj);
+        return obj;
+    }
+
+    __destroy_into_raw() {
+        const ptr = this.__wbg_ptr;
+        this.__wbg_ptr = 0;
+        ProgramImportsFinalization.unregister(this);
+        return ptr;
+    }
+
+    free() {
+        const ptr = this.__destroy_into_raw();
+        wasm.__wbg_programimports_free(ptr, 0);
+    }
+    /**
+     * Add a program's source code to the imports.
+     *
+     * The source is parsed, validated, and added to the internal Process.
+     * Static imports of the program are resolved depth-first from programs
+     * already present in this builder.
+     *
+     * @param {string} name The program name (e.g., "my_program.aleo").
+     * @param {string} source The program source code.
+     * @param {number | undefined} edition The program edition (defaults to 1).
+     * @param {string} name
+     * @param {string} source
+     * @param {number | null} [edition]
+     */
+    addProgram(name, source, edition) {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            const ptr0 = passStringToWasm0(name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len0 = WASM_VECTOR_LEN;
+            const ptr1 = passStringToWasm0(source, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len1 = WASM_VECTOR_LEN;
+            wasm.programimports_addProgram(retptr, this.__wbg_ptr, ptr0, len0, ptr1, len1, isLikeNone(edition) ? 0xFFFFFF : edition);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            if (r1) {
+                throw takeObject(r0);
+            }
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
+    /**
+     * Create a ProgramImports from a plain JavaScript object.
+     *
+     * Accepts three formats:
+     * ```js
+     * // 1. Plain string — source code only.
+     * { "my_program.aleo": "program source..." }
+     *
+     * // 2. Structured — program source with optional edition.
+     * { "my_program.aleo": { program: "program source..." } }
+     *
+     * // 3. Structured with keys — program source plus proving/verifying keys per function.
+     * {
+     *   "my_program.aleo": {
+     *     program: "program source...",
+     *     keys: {
+     *       "my_function": {
+     *         provingKey: Uint8Array,
+     *         verifyingKey: Uint8Array
+     *       }
+     *     }
+     *   }
+     * }
+     * ```
+     *
+     * Programs created via this method default to edition 1.
+     *
+     * @param {Object} object A plain JavaScript object mapping program names to source code
+     *   and optional keys.
+     * @returns {ProgramImports}
+     * @param {object} object
+     * @returns {ProgramImports}
+     */
+    static fromObject(object) {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.programimports_fromObject(retptr, addHeapObject(object));
+            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 ProgramImports.__wrap(r0);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
+    /**
+     * Return the source code of a program by name, without serializing keys.
+     *
+     * @param {string} name The program name (e.g., "my_program.aleo").
+     * @returns {string | undefined}
+     * @param {string} name
+     * @returns {string | undefined}
+     */
+    getProgram(name) {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            const ptr0 = passStringToWasm0(name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len0 = WASM_VECTOR_LEN;
+            wasm.programimports_getProgram(retptr, this.__wbg_ptr, ptr0, len0);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            let v2;
+            if (r0 !== 0) {
+                v2 = getStringFromWasm0(r0, r1).slice();
+                wasm.__wbindgen_export4(r0, r1 * 1, 1);
+            }
+            return v2;
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
+    /**
+     * Return the names of all programs in this builder as a JS `Array<string>`.
+     *
+     * This is a lightweight alternative to `toObject()` when you only need to
+     * enumerate program names without serializing keys.
+     *
+     * @returns {Array<string>}
+     * @returns {Array<any>}
+     */
+    programNames() {
+        const ret = wasm.programimports_programNames(this.__wbg_ptr);
+        return takeObject(ret);
+    }
+    /**
+     * Add a proving key for a function or record within an imported program.
+     *
+     * The key is transferred directly from the WASM `ProvingKey` type with no
+     * serialization overhead.
+     *
+     * @param {string} program_name The program name (e.g., "my_program.aleo").
+     * @param {string} identifier The function name or record name the key belongs to.
+     * @param {ProvingKey} key The proving key.
+     * @param {string} program_name
+     * @param {string} identifier
+     * @param {ProvingKey} key
+     */
+    addProvingKey(program_name, identifier, key) {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            const ptr0 = passStringToWasm0(program_name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len0 = WASM_VECTOR_LEN;
+            const ptr1 = passStringToWasm0(identifier, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len1 = WASM_VECTOR_LEN;
+            _assertClass(key, ProvingKey);
+            var ptr2 = key.__destroy_into_raw();
+            wasm.programimports_addProvingKey(retptr, this.__wbg_ptr, ptr0, len0, ptr1, len1, ptr2);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            if (r1) {
+                throw takeObject(r0);
+            }
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
+    /**
+     * Get a proving key for a specific program and identifier (function or record name).
+     * Returns a clone of the key from the internal Process. Non-destructive — the key
+     * remains available for future calls.
+     *
+     * @param {string} program_name The program name (e.g., "my_program.aleo").
+     * @param {string} identifier The function or record name.
+     * @returns {ProvingKey | undefined}
+     * @param {string} program_name
+     * @param {string} identifier
+     * @returns {ProvingKey | undefined}
+     */
+    getProvingKey(program_name, identifier) {
+        const ptr0 = passStringToWasm0(program_name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(identifier, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.programimports_getProvingKey(this.__wbg_ptr, ptr0, len0, ptr1, len1);
+        return ret === 0 ? undefined : ProvingKey.__wrap(ret);
+    }
+    /**
+     * Add a verifying key for a function or record within an imported program.
+     *
+     * The key is transferred directly from the WASM `VerifyingKey` type with no
+     * serialization overhead.
+     *
+     * @param {string} program_name The program name (e.g., "my_program.aleo").
+     * @param {string} identifier The function name or record name the key belongs to.
+     * @param {VerifyingKey} key The verifying key.
+     * @param {string} program_name
+     * @param {string} identifier
+     * @param {VerifyingKey} key
+     */
+    addVerifyingKey(program_name, identifier, key) {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            const ptr0 = passStringToWasm0(program_name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len0 = WASM_VECTOR_LEN;
+            const ptr1 = passStringToWasm0(identifier, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len1 = WASM_VECTOR_LEN;
+            _assertClass(key, VerifyingKey);
+            var ptr2 = key.__destroy_into_raw();
+            wasm.programimports_addVerifyingKey(retptr, this.__wbg_ptr, ptr0, len0, ptr1, len1, ptr2);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            if (r1) {
+                throw takeObject(r0);
+            }
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
+    /**
+     * Get a verifying key for a specific program and identifier (function or record name).
+     * Returns a clone of the key from the internal Process. Non-destructive — the key
+     * remains available for future calls.
+     *
+     * @param {string} program_name The program name (e.g., "my_program.aleo").
+     * @param {string} identifier The function or record name.
+     * @returns {VerifyingKey | undefined}
+     * @param {string} program_name
+     * @param {string} identifier
+     * @returns {VerifyingKey | undefined}
+     */
+    getVerifyingKey(program_name, identifier) {
+        const ptr0 = passStringToWasm0(program_name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(identifier, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.programimports_getVerifyingKey(this.__wbg_ptr, ptr0, len0, ptr1, len1);
+        return ret === 0 ? undefined : VerifyingKey.__wrap(ret);
+    }
+    /**
+     * Add a proving key from its byte representation.
+     *
+     * Deserializes the bytes into a native proving key and stores it. The program
+     * must already have been added via `addProgram`.
+     *
+     * @param {string} program_name The program name (e.g., "my_program.aleo").
+     * @param {string} identifier The function name or record name the key belongs to.
+     * @param {Uint8Array} bytes The proving key bytes.
+     * @param {string} program_name
+     * @param {string} identifier
+     * @param {Uint8Array} bytes
+     */
+    addProvingKeyBytes(program_name, identifier, bytes) {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            const ptr0 = passStringToWasm0(program_name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len0 = WASM_VECTOR_LEN;
+            const ptr1 = passStringToWasm0(identifier, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len1 = WASM_VECTOR_LEN;
+            const ptr2 = passArray8ToWasm0(bytes, wasm.__wbindgen_export);
+            const len2 = WASM_VECTOR_LEN;
+            wasm.programimports_addProvingKeyBytes(retptr, this.__wbg_ptr, ptr0, len0, ptr1, len1, ptr2, len2);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            if (r1) {
+                throw takeObject(r0);
+            }
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
+    /**
+     * Add a verifying key from its byte representation.
+     *
+     * Deserializes the bytes into a native verifying key and stores it. The program
+     * must already have been added via `addProgram`.
+     *
+     * @param {string} program_name The program name (e.g., "my_program.aleo").
+     * @param {string} identifier The function name or record name the key belongs to.
+     * @param {Uint8Array} bytes The verifying key bytes.
+     * @param {string} program_name
+     * @param {string} identifier
+     * @param {Uint8Array} bytes
+     */
+    addVerifyingKeyBytes(program_name, identifier, bytes) {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            const ptr0 = passStringToWasm0(program_name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len0 = WASM_VECTOR_LEN;
+            const ptr1 = passStringToWasm0(identifier, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len1 = WASM_VECTOR_LEN;
+            const ptr2 = passArray8ToWasm0(bytes, wasm.__wbindgen_export);
+            const len2 = WASM_VECTOR_LEN;
+            wasm.programimports_addVerifyingKeyBytes(retptr, this.__wbg_ptr, ptr0, len0, ptr1, len1, ptr2, len2);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            if (r1) {
+                throw takeObject(r0);
+            }
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
+    /**
+     * Return the names of functions that have both a proving key and a verifying key
+     * stored for the given program.
+     *
+     * @param {string} program_name The program name (e.g., "my_program.aleo").
+     * @returns {Array<string>}
+     * @param {string} program_name
+     * @returns {Array<any>}
+     */
+    functionKeysAvailable(program_name) {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            const ptr0 = passStringToWasm0(program_name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len0 = WASM_VECTOR_LEN;
+            wasm.programimports_functionKeysAvailable(retptr, this.__wbg_ptr, 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 takeObject(r0);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
+    /**
+     * Create a new empty ProgramImports builder.
+     *
+     * Initializes an internal snarkVM Process. This is the same cost as a
+     * single execution call, but is paid once and reused across all operations.
+     */
+    constructor() {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.programimports_new(retptr);
+            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);
+            }
+            this.__wbg_ptr = r0 >>> 0;
+            ProgramImportsFinalization.register(this, this.__wbg_ptr, this);
+            return this;
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
+    /**
+     * Create a cheap clone that shares the same underlying data.
+     *
+     * Useful for passing to WASM execution functions which consume ownership:
+     * the caller keeps the original, and both copies see any mutations
+     * (e.g. synthesized keys) through the shared interior state.
+     * @returns {ProgramImports}
+     */
+    clone() {
+        const ret = wasm.programimports_clone(this.__wbg_ptr);
+        return ProgramImports.__wrap(ret);
+    }
+    /**
+     * Check whether a specific program has been added.
+     *
+     * @param {string} name The program name.
+     * @returns {boolean}
+     * @param {string} name
+     * @returns {boolean}
+     */
+    contains(name) {
+        const ptr0 = passStringToWasm0(name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        const ret = wasm.programimports_contains(this.__wbg_ptr, ptr0, len0);
+        return ret !== 0;
+    }
+    /**
+     * Check whether any programs have been added to this builder.
+     *
+     * @returns {boolean}
+     * @returns {boolean}
+     */
+    isEmpty() {
+        const ret = wasm.programimports_isEmpty(this.__wbg_ptr);
+        return ret !== 0;
+    }
+    /**
+     * Convert this ProgramImports to a plain JavaScript object.
+     *
+     * Entries without keys use the simple `{ "name.aleo": "source" }` format.
+     * Entries with keys use the structured format:
+     * ```js
+     * {
+     *   "name.aleo": {
+     *     program: "program source...",
+     *     keys: {
+     *       "function_name": {
+     *         provingKey: Uint8Array,
+     *         verifyingKey: Uint8Array
+     *       }
+     *     }
+     *   }
+     * }
+     * ```
+     *
+     * @returns {Object}
+     * @returns {object}
+     */
+    toObject() {
+        const ret = wasm.programimports_toObject(this.__wbg_ptr);
+        return takeObject(ret);
+    }
+}
+if (Symbol.dispose) ProgramImports.prototype[Symbol.dispose] = ProgramImports.prototype.free;
+
 const ProgramManagerFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
     : new FinalizationRegistry(ptr => wasm.__wbg_programmanager_free(ptr >>> 0, 1));
@@ -10290,15 +10756,21 @@ class ProgramManager {
      * @param {Array<any>} inputs
      * @param {object | null} [imports]
      * @param {number | null} [edition]
+     * @param {ProgramImports | null} [program_imports]
      * @returns {Promise<KeyPair>}
      */
-    static synthesizeKeyPair(private_key, program, function_id, inputs, imports, edition) {
+    static synthesizeKeyPair(private_key, program, function_id, inputs, imports, edition, program_imports) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
         const ptr1 = passStringToWasm0(function_id, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len1 = WASM_VECTOR_LEN;
-        const ret = wasm.programmanager_synthesizeKeyPair(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(edition) ? 0xFFFFFF : edition);
+        let ptr2 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr2 = program_imports.__destroy_into_raw();
+        }
+        const ret = wasm.programmanager_synthesizeKeyPair(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(edition) ? 0xFFFFFF : edition, ptr2);
         return takeObject(ret);
     }
     /**
@@ -10337,9 +10809,10 @@ class ProgramManager {
      * @param {boolean} unchecked
      * @param {number | null | undefined} edition
      * @param {boolean} use_fee_master
+     * @param {ProgramImports | null} [program_imports]
      * @returns {Promise<ProvingRequest>}
      */
-    static buildProvingRequest(private_key, program, function_name, inputs, base_fee_credits, priority_fee_credits, fee_record, imports, broadcast, unchecked, edition, use_fee_master) {
+    static buildProvingRequest(private_key, program, function_name, inputs, base_fee_credits, priority_fee_credits, fee_record, imports, broadcast, unchecked, edition, use_fee_master, program_imports) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
@@ -10350,7 +10823,12 @@ class ProgramManager {
             _assertClass(fee_record, RecordPlaintext);
             ptr2 = fee_record.__destroy_into_raw();
         }
-        const ret = wasm.programmanager_buildProvingRequest(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), base_fee_credits, priority_fee_credits, ptr2, isLikeNone(imports) ? 0 : addHeapObject(imports), broadcast, unchecked, isLikeNone(edition) ? 0xFFFFFF : edition, use_fee_master);
+        let ptr3 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr3 = program_imports.__destroy_into_raw();
+        }
+        const ret = wasm.programmanager_buildProvingRequest(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), base_fee_credits, priority_fee_credits, ptr2, isLikeNone(imports) ? 0 : addHeapObject(imports), broadcast, unchecked, isLikeNone(edition) ? 0xFFFFFF : edition, use_fee_master, ptr3);
         return takeObject(ret);
     }
     /**
@@ -10370,9 +10848,10 @@ class ProgramManager {
      * @param {number | null} [edition]
      * @param {object | null} [imports]
      * @param {PrivateKey | null} [private_key]
+     * @param {ProgramImports | null} [program_imports]
      * @returns {Promise<ProvingRequest>}
      */
-    static buildProvingRequestFromExecutionRequest(request, program, unchecked, broadcast, edition, imports, private_key) {
+    static buildProvingRequestFromExecutionRequest(request, program, unchecked, broadcast, edition, imports, private_key, program_imports) {
         _assertClass(request, ExecutionRequest);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
@@ -10381,7 +10860,12 @@ class ProgramManager {
             _assertClass(private_key, PrivateKey);
             ptr1 = private_key.__destroy_into_raw();
         }
-        const ret = wasm.programmanager_buildProvingRequestFromExecutionRequest(request.__wbg_ptr, ptr0, len0, unchecked, broadcast, isLikeNone(edition) ? 0xFFFFFF : edition, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr1);
+        let ptr2 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr2 = program_imports.__destroy_into_raw();
+        }
+        const ret = wasm.programmanager_buildProvingRequestFromExecutionRequest(request.__wbg_ptr, ptr0, len0, unchecked, broadcast, isLikeNone(edition) ? 0xFFFFFF : edition, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr1, ptr2);
         return takeObject(ret);
     }
     /**
@@ -10522,9 +11006,10 @@ class ProgramManager {
      * @param {RecordPlaintext | null} [fee_record]
      * @param {string | null} [url]
      * @param {object | null} [imports]
+     * @param {ProgramImports | null} [program_imports]
      * @returns {Promise<Transaction>}
      */
-    static buildDevnodeDeploymentTransaction(private_key, program, priority_fee_credits, fee_record, url, imports) {
+    static buildDevnodeDeploymentTransaction(private_key, program, priority_fee_credits, fee_record, url, imports, program_imports) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
@@ -10535,7 +11020,12 @@ class ProgramManager {
         }
         var ptr2 = isLikeNone(url) ? 0 : passStringToWasm0(url, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         var len2 = WASM_VECTOR_LEN;
-        const ret = wasm.programmanager_buildDevnodeDeploymentTransaction(private_key.__wbg_ptr, ptr0, len0, priority_fee_credits, ptr1, ptr2, len2, isLikeNone(imports) ? 0 : addHeapObject(imports));
+        let ptr3 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr3 = program_imports.__destroy_into_raw();
+        }
+        const ret = wasm.programmanager_buildDevnodeDeploymentTransaction(private_key.__wbg_ptr, ptr0, len0, priority_fee_credits, ptr1, ptr2, len2, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr3);
         return takeObject(ret);
     }
     /**
@@ -10563,9 +11053,10 @@ class ProgramManager {
      * @param {RecordPlaintext | null} [fee_record]
      * @param {string | null} [url]
      * @param {object | null} [imports]
+     * @param {ProgramImports | null} [program_imports]
      * @returns {Promise<Transaction>}
      */
-    static buildDevnodeUpgradeTransaction(private_key, program, priority_fee_credits, fee_record, url, imports) {
+    static buildDevnodeUpgradeTransaction(private_key, program, priority_fee_credits, fee_record, url, imports, program_imports) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
@@ -10576,7 +11067,12 @@ class ProgramManager {
         }
         var ptr2 = isLikeNone(url) ? 0 : passStringToWasm0(url, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         var len2 = WASM_VECTOR_LEN;
-        const ret = wasm.programmanager_buildDevnodeUpgradeTransaction(private_key.__wbg_ptr, ptr0, len0, priority_fee_credits, ptr1, ptr2, len2, isLikeNone(imports) ? 0 : addHeapObject(imports));
+        let ptr3 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr3 = program_imports.__destroy_into_raw();
+        }
+        const ret = wasm.programmanager_buildDevnodeUpgradeTransaction(private_key.__wbg_ptr, ptr0, len0, priority_fee_credits, ptr1, ptr2, len2, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr3);
         return takeObject(ret);
     }
     /**
@@ -10620,12 +11116,18 @@ class ProgramManager {
      * @returns {u64}
      * @param {string} program
      * @param {object | null} [imports]
+     * @param {ProgramImports | null} [program_imports]
      * @returns {Promise<bigint>}
      */
-    static estimateDeploymentFee(program, imports) {
+    static estimateDeploymentFee(program, imports, program_imports) {
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
-        const ret = wasm.programmanager_estimateDeploymentFee(ptr0, len0, isLikeNone(imports) ? 0 : addHeapObject(imports));
+        let ptr1 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr1 = program_imports.__destroy_into_raw();
+        }
+        const ret = wasm.programmanager_estimateDeploymentFee(ptr0, len0, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr1);
         return takeObject(ret);
     }
     /**
@@ -10655,9 +11157,10 @@ class ProgramManager {
      * @param {ProvingKey | null} [fee_proving_key]
      * @param {VerifyingKey | null} [fee_verifying_key]
      * @param {OfflineQuery | null} [offline_query]
+     * @param {ProgramImports | null} [program_imports]
      * @returns {Promise<Transaction>}
      */
-    static buildDeploymentTransaction(private_key, program, priority_fee_credits, fee_record, url, imports, fee_proving_key, fee_verifying_key, offline_query) {
+    static buildDeploymentTransaction(private_key, program, priority_fee_credits, fee_record, url, imports, fee_proving_key, fee_verifying_key, offline_query, program_imports) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
@@ -10683,7 +11186,12 @@ class ProgramManager {
             _assertClass(offline_query, OfflineQuery);
             ptr5 = offline_query.__destroy_into_raw();
         }
-        const ret = wasm.programmanager_buildDeploymentTransaction(private_key.__wbg_ptr, ptr0, len0, priority_fee_credits, ptr1, ptr2, len2, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr3, ptr4, ptr5);
+        let ptr6 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr6 = program_imports.__destroy_into_raw();
+        }
+        const ret = wasm.programmanager_buildDeploymentTransaction(private_key.__wbg_ptr, ptr0, len0, priority_fee_credits, ptr1, ptr2, len2, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr3, ptr4, ptr5, ptr6);
         return takeObject(ret);
     }
     /**
@@ -10711,9 +11219,10 @@ class ProgramManager {
      * @param {ProvingKey | null} [fee_proving_key]
      * @param {VerifyingKey | null} [fee_verifying_key]
      * @param {OfflineQuery | null} [offline_query]
+     * @param {ProgramImports | null} [program_imports]
      * @returns {Promise<Transaction>}
      */
-    static buildUpgradeTransaction(private_key, program, priority_fee_credits, fee_record, url, imports, fee_proving_key, fee_verifying_key, offline_query) {
+    static buildUpgradeTransaction(private_key, program, priority_fee_credits, fee_record, url, imports, fee_proving_key, fee_verifying_key, offline_query, program_imports) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
@@ -10739,7 +11248,12 @@ class ProgramManager {
             _assertClass(offline_query, OfflineQuery);
             ptr5 = offline_query.__destroy_into_raw();
         }
-        const ret = wasm.programmanager_buildUpgradeTransaction(private_key.__wbg_ptr, ptr0, len0, priority_fee_credits, ptr1, ptr2, len2, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr3, ptr4, ptr5);
+        let ptr6 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr6 = program_imports.__destroy_into_raw();
+        }
+        const ret = wasm.programmanager_buildUpgradeTransaction(private_key.__wbg_ptr, ptr0, len0, priority_fee_credits, ptr1, ptr2, len2, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr3, ptr4, ptr5, ptr6);
         return takeObject(ret);
     }
     /**
@@ -10753,19 +11267,10 @@ class ProgramManager {
      * @param priority_fee_credits The optional priority fee to be paid for the transaction
      * @param fee_record The record to spend the fee from
      * @param url The url of the Aleo network node to send the transaction to
-     * If this is set to 'true' the keys synthesized (or passed in as optional parameters via the
-     * `proving_key` and `verifying_key` arguments) will be stored in the ProgramManager's memory
-     * and used for subsequent transactions. If this is set to 'false' the proving and verifying
-     * keys will be deallocated from memory after the transaction is executed.
      * @param imports (optional) Provide a list of imports to use for the function execution in the
      * form of a javascript object where the keys are a string of the program name and the values
      * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
-     * @param proving_key (optional) Provide a verifying key to use for the function execution
-     * @param verifying_key (optional) Provide a verifying key to use for the function execution
-     * @param fee_proving_key (optional) Provide a proving key to use for the fee execution
-     * @param fee_verifying_key (optional) Provide a verifying key to use for the fee execution
-     * @param offline_query An offline query object to use if building a transaction without an internet connection.
-     * @param edition The edition of the program to execute. Defaults to the latest found on the network, or 1 if the program does not exist on the network.
+     * @param edition The edition of the program to execute. Defaults to 1.
      * @returns {Transaction}
      * @param {PrivateKey} private_key
      * @param {string} program
@@ -10776,9 +11281,10 @@ class ProgramManager {
      * @param {string | null} [url]
      * @param {object | null} [imports]
      * @param {number | null} [edition]
+     * @param {ProgramImports | null} [program_imports]
      * @returns {Promise<Transaction>}
      */
-    static buildDevnodeExecutionTransaction(private_key, program, _function, inputs, priority_fee_credits, fee_record, url, imports, edition) {
+    static buildDevnodeExecutionTransaction(private_key, program, _function, inputs, priority_fee_credits, fee_record, url, imports, edition, program_imports) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
@@ -10791,7 +11297,12 @@ class ProgramManager {
         }
         var ptr3 = isLikeNone(url) ? 0 : passStringToWasm0(url, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         var len3 = WASM_VECTOR_LEN;
-        const ret = wasm.programmanager_buildDevnodeExecutionTransaction(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), priority_fee_credits, ptr2, ptr3, len3, isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(edition) ? 0xFFFFFF : edition);
+        let ptr4 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr4 = program_imports.__destroy_into_raw();
+        }
+        const ret = wasm.programmanager_buildDevnodeExecutionTransaction(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), priority_fee_credits, ptr2, ptr3, len3, isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(edition) ? 0xFFFFFF : edition, ptr4);
         return takeObject(ret);
     }
     /**
@@ -10836,6 +11347,7 @@ class ProgramManager {
      * @param imports The imports of the program being executed.
      * @param url The url to get the inclusion proving information from.
      * @param offline_query Optional offline query object if building a Transaction offline.
+     * @param edition The program edition (defaults to 1).
      * @param {Authorization} authorization
      * @param {Authorization | null | undefined} fee_authorization
      * @param {string} program
@@ -10846,9 +11358,11 @@ class ProgramManager {
      * @param {object | null} [imports]
      * @param {string | null} [url]
      * @param {QueryOption | null} [query]
+     * @param {ProgramImports | null} [program_imports]
+     * @param {number | null} [edition]
      * @returns {Promise<Transaction>}
      */
-    static executeAuthorization(authorization, fee_authorization, program, proving_key, verifying_key, fee_proving_key, fee_verifying_key, imports, url, query) {
+    static executeAuthorization(authorization, fee_authorization, program, proving_key, verifying_key, fee_proving_key, fee_verifying_key, imports, url, query, program_imports, edition) {
         _assertClass(authorization, Authorization);
         var ptr0 = authorization.__destroy_into_raw();
         let ptr1 = 0;
@@ -10885,35 +11399,44 @@ class ProgramManager {
             _assertClass(query, QueryOption);
             ptr8 = query.__destroy_into_raw();
         }
-        const ret = wasm.programmanager_executeAuthorization(ptr0, ptr1, ptr2, len2, ptr3, ptr4, ptr5, ptr6, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr7, len7, ptr8);
+        let ptr9 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr9 = program_imports.__destroy_into_raw();
+        }
+        const ret = wasm.programmanager_executeAuthorization(ptr0, ptr1, ptr2, len2, ptr3, ptr4, ptr5, ptr6, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr7, len7, ptr8, ptr9, isLikeNone(edition) ? 0xFFFFFF : edition);
         return takeObject(ret);
     }
     /**
-     * Estimate Fee for Aleo function execution. Note if "cache" is set to true, the proving and
-     * verifying keys will be stored in the ProgramManager's memory and used for subsequent
-     * program executions.
+     * Estimate Fee for Aleo function execution.
      *
      * @param program The source code of the program to estimate the execution fee for.
      * @param function The name of the function to estimate the execution fee for.
      * @param imports (optional) Provide a list of imports to use for the fee estimation in the
      * form of a javascript object where the keys are a string of the program name and the values
      * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
-     * @param edition {
+     * @param edition The edition of the program. Defaults to 1.
      * @returns {u64} Fee in microcredits
      * @param {string} program
      * @param {string} _function
      * @param {object | null} [imports]
      * @param {number | null} [edition]
+     * @param {ProgramImports | null} [program_imports]
      * @returns {bigint}
      */
-    static estimateExecutionFee(program, _function, imports, edition) {
+    static estimateExecutionFee(program, _function, imports, edition, program_imports) {
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
             const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             const len0 = WASM_VECTOR_LEN;
             const ptr1 = passStringToWasm0(_function, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             const len1 = WASM_VECTOR_LEN;
-            wasm.programmanager_estimateExecutionFee(retptr, ptr0, len0, ptr1, len1, isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(edition) ? 0xFFFFFF : edition);
+            let ptr2 = 0;
+            if (!isLikeNone(program_imports)) {
+                _assertClass(program_imports, ProgramImports);
+                ptr2 = program_imports.__destroy_into_raw();
+            }
+            wasm.programmanager_estimateExecutionFee(retptr, ptr0, len0, ptr1, len1, isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(edition) ? 0xFFFFFF : edition, ptr2);
             var r0 = getDataViewMemory0().getBigInt64(retptr + 8 * 0, true);
             var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
             var r3 = getDataViewMemory0().getInt32(retptr + 4 * 3, true);
@@ -10942,7 +11465,7 @@ class ProgramManager {
      * @param {Object | undefined} imports (optional) Provide a list of imports to use for the function execution in the
      * form of a javascript object where the keys are a string of the program name and the values
      * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
-     * @param {ProvingKey | undefined} proving_key (optional) Provide a verifying key to use for the function execution
+     * @param {ProvingKey | undefined} proving_key (optional) Provide a proving key to use for the function execution
      * @param {VerifyingKey | undefined} verifying_key (optional) Provide a verifying key to use for the function execution
      * @param {PrivateKey} private_key
      * @param {string} program
@@ -10956,9 +11479,10 @@ class ProgramManager {
      * @param {string | null} [url]
      * @param {QueryOption | null} [query]
      * @param {number | null} [edition]
+     * @param {ProgramImports | null} [program_imports]
      * @returns {Promise<ExecutionResponse>}
      */
-    static executeFunctionOffline(private_key, program, _function, inputs, prove_execution, cache, imports, proving_key, verifying_key, url, query, edition) {
+    static executeFunctionOffline(private_key, program, _function, inputs, prove_execution, cache, imports, proving_key, verifying_key, url, query, edition, program_imports) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
@@ -10981,7 +11505,12 @@ class ProgramManager {
             _assertClass(query, QueryOption);
             ptr5 = query.__destroy_into_raw();
         }
-        const ret = wasm.programmanager_executeFunctionOffline(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), prove_execution, cache, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr2, ptr3, ptr4, len4, ptr5, isLikeNone(edition) ? 0xFFFFFF : edition);
+        let ptr6 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr6 = program_imports.__destroy_into_raw();
+        }
+        const ret = wasm.programmanager_executeFunctionOffline(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), prove_execution, cache, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr2, ptr3, ptr4, len4, ptr5, isLikeNone(edition) ? 0xFFFFFF : edition, ptr6);
         return takeObject(ret);
     }
     /**
@@ -11047,15 +11576,21 @@ class ProgramManager {
      * @param {string} program
      * @param {object | null} [imports]
      * @param {number | null} [edition]
+     * @param {ProgramImports | null} [program_imports]
      * @returns {bigint}
      */
-    static estimateFeeForAuthorization(authorization, program, imports, edition) {
+    static estimateFeeForAuthorization(authorization, program, imports, edition, program_imports) {
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
             _assertClass(authorization, Authorization);
             const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             const len0 = WASM_VECTOR_LEN;
-            wasm.programmanager_estimateFeeForAuthorization(retptr, authorization.__wbg_ptr, ptr0, len0, isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(edition) ? 0xFFFFFF : edition);
+            let ptr1 = 0;
+            if (!isLikeNone(program_imports)) {
+                _assertClass(program_imports, ProgramImports);
+                ptr1 = program_imports.__destroy_into_raw();
+            }
+            wasm.programmanager_estimateFeeForAuthorization(retptr, authorization.__wbg_ptr, ptr0, len0, isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(edition) ? 0xFFFFFF : edition, ptr1);
             var r0 = getDataViewMemory0().getBigInt64(retptr + 8 * 0, true);
             var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
             var r3 = getDataViewMemory0().getInt32(retptr + 4 * 3, true);
@@ -11077,19 +11612,15 @@ class ProgramManager {
      * @param priority_fee_credits The optional priority fee to be paid for the transaction
      * @param fee_record The record to spend the fee from
      * @param url The url of the Aleo network node to send the transaction to
-     * If this is set to 'true' the keys synthesized (or passed in as optional parameters via the
-     * `proving_key` and `verifying_key` arguments) will be stored in the ProgramManager's memory
-     * and used for subsequent transactions. If this is set to 'false' the proving and verifying
-     * keys will be deallocated from memory after the transaction is executed.
      * @param imports (optional) Provide a list of imports to use for the function execution in the
      * form of a javascript object where the keys are a string of the program name and the values
      * are a string representing the program source code \{ "hello.aleo": "hello.aleo source code" \}
-     * @param proving_key (optional) Provide a verifying key to use for the function execution
+     * @param proving_key (optional) Provide a proving key to use for the function execution
      * @param verifying_key (optional) Provide a verifying key to use for the function execution
      * @param fee_proving_key (optional) Provide a proving key to use for the fee execution
      * @param fee_verifying_key (optional) Provide a verifying key to use for the fee execution
      * @param offline_query An offline query object to use if building a transaction without an internet connection.
-     * @param edition The edition of the program to execute. Defaults to the latest found on the network, or 1 if the program does not exist on the network.
+     * @param edition The edition of the program to execute. Defaults to 1.
      * @returns {Transaction}
      * @param {PrivateKey} private_key
      * @param {string} program
@@ -11105,9 +11636,10 @@ class ProgramManager {
      * @param {VerifyingKey | null} [fee_verifying_key]
      * @param {QueryOption | null} [query]
      * @param {number | null} [edition]
+     * @param {ProgramImports | null} [program_imports]
      * @returns {Promise<Transaction>}
      */
-    static buildExecutionTransaction(private_key, program, _function, inputs, priority_fee_credits, fee_record, url, imports, proving_key, verifying_key, fee_proving_key, fee_verifying_key, query, edition) {
+    static buildExecutionTransaction(private_key, program, _function, inputs, priority_fee_credits, fee_record, url, imports, proving_key, verifying_key, fee_proving_key, fee_verifying_key, query, edition, program_imports) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
@@ -11145,7 +11677,12 @@ class ProgramManager {
             _assertClass(query, QueryOption);
             ptr8 = query.__destroy_into_raw();
         }
-        const ret = wasm.programmanager_buildExecutionTransaction(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), priority_fee_credits, ptr2, ptr3, len3, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr4, ptr5, ptr6, ptr7, ptr8, isLikeNone(edition) ? 0xFFFFFF : edition);
+        let ptr9 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr9 = program_imports.__destroy_into_raw();
+        }
+        const ret = wasm.programmanager_buildExecutionTransaction(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), priority_fee_credits, ptr2, ptr3, len3, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr4, ptr5, ptr6, ptr7, ptr8, isLikeNone(edition) ? 0xFFFFFF : edition, ptr9);
         return takeObject(ret);
     }
     /**
@@ -11270,9 +11807,10 @@ class ProgramManager {
      * @param {number | null} [edition]
      * @param {object | null} [imports]
      * @param {PrivateKey | null} [private_key]
+     * @param {ProgramImports | null} [program_imports]
      * @returns {Promise<Authorization>}
      */
-    static buildAuthorizationFromExecutionRequest(request, program, unchecked, edition, imports, private_key) {
+    static buildAuthorizationFromExecutionRequest(request, program, unchecked, edition, imports, private_key, program_imports) {
         _assertClass(request, ExecutionRequest);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
@@ -11281,7 +11819,12 @@ class ProgramManager {
             _assertClass(private_key, PrivateKey);
             ptr1 = private_key.__destroy_into_raw();
         }
-        const ret = wasm.programmanager_buildAuthorizationFromExecutionRequest(request.__wbg_ptr, ptr0, len0, unchecked, isLikeNone(edition) ? 0xFFFFFF : edition, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr1);
+        let ptr2 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr2 = program_imports.__destroy_into_raw();
+        }
+        const ret = wasm.programmanager_buildAuthorizationFromExecutionRequest(request.__wbg_ptr, ptr0, len0, unchecked, isLikeNone(edition) ? 0xFFFFFF : edition, isLikeNone(imports) ? 0 : addHeapObject(imports), ptr1, ptr2);
         return takeObject(ret);
     }
     /**
@@ -11299,15 +11842,21 @@ class ProgramManager {
      * @param {Array<any>} inputs
      * @param {object | null} [imports]
      * @param {number | null} [edition]
+     * @param {ProgramImports | null} [program_imports]
      * @returns {Promise<Authorization>}
      */
-    static buildAuthorizationUnchecked(private_key, program, function_name, inputs, imports, edition) {
+    static buildAuthorizationUnchecked(private_key, program, function_name, inputs, imports, edition, program_imports) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
         const ptr1 = passStringToWasm0(function_name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len1 = WASM_VECTOR_LEN;
-        const ret = wasm.programmanager_buildAuthorizationUnchecked(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(edition) ? 0xFFFFFF : edition);
+        let ptr2 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr2 = program_imports.__destroy_into_raw();
+        }
+        const ret = wasm.programmanager_buildAuthorizationUnchecked(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(edition) ? 0xFFFFFF : edition, ptr2);
         return takeObject(ret);
     }
     /**
@@ -11324,15 +11873,21 @@ class ProgramManager {
      * @param {Array<any>} inputs
      * @param {object | null} [imports]
      * @param {number | null} [edition]
+     * @param {ProgramImports | null} [program_imports]
      * @returns {Promise<Authorization>}
      */
-    static authorize(private_key, program, function_name, inputs, imports, edition) {
+    static authorize(private_key, program, function_name, inputs, imports, edition, program_imports) {
         _assertClass(private_key, PrivateKey);
         const ptr0 = passStringToWasm0(program, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len0 = WASM_VECTOR_LEN;
         const ptr1 = passStringToWasm0(function_name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
         const len1 = WASM_VECTOR_LEN;
-        const ret = wasm.programmanager_authorize(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(edition) ? 0xFFFFFF : edition);
+        let ptr2 = 0;
+        if (!isLikeNone(program_imports)) {
+            _assertClass(program_imports, ProgramImports);
+            ptr2 = program_imports.__destroy_into_raw();
+        }
+        const ret = wasm.programmanager_authorize(private_key.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(inputs), isLikeNone(imports) ? 0 : addHeapObject(imports), isLikeNone(edition) ? 0xFFFFFF : edition, ptr2);
         return takeObject(ret);
     }
 }
@@ -18294,6 +18849,10 @@ function __wbg_get_imports(memory) {
         const ret = typeof(getObject(arg0)) === 'function';
         return ret;
     };
+    imports.wbg.__wbg___wbindgen_is_null_5e69f72e906cc57c = function(arg0) {
+        const ret = getObject(arg0) === null;
+        return ret;
+    };
     imports.wbg.__wbg___wbindgen_is_object_c818261d21f283a4 = function(arg0) {
         const val = getObject(arg0);
         const ret = typeof(val) === 'object' && val !== null;
@@ -18458,6 +19017,16 @@ function __wbg_get_imports(memory) {
         const ret = getObject(arg0).headers;
         return addHeapObject(ret);
     };
+    imports.wbg.__wbg_instanceof_Object_10bb762262230c68 = function(arg0) {
+        let result;
+        try {
+            result = getObject(arg0) instanceof Object;
+        } catch (_) {
+            result = false;
+        }
+        const ret = result;
+        return ret;
+    };
     imports.wbg.__wbg_instanceof_Promise_001fdd42afa1b7ef = function(arg0) {
         let result;
         try {
@@ -18512,7 +19081,7 @@ function __wbg_get_imports(memory) {
         const ret = getObject(arg0).length;
         return ret;
     };
-    imports.wbg.__wbg_log_78f898e0b3066062 = function(arg0, arg1) {
+    imports.wbg.__wbg_log_2c81ec274d38c9bb = function(arg0, arg1) {
         console.log(getStringFromWasm0(arg0, arg1));
     };
     imports.wbg.__wbg_msCrypto_a61aeb35a24c1329 = function(arg0) {
@@ -18534,7 +19103,7 @@ function __wbg_get_imports(memory) {
                 const a = state0.a;
                 state0.a = 0;
                 try {
-                    return __wasm_bindgen_func_elem_7473(a, state0.b, arg0, arg1);
+                    return __wasm_bindgen_func_elem_7529(a, state0.b, arg0, arg1);
                 } finally {
                     state0.a = a;
                 }
@@ -18721,7 +19290,7 @@ function __wbg_get_imports(memory) {
         const ret = Signature.__wrap(arg0);
         return addHeapObject(ret);
     };
-    imports.wbg.__wbg_spawnWorker_16cedfb6613c80ac = function(arg0, arg1, arg2, arg3) {
+    imports.wbg.__wbg_spawnWorker_c5c00ae0c7b9fe56 = function(arg0, arg1, arg2, arg3) {
         const ret = spawnWorker(getObject(arg0), getObject(arg1), getObject(arg2), arg3 >>> 0);
         return addHeapObject(ret);
     };
@@ -18828,7 +19397,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_711d7deea8fc39ca = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 356, function: Function { arguments: [Externref], shim_idx: 357, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7200, __wasm_bindgen_func_elem_8569);
+        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7256, __wasm_bindgen_func_elem_8618);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {
@@ -18838,7 +19407,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_cada7727142cd213 = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 356, function: Function { arguments: [NamedExternref("MessageEvent")], shim_idx: 357, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7200, __wasm_bindgen_func_elem_8569);
+        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7256, __wasm_bindgen_func_elem_8618);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_cb9088102bce6b30 = function(arg0, arg1) {
@@ -18848,7 +19417,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_cdf07f87b2615f8c = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 356, function: Function { arguments: [], shim_idx: 462, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7200, __wasm_bindgen_func_elem_7201);
+        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7256, __wasm_bindgen_func_elem_7257);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_d6cd19b81560fd6e = function(arg0) {
@@ -18959,5 +19528,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, ProgramManager, Proof, ProvingKey, ProvingRequest, QueryOption, RecordCiphertext, RecordPlaintext, Scalar, Signature, Transaction, Transition, U128, U16, U32, U64, U8, Value, VerifyingKey, ViewKey, getOrInitConsensusVersionTestHeights, initSync, initThreadPool, runRayonThread, 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, getOrInitConsensusVersionTestHeights, initSync, initThreadPool, runRayonThread, snarkVerify, snarkVerifyBatch, stringToField, verifyFunctionExecution };
 //# sourceMappingURL=index.js.map