Merge pull request #1058 from ProvableHQ/update/testnet-v4.0.0

[Update] to SnarkVM v4.0.0

Author: iamalwaysuncomfortable

.circleci/config.yml

@@ -2,13 +2,13 @@ version: 2.1
 
 
 orbs:
-  node: circleci/node@7.0.0
+  node: circleci/node@7.1.0
 
 
 executors:
   rust-node:
     docker:
-      - image: cimg/rust:1.80-node
+      - image: cimg/rust:1.88-node
 
 
 commands:

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

@@ -52,7 +52,7 @@ async function localProgramExecution(program, programName, aleoFunction, inputs)
     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, 9_000_000)) {
         console.log("hello_hello/hello execution verified!");
     } else {
         throw("Execution failed verification!");

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

@@ -46,7 +46,7 @@ async function localProgramExecution(program, programName, aleoFunction, inputs)
     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, 9_000_000)) {
         console.log("hello_hello/hello execution verified!");
     } else {
         throw("Execution failed verification!");

docs/api_reference/sdk-src_program-manager.md

@@ -311,6 +311,44 @@ const authorization = await programManager.buildAuthorization({
 
 ---
 
+### `buildAuthorizationUnchecked(options) ► Promise.<Authorization>`
+
+![modifier: public](images/badges/modifier-public.svg)
+
+Builds a SnarkVM &#x60;Authorization&#x60; for a specific function without building a circuit first. This should be used when fast authorization generation is needed and the invoker is confident inputs are coorect.
+
+Parameters | Type | Description
+--- | --- | ---
+__options__ | `AuthorizationOptions` | *The options for building the &#x60;Authorization&#x60;*
+__*return*__ | `Promise.<Authorization>` | *- A promise that resolves to an &#x60;Authorization&#x60; or throws an Error.*
+
+#### Examples
+
+```javascript
+/// Import the mainnet version of the sdk.
+import { AleoKeyProvider, ProgramManager, NetworkRecordProvider } from "@provablehq/sdk/mainnet.js";
+
+// Create a new NetworkClient, KeyProvider, and RecordProvider.
+const keyProvider = new AleoKeyProvider();
+const recordProvider = new NetworkRecordProvider(account, networkClient);
+keyProvider.useCache = true;
+
+// Initialize a ProgramManager with the key and record providers.
+const programManager = new ProgramManager("https://api.explorer.provable.com/v1", keyProvider, recordProvider);
+
+// Build the unchecked `Authorization`.
+const authorization = await programManager.buildAuthorizationUnchecked({
+  programName: "credits.aleo",
+  functionName: "transfer_public",
+  inputs: [
+    "aleo1vwls2ete8dk8uu2kmkmzumd7q38fvshrht8hlc0a5362uq8ftgyqnm3w08",
+    "10000000u64",
+  ],
+});
+```
+
+---
+
 ### `buildFeeAuthorization(options) ► Promise.<Authorization>`
 
 ![modifier: public](images/badges/modifier-public.svg)
@@ -1129,7 +1167,7 @@ setTimeout(async () => {
 
 ---
 
-### `verifyExecution(executionResponse, imports, importedVerifyingKeys) ► boolean`
+### `verifyExecution(executionResponse, blockHeight, imports, importedVerifyingKeys) ► boolean`
 
 ![modifier: public](images/badges/modifier-public.svg)
 
@@ -1138,6 +1176,7 @@ Verify a proof from an offline execution. This is useful when it is desired to d
 Parameters | Type | Description
 --- | --- | ---
 __executionResponse__ | `executionResponse` | *The response from an offline function execution (via the &#x60;programManager.run&#x60; method)*
+__blockHeight__ | `blockHeight` | *The ledger height when the execution was generated.*
 __imports__ | `ImportedPrograms` | *The imported programs used in the execution. Specified as { &quot;programName&quot;: &quot;programSourceCode&quot;, ... }*
 __importedVerifyingKeys__ | `ImportedVerifyingKeys` | *The verifying keys in the execution. Specified as { &quot;programName&quot;: [[&quot;functionName&quot;, &quot;verifyingKey&quot;], ...], ... }*
 __*return*__ | `boolean` | *True if the proof is valid, false otherwise*
@@ -1165,7 +1204,8 @@ const imports = { "add_it_up.aleo": program_import };
 const importedVerifyingKeys = { "add_it_up.aleo": [["add_it", "verifyingKey1..."]] };
 
 /// Verify the execution.
-const isValid = programManager.verifyExecution(executionResponse, imports, importedVerifyingKeys);
+const blockHeight = 9000000;
+const isValid = programManager.verifyExecution(executionResponse, blockHeight, imports, importedVerifyingKeys);
 assert(isValid);
 ```
 
@@ -1497,6 +1537,44 @@ const authorization = await programManager.buildAuthorization({
 
 ---
 
+### `buildAuthorizationUnchecked(options) ► Promise.<Authorization>`
+
+![modifier: public](images/badges/modifier-public.svg)
+
+Builds a SnarkVM &#x60;Authorization&#x60; for a specific function without building a circuit first. This should be used when fast authorization generation is needed and the invoker is confident inputs are coorect.
+
+Parameters | Type | Description
+--- | --- | ---
+__options__ | `AuthorizationOptions` | *The options for building the &#x60;Authorization&#x60;*
+__*return*__ | `Promise.<Authorization>` | *- A promise that resolves to an &#x60;Authorization&#x60; or throws an Error.*
+
+#### Examples
+
+```javascript
+/// Import the mainnet version of the sdk.
+import { AleoKeyProvider, ProgramManager, NetworkRecordProvider } from "@provablehq/sdk/mainnet.js";
+
+// Create a new NetworkClient, KeyProvider, and RecordProvider.
+const keyProvider = new AleoKeyProvider();
+const recordProvider = new NetworkRecordProvider(account, networkClient);
+keyProvider.useCache = true;
+
+// Initialize a ProgramManager with the key and record providers.
+const programManager = new ProgramManager("https://api.explorer.provable.com/v1", keyProvider, recordProvider);
+
+// Build the unchecked `Authorization`.
+const authorization = await programManager.buildAuthorizationUnchecked({
+  programName: "credits.aleo",
+  functionName: "transfer_public",
+  inputs: [
+    "aleo1vwls2ete8dk8uu2kmkmzumd7q38fvshrht8hlc0a5362uq8ftgyqnm3w08",
+    "10000000u64",
+  ],
+});
+```
+
+---
+
 ### `buildFeeAuthorization(options) ► Promise.<Authorization>`
 
 ![modifier: public](images/badges/modifier-public.svg)
@@ -2315,7 +2393,7 @@ setTimeout(async () => {
 
 ---
 
-### `verifyExecution(executionResponse, imports, importedVerifyingKeys) ► boolean`
+### `verifyExecution(executionResponse, blockHeight, imports, importedVerifyingKeys) ► boolean`
 
 ![modifier: public](images/badges/modifier-public.svg)
 
@@ -2324,6 +2402,7 @@ Verify a proof from an offline execution. This is useful when it is desired to d
 Parameters | Type | Description
 --- | --- | ---
 __executionResponse__ | `executionResponse` | *The response from an offline function execution (via the &#x60;programManager.run&#x60; method)*
+__blockHeight__ | `blockHeight` | *The ledger height when the execution was generated.*
 __imports__ | `ImportedPrograms` | *The imported programs used in the execution. Specified as { &quot;programName&quot;: &quot;programSourceCode&quot;, ... }*
 __importedVerifyingKeys__ | `ImportedVerifyingKeys` | *The verifying keys in the execution. Specified as { &quot;programName&quot;: [[&quot;functionName&quot;, &quot;verifyingKey&quot;], ...], ... }*
 __*return*__ | `boolean` | *True if the proof is valid, false otherwise*
@@ -2351,7 +2430,8 @@ const imports = { "add_it_up.aleo": program_import };
 const importedVerifyingKeys = { "add_it_up.aleo": [["add_it", "verifyingKey1..."]] };
 
 /// Verify the execution.
-const isValid = programManager.verifyExecution(executionResponse, imports, importedVerifyingKeys);
+const blockHeight = 9000000;
+const isValid = programManager.verifyExecution(executionResponse, blockHeight, imports, importedVerifyingKeys);
 assert(isValid);
 ```
 

docs/api_reference/sdk-src_wasm.md

@@ -2776,7 +2776,7 @@ __*return*__ | `string` | *Nonce of the record*
 
 ---
 
-### `serialNumberString(private_key, program_id, record_name) ► string`
+### `serialNumberString(private_key, program_id, record_name, record_view_key) ► string`
 
 ![modifier: public](images/badges/modifier-public.svg)
 
@@ -2787,6 +2787,7 @@ Parameters | Type | Description
 __private_key__ | [PrivateKey](sdk-src_wasm.md) | *Private key of the account that owns the record*
 __program_id__ | `string` | *Program ID of the program that the record is associated with*
 __record_name__ | `string` | *Name of the record*
+__record_view_key__ | `string` | *The string representation of the record view key.*
 __*return*__ | `string` | *Serial number of the record*
 
 ---
@@ -2805,6 +2806,20 @@ __*return*__ | [Field](sdk-src_wasm.md) | **
 
 ---
 
+### `recordViewKey(view_key) ► Group`
+
+![modifier: public](images/badges/modifier-public.svg)
+
+Generate the record view key. The record view key can only decrypt record if the
+supplied view key belongs to the record owner.
+
+Parameters | Type | Description
+--- | --- | ---
+__view_key__ | `ViewKey` | *View key used to generate the record view key*
+__*return*__ | [Group](sdk-src_wasm.md) | *record view key*
+
+---
+
 # Class `Scalar`
 
 Scalar field element.

e2e/mainnet/index.js

@@ -46,7 +46,8 @@ async function localProgramExecution(program, programName, aleoFunction, inputs)
     console.log("hello_hello/hello executed - result:", executionResponse.getOutputs());
 
     // Verify the execution using the verifying key that was generated earlier.
-    if (programManager.verifyExecution(executionResponse)) {
+    const blockHeight = 9_000_000;
+    if (programManager.verifyExecution(executionResponse, blockHeight)) {
         console.log("hello_hello/hello execution verified!");
     } else {
         throw("Execution failed verification!");

e2e/testnet/index.js

@@ -46,7 +46,7 @@ async function localProgramExecution(program, programName, aleoFunction, inputs)
     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, 9_000_000)) {
         console.log("hello_hello/hello execution verified!");
     } else {
         throw("Execution failed verification!");

sdk/rollup.config.js

@@ -12,7 +12,6 @@ export default networks.map((network) => {
         input: {
             "node-polyfill": "./src/node-polyfill.ts",
             "browser": "./src/browser.ts",
-            "worker": "./src/worker.ts",
             "node": "./src/node.ts",
         },
         output: {

sdk/src/browser.ts

@@ -51,8 +51,6 @@ async function initializeWasm() {
     console.warn("initializeWasm is deprecated, you no longer need to use it");
 }
 
-export { createAleoWorker } from "./managed-worker.js";
-
 export { ProgramManager } from "./program-manager.js";
 
 export { logAndThrow } from "./utils.js";