Empowering everyone to build reliable and efficient software.

Aleo Request for Comments (ARCs)

📜 A Starter Guide to Build ZK Applications 📜

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

A broadcast protocol implementation based on Kadcast.

Javascript & Typescript SDK for Zero-Knowledge Application Development

A zkVM for Decentralized Private Computations (DPC)

A simple Sudoku puzzle grid in Leo

A Setup Ceremony for Universal SNARKs

📄 Documentation for Leo 🦁

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Import Zcash Sapling parameters natively into your Rust code

A Decentralized Operating System for ZK Applications

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

Interfaces for Relations and SNARKs for these relations

A curated list of awesome warez and piracy links

A Rust library for generating cryptocurrency wallets

Java library for distributed zero knowledge proof systems

C++ library for zkSNARKs

A curated list of academic blockchain-related papers