frgv0wyandt/awesome-aleo

🏎️ A curated list of Aleo & Leo code and resources 🏎️

awesome-aleo

🏎️ A curated list of Aleo & Leo code and resources 🏎️

If you'd like to contribute, please read this.

Table of Contents

• Announcements & News
• Tutorials
• Presentations & Talks
• Research Papers & Resources
• Core Libraries
• Development Tools
  • Decompilers
  • Hardware Acceleration
  • Playgrounds
  • Syntax Highlighters
• Applications
  • Algorithms
  • Art
  • Bridging
  • Decentralized Finance (DeFi)
  • Explorers
  • Identity & Authentication
  • Gaming
  • Governance
  • Machine Learning
  • Marketplaces
  • Oracles
  • Wallets

Announcements & News

• Aleo Discord - The official Aleo Discord channel
• Aleo Twitter - The official Aleo Twitter account
• Week In Aleo News - Telegram - (Unofficial) This Week in Aleo
• This Week in Aleo - An unofficial newsletter for Aleo developer updates

Tutorials

• An introduction to Aleo - An introduction to the core concepts of programming in Aleo
• Aleo Development Starter Pack - Overview of how to write Aleo instructions
• Fully-Private Applications: The Zexe Protocol - Intro to a decentralized ledger for fully-private applications
• Getting Started with Aleo Instructions - A walkthrough of a simple example in Aleo instructions

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, 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

Core Libraries

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

Development Tools

Decompilers

• AleoVera - The Aleo bytecode analyzer and disassembler

Hardware Acceleration

• 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

Playgrounds

• Leo Playground - The official playground for Leo programs

Syntax Highlighters

• 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

Applications

The following is a curated list of applications powered by Aleo.

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

Art

• aleo-nft - An NFT collection on the Aleo network
• Setup Ceremony NFTs - NFTs for the Aleo Setup Ceremony participants

Bridging

• Eclipse - Bridging ecosystems by storing zero-knowledge proofs of Solana votes on Aleo

Decentralized Finance (DeFi)

• aleo/token - An Aleo custom asset example
• ARC20 draft - An ARC20 token draft proposal

Explorers

• Aleo Explorer - The official blockchain explorer for Aleo

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

Gaming

• Battleship - ZK Battleship on Aleo
• CoinFlip - A 2-party random coin flip on Aleo
• Roulette - A Roulette web app built on Aleo [Live Demo]
• 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

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

Machine Learning

• 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

Marketplaces

• leo/auction - An auction record format built in Leo

Oracles

Help fill me in!

Wallets

• Metamask Snap - Aleo - A MetaMask-compatible wallet extension for Aleo accounts
• (Unofficial) Account SDK - An unofficial account SDK for Aleo
• Aleo Wallet - A Chrome extension for an Aleo wallet
• 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