@provablehq/sdk 0.11.10 → 0.12.0

package/dist/mainnet/program-manager.d.cts

@@ -1670,7 +1670,7 @@ declare 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,17,18");
+     * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21");
      *
      * // Create a new NetworkClient and RecordProvider.
      * const recordProvider = new NetworkRecordProvider(account, networkClient);
@@ -1711,7 +1711,7 @@ declare 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,17,18");
+     * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21");
      *
      * // Create a new NetworkClient, and RecordProvider
      * const recordProvider = new NetworkRecordProvider(account, networkClient);
@@ -1786,7 +1786,9 @@ declare function inputsToFields(inputs: string[]): string[];
  * Verify an Aleo zkSnark proof against a verifying key and public inputs.
  *
  * This verifies a proof produced by an Aleo program that may not be deployed on chain.
- * It directly invokes the Varuna proof verification from snarkVM.
+ * It directly invokes the Varuna proof verification from snarkVM, using the Varuna version
+ * required by the latest consensus version (Varuna V3 as of ConsensusVersion::V21). Proofs
+ * generated with an older Varuna version will fail verification.
  *
  * **Note:** The proof must have been generated with the Fiat-Shamir domain separator
  * "snark_verify". Proofs generated via snarkVM with a different function name will fail
@@ -1822,7 +1824,9 @@ declare function verifyProof(options: VerificationOptions): boolean;
  *
  * Each verifying key is paired with one or more sets of public inputs (instances).
  * Inputs can be raw field element strings or Aleo type strings — non-field inputs
- * are automatically converted to their field representation.
+ * are automatically converted to their field representation. Verification uses the
+ * Varuna version required by the latest consensus version (Varuna V3 as of
+ * ConsensusVersion::V21); batch proofs generated with an older Varuna version will fail.
  *
  * **Note:** The proof must have been generated with the Fiat-Shamir domain separator
  * "snark_verify_batch". Proofs generated with a different function name will fail

package/dist/mainnet/program-manager.d.ts

@@ -1670,7 +1670,7 @@ declare 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,17,18");
+     * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21");
      *
      * // Create a new NetworkClient and RecordProvider.
      * const recordProvider = new NetworkRecordProvider(account, networkClient);
@@ -1711,7 +1711,7 @@ declare 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,17,18");
+     * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21");
      *
      * // Create a new NetworkClient, and RecordProvider
      * const recordProvider = new NetworkRecordProvider(account, networkClient);
@@ -1786,7 +1786,9 @@ declare function inputsToFields(inputs: string[]): string[];
  * Verify an Aleo zkSnark proof against a verifying key and public inputs.
  *
  * This verifies a proof produced by an Aleo program that may not be deployed on chain.
- * It directly invokes the Varuna proof verification from snarkVM.
+ * It directly invokes the Varuna proof verification from snarkVM, using the Varuna version
+ * required by the latest consensus version (Varuna V3 as of ConsensusVersion::V21). Proofs
+ * generated with an older Varuna version will fail verification.
  *
  * **Note:** The proof must have been generated with the Fiat-Shamir domain separator
  * "snark_verify". Proofs generated via snarkVM with a different function name will fail
@@ -1822,7 +1824,9 @@ declare function verifyProof(options: VerificationOptions): boolean;
  *
  * Each verifying key is paired with one or more sets of public inputs (instances).
  * Inputs can be raw field element strings or Aleo type strings — non-field inputs
- * are automatically converted to their field representation.
+ * are automatically converted to their field representation. Verification uses the
+ * Varuna version required by the latest consensus version (Varuna V3 as of
+ * ConsensusVersion::V21); batch proofs generated with an older Varuna version will fail.
  *
  * **Note:** The proof must have been generated with the Fiat-Shamir domain separator
  * "snark_verify_batch". Proofs generated with a different function name will fail

package/dist/testnet/browser.cjs

@@ -1764,7 +1764,7 @@ class AleoNetworkClient {
             else {
                 this.headers = {
                     // This is replaced by the actual version by a Rollup plugin
-                    "X-Aleo-SDK-Version": "0.11.10",
+                    "X-Aleo-SDK-Version": "0.12.0",
                     "X-Aleo-environment": environment(),
                 };
             }
@@ -1786,7 +1786,7 @@ class AleoNetworkClient {
         else {
             this.headers = {
                 // This is replaced by the actual version by a Rollup plugin
-                "X-Aleo-SDK-Version": "0.11.10",
+                "X-Aleo-SDK-Version": "0.12.0",
                 "X-Aleo-environment": environment(),
             };
         }
@@ -9200,7 +9200,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,17,18");
+     * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21");
      *
      * // Create a new NetworkClient and RecordProvider.
      * const recordProvider = new NetworkRecordProvider(account, networkClient);
@@ -9327,7 +9327,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,17,18");
+     * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21");
      *
      * // Create a new NetworkClient, and RecordProvider
      * const recordProvider = new NetworkRecordProvider(account, networkClient);
@@ -9575,7 +9575,9 @@ function inputsToFields(inputs) {
  * Verify an Aleo zkSnark proof against a verifying key and public inputs.
  *
  * This verifies a proof produced by an Aleo program that may not be deployed on chain.
- * It directly invokes the Varuna proof verification from snarkVM.
+ * It directly invokes the Varuna proof verification from snarkVM, using the Varuna version
+ * required by the latest consensus version (Varuna V3 as of ConsensusVersion::V21). Proofs
+ * generated with an older Varuna version will fail verification.
  *
  * **Note:** The proof must have been generated with the Fiat-Shamir domain separator
  * "snark_verify". Proofs generated via snarkVM with a different function name will fail
@@ -9626,7 +9628,9 @@ function verifyProof(options) {
  *
  * Each verifying key is paired with one or more sets of public inputs (instances).
  * Inputs can be raw field element strings or Aleo type strings — non-field inputs
- * are automatically converted to their field representation.
+ * are automatically converted to their field representation. Verification uses the
+ * Varuna version required by the latest consensus version (Varuna V3 as of
+ * ConsensusVersion::V21); batch proofs generated with an older Varuna version will fail.
  *
  * **Note:** The proof must have been generated with the Fiat-Shamir domain separator
  * "snark_verify_batch". Proofs generated with a different function name will fail