tigerneil / awesome-aleo

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

  • 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

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

Playgrounds

Syntax Highlighters

Applications

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

Algorithms

Art

Bridging

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

Decentralized Finance (DeFi)

Explorers

Identity & Authentication

  • Nemean - A CLI and SDK for custodians and engineers to interact with the Aleo network
  • SpruceID DID Kit - Issuance and verification of verifiable credentials using Aleo accounts

Gaming

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

Help fill me in!

Marketplaces

Oracles

Help fill me in!

Wallets

About

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