create-leo-app 0.9.10 → 0.9.12

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "create-leo-app",
-  "version": "0.9.10",
+  "version": "0.9.12",
   "type": "module",
   "license": "GPL-3.0",
   "collaborators": [
@@ -12,8 +12,10 @@
     "template-extension",
     "template-nextjs-ts",
     "template-node-ts",
+    "template-build-and-execute-authorization-ts",
     "template-node",
     "template-offline-public-transaction-ts",
+    "template-private-transaction-ts",
     "template-react-leo",
     "template-react-managed-worker",
     "template-react-ts",

package/template-build-and-execute-authorization-ts/README.md

@@ -0,0 +1,5 @@
+# Aleo + Node.js + TypeScript
+
+`npm start`
+
+Recommend Node.js 20+ for best performance.

package/template-build-and-execute-authorization-ts/_gitignore

@@ -0,0 +1,24 @@
+# Logs
+logs
+*.log
+npm-debug.log*
+yarn-debug.log*
+yarn-error.log*
+pnpm-debug.log*
+lerna-debug.log*
+
+node_modules
+dist
+dist-ssr
+*.local
+
+# Editor directories and files
+.vscode/*
+!.vscode/extensions.json
+.idea
+.DS_Store
+*.suo
+*.ntvs*
+*.njsproj
+*.sln
+*.sw?

package/template-build-and-execute-authorization-ts/dist/index.js

@@ -0,0 +1,51 @@
+import { initThreadPool, AleoKeyProvider, ProgramManager, PrivateKey } from '@provablehq/sdk';
+
+await initThreadPool();
+// Create a new KeyProvider.
+const keyProvider = new AleoKeyProvider();
+keyProvider.useCache(true);
+// Initialize a program manager with the key provider to automatically fetch keys for executions.
+const programManager = new ProgramManager("https://api.explorer.provable.com/v1", keyProvider);
+// Build the `Authorization`.
+const privateKey = new PrivateKey(); // Change this to a private key that has an aleo credit balance.
+const authorization = await programManager.buildAuthorization({
+    programName: "credits.aleo",
+    functionName: "transfer_public",
+    privateKey,
+    inputs: [
+        "aleo1vwls2ete8dk8uu2kmkmzumd7q38fvshrht8hlc0a5362uq8ftgyqnm3w08",
+        "10000000u64",
+    ],
+});
+console.log("Getting execution id");
+// Derive the execution ID and base fee.
+const executionId = authorization.toExecutionId().toString();
+console.log("Estimating fee");
+// Get the base fee in microcredits.
+const baseFeeMicrocredits = await programManager.estimateFeeForAuthorization({
+    programName: "credits.aleo",
+    authorization,
+});
+const baseFeeCredits = Number(baseFeeMicrocredits) / 1000000;
+console.log("Building fee authorization");
+// Build a credits.aleo/fee_public `Authorization`.
+const feeAuthorization = await programManager.buildFeeAuthorization({
+    deploymentOrExecutionId: executionId,
+    baseFeeCredits,
+    privateKey
+});
+console.log("Executing authorizations");
+// Build and execute the transaction.
+const tx = await programManager.buildTransactionFromAuthorization({
+    programName: "credits.aleo",
+    authorization,
+    feeAuthorization,
+});
+// Submit the transaction to the network.
+await programManager.networkClient.submitTransaction(tx.toString());
+// Verify the transaction was successful.
+setTimeout(async () => {
+    const transaction = await programManager.networkClient.getTransaction(tx.id());
+    console.log(transaction);
+}, 10000);
+//# sourceMappingURL=index.js.map

package/template-build-and-execute-authorization-ts/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/template-build-and-execute-authorization-ts/package.json

@@ -0,0 +1,19 @@
+{
+  "name": "node-build-and-execute-authorization-ts-starter",
+  "private": true,
+  "version": "0.0.0",
+  "type": "module",
+  "scripts": {
+    "build": "rimraf dist/js && rollup --config",
+    "dev": "npm run build && node dist/index.js"
+  },
+  "dependencies": {
+    "@provablehq/sdk": "^0.9.12"
+  },
+  "devDependencies": {
+    "rimraf": "^6.0.1",
+    "rollup": "^4.32.0",
+    "rollup-plugin-typescript2": "^0.36.0",
+    "typescript": "^5.7.3"
+  }
+}

package/template-build-and-execute-authorization-ts/rollup.config.js

@@ -0,0 +1,19 @@
+import typescript from "rollup-plugin-typescript2";
+
+export default {
+    input: {
+        index: "./src/index.ts",
+    },
+    output: {
+        dir: `dist`,
+        format: "es",
+        sourcemap: true,
+    },
+    external: ['@provablehq/sdk'],
+    plugins: [
+        typescript({
+            tsconfig: "tsconfig.json",
+            clean: true,
+        }),
+    ],
+};

package/template-build-and-execute-authorization-ts/src/index.ts

@@ -0,0 +1,64 @@
+import { AleoKeyProvider, PrivateKey, initThreadPool, ProgramManager } from "@provablehq/sdk";
+
+await initThreadPool();
+
+// Create a new KeyProvider.
+const keyProvider = new AleoKeyProvider();
+keyProvider.useCache(true);
+
+// Initialize a program manager with the key provider to automatically fetch keys for executions.
+const programManager = new ProgramManager("https://api.explorer.provable.com/v1", keyProvider);
+
+// Build the `Authorization`.
+const privateKey = new PrivateKey(); // Change this to a private key that has an aleo credit balance.
+const authorization = await programManager.buildAuthorization({
+    programName: "credits.aleo",
+    functionName: "transfer_public",
+    privateKey,
+    inputs: [
+        "aleo1vwls2ete8dk8uu2kmkmzumd7q38fvshrht8hlc0a5362uq8ftgyqnm3w08",
+        "10000000u64",
+    ],
+});
+
+console.log("Getting execution id");
+
+// Derive the execution ID and base fee.
+const executionId = authorization.toExecutionId().toString();
+
+console.log("Estimating fee");
+
+// Get the base fee in microcredits.
+const baseFeeMicrocredits = await programManager.estimateFeeForAuthorization({
+    programName: "credits.aleo",
+    authorization,
+});
+const baseFeeCredits = Number(baseFeeMicrocredits)/1000000;
+
+console.log("Building fee authorization");
+
+// Build a credits.aleo/fee_public `Authorization`.
+const feeAuthorization = await programManager.buildFeeAuthorization({
+    deploymentOrExecutionId: executionId,
+    baseFeeCredits,
+    privateKey
+});
+
+console.log("Executing authorizations");
+
+// Build and execute the transaction.
+const tx = await programManager.buildTransactionFromAuthorization({
+    programName: "credits.aleo",
+    authorization,
+    feeAuthorization,
+});
+
+// Submit the transaction to the network.
+await programManager.networkClient.submitTransaction(tx.toString());
+
+// Verify the transaction was successful.
+setTimeout(async () => {
+    const transaction = await programManager.networkClient.getTransaction(tx.id());
+    console.log(transaction);
+}, 10000);
+

package/template-build-and-execute-authorization-ts/tsconfig.json

@@ -0,0 +1,15 @@
+{
+  "compilerOptions": {
+    /* Basic Options */
+    "target": "es2017",
+    "module": "esnext",
+
+    /* Module Resolution Options */
+    "moduleResolution": "bundler",
+    "esModuleInterop": true,
+
+    /* Advanced Options */
+    "skipLibCheck": true,
+    "forceConsistentCasingInFileNames": true
+  }
+}

package/template-extension/package.json

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

package/template-nextjs-ts/package.json

@@ -9,7 +9,7 @@
     "lint": "next lint"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.9.10",
+    "@provablehq/sdk": "^0.9.12",
     "next": "15.4.7",
     "react": "^19.0.0",
     "react-dom": "^19.0.0",

package/template-node/package.json

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

package/template-node-ts/dist/index.js

@@ -1,26 +1,49 @@
-import { initThreadPool, ProgramManager, Account, AleoKeyProvider } from '@provablehq/sdk';
+import { initThreadPool, ProgramManager, Account, AleoKeyProvider, AleoKeyProviderParams } from '@provablehq/sdk';
 
 await initThreadPool();
-// const start = Date.now();
-// console.log("Starting execute!");
-// await localProgramExecution(hello_hello_program, programName, "hello", ["5u32", "5u32"]);
-// console.log("Execute finished!", Date.now() - start);
-const programManager = new ProgramManager();
-// Create a temporary account for the execution of the program
-const account = new Account({ privateKey: "APrivateKey1zkpDP5GCyJeHTYZjieY331EGe2EsShkTKMWxLfGouMWLKrS" });
-programManager.setAccount(account);
-// Create a key provider in order to re-use the same key for each execution
-const keyProvider = new AleoKeyProvider();
-keyProvider.useCache(true);
-programManager.setKeyProvider(keyProvider);
-const tx = await programManager.buildExecutionTransaction({
-    programName: "credits.aleo",
-    functionName: "transfer_public_as_signer",
-    priorityFee: 0,
-    privateFee: false,
-    inputs: ["aleo1h7wrqm9c7ckupmvhuynwdlta6ulflr8rdkh6az9qjqd9lxsrvu8svhwr4z", "500000u64"],
-});
-console.log(tx);
-await programManager.checkFee(account.address().to_string(), tx.feeAmount());
-console.log("Execution completed successfully");
+const programName = "hello_hello.aleo";
+const hello_hello_program = `
+program ${programName};
+
+function hello:
+    input r0 as u32.public;
+    input r1 as u32.private;
+    add r0 r1 into r2;
+    output r2 as u32.private;`;
+async function localProgramExecution(program, programName, aleoFunction, inputs) {
+    const programManager = new ProgramManager();
+    // Create a temporary account for the execution of the program
+    const account = new Account();
+    programManager.setAccount(account);
+    // Create a key provider in order to re-use the same key for each execution
+    const keyProvider = new AleoKeyProvider();
+    keyProvider.useCache(true);
+    programManager.setKeyProvider(keyProvider);
+    // 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);
+        programManager.keyProvider.cacheKeys(`${programName}:${aleoFunction}`, keyPair);
+    }
+    catch (e) {
+        throw new Error(`Failed to synthesize keys: ${e.message}`);
+    }
+    // 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}` });
+    // 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(program, aleoFunction, inputs, true, undefined, 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, 9000000)) {
+        console.log("hello_hello/hello execution verified!");
+    }
+    else {
+        throw ("Execution failed verification!");
+    }
+}
+const start = Date.now();
+console.log("Starting execute!");
+await localProgramExecution(hello_hello_program, programName, "hello", ["5u32", "5u32"]);
+console.log("Execute finished!", Date.now() - start);
 //# sourceMappingURL=index.js.map

package/template-node-ts/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"file":"index.js","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/template-node-ts/package.json

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

package/template-node-ts/src/index.ts

@@ -1,4 +1,4 @@
-import {Account, initThreadPool, ProgramManager, AleoKeyProvider, AleoKeyProviderParams} from "@provablehq/sdk";
+import {Account, initThreadPool, ProgramManager, AleoKeyProvider, AleoKeyProviderParams} from "@provablehq/sdk/mainnet.js";
 
 await initThreadPool();
 

package/template-node-ts/tsconfig.json

@@ -5,7 +5,7 @@
     "module": "esnext",
 
     /* Module Resolution Options */
-    "moduleResolution": "node",
+    "moduleResolution": "bundler",
     "esModuleInterop": true,
 
     /* Advanced Options */

package/template-offline-public-transaction-ts/package.json

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

package/template-private-transaction-ts/README.md

@@ -0,0 +1,17 @@
+# Node.js Private Transfer Example
+
+This example shows how to build a transfer_private transaction using the ProgramManager.
+
+This example can be run with the following
+
+#### Yarn
+```bash
+yarn dev
+```
+
+#### NPM
+```bash
+npm run dev
+```
+
+Recommend Node.js 20+ for best performance.

package/template-private-transaction-ts/_gitignore

@@ -0,0 +1,24 @@
+# Logs
+logs
+*.log
+npm-debug.log*
+yarn-debug.log*
+yarn-error.log*
+pnpm-debug.log*
+lerna-debug.log*
+
+node_modules
+dist
+dist-ssr
+*.local
+
+# Editor directories and files
+.vscode/*
+!.vscode/extensions.json
+.idea
+.DS_Store
+*.suo
+*.ntvs*
+*.njsproj
+*.sln
+*.sw?

package/template-private-transaction-ts/dist/index.js

@@ -0,0 +1,39 @@
+import { initThreadPool, Account, ProgramManager, AleoKeyProvider } from '@provablehq/sdk/testnet.js';
+import { CREDITS_PROGRAM_KEYS } from '@provablehq/sdk/mainnet.js';
+
+// Initialize the threadpool to speed up proving.
+await initThreadPool();
+// Specify the record to send.
+const sendRecord = "{\n  owner: aleo1vskzxa2qqgnhznxsqh6tgq93c30sfkj6xqwe7sr85lgjkexjlcxs3lxhy3.private,\n  microcredits: 500000u64.private,\n  _nonce: 2128807984625485873765840993868794284062894954530194503954279385341936659546group.public,\n  _version: 1u8.public\n}";
+// Specify the fee record to use for the transaction.
+const feeRecord = "{\n  owner: aleo1vskzxa2qqgnhznxsqh6tgq93c30sfkj6xqwe7sr85lgjkexjlcxs3lxhy3.private,\n  microcredits: 50000u64.private,\n  _nonce: 8327477210335641151082470829879168522735279120730137538049818239556464339772group.public,\n  _version: 1u8.public\n}";
+// Import the account.
+const accountCiphertext = "ciphertext1qvq283j7ujnhz59d4rnu772rfmvf94039x9ekhk2lzuutteqzlghsr3g9824qgw97a79mmdymqdt0ulqdkahq39vnerw2tl7thvvnnunq386jzjnw29e0ghnq7unphgdzw637q3fgvvlkrcywsc5jukkdhss5qq3njp";
+const account = Account.fromCiphertext(accountCiphertext, "provablealeo1");
+// Specify the recipient.
+const recipient = "aleo1vskzxa2qqgnhznxsqh6tgq93c30sfkj6xqwe7sr85lgjkexjlcxs3lxhy3";
+// Create a program manager with the account desired.
+const programManager = new ProgramManager();
+programManager.setAccount(account);
+// Create a key provider in order to re-use the same key for each execution
+const keyProvider = new AleoKeyProvider();
+keyProvider.useCache(true);
+// Initialize the keyProvider cache with all necessary keys.
+await Promise.all([keyProvider.transferKeys("private"), keyProvider.feePrivateKeys()]);
+programManager.setKeyProvider(keyProvider);
+programManager.setInclusionProver();
+const start = Date.now();
+console.log("Starting transfer_private execution");
+// Construct the transfer_private transaction.
+const transfer_private_tx = await programManager.buildExecutionTransaction({
+    programName: "credits.aleo",
+    functionName: "transfer_private",
+    priorityFee: 0,
+    privateFee: true,
+    inputs: [sendRecord, recipient, "500000u64"],
+    feeRecord,
+    keySearchParams: { "cacheKey": CREDITS_PROGRAM_KEYS.getKey("transfer_private").locator }
+});
+console.log(`transfer_private Execute finished in ${Date.now() - start}ms`);
+console.log(`Private execution ${transfer_private_tx}`);
+//# sourceMappingURL=index.js.map

package/template-private-transaction-ts/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/template-private-transaction-ts/package.json

@@ -0,0 +1,19 @@
+{
+  "name": "node-ts-transfer-private-starter",
+  "private": true,
+  "version": "0.0.0",
+  "type": "module",
+  "scripts": {
+    "build": "rimraf dist/js && rollup --config",
+    "dev": "npm run build && node dist/index.js"
+  },
+  "dependencies": {
+    "@provablehq/sdk": "^0.9.12"
+  },
+  "devDependencies": {
+    "rimraf": "^6.0.1",
+    "rollup": "^4.32.0",
+    "rollup-plugin-typescript2": "^0.36.0",
+    "typescript": "^5.7.3"
+  }
+}

package/template-private-transaction-ts/rollup.config.js

@@ -0,0 +1,19 @@
+import typescript from "rollup-plugin-typescript2";
+
+export default {
+    input: {
+        index: "./src/index.ts",
+    },
+    output: {
+        dir: `dist`,
+        format: "es",
+        sourcemap: true,
+    },
+    external: ['@provablehq/sdk'],
+    plugins: [
+        typescript({
+            tsconfig: "tsconfig.json",
+            clean: true,
+        }),
+    ],
+};

package/template-private-transaction-ts/src/index.ts

@@ -0,0 +1,43 @@
+import {Account, initThreadPool, ProgramManager, AleoKeyProvider} from "@provablehq/sdk/testnet.js";
+import { CREDITS_PROGRAM_KEYS } from "@provablehq/sdk/mainnet.js";
+
+// Initialize the threadpool to speed up proving.
+await initThreadPool();
+
+// Specify the record to send.
+const sendRecord = "{\n  owner: aleo1vskzxa2qqgnhznxsqh6tgq93c30sfkj6xqwe7sr85lgjkexjlcxs3lxhy3.private,\n  microcredits: 500000u64.private,\n  _nonce: 2128807984625485873765840993868794284062894954530194503954279385341936659546group.public,\n  _version: 1u8.public\n}";
+// Specify the fee record to use for the transaction.
+const feeRecord = "{\n  owner: aleo1vskzxa2qqgnhznxsqh6tgq93c30sfkj6xqwe7sr85lgjkexjlcxs3lxhy3.private,\n  microcredits: 50000u64.private,\n  _nonce: 8327477210335641151082470829879168522735279120730137538049818239556464339772group.public,\n  _version: 1u8.public\n}";
+// Import the account.
+const accountCiphertext = "ciphertext1qvq283j7ujnhz59d4rnu772rfmvf94039x9ekhk2lzuutteqzlghsr3g9824qgw97a79mmdymqdt0ulqdkahq39vnerw2tl7thvvnnunq386jzjnw29e0ghnq7unphgdzw637q3fgvvlkrcywsc5jukkdhss5qq3njp";
+const account = Account.fromCiphertext(accountCiphertext, "provablealeo1");
+// Specify the recipient.
+const recipient = "aleo1vskzxa2qqgnhznxsqh6tgq93c30sfkj6xqwe7sr85lgjkexjlcxs3lxhy3";
+
+// Create a program manager with the account desired.
+const programManager = new ProgramManager();
+programManager.setAccount(account);
+
+// Create a key provider in order to re-use the same key for each execution
+const keyProvider = new AleoKeyProvider();
+keyProvider.useCache(true);
+
+// Initialize the keyProvider cache with all necessary keys.
+await Promise.all([keyProvider.transferKeys("private"), keyProvider.feePrivateKeys()]);
+programManager.setKeyProvider(keyProvider);
+programManager.setInclusionProver();
+
+const start = Date.now();
+console.log("Starting transfer_private execution");
+// Construct the transfer_private transaction.
+const transfer_private_tx = await programManager.buildExecutionTransaction({
+    programName: "credits.aleo",
+    functionName: "transfer_private",
+    priorityFee: 0,
+    privateFee: true,
+    inputs: [sendRecord, recipient, "500000u64"],
+    feeRecord,
+    keySearchParams: { "cacheKey" : CREDITS_PROGRAM_KEYS.getKey("transfer_private").locator}
+});
+console.log(`transfer_private Execute finished in ${Date.now() - start}ms`);
+console.log(`Private execution ${transfer_private_tx}`);

package/template-private-transaction-ts/tsconfig.json

@@ -0,0 +1,15 @@
+{
+  "compilerOptions": {
+    /* Basic Options */
+    "target": "es2017",
+    "module": "esnext",
+
+    /* Module Resolution Options */
+    "moduleResolution": "bundler",
+    "esModuleInterop": true,
+
+    /* Advanced Options */
+    "skipLibCheck": true,
+    "forceConsistentCasingInFileNames": true
+  }
+}

package/template-react-leo/package.json

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

package/template-react-managed-worker/package.json

@@ -11,7 +11,7 @@
     "preview": "vite preview"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.9.10",
+    "@provablehq/sdk": "^0.9.12",
     "react": "^19.0.0",
     "react-dom": "^19.0.0"
   },

package/template-react-ts/package.json

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

package/template-vanilla/package.json

@@ -9,7 +9,7 @@
         "preview": "vite preview"
     },
     "devDependencies": {
-        "@provablehq/sdk": "^0.9.10",
+        "@provablehq/sdk": "^0.9.12",
         "tslib": "^2.8.1",
         "vite": "^6.3.6"
     }