Merge pull request #363 from AleoHQ/fix/5-8-24-0

Rename `aleo.tools` to `provable.tools`

README.md

@@ -15,7 +15,7 @@ This repository serves as a guide for getting started with building on Aleo. Her
 - [⚙️ SnarkVM](https://snarkvm.org/) - A virtual machine for zero-knowledge proofs.
 - [🦁 Leo](https://leo-lang.org/) - A programming language for zero-knowledge proofs.
 - [🛝 Leo Playground](http://play.leo-lang.org) - A browser interface to the Leo compiler for rapid ZK development and testing.
-- [🧰 Aleo SDK](https://aleo.tools/) - A Software Development Kit (SDK) for Zero-Knowledge Transactions.
+- [🧰 Aleo SDK](https://provable.tools/) - A Software Development Kit (SDK) for Zero-Knowledge Transactions.
 - [🔭 Aleo Explorer](https://aleo.network) - Validate and broadcast on Aleo Testnet III
 
 For help setting up, join us on [Discord](https://aleo.org/discord) to ask questions and help others answer their questions.

documentation/00_sdk_overview.md

@@ -7,13 +7,13 @@ sidebar_label: Overview
 
 The [Aleo SDK](https://github.com/AleoHQ/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://aleo.tools/account)
-2. [Web-based program execution and deployment](https://aleo.tools/develop)
-3. [Aleo credit transfers](https://aleo.tools/transfer)
-4. [Management of program state and data](https://aleo.tools/record)
-5. [Communication with the Aleo network](https://aleo.tools/rest)
+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)
+4. [Management of program state and data](https://provable.tools/record)
+5. [Communication with the Aleo network](https://provable.tools/rest)
 
-All of this functionality is demonstrated on [Aleo.tools](https://aleo.tools).
+All of this functionality is demonstrated on [Aleo.tools](https://provable.tools).
 
 
 The Aleo SDK is divided into three Typescript/Javascript packages

documentation/concepts/00_accounts.md

@@ -15,7 +15,7 @@ To protect user *assets* and *record data*, one should **never disclose their ac
 third parties. For real-world applications on Aleo, users should derive a compute key from their account private key to
 allow third parties to *trustlessly* run applications and generate transactions on a user's behalf.
 
-Generate a new Aleo account [here](https://aleo.tools).
+Generate a new Aleo account [here](https://provable.tools).
 
 ## Account Private Key
 

documentation/leo/10_auction.md

@@ -156,4 +156,4 @@ leo run finish "{
 }"
 ```
 
-Congratulations! You've run a private auction. We recommend going to [aleo.tools](https://aleo.tools) to generate new accounts and trying the same commands with those addresses.
+Congratulations! You've run a private auction. We recommend going to [provable.tools](https://provable.tools) to generate new accounts and trying the same commands with those addresses.

documentation/sdk/create-aleo-app/01_create_aleo_app.md

@@ -143,7 +143,7 @@ Take your transaction ID from the Discord URL earlier:
 at12u62xwfew2rq32xee8nwhtlxghfjz7mm3528yj240nuezue625fqy4lhlp
 ``` 
 <!-- markdown-link-check-disable -->
-Go to “Get Transaction” at [aleo.tools/rest](https://aleo.tools/rest) and insert your transaction ID to look at the JSON object. You can similarly use https://api.explorer.aleo.org/v1/testnet3/transaction/[insert-your-transaction-id] to get the same output in your browser. 
+Go to “Get Transaction” at [provable.tools/rest](https://provable.tools/rest) and insert your transaction ID to look at the JSON object. You can similarly use https://api.explorer.aleo.org/v1/testnet3/transaction/[insert-your-transaction-id] to get the same output in your browser. 
 <!-- markdown-link-check-enable-->
 
 ![get-transaction](./images/get-transaction.png)
@@ -154,7 +154,7 @@ Look at `object.execution.transitions[0].outputs[0].value` and copy the cipher
 record1qyqspk3emhy5wzu4zg59ynhwtcpwg6ez6k4cl9d690hhqcd36pqh3vcpqyxx66trwfhkxun9v35hguerqqpqzqrtc3d8s5qrlufglkk3gkvgj3w2xdul2kl0pxhvt7f85qfxm0dcpt4g5gf6u356sgte9cyzqhj940l6qsdk5uf7u2xcwfv4zrvmeqdpzjrt848
 ```
 
-Navigate to [aleo.tools/record](https://aleo.tools/record) and insert the record value along with your view key that you saved earlier. You are the owner of the record, and therefore, you have the view key in order to decrypt it to show the plaintext.
+Navigate to [provable.tools/record](https://provable.tools/record) and insert the record value along with your view key that you saved earlier. You are the owner of the record, and therefore, you have the view key in order to decrypt it to show the plaintext.
 
 ![decrypt-record](./images/decrypt-record.png)
 
@@ -212,7 +212,7 @@ git push -u origin main
 
 4. Similarly, we deployed the `helloworld` program, again using the WASM + web workers abstraction layer but you can also deploy programs on-chain using [snarkOS](https://developer.aleo.org/testnet/getting_started/deploy_execute/#deploy), the data availability layer or blockchain / distributed ledger.
 
-5. During the tutorial you navigated to [aleo.tools](https://aleo.tools), which is the graphical interface to our SDK, which serves as an abstraction layer of snarkOS and snarkVM. You’ll find you can perform similar actions (compiling, executing, deploying) on aleo.tools. 
+5. During the tutorial you navigated to [provable.tools](https://provable.tools), which is the graphical interface to our SDK, which serves as an abstraction layer of snarkOS and snarkVM. You’ll find you can perform similar actions (compiling, executing, deploying) on provable.tools. 
 
 
 6. The entire React template along with the WASM and web workers can also be considered an abstraction layer of snarkOS and snarkVM.

documentation/sdk/typescript/00_sdk_overview.md

@@ -21,11 +21,11 @@ Aleo provides the ability to run programs in zero knowledge. The Aleo SDK provid
 within the browser and all other levels of the web stack to build privacy preserving applications.
 
 The Aleo SDK provides the following functionality (Click to see examples):
-1. [Aleo account management](https://aleo.tools/account)
-2. [Web-based program execution and deployment](https://aleo.tools/develop)
-3. [Aleo credit transfers](https://aleo.tools/transfer)
-4. [Management of program state and data](https://aleo.tools/record)
-5. [Communication with the Aleo network](https://aleo.tools/rest)
+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)
+4. [Management of program state and data](https://provable.tools/record)
+5. [Communication with the Aleo network](https://provable.tools/rest)
 
 ## Table of Contents
 
@@ -85,8 +85,8 @@ Developers can get started immediately with create-react-app by running:
 
 ### Aleo.tools
 
-Additionally, the SDK powers [aleo.tools](https://aleo.tools) - a React app that provides a graphical interface for most
-of the functionality provided by the SDK and can be used as a reference for usage of the SDK. Source code for aleo.tools
+Additionally, the SDK powers [provable.tools](https://provable.tools) - a React app that provides a graphical interface for most
+of the functionality provided by the SDK and can be used as a reference for usage of the SDK. Source code for provable.tools
 can be found [in the SDK repo here](https://github.com/AleoHQ/sdk/tree/testnet3/website)
 
 ## 1. Create an Aleo Account

documentation/sdk/wasm/00_wasm_installation.md

@@ -141,6 +141,6 @@ wasm-pack test --[firefox/chrome/safari]
 ## Building Web Apps
 
 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 [aleo.tools](https://aleo.tools) website is a good
+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/AleoHQ/sdk) repo in the `website` folder.

documentation/testnet/getting_started/03_deploy_and_execute_demo.md

@@ -31,7 +31,7 @@ Make sure you have both Leo and snarkOS installed on your machine.
 
 ### 2. Generate your test keys and wallet address
 
-* In your favorite browser, navigate to [https://aleo.tools/](https://aleo.tools/) and click the **Generate** button
+* In your favorite browser, navigate to [https://provable.tools/](https://provable.tools/) and click the **Generate** button
 * Save your **Address**, **View Key**, and **Private Key** in a safe place, you'll need them later
 
 ### 3a. Seeding your wallet with credits
@@ -106,7 +106,7 @@ Alternatively, you can find your execute transaction confirmation by going to [t
 
 ### 5. Obtain your records plaintext
 
-* Navigate to [https://aleo.tools/](https://aleo.tools/) and click the **Record** tab in the nav bar at the top of the page
+* Navigate to [https://provable.tools/](https://provable.tools/) and click the **Record** tab in the nav bar at the top of the page
 * Place the record ciphertext you copied in the previous step in the `Record (Ciphertext)` field
 * Place your view key in the `View Key` field
 * Copy the plaintext record provided. If you do not see it, it's likely you copied the wrong ciphertext record in step 4. Consider revisiting or reach out to `[email protected]`.
@@ -151,7 +151,7 @@ Finally, it is time to execute the application you just deployed!
 
 * You'll need to update the `--record` flag with the latest transaction linked to your wallet balance. In this case, you can obtain that by going to the following URL: https://api.explorer.aleo.org/v1/testnet3/transaction/$DEPLOY_TX_ID but replace $DEPLOY_TX_ID with the transaction ID provided to you once your application was deployed (or from the most recent transaction linked to your wallet address). An example URL looks like so: https://api.explorer.aleo.org/v1/testnet3/transaction/at1rkkpqu5k4rt86zzccczw6cxeyvrl7hxydvvv7dhl7zr7p9w40c8s70kwm8
 * In the JSON object provided at https://api.explorer.aleo.org/v1/testnet3/transaction/$DEPLOY_TX_ID, navigate to: `object.fee.transition.outputs[0].value` and copy the record ciphertext value.
-* Head to [aleo.tools](https://aleo.tools/) and navigate to the **Record** tab and paste the record ciphertext you just copied as well as your wallet's view key
+* Head to [provable.tools](https://provable.tools/) and navigate to the **Record** tab and paste the record ciphertext you just copied as well as your wallet's view key
 * Similar to the steps we followed for a deploy transaction, update your `RECORD` variable with the record plaintext you just decrypted by doing the following:
 
 <!-- markdown-link-check-enable -->

documentation/testnet/getting_started/04_developer_toolkit.md

@@ -140,7 +140,7 @@ This section refers to the guide created by GitHub [here](https://docs.github.co
 Check out the following resources:
 
 - [Our developer docs](https://developer.aleo.org/getting_started/)
-- See Aleo's SDK in action at [aleo.tools](https://aleo.tools)
+- See Aleo's SDK in action at [provable.tools](https://provable.tools)
 - Play around with Leo in the browser with [Leo Playground](https://play.leo-lang.org/)
 - Learn Leo syntax, functions, and best practices with the [Leo's language guide](https://developer.aleo.org/leo/language)
 - Deploy and Execute Leo applications on-chain with our [Deploy and Execute Demo](https://developer.aleo.org/testnet/getting_started/deploy_execute_demo)