@provablehq/wasm 0.10.5 → 0.11.0

package/dist/mainnet/worker.js

@@ -286,6 +286,17 @@ function runRayonThread(receiver) {
     wasm.runRayonThread(receiver);
 }
 
+/**
+ * Set the WASM log level from JS. Called automatically by the SDK's
+ * `setLogLevel(level)` to keep TS and WASM logging in sync.
+ * Levels: 0=silent, 1=error, 2=warn, 3=info (default), 4=debug.
+ * Values above 4 are clamped to debug.
+ * @param {number} level
+ */
+function setWasmLogLevel(level) {
+    wasm.setWasmLogLevel(level);
+}
+
 /**
  * @param {URL} url
  * @param {number} num_threads
@@ -303,39 +314,6 @@ function addBorrowedObject(obj) {
     heap[--stack_pointer] = obj;
     return stack_pointer;
 }
-/**
- * Verify a SNARK proof against a verifying key and public inputs.
- *
- * This function verifies a proof produced by an Aleo program that may not be deployed on chain.
- * It directly invokes the Varuna proof verification from snarkVM.
- *
- * @param {VerifyingKey} verifying_key The verifying key for the circuit
- * @param {Array<string>} inputs Array of field element strings representing public inputs (e.g. ["1field", "2field"])
- * @param {Proof} proof The proof to verify
- * @returns {boolean} True if the proof is valid, false otherwise
- * @param {VerifyingKey} verifying_key
- * @param {Array<any>} inputs
- * @param {Proof} proof
- * @returns {boolean}
- */
-function snarkVerify(verifying_key, inputs, proof) {
-    try {
-        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        _assertClass(verifying_key, VerifyingKey);
-        _assertClass(proof, Proof);
-        wasm.snarkVerify(retptr, verifying_key.__wbg_ptr, 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);
-        if (r2) {
-            throw takeObject(r1);
-        }
-        return r0 !== 0;
-    } finally {
-        wasm.__wbindgen_add_to_stack_pointer(16);
-    }
-}
-
 /**
  * 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
@@ -355,9 +333,10 @@ function snarkVerify(verifying_key, inputs, proof) {
  * @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) {
+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);
@@ -365,7 +344,12 @@ function verifyFunctionExecution(execution, verifying_key, program, function_id,
         _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);
+        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);
@@ -379,25 +363,26 @@ function verifyFunctionExecution(execution, verifying_key, program, function_id,
 }
 
 /**
- * Verify a batch SNARK proof against multiple verifying keys and their corresponding public inputs.
+ * Verify a SNARK proof against a verifying key and 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).
+ * This function verifies a proof produced by an Aleo program that may not be deployed on chain.
+ * It directly invokes the Varuna proof verification from snarkVM.
  *
- * @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 {VerifyingKey} verifying_key The verifying key for the circuit
+ * @param {Array<string>} inputs Array of field element strings representing public inputs (e.g. ["1field", "2field"])
+ * @param {Proof} proof The proof to verify
+ * @returns {boolean} True if the proof is valid, false otherwise
+ * @param {VerifyingKey} verifying_key
  * @param {Array<any>} inputs
  * @param {Proof} proof
  * @returns {boolean}
  */
-function snarkVerifyBatch(verifying_keys, inputs, proof) {
+function snarkVerify(verifying_key, inputs, proof) {
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        _assertClass(verifying_key, VerifyingKey);
         _assertClass(proof, Proof);
-        wasm.snarkVerifyBatch(retptr, addHeapObject(verifying_keys), addHeapObject(inputs), proof.__wbg_ptr);
+        wasm.snarkVerify(retptr, verifying_key.__wbg_ptr, 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);
@@ -411,22 +396,32 @@ function snarkVerifyBatch(verifying_keys, inputs, proof) {
 }
 
 /**
- * @param {string} string
- * @returns {Field}
+ * 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).
+ *
+ * @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 stringToField(string) {
+function snarkVerifyBatch(verifying_keys, inputs, proof) {
     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);
+        _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);
         if (r2) {
             throw takeObject(r1);
         }
-        return Field.__wrap(r0);
+        return r0 !== 0;
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
     }
@@ -452,6 +447,28 @@ function getOrInitConsensusVersionTestHeights(heights) {
     return takeObject(ret);
 }
 
+/**
+ * @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();
@@ -471,16 +488,16 @@ function getArrayJsValueFromWasm0(ptr, len) {
     }
     return result;
 }
-function __wasm_bindgen_func_elem_7206(arg0, arg1) {
-    wasm.__wasm_bindgen_func_elem_7206(arg0, arg1);
+function __wasm_bindgen_func_elem_7287(arg0, arg1) {
+    wasm.__wasm_bindgen_func_elem_7287(arg0, arg1);
 }
 
-function __wasm_bindgen_func_elem_8569(arg0, arg1, arg2) {
-    wasm.__wasm_bindgen_func_elem_8569(arg0, arg1, addHeapObject(arg2));
+function __wasm_bindgen_func_elem_8655(arg0, arg1, arg2) {
+    wasm.__wasm_bindgen_func_elem_8655(arg0, arg1, addHeapObject(arg2));
 }
 
-function __wasm_bindgen_func_elem_7479(arg0, arg1, arg2, arg3) {
-    wasm.__wasm_bindgen_func_elem_7479(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_7560(arg0, arg1, arg2, arg3) {
+    wasm.__wasm_bindgen_func_elem_7560(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
 const __wbindgen_enum_RequestCredentials = ["omit", "same-origin", "include"];
@@ -9997,6 +10014,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 +10307,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 +10767,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 +10820,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 +10834,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 +10859,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 +10871,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 +11017,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 +11031,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 +11064,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 +11078,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 +11127,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 +11168,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 +11197,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 +11230,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 +11259,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 +11278,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 +11292,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 +11308,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 +11358,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 +11369,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 +11410,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 +11476,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 +11490,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 +11516,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 +11587,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 +11623,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 +11647,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 +11688,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 +11818,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 +11830,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 +11853,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 +11884,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);
     }
 }
@@ -11836,6 +12402,17 @@ const ProvingRequestFinalization = (typeof FinalizationRegistry === 'undefined')
     : new FinalizationRegistry(ptr => wasm.__wbg_provingrequest_free(ptr >>> 0, 1));
 /**
  * Represents a proving request to a prover.
+ *
+ * Carries one of two variants:
+ * - `Authorization` — a fully-constructed snarkVM `Authorization` (plus optional
+ *   fee authorization). Submitted to `/prove/authorization` (encrypted-only).
+ * - `Request` — a single signed snarkVM `Request` (plus optional fee `Request`)
+ *   that the prover authorizes server-side. Submitted to `/prove/request`
+ *   (encrypted-only).
+ *
+ * Use {@link ProvingRequest#kind} when handling a `ProvingRequest` of unknown
+ * variant (e.g. after deserialization). Variant-specific accessors throw if
+ * called on the wrong variant.
  */
 class ProvingRequest {
 
@@ -11859,9 +12436,23 @@ class ProvingRequest {
         wasm.__wbg_provingrequest_free(ptr, 0);
     }
     /**
-     * Creates a ProvingRequest from a string representation.
+     * Returns the signed fee `ExecutionRequest` in the Request variant, or
+     * `undefined` when no fee request is set or this is an Authorization variant.
+     * @returns {ExecutionRequest | undefined}
+     */
+    feeRequest() {
+        const ret = wasm.provingrequest_feeRequest(this.__wbg_ptr);
+        return ret === 0 ? undefined : ExecutionRequest.__wrap(ret);
+    }
+    /**
+     * Creates a `ProvingRequest` from a JSON string representation.
      *
-     * @param {Uint8Array} request String representation of the ProvingRequest.
+     * The variant is determined automatically by the JSON shape:
+     * `{ authorization, ... }` → Authorization variant; `{ request, ... }` →
+     * Request variant. Use {@link ProvingRequest#kind} to inspect the
+     * resulting variant.
+     *
+     * @param {string} request JSON string representation of the ProvingRequest.
      * @param {string} request
      * @returns {ProvingRequest}
      */
@@ -11883,7 +12474,10 @@ class ProvingRequest {
         }
     }
     /**
-     * Creates a left-endian byte representation of the ProvingRequest.
+     * Creates a left-endian byte representation of the ProvingRequest,
+     * dispatching on the variant. The bytes are wire-compatible with the
+     * matching DPS route (`/prove[/encrypted]` for Authorization,
+     * `/prove/request` for Request).
      * @returns {Uint8Array}
      */
     toBytesLe() {
@@ -11902,17 +12496,64 @@ class ProvingRequest {
         }
     }
     /**
-     * Get the Authorization of the main function in the ProvingRequest.
+     * Creates a new Request-variant `ProvingRequest` from a single signed
+     * `ExecutionRequest` and an optional signed fee `ExecutionRequest`.
+     *
+     * The Request variant is processed by the DPS at the `/prove/request`
+     * endpoint, which is encrypted-only. The server runs
+     * `Process::authorize_request` to turn each `Request` into an
+     * `Authorization` before proving.
+     *
+     * Only valid for single-public-request executions. Layered / nested
+     * calls are not supported by `/prove/request` at this time.
+     *
+     * @param {ExecutionRequest} request The signed request for the function.
+     * @param {ExecutionRequest} fee_request Optional signed request for the fee function. When omitted, the prover generates and pays the fee.
+     * @param {boolean} broadcast Flag that indicates whether the remote proving service should attempt to submit the transaction on the caller's behalf.
+     * @param {ExecutionRequest} request
+     * @param {ExecutionRequest | null | undefined} fee_request
+     * @param {boolean} broadcast
+     * @returns {ProvingRequest}
+     */
+    static fromRequest(request, fee_request, broadcast) {
+        _assertClass(request, ExecutionRequest);
+        var ptr0 = request.__destroy_into_raw();
+        let ptr1 = 0;
+        if (!isLikeNone(fee_request)) {
+            _assertClass(fee_request, ExecutionRequest);
+            ptr1 = fee_request.__destroy_into_raw();
+        }
+        const ret = wasm.provingrequest_fromRequest(ptr0, ptr1, broadcast);
+        return ProvingRequest.__wrap(ret);
+    }
+    /**
+     * Returns the Authorization of the main function in the ProvingRequest.
+     *
+     * @throws If this `ProvingRequest` is a Request variant. Check
+     * {@link ProvingRequest#kind} or use {@link ProvingRequest#request} instead.
      * @returns {Authorization}
      */
     authorization() {
-        const ret = wasm.provingrequest_authorization(this.__wbg_ptr);
-        return Authorization.__wrap(ret);
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.provingrequest_authorization(retptr, this.__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);
+            if (r2) {
+                throw takeObject(r1);
+            }
+            return Authorization.__wrap(r0);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
     }
     /**
-     * Creates a ProvingRequest from a left-endian byte representation of the ProvingRequest.
+     * Reads bytes as an Authorization-variant `ProvingRequest`. For the
+     * Request variant, use {@link ProvingRequest.fromBytesLeRequest}
+     * explicitly — byte layout carries no variant discriminator.
      *
-     * @param {Uint8Array} bytes Left-endian bytes representing the proving request.
+     * @param {Uint8Array} bytes Left-endian bytes representing an Authorization-variant proving request.
      * @param {Uint8Array} bytes
      * @returns {ProvingRequest}
      */
@@ -11932,7 +12573,8 @@ class ProvingRequest {
         }
     }
     /**
-     * Get the fee Authorization in the ProvingRequest.
+     * Returns the fee Authorization in the ProvingRequest, or `undefined`
+     * when no fee is set or this is a Request variant.
      * @returns {Authorization | undefined}
      */
     feeAuthorization() {
@@ -11940,7 +12582,32 @@ class ProvingRequest {
         return ret === 0 ? undefined : Authorization.__wrap(ret);
     }
     /**
-     * Creates a new ProvingRequest from a function Authorization and an optional fee Authorization.
+     * Reads bytes as a Request-variant `ProvingRequest`. Byte layout is
+     * disjoint from the Authorization variant; callers must pick the right
+     * reader for the bytes they hold.
+     *
+     * @param {Uint8Array} bytes Left-endian bytes representing a Request-variant proving request.
+     * @param {Uint8Array} bytes
+     * @returns {ProvingRequest}
+     */
+    static fromBytesLeRequest(bytes) {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.provingrequest_fromBytesLeRequest(retptr, addHeapObject(bytes));
+            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 ProvingRequest.__wrap(r0);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
+    /**
+     * Creates a new Authorization-variant `ProvingRequest` from a function
+     * `Authorization` and an optional fee `Authorization`.
      *
      * @param {Authorization} authorization An Authorization for a function.
      * @param {Authorization} fee_authorization The authorization for the `credits.aleo/fee_public` or `credits.aleo/fee_private` function that pays the fee for the execution of the main function.
@@ -11961,6 +12628,28 @@ class ProvingRequest {
         const ret = wasm.provingrequest_new(ptr0, ptr1, broadcast);
         return ProvingRequest.__wrap(ret);
     }
+    /**
+     * Returns the variant of this `ProvingRequest`: `"authorization"` or
+     * `"request"`. Useful when handling a `ProvingRequest` whose variant
+     * was determined at deserialization time.
+     * @returns {string}
+     */
+    kind() {
+        let deferred1_0;
+        let deferred1_1;
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.provingrequest_kind(retptr, this.__wbg_ptr);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            deferred1_0 = r0;
+            deferred1_1 = r1;
+            return getStringFromWasm0(r0, r1);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+            wasm.__wbindgen_export4(deferred1_0, deferred1_1, 1);
+        }
+    }
     /**
      * Check if a ProvingRequest is the same as another ProvingRequest.
      * @param {ProvingRequest} other
@@ -11971,6 +12660,29 @@ class ProvingRequest {
         const ret = wasm.provingrequest_equals(this.__wbg_ptr, other.__wbg_ptr);
         return ret !== 0;
     }
+    /**
+     * Returns the signed `ExecutionRequest` carried by the Request variant.
+     *
+     * @throws If this `ProvingRequest` is an Authorization variant. Check
+     * {@link ProvingRequest#kind} or use {@link ProvingRequest#authorization}
+     * instead.
+     * @returns {ExecutionRequest}
+     */
+    request() {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.provingrequest_request(retptr, this.__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);
+            if (r2) {
+                throw takeObject(r1);
+            }
+            return ExecutionRequest.__wrap(r0);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
     /**
      * Get the broadcast flag set in the ProvingRequest.
      * @returns {boolean}
@@ -11980,7 +12692,9 @@ class ProvingRequest {
         return ret !== 0;
     }
     /**
-     * Creates a string representation of the ProvingRequest.
+     * Creates a JSON string representation of the ProvingRequest.
+     * The shape carries enough information to recover the variant via
+     * {@link ProvingRequest.fromString}.
      * @returns {string}
      */
     toString() {
@@ -18294,6 +19008,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 +19176,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 +19240,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_b88efcc0ed7757a6 = function(arg0, arg1) {
         console.log(getStringFromWasm0(arg0, arg1));
     };
     imports.wbg.__wbg_msCrypto_a61aeb35a24c1329 = function(arg0) {
@@ -18534,7 +19262,7 @@ function __wbg_get_imports(memory) {
                 const a = state0.a;
                 state0.a = 0;
                 try {
-                    return __wasm_bindgen_func_elem_7479(a, state0.b, arg0, arg1);
+                    return __wasm_bindgen_func_elem_7560(a, state0.b, arg0, arg1);
                 } finally {
                     state0.a = a;
                 }
@@ -18721,7 +19449,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_6ede797d507e374c = function(arg0, arg1, arg2, arg3) {
         const ret = spawnWorker(getObject(arg0), getObject(arg1), getObject(arg2), arg3 >>> 0);
         return addHeapObject(ret);
     };
@@ -18823,7 +19551,7 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_3ebebf8ee554379e = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 354, function: Function { arguments: [NamedExternref("MessageEvent")], shim_idx: 355, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7205, __wasm_bindgen_func_elem_8569);
+        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7286, __wasm_bindgen_func_elem_8655);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_4625c577ab2ec9ee = function(arg0) {
@@ -18833,12 +19561,12 @@ function __wbg_get_imports(memory) {
     };
     imports.wbg.__wbindgen_cast_5e9bcb6388942484 = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 354, 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_7205, __wasm_bindgen_func_elem_7206);
+        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7286, __wasm_bindgen_func_elem_7287);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_74f3a90a349943d1 = function(arg0, arg1) {
         // Cast intrinsic for `Closure(Closure { dtor_idx: 354, function: Function { arguments: [Externref], shim_idx: 355, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7205, __wasm_bindgen_func_elem_8569);
+        const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_7286, __wasm_bindgen_func_elem_8655);
         return addHeapObject(ret);
     };
     imports.wbg.__wbindgen_cast_9ae0607507abb057 = function(arg0) {
@@ -18982,6 +19710,7 @@ var exports$1 = /*#__PURE__*/Object.freeze({
     PrivateKey: PrivateKey,
     PrivateKeyCiphertext: PrivateKeyCiphertext,
     Program: Program,
+    ProgramImports: ProgramImports,
     ProgramManager: ProgramManager,
     Proof: Proof,
     ProvingKey: ProvingKey,
@@ -19006,6 +19735,7 @@ var exports$1 = /*#__PURE__*/Object.freeze({
     initSync: initSync,
     initThreadPool: initThreadPool,
     runRayonThread: runRayonThread,
+    setWasmLogLevel: setWasmLogLevel,
     snarkVerify: snarkVerify,
     snarkVerifyBatch: snarkVerifyBatch,
     stringToField: stringToField,