Update offline function verification method

Author: iamalwaysuncomfortable

sdk/src/browser.ts

@@ -10,6 +10,7 @@ import { ExecutionJSON, FeeExecutionJSON } from "./models/execution/executionJSO
 import { ExecutionObject, FeeExecutionObject } from "./models/execution/executionObject";
 import { FinalizeJSON } from "./models/finalizeJSON";
 import { FunctionObject } from "./models/functionObject";
+import { ImportedVerifyingKeys, ImportedPrograms } from "./models/imports";
 import { InputJSON } from "./models/input/inputJSON";
 import { InputObject } from "./models/input/inputObject";
 import { OutputJSON } from "./models/output/outputJSON";
@@ -128,6 +129,8 @@ export {
     FunctionKeyPair,
     FunctionKeyProvider,
     Header,
+    ImportedPrograms,
+    ImportedVerifyingKeys,
     InputJSON,
     InputObject,
     KeySearchParams,

sdk/src/models/imports.ts

@@ -0,0 +1,9 @@
+interface ImportedVerifyingKeys {
+    [key: string]: Array<[string, string]>;
+}
+
+interface ImportedPrograms {
+    [key: string]: string; // This allows for arbitrary keys with any type values
+}
+
+export { ImportedVerifyingKeys, ImportedPrograms }

sdk/src/program-manager.ts

@@ -1,6 +1,6 @@
 import { Account } from "./account";
-import { AleoNetworkClient, AleoNetworkClientOptions, ProgramImports } from "./network-client";
-
+import { AleoNetworkClient, ProgramImports } from "./network-client";
+import { ImportedPrograms, ImportedVerifyingKeys } from "./models/imports";
 import { RecordProvider, RecordSearchParams } from "./record-provider";
 
 import {
@@ -1952,12 +1952,34 @@ class ProgramManager {
     }
 
     /**
-     * Verify a proof of execution from an offline execution
+     * Verify a proof from an offline execution. This is useful when it is desired to do offchain proving and verification.
      *
-     * @param {executionResponse} executionResponse
+     * @param {executionResponse} executionResponse The response from an offline function execution (via the `programManager.run` method)
+     * @param {ImportedPrograms} imports The imported programs used in the execution. Specified as { "programName": "programSourceCode", ... }
+     * @param {ImportedVerifyingKeys} importedVerifyingKeys The verifying keys in the execution. Specified as { "programName": [["functionName", "verifyingKey"], ...], ... }
      * @returns {boolean} True if the proof is valid, false otherwise
+     *
+     * @example
+     * /// Import the mainnet version of the sdk used to build executions.
+     * import { Account, ProgramManager } from "@provablehq/sdk/mainnet.js";
+     *
+     * /// Create the source for two programs.
+     * const program = "import add_it_up.aleo; \n\n program mul_add.aleo;\n\nfunction mul_and_add:\n    input r0 as u32.public;\n    input r1 as u32.private;\n    mul r0 r1 into r2;\n call add_it_up.aleo/add r1 r2 into r3;  output r3 as u32.private;\n";
+     * const program_import = "program add_it_up.aleo;\n\nfunction add:\n    input r0 as u32.public;\n    input r1 as u32.private;\n    add r0 r1 into r2;\n    output r2 as u32.private;\n";
+     * const programManager = new ProgramManager(undefined, undefined, undefined);
+     *
+     * /// Create a temporary account for the execution of the program
+     * const account = Account.fromCipherText(process.env.ciphertext, process.env.password);
+     * programManager.setAccount(account);
+     *
+     * /// Get the response and ensure that the program executed correctly
+     * const executionResponse = await programManager.run(program, "hello", ["5u32", "5u32"]);
+     *
+     * /// Verify the execution.
+     * const isValid = programManager.verifyExecution(executionResponse);
+     * assert(isValid);
      */
-    verifyExecution(executionResponse: ExecutionResponse): boolean {
+    verifyExecution(executionResponse: ExecutionResponse, imports?: ImportedPrograms, importedVerifyingKeys?: ImportedVerifyingKeys): boolean {
         try {
             const execution = <FunctionExecution>(
                 executionResponse.getExecution()
@@ -1970,6 +1992,8 @@ class ProgramManager {
                 verifyingKey,
                 program,
                 function_id,
+                imports,
+                importedVerifyingKeys,
             );
         } catch (e) {
             console.warn(

wasm/package.json

@@ -6,7 +6,7 @@
     "The Provable Team"
   ],
   "license": "GPL-3.0",
-  "type": "module",
+
   "main": "./dist/testnet/index.js",
   "browser": "./dist/testnet/index.js",
   "types": "./dist/testnet/index.d.ts",