Merge branch 'mainnet' into feat/hash-functions

Author: iamalwaysuncomfortable

.github/ISSUE_TEMPLATE/bug.md

@@ -8,17 +8,17 @@ labels: bug
 ## 🐛 Bug Report
 
 <!--
-    What's the bug in the Aleo SDK that you found?
+    What's the bug in the Provable SDK that you found?
     How serious is this bug and what is affected?
 
-    To report a security issue in the Aleo SDK, please email [email protected].
+    To report a security issue in the Provable SDK, please email [email protected].
 -->
 
 (Write your description here)
 
 ## Steps to Reproduce
 
-<!-- How do I reproduce this issue in the Aleo SDK? -->
+<!-- How do I reproduce this issue in the Provable SDK? -->
 
 #### Code snippet to reproduce
 
@@ -35,14 +35,14 @@ labels: bug
 ## Expected Behavior
 
 <!--
-    What was supposed to happen in the Aleo SDK?
+    What was supposed to happen in the Provable SDK?
     What happened instead?
 -->
 
 (Write what you expected to happen here)
 
 ## Your Environment
 
-- <!-- Aleo SDK Version -->
+- <!-- Provable SDK Version -->
 - <!-- Rust Version -->
 - <!-- Computer OS -->

.github/ISSUE_TEMPLATE/documentation.md

@@ -8,8 +8,8 @@ labels: 'documentation'
 ## 📚 Documentation
 
 <!--
-    Did you find a mistake in the Aleo SDK documentation?
-    Is there documentation about the Aleo SDK that's missing?
+    Did you find a mistake in the Provable SDK documentation?
+    Is there documentation about the Provable SDK that's missing?
 -->
 
 (Write your answer here.)

.github/ISSUE_TEMPLATE/feature.md

@@ -8,16 +8,16 @@ labels: feature
 ## 🚀 Feature
 
 <!--
-    What is the feature you would like to see in the Aleo SDK?
+    What is the feature you would like to see in the Provable SDK?
 -->
 
 (Write your description here)
 
 ## Motivation
 
 <!--
-    Why should this feature be implemented in the Aleo SDK?
-    How would this feature be used in the Aleo SDK?
+    Why should this feature be implemented in the Provable SDK?
+    How would this feature be used in the Provable SDK?
     
     Is this feature request related to a problem? If so, please describe.
     Please link to any relevant issues or other PRs!
@@ -28,8 +28,8 @@ labels: feature
 ## Implementation
 
 <!--
-    What needs to be built for the feature to be supported in the Aleo SDK?
-    What components of the Aleo SDK will be affected by this design (if any)?
+    What needs to be built for the feature to be supported in the Provable SDK?
+    What components of the Provable SDK will be affected by this design (if any)?
     How should this feature be implemented?
 -->
 

.github/ISSUE_TEMPLATE/proposal.md

@@ -1,16 +1,16 @@
 ---
 name: 💥 Proposal
-about: Propose a non-trivial change to the Aleo SDK
+about: Propose a non-trivial change to the Provable SDK
 title: "[Proposal]"
 labels: 'proposal'
 ---
 
 ## 💥 Proposal
 
 <!--
-    What is your proposal for the Aleo SDK?
-    What are the implications of this proposal to the Aleo SDK?
-    Does your proposal affect other aspects of the Aleo SDK as well?
+    What is your proposal for the Provable SDK?
+    What are the implications of this proposal to the Provable SDK?
+    Does your proposal affect other aspects of the Provable SDK as well?
 -->
 
 (Write your proposal here)

.resources/license_header

@@ -1,15 +1,15 @@
 // Copyright (C) 2019-2025 Provable Inc.
-// This file is part of the Aleo SDK library.
+// This file is part of the Provable SDK library.
 
-// The Aleo SDK library is free software: you can redistribute it and/or modify
+// The Provable SDK library is free software: you can redistribute it and/or modify
 // it under the terms of the GNU General Public License as published by
 // the Free Software Foundation, either version 3 of the License, or
 // (at your option) any later version.
 
-// The Aleo SDK library is distributed in the hope that it will be useful,
+// The Provable SDK library is distributed in the hope that it will be useful,
 // but WITHOUT ANY WARRANTY; without even the implied warranty of
 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 // GNU General Public License for more details.
 
 // You should have received a copy of the GNU General Public License
-// along with the Aleo SDK library. If not, see <https://www.gnu.org/licenses/>.
+// along with the Provable SDK library. If not, see <https://www.gnu.org/licenses/>.

README.md

@@ -8,7 +8,7 @@
 
 # Zero-Knowledge Web App SDK
 
-The [Aleo SDK](https://github.com/ProvableHQ/sdk) provides tools for building zero-knowledge applications. It consists of
+The [Provable SDK](https://github.com/ProvableHQ/sdk) provides tools for building zero-knowledge applications. It consists of
 several TypeScript & JavaScript libraries which provide the following functionality:
 1. [Aleo account management](https://provable.tools/account)
 2. [Web-based program execution and deployment](https://provable.tools/develop)
@@ -20,20 +20,20 @@ several TypeScript & JavaScript libraries which provide the following functional
 All of this functionality is demonstrated on [Provable.tools](https://provable.tools).
 
 
-The Aleo SDK is divided into three TypeScript/JavaScript packages:
+The Provable SDK is divided into three TypeScript/JavaScript packages:
 
-## 1. Aleo SDK - Build Zero-Knowledge Web Apps
+## 1. Provable SDK - Build Zero-Knowledge Web Apps
 
-<a href="https://www.npmjs.com/package/@provablehq/sdk"> <img alt="Aleo SDK" src="https://img.shields.io/npm/l/%40provablehq%2Fsdk?label=NPM%20-%20Aleo%20SDK&labelColor=green&color=blue"></a>
+<a href="https://www.npmjs.com/package/@provablehq/sdk"> <img alt="Provable SDK" src="https://img.shields.io/npm/l/%40provablehq%2Fsdk?label=NPM%20-%20Aleo%20SDK&labelColor=green&color=blue"></a>
 
-The official Aleo SDK providing JavaScript/TypeScript tools for creating zero-knowledge applications.
+The official Provable SDK providing JavaScript/TypeScript tools for creating zero-knowledge applications.
 
 ### ⚡ Build your own app
 
-Start here with the [Aleo SDK Readme](https://github.com/ProvableHQ/sdk#readme) to get started building your
+Start here with the [Provable SDK Readme](https://github.com/ProvableHQ/sdk#readme) to get started building your
 first zero-knowledge web app.
 
-#### Source: [`Aleo SDK`](https://www.npmjs.com/package/@provablehq/sdk)
+#### Source: [`Provable SDK`](https://www.npmjs.com/package/@provablehq/sdk)
 
 ## 2. Create-Leo-App - Zero-Knowledge Web App Examples
 <a href="https://www.npmjs.com/package/create-leo-app"> <img alt="Create Leo App" src="https://img.shields.io/npm/l/create-leo-app?label=NPM%20-%20Create-Leo-App&labelColor=green&color=blue"></a>
@@ -61,7 +61,7 @@ Source: [Aleo Wasm](https://www.npmjs.com/package/@provablehq/wasm)
 ## 📚 Documentation
 
 #### [API Documentation](https://docs.leo-lang.org/sdk/typescript/overview)
-API Documentation, tutorials for the Aleo SDK, and documentation on how to build Leo and Aleo Instructions programs can
+API Documentation, tutorials for the Provable SDK, and documentation on how to build Leo and Aleo Instructions programs can
 be found on the [Leo Developer Docs](https://docs.leo-lang.org/sdk/typescript/overview) page.
 
 #### [SDK Readme](https://github.com/ProvableHQ/sdk/tree/mainnet/sdk#readme)

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

@@ -13,7 +13,7 @@ async function createOffscreen(path) {
     await chrome.offscreen.createDocument({
         url: offscreenUrl,
         reasons: ["WORKERS"],
-        justification: "Top-level await and Workers cannot be used in service workers, but they are necessary to use the Aleo SDK.",
+        justification: "Top-level await and Workers cannot be used in service workers, but they are necessary to use the Provable SDK.",
     });
 }
 

create-leo-app/template-offline-public-transaction-ts/README.md

@@ -1,9 +1,9 @@
 # Offline Transaction Builder 
 
 ## 1. Overview
-### 1.1 Proving Keys for Zero Knowledge Function Execution
-To achieve zero knowledge execution, all Aleo functions require a `ProvingKey` and `VerifyingKey` in order to build a
-zero knowledge ZkSnark proof of execution. If a user does not possess these keys for a function, they are normally
+### 1.1 Proving Keys for Zero-Knowledge Function Execution
+To achieve zero-knowledge execution, all Aleo functions require a `ProvingKey` and `VerifyingKey` in order to build a
+zero-knowledge zk-SNARK proof of execution. If a user does not possess these keys for a function, they are normally
 downloaded from the internet when the function is called.
 
 ### 1.2 Key Providers
@@ -21,31 +21,27 @@ the internet for it. This provides a way to build Aleo execution transactions wi
 This pathway is suitable for use-cases such as hardware wallets or air-gapped machines used
 for building secure transactions.
 
-### 1.4 Assumptions
+### 1.4 Transaction Types
 
-The key material in this example is assumed to be pre-downloaded onto the machine performing the 
-construction of the offline transaction.
+Several types of transactions can be built and executed using this template:
+
+`bond_public`
+`unbond_public`
+`claim_unbond_public`
 
 ## 2. Usage
 
-### 2.1 Pre-Download the Keys
-First run this command online to download the key material to disk:
+`npm run build`
 
-`npm start`
+`npm run dev`
 
 Once this command is run, all proving keys for the `transfer_public`, `bond_public`, `unbond_public`, and
-`claim_unbond_public` functions will be downloaded to the `./keys` folder. The machine can then be disconnected from
+`claim_unbond_public` functions will be downloaded to the `dist/keys` folder. The machine can then be disconnected from
 the internet and the `OfflineKeyProvider` will search this directory for the function proving keys when building the
 transaction instead of connecting to the internet. Alternatively you can skip the online step entirely by adding the proving key creating this directory manually and
 adding the key material yourself.
 
-### 2.2 Build the Transaction Offline
-
-Once the key material is downloaded, turn off your internet connection and run the following command:
-
-`npm start`
-
-You should see the transactions being built and the resulting transaction IDs printed to the console.
+Once the keys are downloaded to your local machine, the offline transactions will be built without requiring an internet connection.
 
 ## 3. Notes
 

create-leo-app/template-offline-public-transaction-ts/src/helpers.ts

@@ -28,7 +28,7 @@ async function preDownloadTransferKeys() {
     const keysDirPath = path.join(__dirname, "keys");
     await fsPromises.mkdir(keysDirPath, { recursive: true });
 
-    for (const keyData of [CREDITS_PROGRAM_KEYS.transfer_public, CREDITS_PROGRAM_KEYS.fee_public]) {
+    for (const keyData of [CREDITS_PROGRAM_KEYS.transfer_public, CREDITS_PROGRAM_KEYS.fee_public, CREDITS_PROGRAM_KEYS.transfer_public_as_signer]) {
         try {
             keyPaths[keyData.locator] = await downloadAndSaveKey(keyData, keysDirPath);
         } catch (error) {