awesome-aleo
github.com/howardwu/awesome-aleo ↗🏎️ A curated list of Aleo & Leo code and resources 🏎️
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me zpass integrations resources from awesome-aleo"
Installation instructions →What's inside
Applications
- 3oC (Three of Cups)ZPass Integrations
- AleiIdentity & Authentication
Leo apps secured by Tyron Social Recovery.
- Aleo123 ExplorerExplorers
Aleo123 Explorer
- Aleo BoxExplorers
- Aleo ExplorerExplorers
The official blockchain explorer for Aleo
- Aleo FaucetWallet SDKs & More
The official Aleo Testnet Faucet
Development Tools
- Accelerating MSM on GPUs/FPGAsHardware Acceleration
Accelerating multi-scalar multiplications on GPUs/FPGAs
- Accelerating MSM on MobileHardware Acceleration
Accelerating multi-scalar multiplications on mobile
- aleo2jsonSecurity
Compiler for Aleo -> JSON
- aleo2llvmSecurity
Compiler for Aleo -> LLVM
- AleoPathyDecompilers
Online Disassembler and Decompiler
- AleoVeraDecompilers
The Aleo bytecode analyzer and disassembler
Announcements & News
- Aleo Discord
The official Aleo Discord channel
- Aleo Twitter
The official Aleo Twitter account
Presentations & Talks
- Aleo with Howard Wu
Zero Knowledge Podcast: Episode 144
- Demystifying Zero-Knowledge Programming
Introduction to the Record Model
- Efficient Private Delegation of zkSNARK Provers
ZKSummit 7: Pratyush Mishra
- Introduction to zkSNARKs with Howard Wu
Zero Knowledge Podcast: Episode 38
- The Importance of Zero-knowledge Proof with Alex Pruden
CoinGecko Podcast
- zkWhiteBoard Session with Pratyush Mishra
ZKHack: zkWhiteBoard Session on Zexe and Aleo
Workshops
- Aleo Workshop Part 1
- Aleo Workshop Part 2
- Building a Private dApp on Aleo
- Technical Workshop by Laisha
- The Aleo Advantage presented by Anthony
- zkWorkshop | Building Compliant Privacy-Preserving Tokens
Building Compliant Privacy-Preserving Tokens – Evan Marshall, ETHDenver (2025)
Research Papers & Resources
- AVM Opcodes
Aleo Virtual Machine (AVM) Opcodes
- Leo
Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications
- Marlin
Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS
- PoNW
Proof of Necessary Work: Succinct State Verification with Fairness Guarantees
- Poseidon
Poseidon: A New Hash Function for Zero-Knowledge Proof Systems
- Zexe
Zexe: Enabling Decentralized Private Computation
Showing a sample of 169 resources. View the full list on GitHub →