# Leo

## Docs

- [Compiler Architecture](https://mintlify.wiki/provablehq/leo/advanced/compiler-architecture.md): Deep dive into Leo's compiler design, crate structure, and compilation pipeline
- [Compiler Passes](https://mintlify.wiki/provablehq/leo/advanced/compiler-passes.md): Comprehensive guide to all Leo compiler passes including type checking, loop unrolling, SSA, flattening, and code generation
- [Optimization Guide](https://mintlify.wiki/provablehq/leo/advanced/optimization.md): Performance optimization techniques for Leo programs, compiler optimizations, and best practices for efficient zero-knowledge circuits
- [Zero-Knowledge Concepts](https://mintlify.wiki/provablehq/leo/advanced/zero-knowledge-concepts.md): Understanding how Leo compiles to zero-knowledge proofs, R1CS circuits, and Aleo's architecture
- [leo abi](https://mintlify.wiki/provablehq/leo/cli/abi.md): Generate ABI from an Aleo bytecode file
- [leo account](https://mintlify.wiki/provablehq/leo/cli/account.md): Manage Aleo accounts including key generation, import, signing, and verification
- [leo add](https://mintlify.wiki/provablehq/leo/cli/add.md): Add dependencies to your Leo project from the network or local filesystem
- [leo build](https://mintlify.wiki/provablehq/leo/cli/build.md): Compile Leo programs into Aleo bytecode with dependencies
- [leo clean](https://mintlify.wiki/provablehq/leo/cli/clean.md): Clean build artifacts and output directories
- [leo deploy](https://mintlify.wiki/provablehq/leo/cli/deploy.md): Deploy Leo programs to the Aleo network with on-chain verification
- [leo devnet](https://mintlify.wiki/provablehq/leo/cli/devnet.md): Launch and manage a local Aleo devnet with validators and clients
- [leo devnode](https://mintlify.wiki/provablehq/leo/cli/devnode.md): Run a single-node local development server with instant block creation
- [leo execute](https://mintlify.wiki/provablehq/leo/cli/execute.md): Execute Leo programs on-chain with cryptographic proofs and optional broadcasting
- [leo fmt](https://mintlify.wiki/provablehq/leo/cli/fmt.md): Format Leo source files
- [leo new](https://mintlify.wiki/provablehq/leo/cli/new.md): Create a new Leo project with the standard directory structure
- [CLI Overview](https://mintlify.wiki/provablehq/leo/cli/overview.md): Overview of the Leo command-line interface, global options, and common patterns
- [leo query](https://mintlify.wiki/provablehq/leo/cli/query.md): Query live data from the Aleo network including blocks, transactions, and program state
- [leo remove](https://mintlify.wiki/provablehq/leo/cli/remove.md): Remove dependencies from your Leo project
- [leo run](https://mintlify.wiki/provablehq/leo/cli/run.md): Execute Leo programs locally without generating proofs
- [leo synthesize](https://mintlify.wiki/provablehq/leo/cli/synthesize.md): Synthesize proving and verifying keys for program functions
- [leo test](https://mintlify.wiki/provablehq/leo/cli/test.md): Run Leo program tests with the @test annotation
- [leo update](https://mintlify.wiki/provablehq/leo/cli/update.md): Update the Leo CLI to the latest version
- [leo upgrade](https://mintlify.wiki/provablehq/leo/cli/upgrade.md): Upgrade an existing program on the Aleo network
- [Best Practices](https://mintlify.wiki/provablehq/leo/development/best-practices.md): Coding standards, performance optimization, and security considerations for Leo development
- [Debugging Leo Programs](https://mintlify.wiki/provablehq/leo/development/debugging.md): Debugging techniques, understanding error messages, and solving common issues
- [Package Management](https://mintlify.wiki/provablehq/leo/development/package-management.md): Managing dependencies, program.json configuration, and imports in Leo
- [Testing Leo Programs](https://mintlify.wiki/provablehq/leo/development/testing.md): Writing unit tests, integration tests, and using the Leo test framework
- [Writing Leo Programs](https://mintlify.wiki/provablehq/leo/development/writing-programs.md): Best practices for writing Leo programs, project structure, and code organization
- [Lottery Example](https://mintlify.wiki/provablehq/leo/examples/lottery.md): Random winner selection demonstrating ChaCha RNG, block height checks, and finalizer constraints
- [Example Programs](https://mintlify.wiki/provablehq/leo/examples/overview.md): Overview of example Leo programs demonstrating key language features
- [Tic-Tac-Toe Example](https://mintlify.wiki/provablehq/leo/examples/tictactoe.md): Two-player tic-tac-toe game demonstrating structs, conditionals, and helper functions in Leo
- [Token Example](https://mintlify.wiki/provablehq/leo/examples/token.md): Complete walkthrough of a transparent and shielded token implementation in Leo
- [Installation](https://mintlify.wiki/provablehq/leo/installation.md): Install Leo on macOS, Linux, or Windows and verify your installation
- [Introduction to Leo](https://mintlify.wiki/provablehq/leo/introduction.md): Learn about Leo, the imperative, statically-typed programming language for writing private applications on Aleo
- [Data Types](https://mintlify.wiki/provablehq/leo/language/data-types.md): Comprehensive guide to Leo's type system including primitive and composite types
- [Finalize Blocks](https://mintlify.wiki/provablehq/leo/language/finalize.md): Learn about finalize blocks for on-chain computation and state management in Leo
- [Functions](https://mintlify.wiki/provablehq/leo/language/functions.md): Learn about function declarations, parameters, return types, and visibility modifiers in Leo
- [Imports](https://mintlify.wiki/provablehq/leo/language/imports.md): Learn how to import and use other Leo programs and dependencies
- [Mappings](https://mintlify.wiki/provablehq/leo/language/mappings.md): Learn about on-chain storage with mappings in Leo
- [Operators](https://mintlify.wiki/provablehq/leo/language/operators.md): Comprehensive guide to arithmetic, logical, bitwise, and comparison operators in Leo
- [Leo Language Overview](https://mintlify.wiki/provablehq/leo/language/overview.md): Introduction to Leo, a statically-typed programming language for zero-knowledge applications on Aleo
- [Programs](https://mintlify.wiki/provablehq/leo/language/programs.md): Learn about Leo program structure, declarations, and organization
- [Records](https://mintlify.wiki/provablehq/leo/language/records.md): Learn about record types, ownership, and private state in Leo
- [Statements](https://mintlify.wiki/provablehq/leo/language/statements.md): Learn about variable declarations, assignments, conditionals, loops, and control flow in Leo
- [Quick Start](https://mintlify.wiki/provablehq/leo/quickstart.md): Create, build, and run your first Leo program in minutes
- [Aleo Instructions](https://mintlify.wiki/provablehq/leo/reference/aleo-instructions.md): How Leo compiles to Aleo instructions and bytecode
- [Built-in Types](https://mintlify.wiki/provablehq/leo/reference/built-in-types.md): Complete reference of all built-in types in Leo with sizes and ranges
- [Grammar Reference](https://mintlify.wiki/provablehq/leo/reference/grammar.md): Complete ABNF grammar specification for the Leo programming language
- [Standard Library](https://mintlify.wiki/provablehq/leo/reference/standard-library.md): Built-in functions and utilities available in Leo programs
- [Changelog](https://mintlify.wiki/provablehq/leo/resources/changelog.md): Version history and changes to the Leo programming language
- [Contributing to Leo](https://mintlify.wiki/provablehq/leo/resources/contributing.md): Guidelines for contributing to the Leo programming language
- [Frequently Asked Questions](https://mintlify.wiki/provablehq/leo/resources/faq.md): Common questions about Leo programming language
- [Troubleshooting](https://mintlify.wiki/provablehq/leo/resources/troubleshooting.md): Common errors and solutions for Leo programming