Announcements & News

• Aleo Discord - The official Aleo Discord channel

Applications

Algorithms

• 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

• 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.
• Aleo.store - Aleo NFT Marketplace and Open source NFT standard proposition.

Bridging

• 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.

Decentralized Finance (DeFi)

• ARC20 draft - An ARC20 token draft proposal
• 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
• AleoPad
• 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.
• ARC-721 Draft - An ARC-721 draft proposal
• leo/token - An Aleo custom asset example
• ARC0721 - An ARC-721 implementation
• Beta Staking
• Brale.xyz
• Pondo.xyz
• LSP Finance
• Money Market
• 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.
• Arcane Finance - A privacy-centric decentralized exchange (DEX) combining both RFQ and AMM models on Aleo
• Staking.xyz - Making staking easy for everyone, starting with Aleo!
• ARC20 draft - An ARC20 token draft proposal

Explorers

• Hamp Explorer - Haruka's Aleo Explorer
• Aleo Info Explorer - Aleo Info Explorer
• Aleo123 Explorer - Aleo123 Explorer
• Aleo123 Explorer - Aleo123 Explorer
• Aleo Box
• Aleo123 Explorer - Aleo123 Explorer
• Aleo Explorer - The official blockchain explorer for Aleo

Gaming

• Where's Alex - A multiparty hidden information game on Aleo
• Treasure Hunt
• 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 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
• zkPlanet
• 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

Governance

• 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
• zVote Official Site

Identity & Authentication

• Nemean - A CLI and SDK for custodians and engineers to interact with the Aleo network
• Introducing Nemean - Blog post written by Pine Street Labs explaining Nemean
• 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
• 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.
• Pine Street Labs Fireside Chat - Fireside chat with the Pine Street Labs team
• Spruce Fireside Chat - Fireside chat with the Spruce team
• zkSign
• Wise Pass
• Alei - Leo apps secured by Tyron Social Recovery.
• Nemean - A CLI and SDK for custodians and engineers to interact with the Aleo network
• Spruce DID Kit - Issuance and verification of verifiable credentials using Aleo accounts

Machine Learning

• Run Leo - A python package that transpiles Leo code to Python
• zkKYC - KYC platform using zkML (Zero-knowledge Machine Learning) algorithms on Aleo blockchain.
• 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
• 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
• 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.

Marketplaces

• leo/auction - An auction record format built in Leo
• Anonymous Rating Survey - A program to add anonymous ratings to Dapps
• PriceProof - 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.

NFT Infrastructure

• Private NFT Mint
• Data Custody Protocol
• IKnowSpots - A privacy first event protocol on Aleo that issues NFT passes using claim codes or shortlists without exposing attendee data.

NFT Marketplaces & Launchpads

• Arcane Launchpad
• NFT Marketplace (Venture23)
• NFT Marketplace (Venture23)

Oracles

• Aleo Oracle - A general purpose, TEE-based blockchain oracle for Aleo
• snorkle - A privacy-preserving oracle that securely brings real-world data on-chain
• Aleo Oracle - A general purpose, TEE-based blockchain oracle for Aleo

Tools

• ZKGaming Kit - built ZK primitives
• Aleomail
• Record Scanner
• Obscura - focused project

Utility

• Daddy's Orders - Randomized, zero-knowledge ordering system

Wallets

• Puzzle Wallet - A mobile and extension wallet with Aleo Account Abstraction to explore Aleo, play zkGames & earn rewards
• Avail - A mobile wallet on Aleo focused on enabling real world use of private self custody.
• Coffer - Multisig Smart Contract Wallet on Aleo
• Avail - A mobile wallet on Aleo focused on enabling real world use of private self custody.
• Avail Wallet
• Leo Wallet
• Fox Wallet - chain extension & mobile wallet.
• Puzzle Wallet
• Soter Wallet

Wallet SDKs & More

• Aleo Faucet - The official Aleo Testnet Faucet
• Puzzle SDK - A SDK for integrating with Puzzle, Avail and any other WalletConnect based wallets.
• 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
• (Unofficial) Account SDK - An unofficial account SDK for Aleo
• Leo Wallet Adapter SDK - A SDK for integrating with the Leo wallet
• MetaMask Snap (Official) - Official MetaMask Snap for Aleo
• Aleo Faucet Soter - Request Aleo Tokens from Soter on Testnet Beta
• Aleo Wallet Hooks

ZPass Integrations

• 3oC (Three of Cups) - knowledge identity
• WORLD3 - enabled AI & privacy
• PLAYSIDE.gg - powered gaming identity
• GENIE (The Genius School8)

Core Libraries

• snarkOS - A Decentralized Operating System for Zero-Knowledge Applications
• snarkVM - A Virtual Machine for Zero-Knowledge Executions
• SDK - A Software Development Kit (SDK) for Zero-Knowledge Transactions
• snarkOS - A Decentralized Operating System for Zero-Knowledge Applications
• snarkVM - A Virtual Machine for Zero-Knowledge Executions

Development Tools

Decompilers

• AleoVera - The Aleo bytecode analyzer and disassembler
• AleoPathy - Online Disassembler and Decompiler

Hardware Acceleration

• Accelerating MSM on GPUs/FPGAs - Accelerating multi-scalar multiplications on GPUs/FPGAs
• Accelerating MSM on Mobile - Accelerating multi-scalar multiplications on mobile

Playgrounds

• Leo Playground - The official playground for Leo programs

Security

• Vanguard for Aleo - Static analyzer for Leo/Aleo programs
• aleo2json - Compiler for Aleo -> JSON
• aleo2llvm - Compiler for Aleo -> LLVM

Syntax Highlighters

• 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

Testing Toolkit

• 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

Presentations & Talks

• 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

Research Papers & Resources

• Zexe - Zexe: Enabling Decentralized Private Computation
• Marlin - Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS
• Leo - Leo: A Programming Language for Formally Verified,
• 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
• AVM Opcodes - Aleo Virtual Machine (AVM) Opcodes

Workshops

• zkWorkshop | Programming with Leo - Zero-Knowledge DSL
• zkWorkshop | Building Compliant Privacy-Preserving Tokens
• zkWorkshop | Universal Wallet Integration on Aleo
• zkWorkshop | Scalable Private Identity Solutions with zPass
• zkWorkshop | Building Private DeFi Applications
• Technical Workshop by Laisha
• Building a Private dApp on Aleo
• zPass and Verification Program Tutorial
• The Aleo Advantage presented by Anthony
• Aleo Workshop Part 1
• Aleo Workshop Part 2