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 reference implementations.

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

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.

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

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.

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

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