Build on the only vertically integrated ZK Layer 1.
Multiple groundbreaking solutions stacked into one unified ecosystem. On Aleo, you can code, deploy, and run your apps in a single place.
Start buildingHigh-level syntax
- Our rust-based DSL
- Robust Aleo toolkit
- Core programming logic
- Block explorer and code repository
- Critical blockchain functions
- Low level tasks and cryptography
Foundational ZK Circuits
Unpack the stack
Aleo's purpose-built architecture allows developers to leverage the power of zero-knowledge in their applications.
See it in actionCrafted to make zero-knowledge app development easy, Leo abstracts low-level cryptography so you can easily write ZK logic for private, scalable, and decentralized apps that redefine the internet experience.
Clone the Leo language repo
This command will clone our Leo repository so you can get coding with ZK.
# Download the source code
git clone https://github.com/AleoHQ/leo
cd leoPlayground
Experiment with Leo code through a web interface using the Leo Playground, an in-browser editor complete with ready-to-use sample applications.
Build with LeoWorkshop
Access our starter guide to building applications on Aleo, complete with build guides, IDE support, and application walkthroughs.
Learn MoreDocumentation
Dive into the core concepts and syntax of Leo, access a suite of commands for easy coding, and explore community resources and projects.
Read the docs
Unlimited compute, instant verification
Build with our core tools to bring out the best in your apps.
Build with our core tools to bring out the best in your apps.
snarkVM
Develop compute-intensive decentralized applications with a VM that performs computation off-chain and only requires verifiable proofs on-chain.
Learn MoresnarkOS
Make apps scalable and secure with an OS that validates transactions with a single proof of execution and maintains an immutable state of the Aleo blockchain.
Learn More
