Minimal implementation of the Mimblewimble protocol.
Cairo is the first Turing-complete language for creating provable progra...
A zero-knowledge protocol for anonymous interactions.
Interfaces for Relations and SNARKs for these relations
The privacy-focused cryptocurrency
Spartan: High-speed zkSNARKs without trusted setup
Public repository for the AZTEC V1 protocol. For the latest zkRollup rel...
The Baseline Protocol is an open source initiative that combines advance...
lambdaworks offers implementations for both SNARKs and STARKs provers, a...
A curated list of awesome zkEVM resources, libraries, tools and more
The proof systems used by Mina
Original iteration of ING zero-knowledge range proofs. This repo has bee...
Rust language general purpose elliptic curve cryptography.
The main repo for manta blockchain nodes.
Java library for distributed zero knowledge proof systems