Change Aleo SDK to Provable SDK

Author: iamalwaysuncomfortable

.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)

sdk/README.md

@@ -1,6 +1,6 @@
-# Aleo SDK
+# Provable SDK
 <p align="center">
-    <img alt="Aleo SDK" width="1412" src="../.resources/banner.png">
+    <img alt="Provable SDK" width="1412" src="../.resources/banner.png">
 </p>
 
 <p align="center">
@@ -12,17 +12,17 @@
 
 ## Tools for Building Zero-Knowledge Web Apps
 
-The Aleo SDK is a JavaScript library for building zero-knowledge web applications in both web browsers and Node.js.
+The Provable SDK is a JavaScript library for building zero-knowledge web applications in both web browsers and Node.js.
 
 ## Overview
 
 Aleo provides the ability for users to create programs and execute them in zero knowledge through the usage of the 
 [Varuna ZKSnark](https://alphaswapdex.medium.com/part-ii-the-technical-architecture-of-the-aleo-blockchain-marlin-and-varuna-71c6d48eb355).
 
-The Aleo SDK provides the tools to use these programs both within Nodejs and web browsers allowing users to build
+The Provable SDK provides the tools to use these programs both within Nodejs and web browsers allowing users to build
  privacy-preserving applications throughout the web stack.
 
-The Aleo SDK provides the following functionality (Click to see examples):
+The Provable SDK provides the following functionality (Click to see examples):
 1. [Aleo account management](https://provable.tools/account)
 2. [Web-based program execution and deployment](https://provable.tools/develop)
 3. [Aleo credit transfers](https://provable.tools/transfer)
@@ -69,11 +69,11 @@ To clone the repository, run:
 
 ### NPM & YARN
 
-To install the Aleo SDK from NPM run:
+To install the Provable SDK from NPM run:
 
 `npm install @provablehq/sdk` in your own project's root,
 
-To install the Aleo SDK from Yarn run:
+To install the Provable SDK from Yarn run:
 
 `yarn add @provablehq/sdk`.
 
@@ -209,7 +209,7 @@ stores called `mappings` which store a program's public on-chain state.
 specific block and all changes the execution made to the program's state are recorded within the Aleo blockchain.
 
 
-#### Program Execution with the Aleo SDK
+#### Program Execution with the Provable SDK
 
 The SDK provides the ability to execute Aleo programs 100% client-side within the browser or Node.js.
 
@@ -351,7 +351,7 @@ Executing Aleo programs using zero-knowledge requires two additional pieces of i
    on records can be found in the [Records](#41-private-state-data--records) section below.
 
 For this reason, all programs will need proving and verifying keys to operate and many functions in Aleo programs will
-require records as inputs. To simplify the process of managing keys and records, the Aleo SDK provides two abstractions
+require records as inputs. To simplify the process of managing keys and records, the Provable SDK provides two abstractions
 for managing these concepts:
 
 1. **KeyProvider:** When program functions execute, they will by default synthesize the proving and verifying keys needed to

wasm/README.md

@@ -58,4 +58,4 @@ wasm-pack test --[firefox/chrome/safari]
 Further documentation and tutorials as to how to use the modules built from this crate to build web apps will be built
 in the future. However, in the meantime, the [provable.tools](https://provable.tools) website is a good
 example of how to use these modules to build a web app. Its source code can be found in the
-[Aleo SDK](https://github.com/ProvableHQ/sdk) repo in the `website` folder.
+[Provable SDK](https://github.com/ProvableHQ/sdk) repo in the `website` folder.

wasm/build.rs

@@ -1,18 +1,18 @@
 // 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/>.
 
 use std::{fs::File, io::Read, path::Path};
 

wasm/src/account/address.rs

@@ -1,18 +1,18 @@
 // 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/>.
 
 use crate::account::{PrivateKey, Signature, ViewKey};
 

wasm/src/account/encryptor.rs

@@ -1,7 +1,7 @@
 // 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.

wasm/src/account/mod.rs

@@ -1,18 +1,18 @@
 // 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/>.
 
 pub mod address;
 pub use address::*;

wasm/src/account/private_key.rs

@@ -1,18 +1,18 @@
 // 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/>.
 
 use crate::{
     Address,

wasm/src/account/private_key_ciphertext.rs

@@ -1,18 +1,18 @@
 // 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/>.
 
 use crate::account::{Encryptor, PrivateKey};