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 enterpri...

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

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.

#Awesome#A curated list of zero-knowledge folding schemes

#区块链#A privacy-preserving blockchain on Substrate

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

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

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.