[Fix] Record finding (#1124)

iamalwaysuncomfortable · web-flow · commit 75c753c90414 · 2025-11-17T21:40:48.000-05:00
Add fixes to record and proving key finding in the ProgramManager
diff --git a/create-leo-app/package.json b/create-leo-app/package.json
@@ -1,6 +1,6 @@
 {
   "name": "create-leo-app",
-  "version": "0.9.11",
+  "version": "0.9.12",
   "type": "module",
   "license": "GPL-3.0",
   "collaborators": [
@@ -15,6 +15,7 @@
     "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",
diff --git a/create-leo-app/template-build-and-execute-authorization-ts/package.json b/create-leo-app/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.11"
+    "@provablehq/sdk": "^0.9.12"
   },
   "devDependencies": {
     "rimraf": "^6.0.1",
diff --git a/create-leo-app/template-extension/package.json b/create-leo-app/template-extension/package.json
@@ -7,7 +7,7 @@
     "build": "rimraf static/js && rollup --config"
   },
   "devDependencies": {
-    "@provablehq/sdk": "^0.9.11",
+    "@provablehq/sdk": "^0.9.12",
     "@web/rollup-plugin-import-meta-assets": "^2.2.1",
     "rimraf": "^6.0.1",
     "rollup": "^4.32.0"
diff --git a/create-leo-app/template-nextjs-ts/package.json b/create-leo-app/template-nextjs-ts/package.json
@@ -9,7 +9,7 @@
     "lint": "next lint"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.9.11",
+    "@provablehq/sdk": "^0.9.12",
     "next": "15.4.7",
     "react": "^19.0.0",
     "react-dom": "^19.0.0",
diff --git a/create-leo-app/template-node-ts/package.json b/create-leo-app/template-node-ts/package.json
@@ -8,7 +8,7 @@
     "dev": "npm run build && node dist/index.js"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.9.11"
+    "@provablehq/sdk": "^0.9.12"
   },
   "devDependencies": {
     "rimraf": "^6.0.1",
diff --git a/create-leo-app/template-node/package.json b/create-leo-app/template-node/package.json
@@ -7,6 +7,6 @@
     "dev": "node index.js"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.9.11"
+    "@provablehq/sdk": "^0.9.12"
   }
 }
diff --git a/create-leo-app/template-offline-public-transaction-ts/package.json b/create-leo-app/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.11"
+    "@provablehq/sdk": "^0.9.12"
   },
   "devDependencies": {
     "rimraf": "^6.0.1",
diff --git a/create-leo-app/template-private-transaction-ts/README.md b/create-leo-app/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.
diff --git a/create-leo-app/template-private-transaction-ts/_gitignore b/create-leo-app/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?
diff --git a/create-leo-app/template-private-transaction-ts/package.json b/create-leo-app/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"
+  }
+}
diff --git a/create-leo-app/template-private-transaction-ts/rollup.config.js b/create-leo-app/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,
+        }),
+    ],
+};
diff --git a/create-leo-app/template-private-transaction-ts/src/index.ts b/create-leo-app/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}`);
diff --git a/create-leo-app/template-private-transaction-ts/tsconfig.json b/create-leo-app/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
+  }
+}
diff --git a/create-leo-app/template-react-leo/package.json b/create-leo-app/template-react-leo/package.json
@@ -12,7 +12,7 @@
     "install-leo": "./install.sh"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.9.11",
+    "@provablehq/sdk": "^0.9.12",
     "comlink": "^4.4.2",
     "react": "^19.0.0",
     "react-dom": "^19.0.0"
diff --git a/create-leo-app/template-react-managed-worker/package.json b/create-leo-app/template-react-managed-worker/package.json
@@ -11,7 +11,7 @@
     "preview": "vite preview"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.9.11",
+    "@provablehq/sdk": "^0.9.12",
     "react": "^19.0.0",
     "react-dom": "^19.0.0"
   },
diff --git a/create-leo-app/template-react-ts/package.json b/create-leo-app/template-react-ts/package.json
@@ -12,7 +12,7 @@
     "install-leo": "./install.sh"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.9.11",
+    "@provablehq/sdk": "^0.9.12",
     "comlink": "^4.4.2",
     "react": "^19.0.0",
     "react-dom": "^19.0.0"
diff --git a/create-leo-app/template-vanilla/package.json b/create-leo-app/template-vanilla/package.json
@@ -9,7 +9,7 @@
         "preview": "vite preview"
     },
     "devDependencies": {
-        "@provablehq/sdk": "^0.9.11",
+        "@provablehq/sdk": "^0.9.12",
         "tslib": "^2.8.1",
         "vite": "^6.3.6"
     }
diff --git a/docs/api_reference/sdk-src_program-manager.md b/docs/api_reference/sdk-src_program-manager.md
@@ -108,6 +108,34 @@ programManager.setHeader('Accept-Language', 'en-US');
 
 ---
 
+### `setInclusionProver(provingKey)`
+
+![modifier: public](images/badges/modifier-public.svg)
+
+Set the inclusion prover into the wasm memory. This should be done prior to any execution of a function with a
+private record.
+
+Parameters | Type | Description
+--- | --- | ---
+__provingKey__ | [ProvingKey](sdk-src_wasm.md) | **
+
+#### Examples
+
+```javascript
+import { ProgramManager, AleoKeyProvider } from "@provablehq/sdk/mainnet.js";
+
+const keyProvider = new AleoKeyProvider();
+keyProvider.useCache(true);
+
+// Create a ProgramManager
+const programManager = new ProgramManager("https://api.explorer.provable.com/v1", keyProvider);
+
+// Set the inclusion keys.
+programManager.setInclusionProver();
+```
+
+---
+
 ### `removeHeader(headerName)`
 
 ![modifier: public](images/badges/modifier-public.svg)
@@ -1552,6 +1580,34 @@ programManager.setHeader('Accept-Language', 'en-US');
 
 ---
 
+### `setInclusionProver(provingKey)`
+
+![modifier: public](images/badges/modifier-public.svg)
+
+Set the inclusion prover into the wasm memory. This should be done prior to any execution of a function with a
+private record.
+
+Parameters | Type | Description
+--- | --- | ---
+__provingKey__ | [ProvingKey](sdk-src_wasm.md) | **
+
+#### Examples
+
+```javascript
+import { ProgramManager, AleoKeyProvider } from "@provablehq/sdk/mainnet.js";
+
+const keyProvider = new AleoKeyProvider();
+keyProvider.useCache(true);
+
+// Create a ProgramManager
+const programManager = new ProgramManager("https://api.explorer.provable.com/v1", keyProvider);
+
+// Set the inclusion keys.
+programManager.setInclusionProver();
+```
+
+---
+
 ### `removeHeader(headerName)`
 
 ![modifier: public](images/badges/modifier-public.svg)
diff --git a/e2e/dynamic/package.json b/e2e/dynamic/package.json
@@ -7,6 +7,6 @@
     "start": "node index.js"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.9.11"
+    "@provablehq/sdk": "^0.9.12"
   }
 }
diff --git a/e2e/mainnet/package.json b/e2e/mainnet/package.json
@@ -7,6 +7,6 @@
     "start": "node index.js"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.9.11"
+    "@provablehq/sdk": "^0.9.12"
   }
 }
diff --git a/e2e/nodenext/package.json b/e2e/nodenext/package.json
@@ -2,7 +2,7 @@
     "name": "nodenext",
     "type": "module",
     "dependencies": {
-        "@provablehq/sdk": "^0.9.11",
+        "@provablehq/sdk": "^0.9.12",
         "typescript": "^5.7.3"
     },
     "scripts": {
diff --git a/e2e/testnet/package.json b/e2e/testnet/package.json
@@ -7,6 +7,6 @@
     "start": "node index.js"
   },
   "dependencies": {
-    "@provablehq/sdk": "^0.9.11"
+    "@provablehq/sdk": "^0.9.12"
   }
 }
diff --git a/sdk/package.json b/sdk/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@provablehq/sdk",
-  "version": "0.9.11",
+  "version": "0.9.12",
   "description": "A Software Development Kit (SDK) for Zero-Knowledge Transactions",
   "collaborators": [
     "The Provable Team"
@@ -51,7 +51,7 @@
   },
   "homepage": "https://github.com/ProvableHQ/sdk#readme",
   "dependencies": {
-    "@provablehq/wasm": "^0.9.11",
+    "@provablehq/wasm": "^0.9.12",
     "@scure/base": "^2.0.0",
     "comlink": "^4.4.2",
     "core-js": "^3.40.0",
diff --git a/sdk/src/browser.ts b/sdk/src/browser.ts
@@ -10,6 +10,7 @@ import { EncryptedRecord } from "./models/record-provider/encryptedRecord.js";
 import { ExecutionJSON, FeeExecutionJSON } from "./models/execution/executionJSON.js";
 import { ExecutionObject, FeeExecutionObject } from "./models/execution/executionObject.js";
 import { FinalizeJSON } from "./models/finalizeJSON.js";
+import { FunctionInput } from "./models/functionInput";
 import { FunctionObject } from "./models/functionObject.js";
 import { ImportedVerifyingKeys, ImportedPrograms } from "./models/imports.js";
 import { InputJSON } from "./models/input/inputJSON.js";
@@ -151,6 +152,7 @@ export {
     FeeExecutionJSON,
     FeeExecutionObject,
     FinalizeJSON,
+    FunctionInput,
     FunctionObject,
     FunctionKeyPair,
     FunctionKeyProvider,
diff --git a/sdk/src/function-key-provider.ts b/sdk/src/function-key-provider.ts
@@ -464,7 +464,7 @@ class AleoKeyProvider implements FunctionKeyProvider {
                 const verifying_key = key.verifyingKey()
                 const proving_key = <ProvingKey>await this.fetchProvingKey(key.prover, key.locator);
                 if (this.cacheOption) {
-                    this.cache.set(CREDITS_PROGRAM_KEYS.bond_public.locator, [proving_key.toBytes(), verifying_key.toBytes()]);
+                    this.cache.set(CREDITS_PROGRAM_KEYS.getKey(key.name).locator, [proving_key.toBytes(), verifying_key.toBytes()]);
                 }
                 return [proving_key, verifying_key];
             } else {
diff --git a/sdk/src/models/functionInput.ts b/sdk/src/models/functionInput.ts
diff --git a/sdk/src/program-manager.ts b/sdk/src/program-manager.ts
diff --git a/sdk/tests/data/records.ts b/sdk/tests/data/records.ts
diff --git a/sdk/tests/program-manager.test.ts b/sdk/tests/program-manager.test.ts
diff --git a/sdk/tests/wasm.test.ts b/sdk/tests/wasm.test.ts
diff --git a/wasm/Cargo.lock b/wasm/Cargo.lock
diff --git a/wasm/Cargo.toml b/wasm/Cargo.toml
diff --git a/wasm/package.json b/wasm/package.json
diff --git a/wasm/src/programs/manager/deploy.rs b/wasm/src/programs/manager/deploy.rs
diff --git a/wasm/src/utilities/mod.rs b/wasm/src/utilities/mod.rs
diff --git a/website/package.json b/website/package.json

Original file line number	Diff line number	Diff line change
`@@ -7,6 +7,6 @@`
`7`	`7`	`"dev": "node index.js"`
`8`	`8`	`},`
`9`	`9`	`"dependencies": {`
`10`		`- "@provablehq/sdk": "^0.9.11"`
	`10`	`+ "@provablehq/sdk": "^0.9.12"`
`11`	`11`	`}`
`12`	`12`	`}`