If you'd like to contribute, please read this.
- Table of Contents
- Announcements & News
- Presentations & Talks
- Research Papers & Resources
- Workshops
- Core Libraries
- Development Tools
- Applications
- Aleo Discord - The official Aleo Discord channel
- Aleo Twitter - The official Aleo Twitter account
- Introduction to zkSNARKs with Howard Wu - Zero Knowledge Podcast: Episode 38
- Demystifying Zero-Knowledge Programming - Introduction to the Record Model
- zkWhiteBoard Session with Pratyush Mishra - ZKHack: zkWhiteBoard Session on Zexe and Aleo
- Aleo with Howard Wu - Zero Knowledge Podcast: Episode 144
- Efficient Private Delegation of zkSNARK Provers - ZKSummit 7: Pratyush Mishra
- The Importance of Zero-knowledge Proof with Alex Pruden - CoinGecko Podcast
- Zexe - Zexe: Enabling Decentralized Private Computation
- Marlin - Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS
- Leo - Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications
- Poseidon - Poseidon: A New Hash Function for Zero-Knowledge Proof Systems
- AVM Opcodes - Aleo Virtual Machine (AVM) Opcodes
- PoNW - Proof of Necessary Work: Succinct State Verification with Fairness Guarantees
- zkWorkshop | Programming with Leo - Zero-Knowledge DSL – Pranav Gaddamadugu, ETHDenver (2025)
- zkWorkshop | Building Compliant Privacy-Preserving Tokens – Evan Marshall, ETHDenver (2025)
- zkWorkshop | Universal Wallet Integration on Aleo – Matt Wyatt, ETHDenver (2025)
- zkWorkshop | Scalable Private Identity Solutions with zPass – ZK Lim, ETHDenver (2025)
- zkWorkshop | Building Private DeFi Applications – Max Sultakov, ETHDenver (2025)
- Technical Workshop by Laisha – House of ZK (2025)
- Building a Private dApp on Aleo – Building Auction Program (2024)
- zPass and Verification Program Tutorial – zkWorkshop (2024)
- The Aleo Advantage presented by Anthony – Blockchain Futurist Conference (2023)
- Aleo Workshop Part 1 – ZK Hack (2022)
- Aleo Workshop Part 2 – ZK Hack (2022)
- SDK - A Software Development Kit (SDK) for Zero-Knowledge Transactions
- Leo - A Functional, Statically-Typed Language for Zero-Knowledge Applications
- snarkOS - A Decentralized Operating System for Zero-Knowledge Applications
- snarkVM - A Virtual Machine for Zero-Knowledge Executions
- AleoVera - The Aleo bytecode analyzer and disassembler
- AleoPathy - Online Disassembler and Decompiler
- ZPrize - Dedicated to Accelerating the Future of Zero-Knowledge Cryptography
- Accelerating MSM on GPUs/FPGAs - Accelerating multi-scalar multiplications on GPUs/FPGAs
- Accelerating MSM on Mobile - Accelerating multi-scalar multiplications on mobile
- Leo Playground - The official playground for Leo programs
- IntelliJ - Leo - The official Leo plugin for IntelliJ
- Sublime Text - Leo - The official Leo plugin for Sublime Text
- VSCode - Leo - The official Leo plugin for VSCode
- vim - Aleo - An unofficial Vim plugin for Aleo instructions
- Leo Program Runner - Python hooks to load and execute Leo programs
- DokoJS - Powerful and lightweight library designed for seamless interaction with the Aleo blockchain
- Amareleo - Starting from the SnarkOS codebase, amareleo-chain delivers a minimal validator node for testing the deployment and execution of aleo programs
- Vanguard for Aleo - Static analyzer for Leo/Aleo programs
The following is a curated list of applications powered by Aleo.
- fixed-point numbers - An implementation of fixed-point numbers and calculations in Leo
- is_prime - An Aleo program to issue prime tokens
- leo/bubblesort - A bubble-sort algorithm implementation in Leo
- leo/groups - An example of group operations in Leo
- leo/twoadicity - An implementation of computing the two-adicity in Leo
- leo-elgamal - Multiplicative homomorphic encryption using ElGamal
- art-factory - A fully functioning dapp, ready to deploy your own NFT collection with.
- Privacy Pride - A deployed, production version of art factory, hosting Aleo's first NFT collection.
- Setup Ceremony NFTs - NFTs for the Aleo Setup Ceremony participants
- Artgo - An AIGC-based NFT creating and trading platform
- Aleo.store - Aleo NFT Marketplace and Open source NFT standard proposition.
- Eclipse - Bridging ecosystems by storing zero-knowledge proofs of Solana votes on Aleo
- IZAR - A privacy-preserving cross-chain interoperability protocol between Ethereum and Aleo
- Verulink - A trusted bridge platform that is designed to help move assets like ETH, USDC, and USDT between Aleo and Ethereum blockchain.
- leo/token - An Aleo custom asset example
- ARC20 draft - An ARC20 token draft proposal
- ARC0721 - An ARC-721 implementation
- AtomiK - DEX doing cross-chain atomic swaps with ZK for liquidity providing, increasing security in bridging between Aleo & XDC (EVM compatible chains).
- AleoSwap - A decentralized exchange (DEX) built on the Aleo blockchain
- Arcane Finance - A privacy-centric decentralized exchange (DEX) combining both RFQ and AMM models on Aleo
- DistroFund - A Decentralized application that enables an end user to send a token to multiple addresses in a single transaction.
- Privx - The First Orderbook DEX with On-chain Privacy on Aleo
- Staking.xyz - Making staking easy for everyone, starting with Aleo!
- Spectre - Spectre liquidity protocol on Aleo: Stake credits, earn rewards, and borrow assets.
- Beta Staking – Staking services
- Brale.xyz – DeFi services focused to stablecoins
- Pondo.xyz – Liquid staking service on Aleo
- LSP Finance – Staking services
- Money Market – [In Development]
- Proof of Bitcoin - Proof of Bitcoin reserves on Aleo: lock sats, generate zero-knowledge proofs, and publicly verify whale balances—no double-spend, all private by design.
- Aleo Explorer - The official blockchain explorer for Aleo
- Hamp Explorer - Haruka's Aleo Explorer
- Aleo123 Explorer - Aleo123 Explorer
- Aleo Info Explorer - Aleo Info Explorer
- Aleo Box – Discover applications on Aleo
- Nemean - A CLI and SDK for custodians and engineers to interact with the Aleo network
- Pine Street Labs Fireside Chat - Fireside chat with the Pine Street Labs team
- Spruce DID Kit - Issuance and verification of verifiable credentials using Aleo accounts
- Spruce Fireside Chat - Fireside chat with the Spruce team
- zkDrop - Digital ID and secure file sharing concept based on Aleo
- ANS - The Aleo Naming Service
- zkKYC - A privacy preserving Know Your Customer (KYC) application built on Aleo.
- AleoGuard - A Privacy driven Identity aggregator for plug-and-play SSO built on Aleo
- Alei - Leo apps secured by Tyron Social Recovery.
- Aleo Privacy Pool using zkpID - A demo for threshold-based, privacy-preserving & KYC-ed Aleo transactions using a privacy pool.
- Aleo Voice Mail - A voice text program designed for sending voice messages between two users (sender/receiver) on Aleo.
- zkSign – Sign documents on Aleo
- Wise Pass – Lifestyle platform
- VerifAleo - Users mint an identity NFT with an expiry block so dApps can verify compliance without storing personal data
- Where's Alex - A multiparty hidden information game on Aleo
- Super Leo Lig - - Challenge a friend to an on-chain soccer game with hidden strategies
- Puzzle SDK for zkGames - A SDK for building multiparty hidden information games on Aleo
- Zenet - The ancient Egyptian game of Senet on Aleo
- Battleship - ZK Battleship on Aleo
- CoinFlip - A 2-party random coin flip on Aleo
- Roulette - A Roulette web app built on Aleo
- leo/tictactoe - An implementation of TicTacToe in Leo
- Boloney - An online multiplayer dice game showcasing the potential of Aleo's ZKP platform
- ZK Gaming Toolkit - A toolkit with a variety of pre-built primitives written in Leo for ZK-powered games
- ZK Commitments for atomic Sudoku swaps - Greg Maxwell’s Zero Knowledge Contingent Payments
- Aleo Monopoly - Simple game of Monopoly written in Leo
- Aleo Wordle - Wordle on Aleo
- Rock, Paper, Scissors - Rock, Paper, Scissors on Aleo.
- Sudoku, Wordle, and Trivia - Sudoku, Wordle, and Trivia in Leo.
- ZK Stratego - A game of Stratego, themed as a crypto company.
- QuizGame - Simple and fully documented React-based Quiz Game.
- Onchain VRF - An on-chain Verifiable Random Function (VRF) for on-chain, turn-based games.
- Memorygame - A card guessing game on Aleo.
- Heads or Tails - A heads-or-tails game on Aleo.
- BotBusters – Chat and spot the bots
- zkPlanet – A resource management and civilization game
- Treasure Hunt – Hidden treasure hunts by Puzzle
- The Solo Gambit - Chess with bombs: capture a piece and trigger a secret explosion zone that reshapes the board.
- RetroBeatz - A lightning quiz of retro game tunes—guess the soundtrack from a few bars of 8-bit or 16-bit nostalgia.
- Knightfall - Fog-of-war chess on Aleo
- MACI - Minimum Anti-Collusion Infrastructure on Aleo
- Aleo-Vote - A ZK voting application on Aleo
- leo/vote - An example propose and vote mechanism build using Leo
- ZK Suggestion Box - An anonymous suggestion box built on Aleo
- zVote – ZK voting system
- Neural Network Inference - An implementation of a neural network inference in Leo and Python
- Numerical Optimization - Proving stocastic gradient descent using Leo and Otti
- Linear Regression - Univariate linear regression in Leo
- Run Leo - A python package that transpiles Leo code to Python
- Generate Leo - A python package that generates Leo code from Python
- Boosting Models - Privacy preserving ML using Boosting models on Aleo
- Gini Coefficient, Decision Tree, K-Means - A library of machine learning algorithms implemented in Leo
- zkKYC - KYC platform using zkML (Zero-knowledge Machine Learning) algorithms on Aleo blockchain.
- Zero Gravity - Proving an inference pass for a public Weightless Neural Network run on a private input.
- Leo Quantization - Use quantized data in the zkML program in Leo and perform operations on quantized data.
- leo/auction - An auction record format built in Leo
- Anonymous Rating Survey - A program to add anonymous ratings to Dapps
- PriceProve - On-chain price prediction markets secured by ZK proofs, so you can bet on future moves with absolute trust in the outcome.
- lodive - A ticketing platform that issues encrypted, non-transferable passes.
- Arcane Launchpad – Launch new NFT projects
- NFT Marketplace (Venture23) – In development
- Private NFT Mint – Mint in private
- Data Custody Protocol – Secure data ownership via NFTs
- Aleomail – Private email on Aleo
- Record Scanner – Verify Aleo records
- ZKGaming Kit – Pre-built ZK primitives
- Obscura – Privacy-focused project
- Aleo Oracle - A general purpose, TEE-based blockchain oracle for Aleo
- snorkle - A privacy-preserving oracle that securely brings real-world data on-chain
- Daddy's Orders - Randomized, zero-knowledge ordering system
- Avail Wallet – A mobile wallet on Aleo focused on enabling real world use of private self custody.
- Coffer - Multisig Smart Contract Wallet on Aleo
- Leo Wallet – A simple and private wallet for Aleo.
- Fox Wallet – Multi-chain extension & mobile wallet.
- Puzzle Wallet – A mobile and extension wallet with Aleo Account Abstraction to explore Aleo, play zkGames & earn rewards
- Soter Wallet – Digital crypto wallet for Aleo blockchain
- Aleo Faucet - The official Aleo Testnet Faucet
- Aleo Faucet Soter - Request Aleo Tokens from Soter on Testnet Beta
- Puzzle SDK - A SDK for integrating with Puzzle, Avail and any other WalletConnect based wallets.
- (Unofficial) Account SDK - An unofficial account SDK for Aleo
- Leo Wallet Adapter SDK - A SDK for integrating with the Leo wallet
- Aleo Wallet Connect Standards - A walletconnect standard for Aleo wallets
- Aleo Wallet Hooks – Integrate Aleo wallets easily
- iOS Swift Aleo Wallet Starter Kit - A workshop & repo for getting started making your own Aleo iOS client
- Metamask Snap - Aleo - A MetaMask-compatible wallet extension for Aleo accounts
- MetaMask Snap (Official) - Official MetaMask Snap for Aleo
- 3oC (Three of Cups) – Zero-knowledge identity
- WORLD3 – ZK-enabled AI & privacy
- PLAYSIDE.gg – ZK-powered gaming identity
- GENIE (The Genius School8) – ZK learning platform