Update SnarkVM to working rev 3e94245569ab77724ebde670d7d2685f040e42b8, add tests to REST methods + snapshot query, and fix snapshot query

Author: iamalwaysuncomfortable

create-leo-app/template-node/index.js

@@ -1,4 +1,6 @@
-import {Account, initThreadPool, ProgramManager, AleoKeyProvider, AleoKeyProviderParams} from "@provablehq/sdk";
+import {Account, AleoKeyProvider, AleoKeyProviderParams, initThreadPool, ProgramManager, PrivateKey} from "@provablehq/sdk";
+
+import * as process from "node:process";
 
 await initThreadPool();
 
@@ -13,7 +15,7 @@ function hello:
     add r0 r1 into r2;
     output r2 as u32.private;`
 
-async function localProgramExecution(program, programName, aleoFunction, inputs) {
+async function localProgramExecution(program, programName, functionName, inputs) {
     const programManager = new ProgramManager();
 
     // Create a temporary account for the execution of the program
@@ -25,19 +27,21 @@ async function localProgramExecution(program, programName, aleoFunction, inputs)
     keyProvider.useCache(true);
     programManager.setKeyProvider(keyProvider);
 
-    // Pre-synthesize the program keys and then cache them in memory using key provider
-    const keyPair = await programManager.synthesizeKeys(hello_hello_program, aleoFunction, inputs);
-    programManager.keyProvider.cacheKeys(`${programName}:${aleoFunction}`, keyPair);
+    // Pre-synthesize the program keys and then cache them in memory using key provider.
+    console.log("Synthesizing hello_hello/hello keys");
+    const keyPair = await programManager.synthesizeKeys(hello_hello_program, functionName, inputs);
+    programManager.keyProvider.cacheKeys(`${programName}:${functionName}`, keyPair);
 
     // Specify parameters for the key provider to use search for program keys. In particular specify the cache key
     // that was used to cache the keys in the previous step.
-    const keyProviderParams = new AleoKeyProviderParams({cacheKey: `${programName}:${aleoFunction}`});
+    const keyProviderParams = new AleoKeyProviderParams({cacheKey: `${programName}:${functionName}`});
 
     // Execute once using the key provider params defined above. This will use the cached proving keys and make
     // execution significantly faster.
+    console.log("Executing hello_hello/hello");
     let executionResponse = await programManager.run(
         program,
-        aleoFunction,
+        functionName,
         inputs,
         true,
         undefined,
@@ -53,7 +57,33 @@ async function localProgramExecution(program, programName, aleoFunction, inputs)
     }
 }
 
+// Create a remote program execution transaction.
+async function remoteProgramExecution(programName, functionName, inputs) {
+    // Create a key provider in order to re-use the same key for each execution
+    const keyProvider = new AleoKeyProvider();
+    keyProvider.useCache(true);
+
+    const programManager = new ProgramManager("http://34.168.156.3:3030", keyProvider);
+
+    const tx = await programManager.buildExecutionTransaction(
+        {
+            programName,
+            functionName,
+            priorityFee: 0,
+            privateFee: false,
+            inputs,
+            privateKey: PrivateKey.from_string(process.env["PUZZLE_PK"])
+        }
+    );
+    console.log("Resulting transaction")
+}
+
 const start = Date.now();
-console.log("Starting execute!");
-await localProgramExecution(hello_hello_program, programName, "hello", ["5u32", "5u32"]);
-console.log("Execute finished!", Date.now() - start);
+// console.log("Starting local execute!");
+// await localProgramExecution(hello_hello_program, programName, "hello", ["5u32", "5u32"]);
+// console.log("Local execute finished!", Date.now() - start);
+
+console.log("Starting remote execute");
+const auctionTicket = "{\n  owner: aleo12a4wll9ax6w5355jph0dr5wt2vla5sss2t4cnch0tc3vzh643v8qcfvc7a.private,\n  auction: {\n    starting_bid: 1000u64.private,\n    name: 35399035103896773146887283777field.private,\n    item: {\n      id: 2711777270856651361584090827715149911900945757872672230578290769243507539617field.private,\n      offchain_data: [\n        988474637487226873250021955104421895943605632761729320744454284792013483886field.private,\n        1018595503607749325560812785092303652308909717269501712857428145700763090203field.private,\n        1866354748676879328546224733327549476838379876255164483333908854380501015560field.private,\n        17649382157field.private\n      ]\n    }\n  },\n  auction_id: 4494702806735512695876583707511065751304542460719196393147692059573188109243field.private,\n  settings: {\n    auction_privacy: 1field.private,\n    bid_types_accepted: 2field.private\n  },\n  _nonce: 3369967065799891136255379173673996324404175734426175774361522329924029135340group.public,\n  _version: 0u8.public\n}";
+const privateBid = "{\n  owner: aleo12a4wll9ax6w5355jph0dr5wt2vla5sss2t4cnch0tc3vzh643v8qcfvc7a.private,\n  bid: {\n    amount: 50000u64.private,\n    auction_id: 4494702806735512695876583707511065751304542460719196393147692059573188109243field.private,\n    bid_public_key: 7957235921075215080384898776027711008106448988910535634014947882222019778701group.private\n  },\n  bid_id: 7560059211950188901208146469854635725646381155467709838136796808753178551929field.private,\n  _nonce: 6603986437928263590097393830337419611438422585243442121397081002092267314422group.public,\n  _version: 0u8.public\n}";
+await remoteProgramExecution("private_auction_test_3.aleo", "select_winner_private", [auctionTicket, privateBid]);

rust-toolchain.toml

@@ -1,4 +1,4 @@
 [toolchain]
-channel = "nightly-2025-07-20"
+channel = "nightly-2025-08-28"
 components = [ "rust-std", "rust-src" ]
 targets = [ "wasm32-unknown-unknown" ]

sdk/src/program-manager.ts

@@ -519,7 +519,6 @@ class ProgramManager {
     ): Promise<Transaction> {
         // Destructure the options object to access the parameters
         const {
-            programName,
             functionName,
             priorityFee,
             privateFee,
@@ -534,6 +533,7 @@ class ProgramManager {
         let provingKey = options.provingKey;
         let verifyingKey = options.verifyingKey;
         let program = options.program;
+        let programName = options.programName;
         let imports = options.imports;
         let edition = options.edition;
 
@@ -552,8 +552,14 @@ class ProgramManager {
             program = program.toString();
         }
 
+        // Get the program name if it is not provided in the parameters.
+        if (programName === undefined) {
+            programName = Program.fromString(program).id();
+        }
+
         if (edition == undefined) {
             try {
+
                 edition = await this.networkClient.getLatestProgramEdition(programName);
             } catch (e: any) {
                 console.warn(`Error finding edition for ${programName}. Network response: '${e.message}'. Assuming edition 1.`);
@@ -684,13 +690,13 @@ class ProgramManager {
     ): Promise<Authorization> {
         // Destructure the options object to access the parameters.
         const {
-            programName,
             functionName,
             inputs,
         } = options;
 
         const privateKey = options.privateKey;
         let program = options.programSource;
+        let programName = options.programName;
         let imports = options.programImports;
         let edition = options.edition;
 
@@ -709,6 +715,11 @@ class ProgramManager {
             program = program.toString();
         }
 
+        // Get the program name if it is not provided in the parameters.
+        if (programName === undefined) {
+            programName = Program.fromString(program).id();
+        }
+
         // Get the private key from the account if it is not provided in the parameters.
         let executionPrivateKey = privateKey;
         if (
@@ -789,13 +800,13 @@ class ProgramManager {
     ): Promise<Authorization> {
         // Destructure the options object to access the parameters.
         const {
-            programName,
             functionName,
             inputs,
         } = options;
 
         const privateKey = options.privateKey;
         let program = options.programSource;
+        let programName = options.programName;
         let imports = options.programImports;
         let edition = options.edition;
 
@@ -814,6 +825,11 @@ class ProgramManager {
             program = program.toString();
         }
 
+        // Get the program name if it is not provided in the parameters.
+        if (programName === undefined) {
+            programName = Program.fromString(program).id();
+        }
+
         // Get the private key from the account if it is not provided in the parameters.
         let executionPrivateKey = privateKey;
         if (
@@ -898,7 +914,6 @@ class ProgramManager {
     ): Promise<ProvingRequest> {
         // Destructure the options object to access the parameters.
         const {
-            programName,
             functionName,
             baseFee,
             priorityFee,
@@ -911,6 +926,7 @@ class ProgramManager {
 
         const privateKey = options.privateKey;
         let program = options.programSource;
+        let programName = options.programName;
         let feeRecord = options.feeRecord;
         let imports = options.programImports;
         let edition = options.edition;
@@ -930,6 +946,11 @@ class ProgramManager {
             program = program.toString();
         }
 
+        // Get the program name if it is not provided in the parameters.
+        if (programName === undefined) {
+            programName = Program.fromString(program).id();
+        }
+
         if (edition == undefined) {
             try {
                 edition = await this.networkClient.getLatestProgramEdition(programName);

sdk/tests/program-manager.test.ts

@@ -68,7 +68,7 @@ describe('Program Manager', async () => {
         it.skip('Program manager should execute offline and verify the resulting proof correctly', async () => {
             const execution_result = <ExecutionResponse>await programManager.run(helloProgram, "hello", ["5u32", "5u32"], true, undefined, undefined, undefined, undefined, undefined, undefined)
             expect(execution_result.getOutputs()[0]).equal("10u32");
-            programManager.verifyExecution(execution_result, 9_000_000);
+            programManager.verifyExecution(execution_result, 10_300_000);
         });
     });
 
@@ -102,7 +102,7 @@ describe('Program Manager', async () => {
 
     describe('Offline query', () => {
         it.skip('The offline query should work as expected', async () => {
-            const offlineQuery = new OfflineQuery(1, stateRootv0);
+            const offlineQuery = new OfflineQuery(10_300_000, stateRootv0);
             const record_plaintext = RecordPlaintext.fromString(statePathRecordv0);
             const pk = PrivateKey.from_string("APrivateKey1zkpAZAjaJJvPS7EJ7zvk5fb3QcZDCDxMSHSN5ap7ep4FAD7");
             const vk = ViewKey.from_private_key(pk);
@@ -112,7 +112,7 @@ describe('Program Manager', async () => {
             const credits = <string>await programManager.networkClient.getProgram("credits.aleo");
 
             const execution_result = <ExecutionResponse>await programManager.run(credits, "transfer_private", [statePathRecordv0, beaconAddressString, "5u64"], true, undefined, undefined, undefined, undefined, undefined, offlineQuery);
-            const verified = programManager.verifyExecution(execution_result, 9_000_000);
+            const verified = programManager.verifyExecution(execution_result, 10_300_000);
             expect(verified).equal(true);
         });
     });