A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

The Deep Sea

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Anonymous. Uncensored. Sovereign.

A zero-knowledge protocol for anonymous interactions.

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology to enable confidential and complex coordination between enterprises while keeping data in systems of record. This repo serves as the main repo for the Baseline Protocol, containing core packages, examples, and r…

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Protected Instant Verified Transactions - Core wallet.

Multitool soft for ZkSync Era

Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.

Anonymous Airdrops using ZK-SNARKs

A monorepo of reusable libraries for zero-knowledge technologies.

A curated list of zero-knowledge folding schemes

A privacy-preserving blockchain on Substrate

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop

Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo

Multitool soft for Scroll