@provablehq/sdk 0.11.11 → 0.12.0

package/dist/testnet/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,19,20");
+     * 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,19,20");
+     * 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/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,19,20");
+     * 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,19,20");
+     * 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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@provablehq/sdk",
-  "version": "0.11.11",
+  "version": "0.12.0",
   "description": "A Software Development Kit (SDK) for Zero-Knowledge Transactions",
   "collaborators": [
     "The Provable Team"
@@ -91,7 +91,7 @@
   },
   "homepage": "https://github.com/ProvableHQ/sdk#readme",
   "dependencies": {
-    "@provablehq/wasm": "^0.11.11",
+    "@provablehq/wasm": "^0.12.0",
     "@scure/base": "^2.0.0",
     "@serenity-kit/noble-sodium": "0.2.3",
     "comlink": "^4.4.2",