Stars
Source code for "Building Cryptographic Proofs from Hash Functions"
ποΈ A curated list of Aleo & Leo code and resources ποΈ
Grammar specifications for languages and formats in the Aleo ecosystem.
π A Starter Guide to Build ZK Applications π
Javascript & Typescript SDK for Zero-Knowledge Application Development
A zkVM for Decentralized Private Computations (DPC)
AleoNet / aleo-setup
Forked from celo-org/snark-setupA Setup Ceremony for Universal SNARKs
Blockchain at Berkeley's Mini CS169 Intro to Software Engineering
π¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A Rust library for generating cryptocurrency wallets
A Decentralized Operating System for ZK Applications
The write-once-run-anywhere GPGPU library for Rust
A pure-Rust implementation of Bulletproofs using Ristretto.
Java library for distributed zero knowledge proof systems
A zkSNARK tutorial and development environment