[Feature] Support for proof-less execution transactions (Leo Devnode suport)

sdk/src/program-manager.ts

@@ -73,6 +73,7 @@ interface ExecuteOptions {
     program?: string | Program;
     imports?: ProgramImports;
     edition?: number,
+    skipProof?: boolean,
 }
 
 /**
@@ -580,6 +581,12 @@ class ProgramManager {
         let programName = options.programName;
         let imports = options.imports;
         let edition = options.edition;
+        let skipProof = options.skipProof;
+
+        // Skip proof defaults to false.
+        if (typeof skipProof === "undefined") {
+            skipProof = false;
+        }
 
         // Ensure the function exists on the network
         if (program === undefined) {
@@ -640,32 +647,6 @@ class ProgramManager {
             );
         }
 
-        // Get the fee proving and verifying keys from the key provider
-        let feeKeys;
-        try {
-            feeKeys = privateFee
-                ? <FunctionKeyPair>await this.keyProvider.feePrivateKeys()
-                : <FunctionKeyPair>await this.keyProvider.feePublicKeys();
-        } catch (e: any) {
-            logAndThrow(
-                `Error finding fee keys. Key finder response: '${e.message}'. Please ensure your key provider is configured correctly.`,
-            );
-        }
-        const [feeProvingKey, feeVerifyingKey] = feeKeys;
-
-        // If the function proving and verifying keys are not provided, attempt to find them using the key provider
-        if (!provingKey || !verifyingKey) {
-            try {
-                [provingKey, verifyingKey] = <FunctionKeyPair>(
-                    await this.keyProvider.functionKeys(keySearchParams)
-                );
-            } catch (e) {
-                console.log(
-                    `Function keys not found. Key finder response: '${e}'. The function keys will be synthesized`,
-                );
-            }
-        }
-
         // Resolve the program imports if they exist
         const numberOfImports = Program.fromString(program).getImports().length;
         if (numberOfImports > 0 && !imports) {
@@ -679,35 +660,77 @@ class ProgramManager {
                 );
             }
         }
-
-        if (offlineQuery && !this.inclusionKeysLoaded) {
+        if (skipProof === true) {
+            console.log("program is: {}", program);
+            // Build a transaction without a proof
+            return await WasmProgramManager.buildDevnodeExecutionTransaction(
+                executionPrivateKey,
+                program,
+                functionName,
+                inputs,
+                priorityFee,
+                feeRecord,
+                this.host,
+                imports,
+                offlineQuery,
+                edition
+            );
+            } else  {
+            // Get the fee proving and verifying keys from the key provider
+            let feeKeys;
             try {
-                const inclusionKeys = await this.keyProvider.inclusionKeys();
-                WasmProgramManager.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.`)
+                feeKeys = privateFee
+                    ? <FunctionKeyPair>await this.keyProvider.feePrivateKeys()
+                    : <FunctionKeyPair>await this.keyProvider.feePublicKeys();
+            } catch (e: any) {
+                logAndThrow(
+                    `Error finding fee keys. Key finder response: '${e.message}'. Please ensure your key provider is configured correctly.`,
+                );
+            }
+            const [feeProvingKey, feeVerifyingKey] = feeKeys;
+
+            // If the function proving and verifying keys are not provided, attempt to find them using the key provider
+            if (!provingKey || !verifyingKey) {
+                try {
+                    [provingKey, verifyingKey] = <FunctionKeyPair>(
+                        await this.keyProvider.functionKeys(keySearchParams)
+                    );
+                } catch (e) {
+                    console.log(
+                        `Function keys not found. Key finder response: '${e}'. The function keys will be synthesized`,
+                    );
+                }
             }
-        }
 
-        // Build an execution transaction
-        return await WasmProgramManager.buildExecutionTransaction(
-            executionPrivateKey,
-            program,
-            functionName,
-            inputs,
-            priorityFee,
-            feeRecord,
-            this.host,
-            imports,
-            provingKey,
-            verifyingKey,
-            feeProvingKey,
-            feeVerifyingKey,
-            offlineQuery,
-            edition
-        );
+            if (offlineQuery && !this.inclusionKeysLoaded) {
+                try {
+                    const inclusionKeys = await this.keyProvider.inclusionKeys();
+                    WasmProgramManager.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.`)
+                }
+            }
+
+            // Build an execution transaction
+            return await WasmProgramManager.buildExecutionTransaction(
+                executionPrivateKey,
+                program,
+                functionName,
+                inputs,
+                priorityFee,
+                feeRecord,
+                this.host,
+                imports,
+                provingKey,
+                verifyingKey,
+                feeProvingKey,
+                feeVerifyingKey,
+                offlineQuery,
+                edition
+            );
+        }  
     }
 
     /**