create-leo-app 0.9.18 → 0.10.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "create-leo-app",
-  "version": "0.9.18",
+  "version": "0.10.0",
   "type": "module",
   "license": "GPL-3.0",
   "collaborators": [

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

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

package/template-extension/package.json

@@ -7,7 +7,8 @@
     "build": "rimraf static/js && rollup --config"
   },
   "devDependencies": {
-    "@provablehq/sdk": "^0.9.18",
+    "@provablehq/sdk": "^0.10.0",
+    "@rollup/plugin-node-resolve": "^16.0.0",
     "@web/rollup-plugin-import-meta-assets": "^2.2.1",
     "rimraf": "^6.0.1",
     "rollup": "^4.59.0"

package/template-nextjs-ts/node_modules/@types/node/README.md

@@ -8,7 +8,7 @@ This package contains type definitions for node (https://nodejs.org/).
 Files were exported from https://github.com/DefinitelyTyped/DefinitelyTyped/tree/master/types/node/v22.
 
 ### Additional Details
- * Last updated: Thu, 15 Jan 2026 17:09:03 GMT
+ * Last updated: Mon, 08 Dec 2025 22:36:14 GMT
  * Dependencies: [undici-types](https://npmjs.com/package/undici-types)
 
 # Credits

package/template-nextjs-ts/node_modules/@types/node/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@types/node",
-    "version": "22.19.7",
+    "version": "22.19.2",
     "description": "TypeScript definitions for node",
     "homepage": "https://github.com/DefinitelyTyped/DefinitelyTyped/tree/master/types/node",
     "license": "MIT",
@@ -140,6 +140,6 @@
         "undici-types": "~6.21.0"
     },
     "peerDependencies": {},
-    "typesPublisherContentHash": "f1259533877c3d16d2f6d26a40b24b33bdef27833c6208e03356ce70fbf38a8f",
+    "typesPublisherContentHash": "cb67dd83f6f69ba1e456c156512686df21fb7978863408330225329e663f5c7e",
     "typeScriptVersion": "5.2"
 }

package/template-nextjs-ts/node_modules/@types/node/process.d.ts

@@ -474,11 +474,6 @@ declare module "process" {
                  * @default false
                  */
                 reportOnUncaughtException: boolean;
-                /**
-                 * If true, a diagnostic report is generated without the environment variables.
-                 * @default false
-                 */
-                excludeEnv: boolean;
                 /**
                  * The signal used to trigger the creation of a diagnostic report.
                  * @default 'SIGUSR2'
@@ -1710,11 +1705,6 @@ declare module "process" {
                  * @param args Additional arguments to pass when invoking the `callback`
                  */
                 nextTick(callback: Function, ...args: any[]): void;
-                /**
-                 * The process.noDeprecation property indicates whether the --no-deprecation flag is set on the current Node.js process.
-                 * See the documentation for the ['warning' event](https://nodejs.org/docs/latest/api/process.html#event-warning) and the [emitWarning()](https://nodejs.org/docs/latest/api/process.html#processemitwarningwarning-type-code-ctor) method for more information about this flag's behavior.
-                 */
-                noDeprecation?: boolean;
                 /**
                  * This API is available through the [--permission](https://nodejs.org/api/cli.html#--permission) flag.
                  *
@@ -1791,15 +1781,6 @@ declare module "process" {
                     options?: MessageOptions,
                     callback?: (error: Error | null) => void,
                 ): boolean;
-                send?(
-                    message: any,
-                    sendHandle: SendHandle,
-                    callback?: (error: Error | null) => void,
-                ): boolean;
-                send?(
-                    message: any,
-                    callback: (error: Error | null) => void,
-                ): boolean;
                 /**
                  * If the Node.js process is spawned with an IPC channel (see the `Child Process` and `Cluster` documentation), the `process.disconnect()` method will close the
                  * IPC channel to the parent process, allowing the child process to exit gracefully

package/template-nextjs-ts/node_modules/@types/node/tls.d.ts

@@ -245,10 +245,6 @@ declare module "tls" {
          * When a handshake is completed but not ALPN protocol was selected, tlsSocket.alpnProtocol equals false.
          */
         alpnProtocol: string | false | null;
-        /**
-         * String containing the server name requested via SNI (Server Name Indication) TLS extension.
-         */
-        servername: string | false | null;
         /**
          * Returns an object representing the local certificate. The returned object has
          * some properties corresponding to the fields of the certificate.

package/template-nextjs-ts/package.json

@@ -9,8 +9,8 @@
     "lint": "next lint"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.9.18",
-    "next": "15.5.10",
+    "@provablehq/sdk": "^0.10.0",
+    "next": "15.5.14",
     "react": "^19.0.0",
     "react-dom": "^19.0.0",
     "terser-webpack-plugin": "^5.3.11"

package/template-node/package.json

@@ -7,6 +7,6 @@
     "start": "node index.js"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.9.18"
+    "@provablehq/sdk": "^0.10.0"
   }
 }

package/template-node-credits-aleo-functions-ts/package.json

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

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

@@ -1,22 +1,12 @@
-import { initThreadPool, ProgramManager, Account, AleoKeyProvider, AleoKeyProviderParams } from '@provablehq/sdk/testnet.js';
+import { initThreadPool, ProgramManager, Account, AleoKeyProvider, VerifyingKey, Proof } from '@provablehq/sdk/testnet.js';
 
 // Initialize the thread pool in order to prove faster.
 await initThreadPool();
-function generateHelloHelloSource(programName) {
-    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;
-
-constructor:
-    assert.eq edition 0u16;
-`;
-    return hello_hello_program;
-}
+// Sample SNARK proof fixtures from a simple test circuit with 2 public inputs, both equal to 1field.
+// These are used to demonstrate standalone proof verification with snarkVerify/snarkVerifyBatch.
+const SAMPLE_VERIFYING_KEY = "verifier1qypqqqqqqqqqqqyxqqqqqqqqqqqyzqqqqqqqqqqqgyqqqqqqqqqqqsgqqqqqqqqqqpqsqqqqqqqqqqqvqqqqqqqqqqqgh4c0dzjasutflzxx36ckaea0zr5xqu0ydpaascrhacjlftlvnt99yg003w45g0mj4qepazsl5w5qfl5dm9y3sfq87376ynfyync09xyaz05ggfh79lkpx6yzunrz06zdwsu4klsj9z3933wpeggqj2msqs5xeul99lvzyd98mfmqm34nud4z7qjkxk708d9mvgqqw9hwkes726yl5nla6mr7s56p2a2c36csqpl0qe39wd8rswunurla70pqes7fay5kzh7jv5l5plpc82yu5p8thnxavejw3kwxz038sdmf34n9uqt77pnz2u6w8qae8c8lmu7zpnpun6ffv90ayeflgr7rsw5fegzwh0xd6enyarvuvylz0qmknrtxtcqhaurxy4e5uwpmj0s0lheuyrxre85jjc2l6fjn7s8u8qagnjsyaw7vm4nxf6xeccf7y7phdxxkvhspj4chhza3rsj4v66lfc00u27y9g2mlg7ttgdx8m9d09lns7lcjqmcs9lraqk9wac52hwc0th9g3qsrrsk2xszjn0qyuwcas5g76c4l8u8zycc5n4uslf6kajp0c4aq6ea7d8u3rvxkql5l8njthv82ygpsqmd034693yathl585th5rh29c0yf29l7yk4nry7daf3ndm7lhv8nvy546sa0uysqcvdy5tlxzqq3q8swlatmy33h6zn7ychqcnjjvfc8a4q0szr70k9l2qa8my76c0ud5e5t5yksd78ytlhey426p2xdxq2vfrtuhduyjjh5wgwn35fxz2rvhgaysyhgph4at920ykfrjqph8gjp47vl77zlzqhnwljkxnz6guqmh8xy62966f0sw505l07m64r2qvxd9ggzng7naawtsran2yj77fts7e7mccf25svwdhzt998ee7cruwc6gx9krqpj4ll7x5jw0l3sw8kwjfgck0an2dwcp4dz9yfq272svqqqqqqqqqqqhzxq3v";
+const SAMPLE_PROOF = "proof1qyqsqqqqqqqqqqqpqqqqqqqqqqqg4v4ffaewfrdfyl442hd2jryku27u9cajphqaqa5keztfzy75mxctwth0w9599r2ra0awu9jfmj5qq9n6ufwrq0r68g2wcse7avhuy2t37mp35s39wtl0z9f53qhatkl4gqpyzheggtkj2gxzl45jwjtx8qtsx5wh09f286p866gzc6x292u773zhtgzvxucw5jv397ngkh5wcwtjzwy8qsxhtywz5egx5hzg6wqyayt8ernlmgdy7d6ytmxyx3azdvy6qsjfcqjdmvr3ycaqmzaz20umm3zu4jzunjkwfsm3ry9nu7vqfypg567n33m3226l797v7pqltuw8yl8xwh5jrkgpgjvl8uqp2fttyvs7k0ye5eeeswnl0506aw0qrnxpc687002ukjxdd222ffw6lk8gleuf0tvq4lxkskmhrlqaj95zvp2w9aeza4sdt7hdecy29er3s84skdxq5uf0m767ecpa60tm0krx4vdp2umvdy6aaddy7xxpvtwmwfan8z23yud27z8pan8msgr3zq2s2qnfnqhg8cltzl7v9fewna69kavvy570l62k55x2wayjvvhha2uk6vje5zsgvqw67cskce4dxcqtrdpvkkl3n7yt2v4pwexhw8ftgnv0kkvumgha2cfyn84yp7v2ztysawmt65y2z28auutxlh05nvcqlhaj2a3wd3gqw6tc02z0s67v4x5kh3st28v30nf9cv9k6g5jnc89z4hmu32nnnm9j625q75nfcr99hjpqu50rhqpu57lqnjdwhfu2pvstze2c0qj0a2d4zkcg88ep79eyqe7e399hx86e6p4qswjk32dpg45r7jtzhse8szcaxu7md99u7luj2afl07jzp5zqut05a85qg5qkd8syclvv5sqf4xtfqca4c9r6ffptmv2l587qx8knn7qpukt4hqqpkw27z7tf0xk9z7esermt8hmr2auefw3c0drel890ep6rujt3uff504q744z5s9v2krxkvh3vqjjr48dnuzx5vzpymcz0sdvvt7v7p5pymj82a5p33fd4xup79muz3zvn8tq09mlfujr2nyv99ad80u4qvutsca8g63aw7dsq0hvql3c07l0lxl39lwr8gqwqpvfx85tjpyq3wgn3c7az3xvnj22h2c4qq356zgxjwl69wn4jx4srjsczanm9sqdqvqqqqqqqqqqq2ku9a56rnzvm4zchvwea5dt9qnwjl789zar0dvjmze3aft5d567q2ntdw85p6ep925xx3hymjgwqyqtnxjhxr50cp8tqvpwlexzyajld9z2gu3zzy6cvllnh2kmzr4ctdz78wyprdvxyf2aqs8apz866aspq9qdtd535z8uqaacz6d9v7jahs87gav0388kg0ctdup7h93pphqs27m5jud96f2pnwclyhvk3lv9pgl57l7mqzgljm9qc2kdy39j8eyhq8guca5ytphd7cnjl9u8nurcqqqqw7lyxe";
+const SAMPLE_INPUTS = ["1field", "1field"];
 const programManager = new ProgramManager();
 // Create a temporary account for the execution of the program
 const account = new Account();
@@ -25,88 +15,102 @@ programManager.setAccount(account);
 const keyProvider = new AleoKeyProvider();
 keyProvider.useCache(true);
 programManager.setKeyProvider(keyProvider);
-async function localProgramExecution(program, programName, aleoFunction, inputs) {
-    // Pre-synthesize the program keys and then cache them in memory using the key provider.
-    try {
-        const keyPair = await programManager.synthesizeKeys(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!");
-    }
+// Demonstrate standalone SNARK proof verification. This verifies a proof from a circuit that is
+// not necessarily an Aleo program execution. Useful for verifying proofs received from external
+// sources (e.g. another party proved a computation and you want to verify it).
+function snarkProofVerification() {
+    // Parse the verifying key and proof from their string representations.
+    const verifyingKey = VerifyingKey.fromString(SAMPLE_VERIFYING_KEY);
+    const proof = Proof.fromString(SAMPLE_PROOF);
+    // Verify the proof with the correct public inputs.
+    const isValid = verifyingKey.verify(SAMPLE_INPUTS, proof);
+    console.log(`  VerifyingKey.verify with valid inputs: ${isValid}`); // true
+    // Verify the proof with wrong inputs — this should return false.
+    const isInvalid = verifyingKey.verify(["1field", "2field"], proof);
+    console.log(`  VerifyingKey.verify with wrong inputs: ${isInvalid}`); // false
+    // Batch verification: verify the same proof with its verifying key and inputs in a batch context.
+    // VerifyingKey.verifyBatch takes arrays of verifying key strings and a 3D inputs array:
+    // [circuit_index][instance_index][field_index]
+    const batchResult = VerifyingKey.verifyBatch([SAMPLE_VERIFYING_KEY], [[SAMPLE_INPUTS]], proof);
+    console.log(`  VerifyingKey.verifyBatch result: ${batchResult}`); // true
 }
 // Run a deployment and both online and offline executions.
 async function run(online = false) {
-    // Generate the hello_hello.aleo program source code and inputs.
-    let programName = `hello_hello.aleo`;
-    let hello_hello_program = generateHelloHelloSource(programName);
-    const functionName = "hello";
-    const inputs = ["5u32", "5u32"];
-    console.log("");
-    console.log("// --- STEP 1: Execute the program offline to test it gives the expected results. --- //");
-    // Execute the program locally.
-    console.log(`Executing ${programName}/hello offline`);
+    // // Generate the hello_hello.aleo program source code and inputs.
+    // let programName = `hello_hello.aleo`;
+    // let hello_hello_program = generateHelloHelloSource(programName);
+    // const functionName = "hello";
+    // const inputs = ["5u32", "5u32"];
+    //
+    // console.log("");
+    // console.log("// --- STEP 1: Execute the program offline to test it gives the expected results. --- //");
+    // // Execute the program locally.
+    // console.log(`Executing ${programName}/hello offline`);
+    // let start = Date.now();
+    // const result = await localProgramExecution(hello_hello_program, programName, functionName, inputs);
+    // console.log(`✅ Local execute finished in ${(Date.now() - start)/1000}s`);
+    //
+    // console.log("");
+    // console.log("// --- STEP 2: Build the deployment transaction. --- //");
     let start = Date.now();
-    await localProgramExecution(hello_hello_program, programName, functionName, inputs);
-    console.log(`✅ Local execute finished in ${(Date.now() - start) / 1000}s`);
-    console.log("");
-    console.log("// --- STEP 2: Build the deployment transaction. --- //");
-    start = Date.now();
-    programName = `hello_hello_${Math.floor(Math.random() * 65536)}.aleo`;
-    hello_hello_program = generateHelloHelloSource(programName);
-    const deploymentTx = await programManager.buildDeploymentTransaction(hello_hello_program, 0, false);
-    console.log(`✅ Deployment transaction built in ${(Date.now() - start) / 1000}s`);
-    // If the deployment flag is set to true, deploy the program on testnet (requires aleo credits).
-    if (online) {
-        const txId = await programManager.networkClient.submitTransaction(deploymentTx);
-        const confirmedTx = await programManager.networkClient.waitForTransactionConfirmation(txId);
-        if (txId === confirmedTx.transaction.id) {
-            console.log(`Program ${programName} deployed to Aleo Testnet successfully!`);
-        }
-    }
-    else {
-        programName = `hello_hello.aleo`;
-        hello_hello_program = generateHelloHelloSource(programName);
-    }
+    // programName = `hello_hello_${Math.floor(Math.random() * 65536)}.aleo`;
+    // hello_hello_program = generateHelloHelloSource(programName);
+    // const deploymentTx: Transaction = await programManager.buildDeploymentTransaction(
+    //     hello_hello_program,
+    //     0,
+    //     false,
+    // )
+    // console.log(`✅ Deployment transaction built in ${(Date.now() - start)/1000}s`);
+    //
+    // // If the deployment flag is set to true, deploy the program on testnet (requires aleo credits).
+    // if (online) {
+    //     const txId: string = await programManager.networkClient.submitTransaction(deploymentTx);
+    //     const confirmedTx: ConfirmedTransactionJSON = await programManager.networkClient.waitForTransactionConfirmation(txId);
+    //     if (txId === confirmedTx.transaction.id) {
+    //         console.log(`Program ${programName} deployed to Aleo Testnet successfully!`);
+    //     }
+    // } else {
+    //     programName = `hello_hello.aleo`;
+    //     hello_hello_program = generateHelloHelloSource(programName);
+    // }
+    //
+    // console.log("");
+    // console.log("// --- STEP 3: Execute the program ONLINE. --- //");
+    //
+    // // If the program was actually deployed, execute it online. Otherwise, execute an equivalent
+    // // program with the same logic.
+    // console.log(`Executing ${programName}/hello online on the aleo network`);
+    // start = Date.now();
+    // const keySearchParams = new AleoKeyProviderParams({cacheKey: `${programName}:${functionName}`});
+    // const executionTx: Transaction = await programManager.buildExecutionTransaction(
+    //     {
+    //         programName,
+    //         functionName,
+    //         priorityFee: 0,
+    //         privateFee: false,
+    //         inputs: inputs,
+    //         keySearchParams,
+    //         program: hello_hello_program
+    //     }
+    // )
+    // console.log(`✅ Online execution of ${programName} built in ${(Date.now() - start)/1000}s`);
+    //
+    // // If the online option is specified, submit the transaction to the network.
+    // if (online) {
+    //     const txId: string = await programManager.networkClient.submitTransaction(executionTx);
+    //     const confirmedTx: ConfirmedTransactionJSON = await programManager.networkClient.waitForTransactionConfirmation(txId);
+    //     if (txId === confirmedTx.transaction.id) {
+    //         console.log(`Program ${programName}/hello executed successfully!`);
+    //     }
+    // }
     console.log("");
-    console.log("// --- STEP 3: Execute the program ONLINE. --- //");
-    // If the program was actually deployed, execute it online. Otherwise, execute an equivalent
-    // program with the same logic.
-    console.log(`Executing ${programName}/hello online on the aleo network`);
+    console.log("// --- STEP 4: Verify a standalone SNARK proof. --- //");
+    // snarkVerify and snarkVerifyBatch let you verify a proof from any Varuna circuit directly,
+    // without requiring an on-chain program execution. This is useful when you receive a proof
+    // from an external source and want to verify it independently.
     start = Date.now();
-    const keySearchParams = new AleoKeyProviderParams({ cacheKey: `${programName}:${functionName}` });
-    const executionTx = await programManager.buildExecutionTransaction({
-        programName,
-        functionName,
-        priorityFee: 0,
-        privateFee: false,
-        inputs: inputs,
-        keySearchParams,
-        program: hello_hello_program
-    });
-    console.log(`✅ Online execution of ${programName} built in ${(Date.now() - start) / 1000}s`);
-    // If the online option is specified, submit the transaction to the network.
-    if (online) {
-        const txId = await programManager.networkClient.submitTransaction(executionTx);
-        const confirmedTx = await programManager.networkClient.waitForTransactionConfirmation(txId);
-        if (txId === confirmedTx.transaction.id) {
-            console.log(`Program ${programName}/hello executed successfully!`);
-        }
-    }
+    snarkProofVerification();
+    console.log(`✅ SNARK proof verification finished in ${(Date.now() - start) / 1000}s`);
 }
 // Run the offline execution, deployment, and online execution of hello_hello.aleo.
 await run(false);

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 @@
     "start": "npm run build && node dist/index.js"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.9.18"
+    "@provablehq/sdk": "^0.10.0"
   },
   "devDependencies": {
     "rimraf": "^6.0.1",

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

@@ -4,8 +4,10 @@ import {
     AleoKeyProviderParams,
     ConfirmedTransactionJSON,
     initThreadPool,
+    Proof,
     ProgramManager,
     Transaction,
+    VerifyingKey,
 } from "@provablehq/sdk/testnet.js";
 
 // Initialize the thread pool in order to prove faster.
@@ -27,6 +29,12 @@ constructor:
     return hello_hello_program;
 }
 
+// Sample SNARK proof fixtures from a simple test circuit with 2 public inputs, both equal to 1field.
+// These are used to demonstrate standalone proof verification with snarkVerify/snarkVerifyBatch.
+const SAMPLE_VERIFYING_KEY = "verifier1qypqqqqqqqqqqqyxqqqqqqqqqqqyzqqqqqqqqqqqgyqqqqqqqqqqqsgqqqqqqqqqqpqsqqqqqqqqqqqvqqqqqqqqqqqgh4c0dzjasutflzxx36ckaea0zr5xqu0ydpaascrhacjlftlvnt99yg003w45g0mj4qepazsl5w5qfl5dm9y3sfq87376ynfyync09xyaz05ggfh79lkpx6yzunrz06zdwsu4klsj9z3933wpeggqj2msqs5xeul99lvzyd98mfmqm34nud4z7qjkxk708d9mvgqqw9hwkes726yl5nla6mr7s56p2a2c36csqpl0qe39wd8rswunurla70pqes7fay5kzh7jv5l5plpc82yu5p8thnxavejw3kwxz038sdmf34n9uqt77pnz2u6w8qae8c8lmu7zpnpun6ffv90ayeflgr7rsw5fegzwh0xd6enyarvuvylz0qmknrtxtcqhaurxy4e5uwpmj0s0lheuyrxre85jjc2l6fjn7s8u8qagnjsyaw7vm4nxf6xeccf7y7phdxxkvhspj4chhza3rsj4v66lfc00u27y9g2mlg7ttgdx8m9d09lns7lcjqmcs9lraqk9wac52hwc0th9g3qsrrsk2xszjn0qyuwcas5g76c4l8u8zycc5n4uslf6kajp0c4aq6ea7d8u3rvxkql5l8njthv82ygpsqmd034693yathl585th5rh29c0yf29l7yk4nry7daf3ndm7lhv8nvy546sa0uysqcvdy5tlxzqq3q8swlatmy33h6zn7ychqcnjjvfc8a4q0szr70k9l2qa8my76c0ud5e5t5yksd78ytlhey426p2xdxq2vfrtuhduyjjh5wgwn35fxz2rvhgaysyhgph4at920ykfrjqph8gjp47vl77zlzqhnwljkxnz6guqmh8xy62966f0sw505l07m64r2qvxd9ggzng7naawtsran2yj77fts7e7mccf25svwdhzt998ee7cruwc6gx9krqpj4ll7x5jw0l3sw8kwjfgck0an2dwcp4dz9yfq272svqqqqqqqqqqqhzxq3v";
+const SAMPLE_PROOF = "proof1qyqsqqqqqqqqqqqpqqqqqqqqqqqg4v4ffaewfrdfyl442hd2jryku27u9cajphqaqa5keztfzy75mxctwth0w9599r2ra0awu9jfmj5qq9n6ufwrq0r68g2wcse7avhuy2t37mp35s39wtl0z9f53qhatkl4gqpyzheggtkj2gxzl45jwjtx8qtsx5wh09f286p866gzc6x292u773zhtgzvxucw5jv397ngkh5wcwtjzwy8qsxhtywz5egx5hzg6wqyayt8ernlmgdy7d6ytmxyx3azdvy6qsjfcqjdmvr3ycaqmzaz20umm3zu4jzunjkwfsm3ry9nu7vqfypg567n33m3226l797v7pqltuw8yl8xwh5jrkgpgjvl8uqp2fttyvs7k0ye5eeeswnl0506aw0qrnxpc687002ukjxdd222ffw6lk8gleuf0tvq4lxkskmhrlqaj95zvp2w9aeza4sdt7hdecy29er3s84skdxq5uf0m767ecpa60tm0krx4vdp2umvdy6aaddy7xxpvtwmwfan8z23yud27z8pan8msgr3zq2s2qnfnqhg8cltzl7v9fewna69kavvy570l62k55x2wayjvvhha2uk6vje5zsgvqw67cskce4dxcqtrdpvkkl3n7yt2v4pwexhw8ftgnv0kkvumgha2cfyn84yp7v2ztysawmt65y2z28auutxlh05nvcqlhaj2a3wd3gqw6tc02z0s67v4x5kh3st28v30nf9cv9k6g5jnc89z4hmu32nnnm9j625q75nfcr99hjpqu50rhqpu57lqnjdwhfu2pvstze2c0qj0a2d4zkcg88ep79eyqe7e399hx86e6p4qswjk32dpg45r7jtzhse8szcaxu7md99u7luj2afl07jzp5zqut05a85qg5qkd8syclvv5sqf4xtfqca4c9r6ffptmv2l587qx8knn7qpukt4hqqpkw27z7tf0xk9z7esermt8hmr2auefw3c0drel890ep6rujt3uff504q744z5s9v2krxkvh3vqjjr48dnuzx5vzpymcz0sdvvt7v7p5pymj82a5p33fd4xup79muz3zvn8tq09mlfujr2nyv99ad80u4qvutsca8g63aw7dsq0hvql3c07l0lxl39lwr8gqwqpvfx85tjpyq3wgn3c7az3xvnj22h2c4qq356zgxjwl69wn4jx4srjsczanm9sqdqvqqqqqqqqqqq2ku9a56rnzvm4zchvwea5dt9qnwjl789zar0dvjmze3aft5d567q2ntdw85p6ep925xx3hymjgwqyqtnxjhxr50cp8tqvpwlexzyajld9z2gu3zzy6cvllnh2kmzr4ctdz78wyprdvxyf2aqs8apz866aspq9qdtd535z8uqaacz6d9v7jahs87gav0388kg0ctdup7h93pphqs27m5jud96f2pnwclyhvk3lv9pgl57l7mqzgljm9qc2kdy39j8eyhq8guca5ytphd7cnjl9u8nurcqqqqw7lyxe";
+const SAMPLE_INPUTS = ["1field", "1field"];
+
 const programManager = new ProgramManager();
 
 // Create a temporary account for the execution of the program
@@ -73,6 +81,33 @@ async function localProgramExecution(program: string, programName: string, aleoF
     }
 }
 
+// Demonstrate standalone SNARK proof verification. This verifies a proof from a circuit that is
+// not necessarily an Aleo program execution. Useful for verifying proofs received from external
+// sources (e.g. another party proved a computation and you want to verify it).
+function snarkProofVerification() {
+    // Parse the verifying key and proof from their string representations.
+    const verifyingKey = VerifyingKey.fromString(SAMPLE_VERIFYING_KEY);
+    const proof = Proof.fromString(SAMPLE_PROOF);
+
+    // Verify the proof with the correct public inputs.
+    const isValid = verifyingKey.verify(SAMPLE_INPUTS, proof);
+    console.log(`  VerifyingKey.verify with valid inputs: ${isValid}`); // true
+
+    // Verify the proof with wrong inputs — this should return false.
+    const isInvalid = verifyingKey.verify(["1field", "2field"], proof);
+    console.log(`  VerifyingKey.verify with wrong inputs: ${isInvalid}`); // false
+
+    // Batch verification: verify the same proof with its verifying key and inputs in a batch context.
+    // VerifyingKey.verifyBatch takes arrays of verifying key strings and a 3D inputs array:
+    // [circuit_index][instance_index][field_index]
+    const batchResult = VerifyingKey.verifyBatch(
+        [SAMPLE_VERIFYING_KEY],
+        [[SAMPLE_INPUTS]],
+        proof,
+    );
+    console.log(`  VerifyingKey.verifyBatch result: ${batchResult}`); // true
+}
+
 // Run a deployment and both online and offline executions.
 async function run(online: boolean = false) {
     // Generate the hello_hello.aleo program source code and inputs.
@@ -142,6 +177,15 @@ async function run(online: boolean = false) {
             console.log(`Program ${programName}/hello executed successfully!`);
         }
     }
+
+    console.log("");
+    console.log("// --- STEP 4: Verify a standalone SNARK proof. --- //");
+    // snarkVerify and snarkVerifyBatch let you verify a proof from any Varuna circuit directly,
+    // without requiring an on-chain program execution. This is useful when you receive a proof
+    // from an external source and want to verify it independently.
+    start = Date.now();
+    snarkProofVerification();
+    console.log(`✅ SNARK proof verification finished in ${(Date.now() - start)/1000}s`);
 }
 
 // Run the offline execution, deployment, and online execution of hello_hello.aleo.

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.18"
+    "@provablehq/sdk": "^0.10.0"
   },
   "devDependencies": {
     "rimraf": "^6.0.1",

package/template-react-credits-aleo-functions-ts/node_modules/@types/node/LICENSE

@@ -0,0 +1,21 @@
+    MIT License
+
+    Copyright (c) Microsoft Corporation.
+
+    Permission is hereby granted, free of charge, to any person obtaining a copy
+    of this software and associated documentation files (the "Software"), to deal
+    in the Software without restriction, including without limitation the rights
+    to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+    copies of the Software, and to permit persons to whom the Software is
+    furnished to do so, subject to the following conditions:
+
+    The above copyright notice and this permission notice shall be included in all
+    copies or substantial portions of the Software.
+
+    THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+    IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+    FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+    AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+    LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+    OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+    SOFTWARE

package/template-react-credits-aleo-functions-ts/node_modules/@types/node/README.md

@@ -0,0 +1,15 @@
+# Installation
+> `npm install --save @types/node`
+
+# Summary
+This package contains type definitions for node (https://nodejs.org/).
+
+# Details
+Files were exported from https://github.com/DefinitelyTyped/DefinitelyTyped/tree/master/types/node/v22.
+
+### Additional Details
+ * Last updated: Mon, 08 Dec 2025 22:36:14 GMT
+ * Dependencies: [undici-types](https://npmjs.com/package/undici-types)
+
+# Credits
+These definitions were written by [Microsoft TypeScript](https://github.com/Microsoft), [Alberto Schiabel](https://github.com/jkomyno), [Andrew Makarov](https://github.com/r3nya), [Benjamin Toueg](https://github.com/btoueg), [David Junger](https://github.com/touffy), [Mohsen Azimi](https://github.com/mohsen1), [Nikita Galkin](https://github.com/galkin), [Sebastian Silbermann](https://github.com/eps1lon), [Wilco Bakker](https://github.com/WilcoBakker), [Marcin Kopacz](https://github.com/chyzwar), [Trivikram Kamat](https://github.com/trivikr), [Junxiao Shi](https://github.com/yoursunny), [Ilia Baryshnikov](https://github.com/qwelias), [ExE Boss](https://github.com/ExE-Boss), [Piotr Błażejewicz](https://github.com/peterblazejewicz), [Anna Henningsen](https://github.com/addaleax), [Victor Perin](https://github.com/victorperin), [NodeJS Contributors](https://github.com/NodeJS), [Linus Unnebäck](https://github.com/LinusU), [wafuwafu13](https://github.com/wafuwafu13), [Matteo Collina](https://github.com/mcollina), [Dmitry Semigradsky](https://github.com/Semigradsky), and [René](https://github.com/Renegade334).

package/template-react-credits-aleo-functions-ts/node_modules/@types/node/assert/strict.d.ts

@@ -0,0 +1,111 @@
+/**
+ * In strict assertion mode, non-strict methods behave like their corresponding
+ * strict methods. For example, `assert.deepEqual()` will behave like
+ * `assert.deepStrictEqual()`.
+ *
+ * In strict assertion mode, error messages for objects display a diff. In legacy
+ * assertion mode, error messages for objects display the objects, often truncated.
+ *
+ * To use strict assertion mode:
+ *
+ * ```js
+ * import { strict as assert } from 'node:assert';
+ * ```
+ *
+ * ```js
+ * import assert from 'node:assert/strict';
+ * ```
+ *
+ * Example error diff:
+ *
+ * ```js
+ * import { strict as assert } from 'node:assert';
+ *
+ * assert.deepEqual([[[1, 2, 3]], 4, 5], [[[1, 2, '3']], 4, 5]);
+ * // AssertionError: Expected inputs to be strictly deep-equal:
+ * // + actual - expected ... Lines skipped
+ * //
+ * //   [
+ * //     [
+ * // ...
+ * //       2,
+ * // +     3
+ * // -     '3'
+ * //     ],
+ * // ...
+ * //     5
+ * //   ]
+ * ```
+ *
+ * To deactivate the colors, use the `NO_COLOR` or `NODE_DISABLE_COLORS`
+ * environment variables. This will also deactivate the colors in the REPL. For
+ * more on color support in terminal environments, read the tty
+ * [`getColorDepth()`](https://nodejs.org/docs/latest-v22.x/api/tty.html#writestreamgetcolordepthenv) documentation.
+ * @since v15.0.0
+ * @see [source](https://github.com/nodejs/node/blob/v22.x/lib/assert/strict.js)
+ */
+declare module "assert/strict" {
+    import {
+        Assert,
+        AssertionError,
+        AssertionErrorOptions,
+        AssertOptions,
+        AssertPredicate,
+        AssertStrict,
+        CallTracker,
+        CallTrackerCall,
+        CallTrackerReportInformation,
+        deepStrictEqual,
+        doesNotMatch,
+        doesNotReject,
+        doesNotThrow,
+        fail,
+        ifError,
+        match,
+        notDeepStrictEqual,
+        notStrictEqual,
+        ok,
+        partialDeepStrictEqual,
+        rejects,
+        strictEqual,
+        throws,
+    } from "node:assert";
+    function strict(value: unknown, message?: string | Error): asserts value;
+    namespace strict {
+        export {
+            Assert,
+            AssertionError,
+            AssertionErrorOptions,
+            AssertOptions,
+            AssertPredicate,
+            AssertStrict,
+            CallTracker,
+            CallTrackerCall,
+            CallTrackerReportInformation,
+            deepStrictEqual,
+            deepStrictEqual as deepEqual,
+            doesNotMatch,
+            doesNotReject,
+            doesNotThrow,
+            fail,
+            ifError,
+            match,
+            notDeepStrictEqual,
+            notDeepStrictEqual as notDeepEqual,
+            notStrictEqual,
+            notStrictEqual as notEqual,
+            ok,
+            partialDeepStrictEqual,
+            rejects,
+            strict,
+            strictEqual,
+            strictEqual as equal,
+            throws,
+        };
+    }
+    export = strict;
+}
+declare module "node:assert/strict" {
+    import strict = require("assert/strict");
+    export = strict;
+}