@provablehq/sdk 0.11.4 → 0.11.6

package/dist/testnet/browser.d.cts

@@ -61,11 +61,11 @@ import { RecordScanner, RecordScannerJWTData, RecordScannerOptions } from "./rec
 import { SealanceMerkleTree } from "./integrations/sealance/merkle-tree.js";
 import { generateHookData } from "./integrations/circle/hook-data.js";
 declare function initializeWasm(): Promise<void>;
-export { ProgramManager, ProvingRequestOptions, ExecuteOptions, FeeAuthorizationOptions, AuthorizationOptions, VerificationOptions, BatchVerificationOptions, inputsToFields, verifyProof, verifyBatchProof, programChecksum } from "./program-manager.js";
+export { ProgramManager, PreparedProgram, PrepareProgramOptions, ProvingRequestOptions, ExecuteOptions, FeeAuthorizationOptions, AuthorizationOptions, VerificationOptions, BatchVerificationOptions, inputsToFields, verifyProof, verifyBatchProof, programChecksum } from "./program-manager.js";
 export { logAndThrow, TransportFunction, defaultTransport, cookieAffinityTransport } from "./utils/utils.js";
 export { setLogLevel, getLogLevel } from "./utils/logger.js";
 export type { LogLevel } from "./utils/logger.js";
-export { Address, Authorization, Boolean, BHP256, BHP512, BHP768, BHP1024, Ciphertext, ComputeKey, DynamicRecord, Execution as FunctionExecution, ExecutionRequest, ExecutionResponse, EncryptionToolkit, Field, GraphKey, Group, I8, I16, I32, I64, I128, OfflineQuery, QueryOption, Pedersen64, Pedersen128, Plaintext, Poseidon2, Poseidon4, Poseidon8, PrivateKey, PrivateKeyCiphertext, Program, ProgramImportsBuilder, ProgramManager as ProgramManagerBase, Proof, ProvingKey, ProvingRequest, RecordCiphertext, RecordPlaintext, Signature, Scalar, stringToField, Transaction, Transition, U8, U16, U32, U64, U128, Value, VerifyingKey, ViewKey, initThreadPool, getOrInitConsensusVersionTestHeights, setWasmLogLevel, snarkVerify, snarkVerifyBatch, verifyFunctionExecution, } from "./wasm.js";
+export { Address, Authorization, Boolean, BHP256, BHP512, BHP768, BHP1024, Ciphertext, ComputeKey, DynamicRecord, Execution as FunctionExecution, ExecutionRequest, ExecutionResponse, EncryptionToolkit, Field, GraphKey, Group, I8, I16, I32, I64, I128, OfflineQuery, QueryOption, Pedersen64, Pedersen128, Plaintext, Poseidon2, Poseidon4, Poseidon8, PrivateKey, PrivateKeyCiphertext, Program, ProgramImportsBuilder, ProgramManager as ProgramManagerBase, Proof, ProvingKey, ProvingRequest, RecordCiphertext, RecordPlaintext, Signature, Scalar, stringToField, Transaction, Transition, U8, U16, U32, U64, U128, Value, VerifyingKey, ViewKey, getMaxProgramImports, initThreadPool, getOrInitConsensusVersionTestHeights, setWasmLogLevel, snarkVerify, snarkVerifyBatch, verifyFunctionExecution, } from "./wasm.js";
 export { initializeWasm };
 export { Key, CREDITS_PROGRAM_KEYS, KEY_STORE, PRIVATE_TRANSFER, PRIVATE_TO_PUBLIC_TRANSFER, PRIVATE_TRANSFER_TYPES, PUBLIC_TRANSFER, PUBLIC_TRANSFER_AS_SIGNER, PUBLIC_TO_PRIVATE_TRANSFER, RECORD_DOMAIN, VALID_TRANSFER_TYPES, } from "./constants.js";
 export { Account, AleoKeyProvider, AleoKeyProviderParams, AleoKeyProviderInitParams, AleoNetworkClient, BlockJSON, BlockHeightSearch, BroadcastResponse, BroadcastResult, CachedKeyPair, ConfirmedTransactionJSON, CryptoBoxPubKey, DecryptionNotEnabledError, DeploymentJSON, DeploymentObject, EncryptedProvingRequest, EncryptedRecord, EncryptedRegistrationRequest, EncryptedRecordsResult, EncryptedRecordsSuccess, ExecutionJSON, ExecutionObject, FeeExecutionJSON, FeeExecutionObject, FinalizeJSON, FunctionInput, FunctionObject, FunctionKeyPair, FunctionKeyProvider, generateHookData, Header, isProvingResponse, isProveApiErrorBody, ImportedPrograms, ImportedVerifyingKeys, IndexedDBKeyStore, InputJSON, InputObject, InvalidLocatorError, InvalidLocatorReason, BaseFunctionKeyLocator, KeyFingerprint, KeyLocator, KeyMetadata, KeySearchParams, KeyStore, KeyType, KeyVerificationError, ProvingKeyLocator, provingKeyLocator, TranslationKeyLocator, translationKeyLocator, VerifyingKeyLocator, verifyingKeyLocator, KeyVerifier, MemKeyVerifier, Metadata, NetworkRecordProvider, OfflineKeyProvider, OfflineSearchParams, OutputJSON, OutputObject, OwnedFilter, OwnedRecord, OwnedRecordsResult, OwnedRecordsResponseFilter, OwnedRecordsSuccess, OwnerJSON, PartialSolutionJSON, PlaintextArray, PlaintextLiteral, PlaintextObject, PlaintextStruct, ProgramImports, ProveApiErrorBody, ProvingFailure, ProvingRequestError, ProvingRequestJSON, ProvingResult, ProvingSuccess, ProvingResponse, RatificationJSON, RecordsFilter, RecordsResponseFilter, RecordProvider, RecordScanner, RecordScannerErrorBody, RecordScannerFailure, RecordScannerJWTData, RecordScannerOptions, RecordNotFoundError, RecordScannerRequestError, ViewKeyNotStoredError, RecordSearchParams, RegisterResult, RegisterSuccess, RegistrationResponse, RevokeResult, RevokeSuccess, RevokeResponse, SealanceMerkleTree, SerialNumbersResult, SerialNumbersSuccess, sha256Hex, SolutionJSON, SolutionsJSON, StatusResponse, StatusResult, StatusSuccess, TagsResult, TagsSuccess, TransactionJSON, TransactionObject, TransitionJSON, TransitionObject, UUIDError, VerifyingKeys, };

package/dist/testnet/browser.d.ts

@@ -61,11 +61,11 @@ import { RecordScanner, RecordScannerJWTData, RecordScannerOptions } from "./rec
 import { SealanceMerkleTree } from "./integrations/sealance/merkle-tree.js";
 import { generateHookData } from "./integrations/circle/hook-data.js";
 declare function initializeWasm(): Promise<void>;
-export { ProgramManager, ProvingRequestOptions, ExecuteOptions, FeeAuthorizationOptions, AuthorizationOptions, VerificationOptions, BatchVerificationOptions, inputsToFields, verifyProof, verifyBatchProof, programChecksum } from "./program-manager.js";
+export { ProgramManager, PreparedProgram, PrepareProgramOptions, ProvingRequestOptions, ExecuteOptions, FeeAuthorizationOptions, AuthorizationOptions, VerificationOptions, BatchVerificationOptions, inputsToFields, verifyProof, verifyBatchProof, programChecksum } from "./program-manager.js";
 export { logAndThrow, TransportFunction, defaultTransport, cookieAffinityTransport } from "./utils/utils.js";
 export { setLogLevel, getLogLevel } from "./utils/logger.js";
 export type { LogLevel } from "./utils/logger.js";
-export { Address, Authorization, Boolean, BHP256, BHP512, BHP768, BHP1024, Ciphertext, ComputeKey, DynamicRecord, Execution as FunctionExecution, ExecutionRequest, ExecutionResponse, EncryptionToolkit, Field, GraphKey, Group, I8, I16, I32, I64, I128, OfflineQuery, QueryOption, Pedersen64, Pedersen128, Plaintext, Poseidon2, Poseidon4, Poseidon8, PrivateKey, PrivateKeyCiphertext, Program, ProgramImportsBuilder, ProgramManager as ProgramManagerBase, Proof, ProvingKey, ProvingRequest, RecordCiphertext, RecordPlaintext, Signature, Scalar, stringToField, Transaction, Transition, U8, U16, U32, U64, U128, Value, VerifyingKey, ViewKey, initThreadPool, getOrInitConsensusVersionTestHeights, setWasmLogLevel, snarkVerify, snarkVerifyBatch, verifyFunctionExecution, } from "./wasm.js";
+export { Address, Authorization, Boolean, BHP256, BHP512, BHP768, BHP1024, Ciphertext, ComputeKey, DynamicRecord, Execution as FunctionExecution, ExecutionRequest, ExecutionResponse, EncryptionToolkit, Field, GraphKey, Group, I8, I16, I32, I64, I128, OfflineQuery, QueryOption, Pedersen64, Pedersen128, Plaintext, Poseidon2, Poseidon4, Poseidon8, PrivateKey, PrivateKeyCiphertext, Program, ProgramImportsBuilder, ProgramManager as ProgramManagerBase, Proof, ProvingKey, ProvingRequest, RecordCiphertext, RecordPlaintext, Signature, Scalar, stringToField, Transaction, Transition, U8, U16, U32, U64, U128, Value, VerifyingKey, ViewKey, getMaxProgramImports, initThreadPool, getOrInitConsensusVersionTestHeights, setWasmLogLevel, snarkVerify, snarkVerifyBatch, verifyFunctionExecution, } from "./wasm.js";
 export { initializeWasm };
 export { Key, CREDITS_PROGRAM_KEYS, KEY_STORE, PRIVATE_TRANSFER, PRIVATE_TO_PUBLIC_TRANSFER, PRIVATE_TRANSFER_TYPES, PUBLIC_TRANSFER, PUBLIC_TRANSFER_AS_SIGNER, PUBLIC_TO_PRIVATE_TRANSFER, RECORD_DOMAIN, VALID_TRANSFER_TYPES, } from "./constants.js";
 export { Account, AleoKeyProvider, AleoKeyProviderParams, AleoKeyProviderInitParams, AleoNetworkClient, BlockJSON, BlockHeightSearch, BroadcastResponse, BroadcastResult, CachedKeyPair, ConfirmedTransactionJSON, CryptoBoxPubKey, DecryptionNotEnabledError, DeploymentJSON, DeploymentObject, EncryptedProvingRequest, EncryptedRecord, EncryptedRegistrationRequest, EncryptedRecordsResult, EncryptedRecordsSuccess, ExecutionJSON, ExecutionObject, FeeExecutionJSON, FeeExecutionObject, FinalizeJSON, FunctionInput, FunctionObject, FunctionKeyPair, FunctionKeyProvider, generateHookData, Header, isProvingResponse, isProveApiErrorBody, ImportedPrograms, ImportedVerifyingKeys, IndexedDBKeyStore, InputJSON, InputObject, InvalidLocatorError, InvalidLocatorReason, BaseFunctionKeyLocator, KeyFingerprint, KeyLocator, KeyMetadata, KeySearchParams, KeyStore, KeyType, KeyVerificationError, ProvingKeyLocator, provingKeyLocator, TranslationKeyLocator, translationKeyLocator, VerifyingKeyLocator, verifyingKeyLocator, KeyVerifier, MemKeyVerifier, Metadata, NetworkRecordProvider, OfflineKeyProvider, OfflineSearchParams, OutputJSON, OutputObject, OwnedFilter, OwnedRecord, OwnedRecordsResult, OwnedRecordsResponseFilter, OwnedRecordsSuccess, OwnerJSON, PartialSolutionJSON, PlaintextArray, PlaintextLiteral, PlaintextObject, PlaintextStruct, ProgramImports, ProveApiErrorBody, ProvingFailure, ProvingRequestError, ProvingRequestJSON, ProvingResult, ProvingSuccess, ProvingResponse, RatificationJSON, RecordsFilter, RecordsResponseFilter, RecordProvider, RecordScanner, RecordScannerErrorBody, RecordScannerFailure, RecordScannerJWTData, RecordScannerOptions, RecordNotFoundError, RecordScannerRequestError, ViewKeyNotStoredError, RecordSearchParams, RegisterResult, RegisterSuccess, RegistrationResponse, RevokeResult, RevokeSuccess, RevokeResponse, SealanceMerkleTree, SerialNumbersResult, SerialNumbersSuccess, sha256Hex, SolutionJSON, SolutionsJSON, StatusResponse, StatusResult, StatusSuccess, TagsResult, TagsSuccess, TransactionJSON, TransactionObject, TransitionJSON, TransitionObject, UUIDError, VerifyingKeys, };

package/dist/testnet/browser.js

@@ -1,6 +1,6 @@
 import 'core-js/proposals/json-parse-with-source.js';
 import { ProvingKey, VerifyingKey, ViewKey, ComputeKey, Address, PrivateKeyCiphertext, PrivateKey, RecordCiphertext, EncryptionToolkit, Group, Metadata, Program, Plaintext, Transaction, ProvingRequest, RecordPlaintext, Field, Poseidon4, Scalar, BHP256, ProgramManager as ProgramManager$1, CallbackQuery, ProgramImports, QueryOption, ExecutionRequest, stringToField, verifyFunctionExecution, Value, Proof, Signature } from '@provablehq/wasm/testnet.js';
-export { Address, Authorization, BHP1024, BHP256, BHP512, BHP768, Boolean, Ciphertext, ComputeKey, DynamicRecord, EncryptionToolkit, ExecutionRequest, ExecutionResponse, Field, Execution as FunctionExecution, GraphKey, Group, I128, I16, I32, I64, I8, OfflineQuery, Pedersen128, Pedersen64, Plaintext, Poseidon2, Poseidon4, Poseidon8, PrivateKey, PrivateKeyCiphertext, Program, ProgramImports as ProgramImportsBuilder, ProgramManager as ProgramManagerBase, Proof, ProvingKey, ProvingRequest, QueryOption, RecordCiphertext, RecordPlaintext, Scalar, Signature, Transaction, Transition, U128, U16, U32, U64, U8, Value, VerifyingKey, ViewKey, getOrInitConsensusVersionTestHeights, initThreadPool, setWasmLogLevel, snarkVerify, snarkVerifyBatch, stringToField, verifyFunctionExecution } from '@provablehq/wasm/testnet.js';
+export { Address, Authorization, BHP1024, BHP256, BHP512, BHP768, Boolean, Ciphertext, ComputeKey, DynamicRecord, EncryptionToolkit, ExecutionRequest, ExecutionResponse, Field, Execution as FunctionExecution, GraphKey, Group, I128, I16, I32, I64, I8, OfflineQuery, Pedersen128, Pedersen64, Plaintext, Poseidon2, Poseidon4, Poseidon8, PrivateKey, PrivateKeyCiphertext, Program, ProgramImports as ProgramImportsBuilder, ProgramManager as ProgramManagerBase, Proof, ProvingKey, ProvingRequest, QueryOption, RecordCiphertext, RecordPlaintext, Scalar, Signature, Transaction, Transition, U128, U16, U32, U64, U8, Value, VerifyingKey, ViewKey, getMaxProgramImports, getOrInitConsensusVersionTestHeights, initThreadPool, setWasmLogLevel, snarkVerify, snarkVerifyBatch, stringToField, verifyFunctionExecution } from '@provablehq/wasm/testnet.js';
 import { cryptoBoxSeal } from '@serenity-kit/noble-sodium';
 import { base64, bech32m } from '@scure/base';
 
@@ -26,7 +26,7 @@ let currentLevel = "info";
  */
 function setLogLevel(level) {
     currentLevel = level;
-    import('./wasm-BCrMb35a.js')
+    import('./wasm-DM2k_rDG.js')
         .then(({ setWasmLogLevel }) => setWasmLogLevel(LEVEL_PRIORITY[level]))
         .catch(() => { }); // WASM not loaded yet — will use default level (info)
 }
@@ -1602,7 +1602,7 @@ class AleoNetworkClient {
             else {
                 this.headers = {
                     // This is replaced by the actual version by a Rollup plugin
-                    "X-Aleo-SDK-Version": "0.11.4",
+                    "X-Aleo-SDK-Version": "0.11.6",
                     "X-Aleo-environment": environment(),
                 };
             }
@@ -1618,7 +1618,7 @@ class AleoNetworkClient {
         else {
             this.headers = {
                 // This is replaced by the actual version by a Rollup plugin
-                "X-Aleo-SDK-Version": "0.11.4",
+                "X-Aleo-SDK-Version": "0.11.6",
                 "X-Aleo-environment": environment(),
             };
         }
@@ -5798,6 +5798,56 @@ function generateHookData(recipientAddress, secretNonce) {
     return hookData;
 }
 
+const preparedProgramBuilders = new WeakMap();
+function clonePreparedProgramBuilder(preparedProgram) {
+    const builder = preparedProgramBuilders.get(preparedProgram);
+    if (!builder) {
+        throw new Error("Prepared program has already been freed");
+    }
+    // The WASM clone is a cheap shared Rc handle, not a deep copy. Mutations
+    // made while authorizing intentionally remain cached in the prepared context.
+    return builder.clone();
+}
+function programImportsFromBuilder(builder, entryProgramName) {
+    const imports = {};
+    for (const name of Array.from(builder.programNames())) {
+        if (name === entryProgramName)
+            continue;
+        const source = builder.getProgram(name);
+        if (source)
+            imports[name] = source;
+    }
+    return imports;
+}
+/**
+ * A reusable program context created by {@link ProgramManager.prepareProgram}.
+ *
+ * The context is scoped to one program function. Calls using it must be
+ * sequential. The caller owns the context and should call {@link free} when it
+ * is no longer needed.
+ */
+class PreparedProgram {
+    programName;
+    functionName;
+    programSource;
+    edition;
+    /**
+     * Instances are normally created through {@link ProgramManager.prepareProgram}.
+     */
+    constructor(programName, functionName, programSource, edition) {
+        this.programName = programName;
+        this.functionName = functionName;
+        this.programSource = programSource;
+        this.edition = edition;
+    }
+    /**
+     * Release the prepared snarkVM process. This method is idempotent.
+     */
+    free() {
+        preparedProgramBuilders.get(this)?.free();
+        preparedProgramBuilders.delete(this);
+    }
+}
 /**
  * The ProgramManager class is used to execute and deploy programs on the Aleo network and create value transfers.
  */
@@ -5906,6 +5956,93 @@ class ProgramManager {
     setKeyStore(keyStore) {
         this._keyStore = keyStore;
     }
+    /**
+     * Prepare a program for later authorization or proving-request generation.
+     *
+     * This resolves the source, edition, and transitive imports and initializes
+     * the underlying snarkVM process without accessing a private key. Reuse the
+     * returned context through the `preparedProgram` option, then call `free()`
+     * when it is no longer needed.
+     *
+     * @param options Program and function to prepare.
+     * @returns A reusable, caller-owned context.
+     *
+     * @example
+     * const prepared = await programManager.prepareProgram({
+     *     programName: "hello_hello.aleo",
+     *     functionName: "hello",
+     * });
+     * try {
+     *     const authorization = await programManager.buildAuthorization({
+     *         programName: "hello_hello.aleo",
+     *         functionName: "hello",
+     *         inputs: ["5u32", "5u32"],
+     *         preparedProgram: prepared,
+     *     });
+     * } finally {
+     *     prepared.free();
+     * }
+     */
+    async prepareProgram(options) {
+        let program = options.programSource;
+        if (program === undefined) {
+            try {
+                program = await this.networkClient.getProgram(options.programName);
+            }
+            catch (e) {
+                logAndThrow(`Error finding ${options.programName}. Network response: '${e.message}'. Please ensure you're connected to a valid Aleo network the program is deployed to the network.`);
+            }
+        }
+        else if (program instanceof Program) {
+            program = program.toString();
+        }
+        const parsedProgram = Program.fromString(program);
+        if (parsedProgram.id() !== options.programName) {
+            throw new Error(`Program source ID '${parsedProgram.id()}' does not match requested program '${options.programName}'`);
+        }
+        if (!parsedProgram.getFunctions().includes(options.functionName)) {
+            throw new Error(`Function '${options.functionName}' does not exist in program '${options.programName}'`);
+        }
+        const edition = options.edition
+            ?? (await this.resolveEditionAndAmendment(options.programName)).edition;
+        const { builder } = await this.buildProgramImports(program, options.programImports, false, options.functionName);
+        // Add the entry program as well as its imports so the snarkVM process is
+        // fully initialized before an authorization is requested.
+        builder.addProgram(options.programName, program, edition);
+        const preparedProgram = new PreparedProgram(options.programName, options.functionName, program, edition);
+        preparedProgramBuilders.set(preparedProgram, builder);
+        return preparedProgram;
+    }
+    validatePreparedProgram(preparedProgram, options) {
+        if (preparedProgram.programName !== options.programName
+            || preparedProgram.functionName !== options.functionName) {
+            throw new Error(`Prepared program is for ${preparedProgram.programName}/${preparedProgram.functionName}, not ${options.programName}/${options.functionName}`);
+        }
+        const providedSource = options.programSource instanceof Program
+            ? options.programSource.toString()
+            : options.programSource;
+        if (providedSource !== undefined
+            && providedSource !== preparedProgram.programSource) {
+            throw new Error("Prepared program source does not match the supplied program source");
+        }
+        if (options.edition !== undefined
+            && options.edition !== preparedProgram.edition) {
+            throw new Error("Prepared program edition does not match the supplied edition");
+        }
+        if (options.programImports) {
+            const builder = clonePreparedProgramBuilder(preparedProgram);
+            try {
+                for (const [name, source] of Object.entries(options.programImports)) {
+                    if (builder.getProgram(name) !== source.toString()) {
+                        throw new Error(`Prepared program import '${name}' does not match the supplied import`);
+                    }
+                }
+            }
+            finally {
+                builder.free();
+            }
+        }
+    }
     /**
      * Collect static imports declared by the entry program together with any
      * caller-provided imports, then resolve missing transitive dependencies.
@@ -6906,11 +7043,15 @@ class ProgramManager {
     async buildAuthorization(options) {
         // Destructure the options object to access the parameters.
         const { functionName, inputs, } = options;
+        const preparedProgram = options.preparedProgram;
+        if (preparedProgram) {
+            this.validatePreparedProgram(preparedProgram, options);
+        }
         const privateKey = options.privateKey;
-        let program = options.programSource;
-        let programName = options.programName;
-        let imports = options.programImports;
-        let edition = options.edition;
+        let program = preparedProgram?.programSource ?? options.programSource;
+        let programName = preparedProgram?.programName ?? options.programName;
+        const imports = options.programImports;
+        let edition = preparedProgram?.edition ?? options.edition;
         // Ensure the function exists on the network.
         if (program === undefined) {
             try {
@@ -6936,16 +7077,21 @@ class ProgramManager {
         if (typeof executionPrivateKey === "undefined") {
             throw "No private key provided and no private key set in the ProgramManager";
         }
-        const resolved = await this.resolveEditionAndAmendment(programName, edition);
-        edition = edition ?? resolved.edition;
+        if (!preparedProgram) {
+            const resolved = await this.resolveEditionAndAmendment(programName, edition);
+            edition = edition ?? resolved.edition;
+        }
         // Auto-convert bare string inputs to field elements where the function expects field type.
         const preparedInputs = this.prepareInputs(program, functionName, inputs);
         // Build ProgramImportsBuilder for import resolution (no key loading —
         // authorizations don't synthesize keys).
-        const { builder } = await this.buildProgramImports(program, imports, false, functionName);
+        const builder = preparedProgram
+            ? clonePreparedProgramBuilder(preparedProgram)
+            : (await this.buildProgramImports(program, imports, false, functionName)).builder;
+        const hasPreparedProcess = preparedProgram !== undefined;
         const hasImports = !builder.isEmpty();
         // Build and return an `Authorization` for the desired function.
-        const authorization = await ProgramManager$1.authorize(executionPrivateKey, program, functionName, preparedInputs, hasImports ? undefined : imports, edition, hasImports ? builder?.clone() : undefined);
+        const authorization = await ProgramManager$1.authorize(executionPrivateKey, program, functionName, preparedInputs, hasPreparedProcess || hasImports ? undefined : imports, edition, hasPreparedProcess ? builder : hasImports ? builder.clone() : undefined);
         return authorization;
     }
     /**
@@ -6979,11 +7125,15 @@ class ProgramManager {
     async buildAuthorizationUnchecked(options) {
         // Destructure the options object to access the parameters.
         const { functionName, inputs, } = options;
+        const preparedProgram = options.preparedProgram;
+        if (preparedProgram) {
+            this.validatePreparedProgram(preparedProgram, options);
+        }
         const privateKey = options.privateKey;
-        let program = options.programSource;
-        let programName = options.programName;
-        let imports = options.programImports;
-        let edition = options.edition;
+        let program = preparedProgram?.programSource ?? options.programSource;
+        let programName = preparedProgram?.programName ?? options.programName;
+        const imports = options.programImports;
+        let edition = preparedProgram?.edition ?? options.edition;
         // Ensure the function exists on the network.
         if (program === undefined) {
             try {
@@ -7009,16 +7159,21 @@ class ProgramManager {
         if (typeof executionPrivateKey === "undefined") {
             throw "No private key provided and no private key set in the ProgramManager";
         }
-        const resolved = await this.resolveEditionAndAmendment(programName, edition);
-        edition = edition ?? resolved.edition;
+        if (!preparedProgram) {
+            const resolved = await this.resolveEditionAndAmendment(programName, edition);
+            edition = edition ?? resolved.edition;
+        }
         // Auto-convert bare string inputs to field elements where the function expects field type.
         const preparedInputs = this.prepareInputs(program, functionName, inputs);
         // Build ProgramImportsBuilder for import resolution (no key loading —
         // authorizations don't synthesize keys).
-        const { builder } = await this.buildProgramImports(program, imports, false, functionName);
+        const builder = preparedProgram
+            ? clonePreparedProgramBuilder(preparedProgram)
+            : (await this.buildProgramImports(program, imports, false, functionName)).builder;
+        const hasPreparedProcess = preparedProgram !== undefined;
         const hasImports = !builder.isEmpty();
         // Build and return an `Authorization` for the desired function.
-        const authorization = await ProgramManager$1.buildAuthorizationUnchecked(executionPrivateKey, program, functionName, preparedInputs, hasImports ? undefined : imports, edition, hasImports ? builder?.clone() : undefined);
+        const authorization = await ProgramManager$1.buildAuthorizationUnchecked(executionPrivateKey, program, functionName, preparedInputs, hasPreparedProcess || hasImports ? undefined : imports, edition, hasPreparedProcess ? builder : hasImports ? builder.clone() : undefined);
         return authorization;
     }
     /**
@@ -7055,14 +7210,18 @@ class ProgramManager {
     async provingRequest(options) {
         // Destructure the options object to access the parameters.
         const { functionName, priorityFee, privateFee, inputs, recordSearchParams, broadcast = false, unchecked = false, } = options;
+        const preparedProgram = options.preparedProgram;
+        if (preparedProgram) {
+            this.validatePreparedProgram(preparedProgram, options);
+        }
         const baseFee = options.baseFee ? options.baseFee : 0;
         const privateKey = options.privateKey;
         const useFeeMaster = options.useFeeMaster ? options.useFeeMaster : false;
-        let program = options.programSource;
-        let programName = options.programName;
+        let program = preparedProgram?.programSource ?? options.programSource;
+        let programName = preparedProgram?.programName ?? options.programName;
         let feeRecord = options.feeRecord;
         let imports = options.programImports;
-        let edition = options.edition;
+        let edition = preparedProgram?.edition ?? options.edition;
         if (!inputs && !options.executionRequest) {
             throw new Error("Either function inputs or an execution request must be provided to form a proving request");
         }
@@ -7082,8 +7241,10 @@ class ProgramManager {
         if (programName === undefined) {
             programName = Program.fromString(program).id();
         }
-        const resolved = await this.resolveEditionAndAmendment(programName, edition);
-        edition = edition ?? resolved.edition;
+        if (!preparedProgram) {
+            const resolved = await this.resolveEditionAndAmendment(programName, edition);
+            edition = edition ?? resolved.edition;
+        }
         // Get the private key from the account if it is not provided in the parameters.
         let executionPrivateKey = privateKey;
         if (typeof privateKey === "undefined" &&
@@ -7093,7 +7254,7 @@ class ProgramManager {
         }
         // Resolve the program imports if they exist.
         const numberOfImports = Program.fromString(program).getImports().length;
-        if (numberOfImports > 0 && !imports) {
+        if (!preparedProgram && numberOfImports > 0 && !imports) {
             try {
                 imports = (await this.networkClient.getProgramImports(programName));
             }
@@ -7101,6 +7262,28 @@ class ProgramManager {
                 logAndThrow(`Error finding program imports. Network response: '${e.message}'. Please ensure you're connected to a valid Aleo network and the program is deployed to the network.`);
             }
         }
+        // Build ProgramImportsBuilder for import resolution (no key loading —
+        // proving requests don't synthesize keys).
+        const builder = preparedProgram
+            ? clonePreparedProgramBuilder(preparedProgram)
+            : (await this.buildProgramImports(program, imports, false, functionName)).builder;
+        const hasPreparedProcess = preparedProgram !== undefined;
+        const hasImports = !builder.isEmpty();
+        // Normalize imports once to the full merged set from the builder so
+        // both the private-fee estimate below and the Rust-side fee estimator
+        // (estimate_fee_for_authorization uses the legacy imports Object to
+        // avoid a RefCell double-borrow — see proving_request.rs) see all
+        // transitive imports, not just the caller's partial set. Use
+        // programNames + getProgram to avoid serializing key bytes (toObject
+        // would serialize all proving/verifying keys, which can be tens of
+        // MB). The prepared executionRequest path skips the copy: it passes
+        // the process builder directly and never estimates fees, so the
+        // imports Object goes unused there.
+        const importsObjectUnused = hasPreparedProcess
+            && options.executionRequest instanceof ExecutionRequest;
+        if ((hasPreparedProcess || hasImports) && !importsObjectUnused) {
+            imports = programImportsFromBuilder(builder, programName);
+        }
         // Get the fee record from the account if it is not provided in the parameters
         try {
             if (privateFee && !useFeeMaster && !options.executionRequest) {
@@ -7121,30 +7304,11 @@ class ProgramManager {
         catch (e) {
             logAndThrow(`Error finding fee record. Record finder response: '${e.message}'. Please ensure you're connected to a valid Aleo network and a record with enough balance exists.`);
         }
-        // Build ProgramImportsBuilder for import resolution (no key loading —
-        // proving requests don't synthesize keys).
-        // Note: imports is kept for the Rust-side fee estimation fallback
-        // (estimate_fee_for_authorization uses the legacy imports Object to avoid
-        // a RefCell double-borrow — see proving_request.rs).
-        const { builder } = await this.buildProgramImports(program, imports, false, functionName);
-        const hasImports = !builder.isEmpty();
-        // Normalize imports to the full merged set from the builder so the
-        // Rust fee estimator sees all transitive imports, not just the
-        // caller's partial set. Use programNames + getProgram to avoid
-        // serializing key bytes (toObject would serialize all proving/
-        // verifying keys, which can be tens of MB).
-        if (hasImports) {
-            const merged = {};
-            for (const name of Array.from(builder.programNames())) {
-                const src = builder.getProgram(name);
-                if (src)
-                    merged[name] = src;
-            }
-            imports = merged;
-        }
         if (options.executionRequest instanceof ExecutionRequest) {
-            return await ProgramManager$1.buildProvingRequestFromExecutionRequest(options.executionRequest, program, unchecked, broadcast, edition, imports, // kept for fee estimation in Rust
-            executionPrivateKey, hasImports ? builder?.clone() : undefined);
+            return await ProgramManager$1.buildProvingRequestFromExecutionRequest(options.executionRequest, program, unchecked, broadcast, edition, 
+            // The prepared process supersedes the legacy imports Object;
+            // without one, imports is kept for fee estimation in Rust.
+            hasPreparedProcess ? undefined : imports, executionPrivateKey, hasPreparedProcess ? builder : hasImports ? builder.clone() : undefined);
         }
         else {
             // Ensure the private key exists.
@@ -7159,7 +7323,7 @@ class ProgramManager {
             const preparedInputs = this.prepareInputs(program, functionName, inputs);
             // Build and return the `ProvingRequest`.
             return await ProgramManager$1.buildProvingRequest(executionPrivateKey, program, functionName, preparedInputs, baseFee, priorityFee, feeRecord, imports, // kept for fee estimation in Rust
-            broadcast, unchecked, edition, useFeeMaster, hasImports ? builder?.clone() : undefined);
+            broadcast, unchecked, edition, useFeeMaster, hasPreparedProcess ? builder : hasImports ? builder.clone() : undefined);
         }
     }
     /**
@@ -8536,7 +8700,7 @@ class ProgramManager {
      * import { AleoKeyProvider, getOrInitConsensusVersionTestHeights, ProgramManager, NetworkRecordProvider } from "@provablehq/sdk/mainnet.js";
      *
      * // Initialize the development consensus heights in order to work with devnode.
-     * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16");
+     * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17");
      *
      * // Create a new NetworkClient and RecordProvider.
      * const recordProvider = new NetworkRecordProvider(account, networkClient);
@@ -8663,7 +8827,7 @@ class ProgramManager {
      * import { ProgramManager, NetworkRecordProvider, getOrInitConsensusVersionTestHeights } from "@provablehq/sdk/mainnet.js";
      *
      * // Initialize the development consensus heights in order to work with a local devnode.
-     * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16");
+     * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17");
      *
      * // Create a new NetworkClient, and RecordProvider
      * const recordProvider = new NetworkRecordProvider(account, networkClient);
@@ -9209,5 +9373,5 @@ async function initializeWasm() {
     logger.warn("initializeWasm is deprecated, you no longer need to use it");
 }
 
-export { Account, AleoKeyProvider, AleoKeyProviderParams, AleoNetworkClient, BlockHeightSearch, CREDITS_PROGRAM_KEYS, KeyVerificationError as ChecksumMismatchError, DecryptionNotEnabledError, IndexedDBKeyStore, InvalidLocatorError, KEY_STORE, KeyVerificationError, MemKeyVerifier, NetworkRecordProvider, OfflineKeyProvider, OfflineSearchParams, PRIVATE_TO_PUBLIC_TRANSFER, PRIVATE_TRANSFER, PRIVATE_TRANSFER_TYPES, PUBLIC_TO_PRIVATE_TRANSFER, PUBLIC_TRANSFER, PUBLIC_TRANSFER_AS_SIGNER, ProgramManager, RECORD_DOMAIN, RecordNotFoundError, RecordScanner, RecordScannerRequestError, SealanceMerkleTree, UUIDError, VALID_TRANSFER_TYPES, ViewKeyNotStoredError, buildExecutionRequestFromExternallySignedData, computeExternalSigningInputs, cookieAffinityTransport, defaultTransport, encryptAuthorization, encryptProvingRequest, encryptRegistrationRequest, encryptSerializedProvingRequest, encryptViewKey, generateHookData, getLogLevel, initializeWasm, inputsToFields, isInputIdStrategy, isProveApiErrorBody, isProvingResponse, isRecordViewKeyStrategy, isViewKeyStrategy, logAndThrow, programChecksum, provingKeyLocator, serializeProvingRequest, setLogLevel, sha256Hex, toAddress, toField, toGroup, toSignature, toViewKey, translationKeyLocator, verifyBatchProof, verifyProof, verifyingKeyLocator, zeroizeBytes };
+export { Account, AleoKeyProvider, AleoKeyProviderParams, AleoNetworkClient, BlockHeightSearch, CREDITS_PROGRAM_KEYS, KeyVerificationError as ChecksumMismatchError, DecryptionNotEnabledError, IndexedDBKeyStore, InvalidLocatorError, KEY_STORE, KeyVerificationError, MemKeyVerifier, NetworkRecordProvider, OfflineKeyProvider, OfflineSearchParams, PRIVATE_TO_PUBLIC_TRANSFER, PRIVATE_TRANSFER, PRIVATE_TRANSFER_TYPES, PUBLIC_TO_PRIVATE_TRANSFER, PUBLIC_TRANSFER, PUBLIC_TRANSFER_AS_SIGNER, PreparedProgram, ProgramManager, RECORD_DOMAIN, RecordNotFoundError, RecordScanner, RecordScannerRequestError, SealanceMerkleTree, UUIDError, VALID_TRANSFER_TYPES, ViewKeyNotStoredError, buildExecutionRequestFromExternallySignedData, computeExternalSigningInputs, cookieAffinityTransport, defaultTransport, encryptAuthorization, encryptProvingRequest, encryptRegistrationRequest, encryptSerializedProvingRequest, encryptViewKey, generateHookData, getLogLevel, initializeWasm, inputsToFields, isInputIdStrategy, isProveApiErrorBody, isProvingResponse, isRecordViewKeyStrategy, isViewKeyStrategy, logAndThrow, programChecksum, provingKeyLocator, serializeProvingRequest, setLogLevel, sha256Hex, toAddress, toField, toGroup, toSignature, toViewKey, translationKeyLocator, verifyBatchProof, verifyProof, verifyingKeyLocator, zeroizeBytes };
 //# sourceMappingURL=browser.js.map