─── ecosystem · zero-knowledge-cryptography
Zero Knowledge Cryptography
repositories
72
contributors
290
languages
13
top lang
Rust
repo wow
+0
contrib wow
+20
star wow
+1
weeks avail
5
─── weekly trend · 5w
repositories
60
contributors
290
stars
12,579
─── top gaining repos
+0 contributors · C++
+0 contributors · JetBrains MPS
+0 contributors · TypeScript
─── top languages · by repos
─── repositories
72 / 72| # | repository | lang | stars | forks |
|---|---|---|---|---|
| 001 | ventali/awesome-zk A curated list of awesome ZK resources, libraries, tools and more. | — | 1,582 | 217 |
| 002 | tfhe/tfhe TFHE: Fast Fully Homomorphic Encryption Library over the Torus | C++ | 1,320 | 183 |
| 003 | apache/teaclave-sgx-sdk Apache Teaclave™ SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK. | Rust | 1,227 | 267 |
| 004 | zkcrypto/bellman zk-SNARK library. | Rust | 1,122 | 556 |
| 005 | elibensasson/libSTARK A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK) | C++ | 559 | 99 |
| 006 | howardwu/libsnark-tutorial A zkSNARK tutorial and development environment | C++ | 411 | 87 |
| 007 | CEA-LIST/Cingulata Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homomorphic encryption techniques. | C++ | 408 | 42 |
| 008 | andrewmilson/ministark 🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs | Rust | 382 | 36 |
| 009 | barryWhiteHat/roll_up scale ethereum with snarks | C++ | 371 | 56 |
| 010 | zkcrypto/pairing Pairing-friendly elliptic curve library. | Rust | 353 | 122 |
| 011 | HarryR/solcrypto Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1 and (alt)BN-256 | Python | 288 | 48 |
| 012 | zkcrypto/ff Traits and utilities for working with finite fields. | Rust | 259 | 129 |
| 013 | HarryR/ethsnarks A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop | C++ | 241 | 57 |
| 014 | xlab-si/emmy Library for zero-knowledge proof based applications (like anonymous credentials) | Go | 237 | 55 |
| 015 | nalinbhardwaj/zordle Wordle, but with ZK proofs! | Rust | 227 | 12 |
| 016 | akosba/jsnark A Java library for zk-SNARK circuits | Java | 218 | 84 |
| 017 | sec-bit/zkPoD-node zkPoD: A decentralized system for perfect fair data exchange | Go | 211 | 38 |
| 018 | akosba/xjsnark A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf) | JetBrains MPS | 194 | 34 |
| 019 | meilof/pysnark Library for programming zk-SNARKs directly in Python | Python | 192 | 32 |
| 020 | coder5876/libsnark-tutorial Tutorial and example code for using libsnark | C++ | 189 | 46 |
| 021 | bbuenz/BulletProofLib Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs) | Java | 182 | 54 |
| 022 | microsoft/Picnic Reference implementation of the Picnic post-quantum signature scheme | C | 169 | 46 |
| 023 | GuildOfWeavers/genSTARK A library for generating zk-STARKs. | TypeScript | 148 | 18 |
| 024 | ebfull/powersoftau Communal zk-SNARK MPC for Public Parameters | Rust | 144 | 60 |
| 025 | cambrian/accumulator Cryptographic accumulators in Rust. | Rust | 138 | 38 |
| 026 | pepper-project/pequin A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase. | C | 127 | 45 |
| 027 | jules/supernova Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758 | Rust | 124 | 4 |
| 028 | zkcrypto/jubjub Implementation of the Jubjub elliptic curve group | Rust | 122 | 53 |
| 029 | ebfull/halo | Rust | 117 | 15 |
| 030 | companyzero/zkc zero-knowledge chat suite | Go | 102 | 23 |
| 031 | zkcrypto/group Elliptic curve group traits and utilities. | Rust | 99 | 53 |
| 032 | ZKProofs/ZKProofs.github.io ZKProofs website | — | 91 | 53 |
| 033 | isec-tugraz/Picnic Optimized implementation of the Picnic signature scheme | C | 84 | 21 |
| 034 | ebfull/sonic | Rust | 78 | 17 |
| 035 | PaulRBerg/awesome-zkp-starter-pack A curated collection of links for zero-knowledge proof cryptography used in blockchains | — | 76 | 7 |
| 036 | zkcrypto/bulletproofs A pure-Rust implementation of Bulletproofs using Ristretto. | Rust | 64 | 35 |
| 037 | gstew5/snarkl | Haskell | 59 | 9 |
| 038 | brownie/cashlib ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash). | C++ | 55 | 13 |
| 039 | zkcrypto/merlin Composable proof transcripts for public-coin arguments of knowledge | Rust | 54 | 21 |
| 040 | Sobuno/ZKBoo | C | 52 | 26 |
| 041 | sikoba/isekai Isekai verifiable computation project | C++ | 46 | 8 |
| 042 | pepper-project/tinyram An independent reimplementation of (vn)TinyRAM | Python | 38 | 5 |
| 043 | FiloSottile/powersoftau An independent implementation of the Powers of Tau MPC ceremony. | Go | 34 | 7 |
| 044 | zobront/homerolled-zk simple zk implementations in python | Python | 32 | 5 |
| 045 | sigma-rs/sigma-proofs | Rust | 31 | 10 |
| 046 | cambrian/accumulator-demo A proof-of-concept for stateless Bitcoin nodes. | Rust | 30 | 5 |
| 047 | Janmajayamall/ObliviousMessageRetrieval | Rust | 30 | 4 |
| 048 | zkcrypto/curve25519-dalek-ng A pure-Rust implementation of group operations on Ristretto and Curve25519 | Rust | 29 | 18 |
| 049 | crate-crypto/MLSAG Multilayered Linkable Spontaneous Anonymous Group - Implemented as is from paper. Not Monero specific | Rust | 23 | 2 |
| 050 | mmaker/draft-irtf-cfrg-sigma-protocols This is only the beginning. | Python | 22 | 12 |
| 051 | keyfuse/thresh-wallet A keyless Bitcoin/Libra wallet service powered by Secure Two-Party ECDSA/Ed25519 and Zero Knowledge, Wallet Rebuilt for Security | Go | 21 | 7 |
| 052 | alexander-camuto/rs-gkr | Rust | 21 | 3 |
| 053 | tfhe/experimental-tfhe proof of concepts and experimental code for TFHE | C++ | 21 | 1 |
| 054 | zkcrypto/groth16 Implementation of the Groth16 zk-SNARK proving system | — | 21 | 8 |
| 055 | isec-tugraz/gzkbpp Implementation of the ZKB++ proof system | C++ | 20 | 9 |
| 056 | crate-crypto/CLSAG Compact linkable ring signatures. A modification on MLSAG. | Rust | 19 | 4 |
| 057 | Vinc0682/IHRSZKP Identity-Hiding-Ring-Signature-Zero-Knowledge-Proof based on Curve25519 | Java | 17 | 7 |
| 058 | kantuni/ZKP ZKPs in Cryptographic Voting | JavaScript | 16 | 5 |
| 059 | crate-crypto/qesa Efficient zero-knowledge arguments in the discrete log setting, revisited | Rust | 16 | 4 |
| 060 | verificatum/verificatum-vjsc NEWS! We will soon release a TypeScript transpilation and improvement of this library. Self-contained cryptographic library for use in electronic voting clients. Complete documentation with references to the literature makes it good teaching material. | JavaScript | 16 | 3 |
| 061 | 0kPN1/zkpnl Zero-knowledge P&L Prover | Rust | 8 | 5 |
| 062 | mayank0403/Oblivious-Transfer-and-Zero-Knowledge-Proof Oblivious Transfer and Zero Knowledge Proof protocols implemented in Sagemath in Python | Jupyter Notebook | 8 | 1 |
| 063 | zkcrypto/cryptolib The cryptography library of Lean 4 | Lean | 7 | 3 |
| 064 | zkcrypto/zk Zero-knowledge cryptography traits | Rust | 7 | 2 |
| 065 | zkcrypto/rfcs RFCs for changes to zkcrypto crates | Python | 6 | 4 |
| 066 | zkcrypto/subtle-ng Pure-Rust traits and utilities for constant-time cryptographic implementations. | Rust | 6 | 8 |
| 067 | ivansarno/FiatShamirProtocol OOP Fiat-Shamir Zero Knowledge Protocol implementation | C++ | 5 | 1 |
| 068 | kiliant/zklaim proving statements on data in non-interactive zero knowledge | C++ | 4 | 4 |
| 069 | zntrio/anvil Forge "no password on the wire" authentication challenges. | Go | 4 | 1 |
| 070 | Voxelot/zk-dex | Solidity | 3 | 0 |
| 071 | kelecorix/dizk Distributed Zero Knowledge Proof System | — | 1 | 1 |
| 072 | usrbom/network-security Zero_Knowledge-proof demonstration using discrete log. Demonstration of 1-2 oblivious transfer protocol. | Java | 1 | 1 |
Want deeper analysis?
Commission a benchmark report for Zero Knowledge Cryptography.
─── subscriber view
Unlock the full view of the Zero Knowledge Cryptography ecosystem
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.