Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Bibendum neque egestas congue quisque egestas diam in arcu cursus. Neque vitae tempus quam pellentesque nec nam aliquam. Est pellentesque elit ullamcorper dignissim cras tincidunt lobortis feugiat. Nunc consequat interdum varius sit amet mattis vulputate enim. Morbi blandit cursus risus at ultrices mi tempus imperdiet nulla. Hac habitasse platea dictumst vestibulum rhoncus est pellentesque elit ullamcorper. Quis viverra nibh cras pulvinar mattis nunc sed. Venenatis a condimentum vitae sapien. Volutpat lacus laoreet non curabitur gravida arcu. Venenatis lectus magna fringilla urna porttitor. Orci a scelerisque purus semper. Tortor posuere ac ut consequat semper viverra nam libero justo. Ipsum a arcu cursus vitae congue. Suscipit tellus mauris a diam maecenas sed enim.
If you'd like to contribute, please read this.
- Announcements & News
- Presentations & Talks
- Research Papers & Resources
- 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
- 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
- Sublime Text - Aleo - An unofficial Aleo 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
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
- aleo/token - An Aleo custom asset example
- ARC20 draft - An ARC20 token draft proposal
- ARC-721 Draft - An ARC-721 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
- Aleo Explorer - The official blockchain explorer for Aleo
- Hamp Explorer - Haruka's Aleo Explorer
- 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
- Aleo Grant Recipient: Pine Street Labs - Transcript interview with Pine Street Labs
- 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
- 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
- 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
- neural network inference and leo program generator - An implementation of a neural network inference in Leo, and a Python program to genereate Leo code for neural network inference
- numerical optimization example - An example implementation of proving model training succeeded with respect to a certain dataset, without having to prove the entire trace of the training.
- zero knowledge linear regression model
- leo <> python language transpiler
- proof of concept KYC platform using zkML
- leo <> python language transpiler
- transpiler for python compatible boosting models
- zkML models on Aleo
- leo/auction - An auction record format built in Leo
- Aleo Faucet - The official Aleo Testnet Faucet
- Metamask Snap - Aleo - A MetaMask-compatible wallet extension for Aleo accounts
- (Unofficial) Account SDK - An unofficial account SDK for Aleo
- Leo Wallet - A simple and private wallet for Aleo. Early access waitlist now open.
- Leo Wallet Adapter SDK - A SDK for integrating with the Leo wallet