collinc97

javascript

JavaScript Style Guide

leo

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

libsnark

C++ library for zkSNARKs

ZoKrates

A toolbox for zkSNARKs on Ethereum

emu

The write-once-run-anywhere GPGPU library for Rust

bulletproofs

A pure-Rust implementation of Bulletproofs using Ristretto.

bellman

zk-SNARK library.

snarkVM

A Virtual Machine for Zero-Knowledge Executions

wagyu

A Rust library for generating cryptocurrency wallets

sdk

A Software Development Kit (SDK) for Zero-Knowledge Transactions

libsnark-tutorial

A zkSNARK tutorial and development environment

awesome-aleo

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

workshop

📜 A Starter Guide to Build ZK Applications 📜

welcome

👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀

dizk

Java library for distributed zero knowledge proof systems

xmr.llcoins.net

XMR Tools Site Files

aleo-setup

A Setup Ceremony for Universal SNARKs

python-sdk

aleo-rust

grammars

Grammar specifications for languages and formats in the Aleo ecosystem.

credits

cs69

Blockchain at Berkeley's Mini CS169 Intro to Software Engineering

aleo-snap

snarkOS

A Decentralized Operating System for ZK Applications