Everything You Need to Master Leo
Learn Aleo's Leo language with interactive lessons, instant compilation, and hands-on zero-knowledge projects.
Live Coding Environment
Write, compile, and prove zero-knowledge circuits directly in your browser.
Verifiable Credentials
Mint on-chain achievements that prove your knowledge without revealing personal data.
Global Network
Deploy to a decentralized network of provers and validators.
Why Aleo?
Revealed
Generation
Native
Deep Dive into
Zero-Knowledge.
Go from reading to writing to deploying privacy-preserving applications in minutes.
Select a Module
Browse our curated library of ZK examples. From basic arithmetic to complex DeFi pools and NFT marketplaces.
Write & Compile
Use the in-browser IDE to write Leo code. Catch syntax errors in real-time and compile your circuits instantly.
Deploy to Network
One-click deployment to the Aleo Testnet. Verify your proofs and interact with your program on-chain.
Join the
Builder Mesh.
Connect with 10,000+ developers building the future of private applications.
Kaito T.
Zero-Knowledge Engineer
"The instant feedback loop in the browser IDE is a game changer. I went from zero to deploying my first private dApp in an afternoon."
Zoya V.
DeFi Architect
"Finally, a learning platform that treats ZK like a first-class citizen. The modules on private state transition are world-class."
Jaxon S.
Smart Contract Auditor
"I recommend this to every junior auditor I train. It's the fastest way to understand the Leo language constraints."