@provablehq/wasm 0.10.2 → 0.10.4

package/dist/testnet/aleo_wasm.d.ts

@@ -14,18 +14,6 @@ export function initThreadPool(url: URL, num_threads: number): Promise<void>;
  * @returns {boolean} True if the batch proof is valid, false otherwise
  */
 export function snarkVerifyBatch(verifying_keys: Array<any>, inputs: Array<any>, proof: Proof): boolean;
-/**
- * Verify a SNARK proof against a verifying key and public inputs.
- *
- * This function verifies a proof produced by an Aleo program that may not be deployed on chain.
- * It directly invokes the Varuna proof verification from snarkVM.
- *
- * @param {VerifyingKey} verifying_key The verifying key for the circuit
- * @param {Array<string>} inputs Array of field element strings representing public inputs (e.g. ["1field", "2field"])
- * @param {Proof} proof The proof to verify
- * @returns {boolean} True if the proof is valid, false otherwise
- */
-export function snarkVerify(verifying_key: VerifyingKey, inputs: Array<any>, proof: Proof): boolean;
 /**
  * Verify an execution. Executions with multiple transitions must have the program source code and
  * verifying keys of imported functions supplied from outside to correctly verify. Also, this does
@@ -40,6 +28,19 @@ export function snarkVerify(verifying_key: VerifyingKey, inputs: Array<any>, pro
  * @returns {boolean} True if the execution is valid, false otherwise
  */
 export function verifyFunctionExecution(execution: Execution, verifying_key: VerifyingKey, program: Program, function_id: string, imports: object | null | undefined, imported_verifying_keys: object | null | undefined, block_height: number): boolean;
+/**
+ * Verify a SNARK proof against a verifying key and public inputs.
+ *
+ * This function verifies a proof produced by an Aleo program that may not be deployed on chain.
+ * It directly invokes the Varuna proof verification from snarkVM.
+ *
+ * @param {VerifyingKey} verifying_key The verifying key for the circuit
+ * @param {Array<string>} inputs Array of field element strings representing public inputs (e.g. ["1field", "2field"])
+ * @param {Proof} proof The proof to verify
+ * @returns {boolean} True if the proof is valid, false otherwise
+ */
+export function snarkVerify(verifying_key: VerifyingKey, inputs: Array<any>, proof: Proof): boolean;
+export function stringToField(string: string): Field;
 /**
  * Set test consensus version heights for testing.
  *
@@ -52,7 +53,6 @@ export function verifyFunctionExecution(execution: Execution, verifying_key: Ver
  * getOrInitConsensusVersionTestHeights("0,1,2,3,4,5,6,7,8,9,10,11,12,13");
  */
 export function getOrInitConsensusVersionTestHeights(heights?: string | null): Array<any>;
-export function stringToField(string: string): Field;
 /**
  * Public address of an Aleo account
  */
@@ -2813,6 +2813,12 @@ export class Program {
    * console.log(imports === expected_imports); // Output should be "true"
    */
   getImports(): Array<any>;
+  /**
+   * Get the checksum of the program.
+   *
+   * @returns {Uint8Array} The checksum of the program as a 32-byte Uint8Array
+   */
+  toChecksum(): Uint8Array;
   /**
    * Get a the list of a program's mappings and the names/types of their keys and values.
    *