@provablehq/sdk 0.10.4 → 0.10.5

package/dist/testnet/browser.js

@@ -1,5 +1,5 @@
 import 'core-js/proposals/json-parse-with-source.js';
-import { ViewKey, ComputeKey, Address, PrivateKeyCiphertext, PrivateKey, RecordCiphertext, EncryptionToolkit, Group, Metadata, VerifyingKey, Program, Plaintext, Transaction, ProvingRequest, ProvingKey, RecordPlaintext, Field, Poseidon4, ProgramManager as ProgramManager$1, ExecutionRequest, stringToField, verifyFunctionExecution, Value, Proof, Signature } from '@provablehq/wasm/testnet.js';
+import { ViewKey, ComputeKey, Address, PrivateKeyCiphertext, PrivateKey, RecordCiphertext, EncryptionToolkit, Group, Metadata, VerifyingKey, Program, Plaintext, Transaction, ProvingRequest, ProvingKey, RecordPlaintext, Field, Poseidon4, ProgramManager as ProgramManager$1, CallbackQuery, 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, ProgramManager as ProgramManagerBase, Proof, ProvingKey, ProvingRequest, RecordCiphertext, RecordPlaintext, Scalar, Signature, Transaction, Transition, U128, U16, U32, U64, U8, Value, VerifyingKey, ViewKey, getOrInitConsensusVersionTestHeights, initThreadPool, snarkVerify, snarkVerifyBatch, stringToField, verifyFunctionExecution } from '@provablehq/wasm/testnet.js';
 import { cryptoBoxSeal } from '@serenity-kit/noble-sodium';
 import { base64, bech32m } from '@scure/base';
@@ -841,6 +841,7 @@ class AleoNetworkClient {
     verboseErrors;
     network;
     transport;
+    hasCustomTransport;
     apiKey;
     consumerId;
     jwtData;
@@ -855,6 +856,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;
@@ -862,7 +864,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",
                     "X-Aleo-environment": environment(),
                 };
             }
@@ -878,7 +880,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",
                 "X-Aleo-environment": environment(),
             };
         }
@@ -1595,6 +1597,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.
      *
@@ -5187,6 +5208,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();
+                ProgramManager$1.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 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
      */
@@ -5731,21 +5786,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();
-                ProgramManager$1.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
+            ? QueryOption.offlineQuery(offlineQuery)
+            : this.networkClient.hasCustomTransport
+                ? QueryOption.callbackQuery(this.buildCallbackQuery())
+                : undefined;
+        await this.ensureInclusionKeys(!!offlineQuery);
         // Build an execution transaction
-        return await ProgramManager$1.buildExecutionTransaction(executionPrivateKey, program, functionName, preparedInputs, priorityFee, feeRecord, this.host, imports, provingKey, verifyingKey, feeProvingKey, feeVerifyingKey, offlineQuery, edition);
+        return await ProgramManager$1.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.
@@ -5871,22 +5924,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();
-                ProgramManager$1.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
+            ? QueryOption.offlineQuery(offlineQuery)
+            : this.networkClient.hasCustomTransport
+                ? QueryOption.callbackQuery(this.buildCallbackQuery())
+                : undefined;
+        await this.ensureInclusionKeys(!!offlineQuery);
         // Build an execution transaction from the authorization.
         console.log("Executing authorizations");
-        return await ProgramManager$1.executeAuthorization(authorization, feeAuthorization, program, provingKey, verifyingKey, feeProvingKey, feeVerifyingKey, imports, this.host, offlineQuery);
+        return await ProgramManager$1.executeAuthorization(authorization, feeAuthorization, program, provingKey, verifyingKey, feeProvingKey, feeVerifyingKey, imports, this.host, query);
     }
     /**
      * Builds a SnarkVM `Authorization` for a specific function.
@@ -6373,11 +6419,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
+            ? QueryOption.offlineQuery(offlineQuery)
+            : this.networkClient.hasCustomTransport
+                ? 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 ProgramManager$1.executeFunctionOffline(executionPrivateKey, program, function_name, preparedInputs, proveExecution, false, imports, provingKey, verifyingKey, this.host, offlineQuery, edition);
+        return ProgramManager$1.executeFunctionOffline(executionPrivateKey, program, function_name, preparedInputs, proveExecution, false, imports, provingKey, verifyingKey, this.host, query, edition);
     }
     /**
      * Join two credits records into a single credits record
@@ -6476,20 +6528,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();
-                ProgramManager$1.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
+            ? QueryOption.offlineQuery(offlineQuery)
+            : this.networkClient.hasCustomTransport
+                ? QueryOption.callbackQuery(this.buildCallbackQuery())
+                : undefined;
+        await this.ensureInclusionKeys(!!offlineQuery);
         // Build an execution transaction and submit it to the network
-        const tx = await ProgramManager$1.buildJoinTransaction(executionPrivateKey, recordOne, recordTwo, priorityFee, feeRecord, this.host, joinProvingKey, joinVerifyingKey, feeProvingKey, feeVerifyingKey, offlineQuery);
+        const tx = await ProgramManager$1.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());
@@ -6554,20 +6600,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();
-                ProgramManager$1.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
+            ? QueryOption.offlineQuery(offlineQuery)
+            : this.networkClient.hasCustomTransport
+                ? QueryOption.callbackQuery(this.buildCallbackQuery())
+                : undefined;
+        await this.ensureInclusionKeys(!!offlineQuery);
         // Build an execution transaction and submit it to the network
-        const tx = await ProgramManager$1.buildSplitTransaction(executionPrivateKey, splitAmount, amountRecord, this.host, splitProvingKey, splitVerifyingKey, offlineQuery);
+        const tx = await ProgramManager$1.buildSplitTransaction(executionPrivateKey, splitAmount, amountRecord, this.host, splitProvingKey, splitVerifyingKey, query);
         return await this.networkClient.submitTransaction(tx);
     }
     /**
@@ -6692,22 +6732,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();
-            ProgramManager$1.loadInclusionProver(inclusionKeys[0]);
-            try {
-                const inclusionKeys = await this.keyProvider.inclusionKeys();
-                ProgramManager$1.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
+            ? QueryOption.offlineQuery(offlineQuery)
+            : this.networkClient.hasCustomTransport
+                ? QueryOption.callbackQuery(this.buildCallbackQuery())
+                : undefined;
+        await this.ensureInclusionKeys(!!offlineQuery);
         // Build an execution transaction
-        return await ProgramManager$1.buildTransferTransaction(executionPrivateKey, amount, recipient, transferType, amountRecord, priorityFee, feeRecord, this.host, transferProvingKey, transferVerifyingKey, feeProvingKey, feeVerifyingKey, offlineQuery);
+        return await ProgramManager$1.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