@provablehq/sdk 0.10.4 → 0.10.5-rc.1

package/dist/mainnet/browser.cjs

@@ -842,6 +842,7 @@ class AleoNetworkClient {
     verboseErrors;
     network;
     transport;
+    hasCustomTransport;
     apiKey;
     consumerId;
     jwtData;
@@ -856,6 +857,7 @@ class AleoNetworkClient {
         this.ctx = {};
         this.verboseErrors = true;
         this.transport = options?.transport ?? defaultTransport;
+        this.hasCustomTransport = !!options?.transport;
         if (options) {
             if (options.headers) {
                 this.headers = options.headers;
@@ -863,7 +865,7 @@ class AleoNetworkClient {
             else {
                 this.headers = {
                     // This is replaced by the actual version by a Rollup plugin
-                    "X-Aleo-SDK-Version": "0.10.4",
+                    "X-Aleo-SDK-Version": "0.10.5-rc.1",
                     "X-Aleo-environment": environment(),
                 };
             }
@@ -879,7 +881,7 @@ class AleoNetworkClient {
         else {
             this.headers = {
                 // This is replaced by the actual version by a Rollup plugin
-                "X-Aleo-SDK-Version": "0.10.4",
+                "X-Aleo-SDK-Version": "0.10.5-rc.1",
                 "X-Aleo-environment": environment(),
             };
         }
@@ -1596,6 +1598,25 @@ class AleoNetworkClient {
             this.ctx = {};
         }
     }
+    /**
+     * Returns state paths for the given record commitments.
+     *
+     * @param {string[]} commitments - Array of commitment field strings.
+     * @returns {Promise<string[]>} Array of state path strings corresponding to the commitments.
+     */
+    async getStatePaths(commitments) {
+        try {
+            this.ctx = { "X-ALEO-METHOD": "getStatePaths" };
+            const csv = commitments.map(c => encodeURIComponent(c)).join(",");
+            return await this.fetchData(`/statePaths?commitments=${csv}`);
+        }
+        catch (error) {
+            throw new Error(`Error fetching state paths for commitments: ${error}`);
+        }
+        finally {
+            this.ctx = {};
+        }
+    }
     /**
      * Returns the latest block hash.
      *
@@ -5188,6 +5209,40 @@ class ProgramManager {
         this.keyProvider = keyProvider ? keyProvider : new AleoKeyProvider({ transport: networkClientOptions?.transport });
         this.recordProvider = recordProvider;
     }
+    /**
+     * Pre-load the inclusion prover for offline execution. Required when the
+     * user provides an explicit OfflineQuery (truly offline — can't fetch lazily).
+     * For CallbackQuery, snarkVM handles inclusion key loading on demand.
+     */
+    async ensureInclusionKeys(isOffline) {
+        if (isOffline && !this.inclusionKeysLoaded) {
+            try {
+                const inclusionKeys = await this.keyProvider.inclusionKeys();
+                mainnet_js.ProgramManager.loadInclusionProver(inclusionKeys[0]);
+                this.inclusionKeysLoaded = true;
+            }
+            catch {
+                logAndThrow(`Inclusion key bytes not loaded, please ensure the program manager is initialized with a KeyProvider that includes the inclusion key.`);
+            }
+        }
+    }
+    /**
+     * Create a CallbackQuery that delegates all state fetching to the
+     * transport-aware network client. WASM calls back into these functions
+     * during trace.prepare_async() instead of making its own reqwest calls.
+     *
+     * This handles ALL programs including those with DynamicRecord inputs.
+     */
+    buildCallbackQuery() {
+        const networkClient = this.networkClient;
+        return new mainnet_js.CallbackQuery(
+        // getStateRoot: () => Promise<string>
+        async () => await networkClient.getStateRoot(), 
+        // getStatePaths: (commitments: string[]) => Promise<string[]>
+        async (commitments) => await networkClient.getStatePaths(commitments), 
+        // getBlockHeight: () => Promise<number>
+        async () => await networkClient.getLatestHeight());
+    }
     /**
      * Check if the fee is sufficient to pay for the transaction
      */
@@ -5732,21 +5787,19 @@ 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.`);
         }
-        if (offlineQuery && !this.inclusionKeysLoaded) {
-            try {
-                const inclusionKeys = await this.keyProvider.inclusionKeys();
-                mainnet_js.ProgramManager.loadInclusionProver(inclusionKeys[0]);
-                this.inclusionKeysLoaded = true;
-                console.log("Successfully loaded inclusion key");
-            }
-            catch {
-                logAndThrow(`Inclusion key bytes not loaded, please ensure the program manager is initialized with a KeyProvider that includes the inclusion key.`);
-            }
-        }
         // Auto-convert bare string inputs to field elements where the function expects field type.
         const preparedInputs = this.prepareInputs(program, functionName, inputs);
+        // Build the query: user-provided OfflineQuery for truly offline execution,
+        // CallbackQuery when a custom transport is configured, or undefined to
+        // let WASM use its internal SnapshotQuery with the default fetch.
+        const query = offlineQuery
+            ? mainnet_js.QueryOption.offlineQuery(offlineQuery)
+            : this.networkClient.hasCustomTransport
+                ? mainnet_js.QueryOption.callbackQuery(this.buildCallbackQuery())
+                : undefined;
+        await this.ensureInclusionKeys(!!offlineQuery);
         // Build an execution transaction
-        return await mainnet_js.ProgramManager.buildExecutionTransaction(executionPrivateKey, program, functionName, preparedInputs, priorityFee, feeRecord, this.host, imports, provingKey, verifyingKey, feeProvingKey, feeVerifyingKey, offlineQuery, edition);
+        return await mainnet_js.ProgramManager.buildExecutionTransaction(executionPrivateKey, program, functionName, preparedInputs, priorityFee, feeRecord, this.host, imports, provingKey, verifyingKey, feeProvingKey, feeVerifyingKey, query, edition);
     }
     /**
      * Builds an execution transaction for submission to the Aleo network from an Authorization and Fee Authorization.
@@ -5872,22 +5925,15 @@ 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.`);
             }
         }
-        // If the offline query exists, add the inclusion key.
-        if (offlineQuery && !this.inclusionKeysLoaded) {
-            console.log("Loading inclusion keys for offline proving.");
-            try {
-                const inclusionKeys = await this.keyProvider.inclusionKeys();
-                mainnet_js.ProgramManager.loadInclusionProver(inclusionKeys[0]);
-                this.inclusionKeysLoaded = true;
-                console.log("Successfully loaded inclusion key");
-            }
-            catch {
-                logAndThrow(`Inclusion key bytes not loaded, please ensure the program manager is initialized with a KeyProvider that includes the inclusion key.`);
-            }
-        }
+        const query = offlineQuery
+            ? mainnet_js.QueryOption.offlineQuery(offlineQuery)
+            : this.networkClient.hasCustomTransport
+                ? mainnet_js.QueryOption.callbackQuery(this.buildCallbackQuery())
+                : undefined;
+        await this.ensureInclusionKeys(!!offlineQuery);
         // Build an execution transaction from the authorization.
         console.log("Executing authorizations");
-        return await mainnet_js.ProgramManager.executeAuthorization(authorization, feeAuthorization, program, provingKey, verifyingKey, feeProvingKey, feeVerifyingKey, imports, this.host, offlineQuery);
+        return await mainnet_js.ProgramManager.executeAuthorization(authorization, feeAuthorization, program, provingKey, verifyingKey, feeProvingKey, feeVerifyingKey, imports, this.host, query);
     }
     /**
      * Builds a SnarkVM `Authorization` for a specific function.
@@ -6374,11 +6420,17 @@ class ProgramManager {
         }
         // Auto-convert bare string inputs to field elements where the function expects field type.
         const preparedInputs = this.prepareInputs(program, function_name, inputs);
+        const query = offlineQuery
+            ? mainnet_js.QueryOption.offlineQuery(offlineQuery)
+            : this.networkClient.hasCustomTransport
+                ? mainnet_js.QueryOption.callbackQuery(this.buildCallbackQuery())
+                : undefined;
+        await this.ensureInclusionKeys(!!offlineQuery);
         // Run the program offline and return the result
         console.log("Running program offline");
         console.log("Proving key: ", provingKey);
         console.log("Verifying key: ", verifyingKey);
-        return mainnet_js.ProgramManager.executeFunctionOffline(executionPrivateKey, program, function_name, preparedInputs, proveExecution, false, imports, provingKey, verifyingKey, this.host, offlineQuery, edition);
+        return mainnet_js.ProgramManager.executeFunctionOffline(executionPrivateKey, program, function_name, preparedInputs, proveExecution, false, imports, provingKey, verifyingKey, this.host, query, edition);
     }
     /**
      * Join two credits records into a single credits record
@@ -6477,20 +6529,14 @@ class ProgramManager {
         catch (e) {
             logAndThrow("Records provided are not valid. Please ensure they are valid plaintext records.");
         }
-        // Load the inclusion prover offline.
-        if (offlineQuery && !this.inclusionKeysLoaded) {
-            try {
-                const inclusionKeys = await this.keyProvider.inclusionKeys();
-                mainnet_js.ProgramManager.loadInclusionProver(inclusionKeys[0]);
-                this.inclusionKeysLoaded = true;
-                console.log("Successfully loaded inclusion key");
-            }
-            catch {
-                logAndThrow(`Inclusion key bytes not loaded, please ensure the program manager is initialized with a KeyProvider that includes the inclusion key.`);
-            }
-        }
+        const query = offlineQuery
+            ? mainnet_js.QueryOption.offlineQuery(offlineQuery)
+            : this.networkClient.hasCustomTransport
+                ? mainnet_js.QueryOption.callbackQuery(this.buildCallbackQuery())
+                : undefined;
+        await this.ensureInclusionKeys(!!offlineQuery);
         // Build an execution transaction and submit it to the network
-        const tx = await mainnet_js.ProgramManager.buildJoinTransaction(executionPrivateKey, recordOne, recordTwo, priorityFee, feeRecord, this.host, joinProvingKey, joinVerifyingKey, feeProvingKey, feeVerifyingKey, offlineQuery);
+        const tx = await mainnet_js.ProgramManager.buildJoinTransaction(executionPrivateKey, recordOne, recordTwo, priorityFee, feeRecord, this.host, joinProvingKey, joinVerifyingKey, feeProvingKey, feeVerifyingKey, query);
         // Check if the account has sufficient credits to pay for the transaction
         if (!privateFee) {
             await this.checkFee(feeAddress.to_string(), tx.feeAmount());
@@ -6555,20 +6601,14 @@ class ProgramManager {
         catch (e) {
             logAndThrow("Record provided is not valid. Please ensure it is a valid plaintext record.");
         }
-        // Load the inclusion prover offline.
-        if (offlineQuery && !this.inclusionKeysLoaded) {
-            try {
-                const inclusionKeys = await this.keyProvider.inclusionKeys();
-                mainnet_js.ProgramManager.loadInclusionProver(inclusionKeys[0]);
-                this.inclusionKeysLoaded = true;
-                console.log("Successfully loaded inclusion key");
-            }
-            catch {
-                logAndThrow(`Inclusion key bytes not loaded, please ensure the program manager is initialized with a KeyProvider that includes the inclusion key.`);
-            }
-        }
+        const query = offlineQuery
+            ? mainnet_js.QueryOption.offlineQuery(offlineQuery)
+            : this.networkClient.hasCustomTransport
+                ? mainnet_js.QueryOption.callbackQuery(this.buildCallbackQuery())
+                : undefined;
+        await this.ensureInclusionKeys(!!offlineQuery);
         // Build an execution transaction and submit it to the network
-        const tx = await mainnet_js.ProgramManager.buildSplitTransaction(executionPrivateKey, splitAmount, amountRecord, this.host, splitProvingKey, splitVerifyingKey, offlineQuery);
+        const tx = await mainnet_js.ProgramManager.buildSplitTransaction(executionPrivateKey, splitAmount, amountRecord, this.host, splitProvingKey, splitVerifyingKey, query);
         return await this.networkClient.submitTransaction(tx);
     }
     /**
@@ -6693,22 +6733,14 @@ 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.`);
         }
-        // Load the inclusion prover offline.
-        if (offlineQuery && !this.inclusionKeysLoaded) {
-            const inclusionKeys = await this.keyProvider.inclusionKeys();
-            mainnet_js.ProgramManager.loadInclusionProver(inclusionKeys[0]);
-            try {
-                const inclusionKeys = await this.keyProvider.inclusionKeys();
-                mainnet_js.ProgramManager.loadInclusionProver(inclusionKeys[0]);
-                this.inclusionKeysLoaded = true;
-                console.log("Successfully loaded inclusion key");
-            }
-            catch {
-                logAndThrow(`Inclusion key bytes not loaded, please ensure the program manager is initialized with a KeyProvider that includes the inclusion key.`);
-            }
-        }
+        const query = offlineQuery
+            ? mainnet_js.QueryOption.offlineQuery(offlineQuery)
+            : this.networkClient.hasCustomTransport
+                ? mainnet_js.QueryOption.callbackQuery(this.buildCallbackQuery())
+                : undefined;
+        await this.ensureInclusionKeys(!!offlineQuery);
         // Build an execution transaction
-        return await mainnet_js.ProgramManager.buildTransferTransaction(executionPrivateKey, amount, recipient, transferType, amountRecord, priorityFee, feeRecord, this.host, transferProvingKey, transferVerifyingKey, feeProvingKey, feeVerifyingKey, offlineQuery);
+        return await mainnet_js.ProgramManager.buildTransferTransaction(executionPrivateKey, amount, recipient, transferType, amountRecord, priorityFee, feeRecord, this.host, transferProvingKey, transferVerifyingKey, feeProvingKey, feeVerifyingKey, query);
     }
     /**
      * Build a transfer_public transaction to transfer credits to another account for later submission to the Aleo network