Fixing some of the examples

Author: Pauan

create-leo-app/template-extension/package.json

@@ -7,7 +7,7 @@
     "build": "rimraf static/js && rollup --config"
   },
   "devDependencies": {
-    "@provablehq/sdk": "^0.8.8",
+    "@provablehq/sdk": "^0.9.0",
     "@web/rollup-plugin-import-meta-assets": "^2.2.1",
     "rimraf": "^6.0.1",
     "rollup": "^4.32.0"

create-leo-app/template-extension/src/worker.js

@@ -18,12 +18,12 @@ async function localProgramExecution(program, aleoFunction, inputs) {
     const account = new Account();
     programManager.setAccount(account);
 
-    const executionResponse = await programManager.run(
+    const executionResponse = await programManager.run({
         program,
-        aleoFunction,
+        functionName: aleoFunction,
         inputs,
-        false,
-    );
+        proveExecution: false,
+    });
     return executionResponse.getOutputs();
 }
 

create-leo-app/template-nextjs-ts/package.json

@@ -9,7 +9,7 @@
     "lint": "next lint"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.8.8",
+    "@provablehq/sdk": "^0.9.0",
     "next": "15.2.3",
     "react": "^19.0.0",
     "react-dom": "^19.0.0",

create-leo-app/template-nextjs-ts/src/app/worker.ts

@@ -23,12 +23,12 @@ async function localProgramExecution(program: string, aleoFunction: string, inpu
   const account = new Account();
   programManager.setAccount(account);
 
-  const executionResponse = await programManager.run(
+  const executionResponse = await programManager.run({
       program,
-      aleoFunction,
+      functionName: aleoFunction,
       inputs,
-      false,
-  );
+      proveExecution: false,
+  });
   return executionResponse.getOutputs();
 }
 

create-leo-app/template-node-ts/package.json

@@ -8,7 +8,7 @@
     "dev": "npm run build && node dist/index.js"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.8.8"
+    "@provablehq/sdk": "^0.9.0"
   },
   "devDependencies": {
     "rimraf": "^6.0.1",

create-leo-app/template-node-ts/src/index.ts

@@ -27,7 +27,11 @@ async function localProgramExecution(program, programName, aleoFunction, inputs)
 
     // Pre-synthesize the program keys and then cache them in memory using key provider
     try {
-        const keyPair = await programManager.synthesizeKeys(hello_hello_program, aleoFunction, inputs);
+        const keyPair = await programManager.synthesizeKeys({
+            program: hello_hello_program,
+            functionName: aleoFunction,
+            inputs,
+        });
 
         programManager.keyProvider.cacheKeys(`${programName}:${aleoFunction}`, keyPair);
 
@@ -41,18 +45,17 @@ async function localProgramExecution(program, programName, aleoFunction, inputs)
 
     // Execute once using the key provider params defined above. This will use the cached proving keys and make
     // execution significantly faster.
-    let executionResponse = await programManager.run(
+    let executionResponse = await programManager.run({
         program,
-        aleoFunction,
+        functionName: aleoFunction,
         inputs,
-        true,
-        undefined,
+        proveExecution: true,
         keyProviderParams,
-    );
+    });
     console.log("hello_hello/hello executed - result:", executionResponse.getOutputs());
 
     // Verify the execution using the verifying key that was generated earlier.
-    if (programManager.verifyExecution(executionResponse)) {
+    if (programManager.verifyExecution({ executionResponse })) {
         console.log("hello_hello/hello execution verified!");
     } else {
         throw("Execution failed verification!");

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

@@ -26,7 +26,11 @@ async function localProgramExecution(program, programName, aleoFunction, inputs)
     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);
+    const keyPair = await programManager.synthesizeKeys({
+        program: hello_hello_program,
+        functionName: aleoFunction,
+        inputs,
+    });
     programManager.keyProvider.cacheKeys(`${programName}:${aleoFunction}`, keyPair);
 
     // Specify parameters for the key provider to use search for program keys. In particular specify the cache key
@@ -35,18 +39,17 @@ async function localProgramExecution(program, programName, aleoFunction, inputs)
 
     // Execute once using the key provider params defined above. This will use the cached proving keys and make
     // execution significantly faster.
-    let executionResponse = await programManager.run(
+    let executionResponse = await programManager.run({
         program,
-        aleoFunction,
+        functionName: aleoFunction,
         inputs,
-        true,
-        undefined,
+        proveExecution: true,
         keyProviderParams,
-    );
+    });
     console.log("hello_hello/hello executed - result:", executionResponse.getOutputs());
 
     // Verify the execution using the verifying key that was generated earlier.
-    if (programManager.verifyExecution(executionResponse)) {
+    if (programManager.verifyExecution({ executionResponse })) {
         console.log("hello_hello/hello execution verified!");
     } else {
         throw("Execution failed verification!");

create-leo-app/template-node/package.json

@@ -7,6 +7,6 @@
     "dev": "node index.js"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.8.8"
+    "@provablehq/sdk": "^0.9.0"
   }
 }

create-leo-app/template-offline-public-transaction-ts/package.json

@@ -8,7 +8,7 @@
     "dev": "npm run build && node dist/index.js"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.8.8"
+    "@provablehq/sdk": "^0.9.0"
   },
   "devDependencies": {
     "rimraf": "^6.0.1",

create-leo-app/template-react-leo/package.json

@@ -12,7 +12,7 @@
     "install-leo": "./install.sh"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.8.8",
+    "@provablehq/sdk": "^0.9.0",
     "comlink": "^4.4.2",
     "react": "^19.0.0",
     "react-dom": "^19.0.0"