zk-snarks

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

Framework to prove inference of ML models blazingly fast

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

The Deep Sea

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…

Agent behavior that compiles

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

Private Instant Verified Transactions - Core wallet.

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

Multitool soft for ZkSync Era

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

A monorepo of reusable libraries for zero-knowledge technologies.

Anonymous Airdrops using ZK-SNARKs

A curated list of zero-knowledge folding schemes

This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.

A privacy-preserving blockchain on Substrate