Merge pull request #573 from ProvableHQ/mohamadfawaz/leo_4_0

Leo 4.0 updates (changes only)

Author: mohammadfawaz

documentation/00_leo.md

@@ -3,18 +3,19 @@ id: leo
 title: The Leo Programming Language
 sidebar_label: Leo
 ---
-[general tags]: # (overview, leo)
 
-Leo is an open-source, statically-typed, imperative programming language designed for building private applications on the Aleo blockchain. 
+[general tags]: # "overview, leo"
+
+Leo is an open-source, statically-typed, imperative programming language designed for building private applications on the Aleo blockchain.
 It abstracts the complexities of zero-knowledge cryptography, enabling developers to create secure, privacy-preserving applications while abstracting technical complexities.
 
-### Key Features 
+### Key Features
+
 - **Intuitive Syntax.** Influenced by languages like JavaScript and Rust, Leo offers a familiar and readable syntax, making it accessible to a wide range of developers.
 - **Seamless Aleo Integration.** Specifically designed for the Aleo blockchain, Leo ensures smooth deployment and management of applications within Aleo's zero-knowledge ecosystem.
 - **Robust Tooling.** Leo provides a comprehensive suite of tools, including a command-line interface and integrated development environment (IDE) plugins for Visual Studio Code, Sublime Text 3, and IntelliJ, enhancing the developer experience.
 - **Formal Verification.** With a formally defined language structure, Leo enables developers to perform formal verification of their programs, ensuring correctness and security in application logic.
 
-
 ## Overview
 
 - **Getting Started.** Install, set up your development environment, and get familiar with Leo.
@@ -33,9 +34,6 @@ It abstracts the complexities of zero-knowledge cryptography, enabling developer
 
 - **Provable API.** Endpoints to query and interact with `mainnet` and `testnet`.
 
-
 ## Contributing
 
 Found a bug? Have an idea for a feature? File an issue or PR on the [**Leo GitHub**](https://github.com/ProvableHQ/leo/issues/new/choose) or the [**Documentation Source**](https://github.com/ProvableHQ/leo-docs-source).
-
-

documentation/01_new.md

@@ -3,12 +3,17 @@ id: new
 title: What's new on Leo?
 sidebar_label: What's new?
 ---
-[general tags]: # (whats_new, leo)
+
+[general tags]: # "whats_new, leo"
 
 :::tip
+
 ### [**📦 Releases**](https://github.com/ProvableHQ/leo/releases) - Stay up to date with the latest Leo releases.
-### [**🚀 Upgrade Guide**](./guides/10_program_upgradability.md) - Learn how to upgrade your Leo programs.
-### [**🤝 Core Developers Call**]( https://developer.aleo.org/guides/how_to_get_help) - Collaborate with the Leo development team and ecosystem on the future of Leo.
+
+### [**🚀 Upgrade Guide**](./guides/09_program_upgradability.md) - Learn how to upgrade your Leo programs.
+
+### [**🤝 Core Developers Call**](https://developer.aleo.org/guides/how_to_get_help) - Collaborate with the Leo development team and ecosystem on the future of Leo.
+
 ### [**⚛️ Create Leo App**](https://developer.aleo.org/category/create-leo-app) - A full stack application written in Typescript using Leo and React.
-:::
 
+:::

documentation/02_where.md

@@ -1,9 +1,10 @@
 ---
 id: where
-title: Where to go? 
+title: Where to go?
 sidebar_label: Where to go?
 ---
-[general tags]: # (roadmap, leo)
+
+[general tags]: # "roadmap, leo"
 
 While a deep dive through the Leo documentation is a useful exercise, we realize that it may not be very practical. To help you along your journey, we've provided a "map" to help you find your way.
 
@@ -16,5 +17,3 @@ While a deep dive through the Leo documentation is a useful exercise, we realize
 - If you're interested in tutorials, check out [**Guides**](./guides/00_overview.md). Also be sure to check out the [**Core Aleo Concepts**](https://developer.aleo.org/guides/faqs).
 
 - If you're deploying or running your programs, [**CLI**](./cli/00_overview.md) will be helpful.
-
-

documentation/cli/00_overview.md

@@ -1,9 +1,10 @@
 ---
 id: cli_overview
 title: The Leo Command Line Interface
-sidebar_label: Overview 
+sidebar_label: Overview
 ---
-[general tags]: # (cli)
+
+[general tags]: # "cli"
 
 The Leo CLI is a command line interface tool that comes equipped with the Leo compiler.
 
@@ -13,59 +14,69 @@ You can print the list of commands by running `leo --help`
 
 ## Commands
 
-* [`account`](./01_account.md) - Create a new Aleo account, sign and verify messages.
-  * [`new`](./01_account.md#leo-account-new) - Generates a new Aleo account.
-  * [`import`](./01_account.md#leo-account-import) - Derive and Aleo account from a private key.
-  * [`sign`](./01_account.md#leo-account-sign) - Sign a message using your Aleo private key.
-  * [`verify`](./01_account.md#leo-account-verify) - Verify a message and signature from an Aleo address.
-* [`add`](./02_add.md) - Add a new onchain or local dependency to the current project.
-* [`build`](./03_build.md) - Compile the current project.
-* [`clean`](./04_clean.md) - Clean the build and output artifacts.
-* [`debug`](./05_debug.md) - Run the interactive debugger in the current package.
-* [`deploy`](./06_deploy.md) - Deploy a program to the Aleo network.
-* [`devnet`](./07_devnet.md) - Initialize a local devnet.
-* [`execute`](./08_execute.md) - Execute a program and produce a transaction containing a proof.
-* [`new`](./09_new.md) - Create a new Leo project in a new directory.
-* [`query`](./10_query.md) - Query live data and state from the Aleo network.
-  * [`block`](./10_query.md#leo-query-block) - Query block information.
-  * [`transaction`](./10_query.md#leo-query-transaction) - Query transaction information.
-  * [`program`](./10_query.md#leo-query-program) - Query program source code and live mapping values.
-  * [`stateroot`](./10_query.md#leo-query-stateroot) - Query the latest stateroot. 
-  * [`committee`](./10_query.md#leo-query-committee) - Query the current committee.
-  * [`mempool`](./10_query.md#leo-query-mempool) - Query transactions and transmissions from the memory pool.
-  * [`peers`](./10_query.md#leo-query-peers) - Query peer information.
-* [`remove`](./11_remove.md) - Remove a dependency from the current project.
-* [`run`](./12_run.md) - Run a program without producing a proof.
-* [`test`](./13_test.md) -  Run the test cases for a Leo project.
-* [`update`](./14_update.md) - Update to the latest version of Leo.
-* [`upgrade`](./15_upgrade.md) - Upgrade a deployed program on the Aleo network.
-* [`synthesize`](./16_synthesize.md) - Generate proving and verifying keys for a program.
-* [`fmt`](./17_fmt.md) - Format Leo source files.
+- [`account`](./01_account.md) - Create a new Aleo account, sign and verify messages.
+  - [`new`](./01_account.md#leo-account-new) - Generates a new Aleo account.
+  - [`import`](./01_account.md#leo-account-import) - Derive and Aleo account from a private key.
+  - [`sign`](./01_account.md#leo-account-sign) - Sign a message using your Aleo private key.
+  - [`verify`](./01_account.md#leo-account-verify) - Verify a message and signature from an Aleo address.
+- [`add`](./02_add.md) - Add a new onchain or local dependency to the current project.
+- [`build`](./03_build.md) - Compile the current project.
+- [`clean`](./04_clean.md) - Clean the build and output artifacts.
+- [`debug`](./05_debug.md) - Run the interactive debugger in the current package.
+- [`deploy`](./06_deploy.md) - Deploy a program to the Aleo network.
+- [`devnet`](./07_devnet.md) - Initialize a local devnet.
+- [`execute`](./08_execute.md) - Execute a program and produce a transaction containing a proof.
+- [`new`](./09_new.md) - Create a new Leo project in a new directory.
+- [`query`](./10_query.md) - Query live data and state from the Aleo network.
+  - [`block`](./10_query.md#leo-query-block) - Query block information.
+  - [`transaction`](./10_query.md#leo-query-transaction) - Query transaction information.
+  - [`program`](./10_query.md#leo-query-program) - Query program source code and live mapping values.
+  - [`stateroot`](./10_query.md#leo-query-stateroot) - Query the latest stateroot.
+  - [`committee`](./10_query.md#leo-query-committee) - Query the current committee.
+  - [`mempool`](./10_query.md#leo-query-mempool) - Query transactions and transmissions from the memory pool.
+  - [`peers`](./10_query.md#leo-query-peers) - Query peer information.
+- [`remove`](./11_remove.md) - Remove a dependency from the current project.
+- [`run`](./12_run.md) - Run a program without producing a proof.
+- [`test`](./13_test.md) - Run the test cases for a Leo project.
+- [`update`](./14_update.md) - Update to the latest version of Leo.
+- [`upgrade`](./15_upgrade.md) - Upgrade a deployed program on the Aleo network.
+- [`synthesize`](./16_synthesize.md) - Generate proving and verifying keys for a program.
+- [`fmt`](./17_fmt.md) - Format Leo source files.
 
 ## Universal Flags
+
 These flags are available to use alongside all commands in the Leo CLI.
 
 #### `--help`
+
 #### `-h`
+
 Prints available commands and flags.
 
 #### `--version`
+
 #### `-V`
+
 Prints the currently installed version of Leo.
 
 #### `-q`
+
 Suppresses the CLI output.
 
 #### `-d`
+
 Prints out additional information for debugging if possible.
 
 #### `--path <PATH>`
-Specifies the path to Leo program root folder.  Defaults to `./`.
 
-#### `--home <HOME>`  
-Specifies the path to the `.aleo` program registry.  This is where programs downloaded from the network will be cached.  Defaults to `~/.aleo/registry`.
+Specifies the path to Leo program root folder. Defaults to `./`.
+
+#### `--home <HOME>`
+
+Specifies the path to the `.aleo` program registry. This is where programs downloaded from the network will be cached. Defaults to `~/.aleo/registry`.
 
 #### `--json-output[=<PATH>]`
+
 Saves structured JSON output to disk.
 
 - **Default location**: `build/json-outputs/<command>.json`