zk-snarks
There are 26 repositories under zk-snarks topic.
matter-labs / awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
- Language:Rust 2025
MinaProtocol / mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Language:OCaml 1949Consensys / gnark
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
Language:Go 1302darkrenaissance / darkfi
Anonymous. Uncensored. Sovereign.
Language:Rust 1048- semaphore
semaphore-protocol / semaphore
A zero-knowledge protocol for anonymous interactions.
Language:TypeScript 842 - baseline
ethereum-oasis-op / baseline
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.
a16z / jolt
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡
Language:Rust 538sdiehl / bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
Language:Haskell 531- PIVX
PIVX-Project / PIVX
Protected Instant Verified Transactions - Core wallet.
Language:C++ 522 - Language:Python 463
lurk-lab / lurk-rs
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
Language:Rust 399- Language:Circom 348
zkemail / zk-email-verify
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
Language:TypeScript 305LayerXcom / zero-chain
A privacy-preserving blockchain on Substrate
Language:Rust 261- zk-kit
privacy-scaling-explorations / zk-kit
A monorepo of reusable libraries for zero-knowledge technologies.
Language:TypeScript 256 A curated list of zero-knowledge folding schemes
- Language:C++ 239
sismo-core / hydra-s1-zkps
Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo
Language:TypeScript 231- zkopru
zkopru-network / zkopru
Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.
Language:TypeScript 213 - Language:Python 208
- noble-bls12-381
paulmillr / noble-bls12-381
DEPRECATED. Use noble-curves instead. Fastest JS implementation of BLS12-381.
Language:TypeScript 197 Quillhash / Zero-Knowledge-Mastery
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.
supranational / sppark
Zero-knowledge template library
Language:Cuda 161- Language:Python 158
keep-starknet-strange / garaga
Efficient pairing library, written in Cairo 🐺.
Language:Cairo 145- Language:TypeScript 133
plume-sig / zk-nullifier-sig
Implementation of PLUME: nullifier friendly signature scheme on ECDSA
Language:Rust 124- Language:Rust 109
- Language:Rust 109
binance / zkmerkle-proof-of-solvency
This is proof of solvency tool for Centralized exchanges built by Binance. Please raise bugs and security issues to https://bugcrowd.com/binance
Language:Go 108- Language:JavaScript 100
zkCollective / zk-Harness
Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
Language:Python 93- Language:Haskell 90
- Language:Rust 87
