─── ecosystem · circom-language
Circom Language
repositories
260
contributors
945
languages
20
top lang
JavaScript
repo wow
+0
contrib wow
+321
star wow
+11
weeks avail
5
─── weekly trend · 5w
repositories
112
contributors
945
stars
13,810
─── top gaining repos
+0 contributors · WebAssembly
+0 contributors · Solidity
+0 contributors · Rust
+0 contributors · JavaScript
+0 contributors · Circom
─── top languages · by repos
─── repositories
100 / 260| # | repository | lang | stars | forks |
|---|---|---|---|---|
| 001 | inference-labs-inc/subnet-2 Verifiable inference on Bittensor | Rust | 2,114 | 121 |
| 002 | OwshenNetwork/owshen The Deep Sea | Rust | 2,008 | 92 |
| 003 | iden3/circom zkSnark circuit compiler | WebAssembly | 1,672 | 370 |
| 004 | acl2/acl2 ACL2 System and Books as Maintained by the Community | Common Lisp | 435 | 124 |
| 005 | proofcarryingdata/zupass Zuzalu Passport | TypeScript | 365 | 79 |
| 006 | stealthdrop/stealthdrop Anonymous Airdrops using ZK-SNARKs | Circom | 363 | 38 |
| 007 | RareSkills/zero-knowledge-puzzles Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs. | JavaScript | 342 | 127 |
| 008 | zksecurity/zkbugs Reproduce ZKP vulnerabilities | Circom | 336 | 38 |
| 009 | EYBlockchain/nightfall_3 a mono-repo containing an optimistic version of nightfall | JavaScript | 272 | 59 |
| 010 | nalinbhardwaj/Nova-Scotia Middleware to compile Circom circuits to Nova prover | JavaScript | 245 | 53 |
| 011 | bankisan/zkShield Private multisig with hidden owners | Circom | 238 | 25 |
| 012 | sismo-core/hydra-s1-zkps Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo | TypeScript | 234 | 16 |
| 013 | zkopru-network/zkopru Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup. | TypeScript | 219 | 27 |
| 014 | personaelabs/spartan-ecdsa The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve | Rust | 219 | 34 |
| 015 | zk-ml/linear-regression-demo private quantized linear regression on Ethereum | Solidity | 215 | 18 |
| 016 | RingsNetwork/rings Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support. | Rust | 213 | 23 |
| 017 | yi-sun/circom-pairing | TypeScript | 204 | 31 |
| 018 | socathie/circomlib-ml Circom Circuits Library for Machine Learning | Jupyter Notebook | 182 | 22 |
| 019 | paradigmxyz/zk-eth-rng Secure randomness for Ethereum's execution layer via SNARKs and RANDAO. | Solidity | 176 | 15 |
| 020 | polymerdao/plonky2-circom | Circom | 161 | 58 |
| 021 | enricobottazzi/ZK-SBT Library to issue zero knowledge soul bound tokens (ZK SBTs) | Solidity | 154 | 20 |
| 022 | Electron-Labs/ed25519-circom ED25519 implementation in Circom | JavaScript | 119 | 18 |
| 023 | eddieoz/haal Hääl - Anonymous Electronic Voting System on Public Blockchains | JavaScript | 115 | 16 |
| 024 | franklynwang/EcneProject Ecne: An engine for verifying the soundness of R1CS constraints | Julia | 114 | 7 |
| 025 | rollupnc/RollupNC non-custodial exchange build with rollup | JavaScript | 104 | 26 |
| 026 | VictorColomb/stark-snark-recursive-proofs STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language | Rust | 103 | 4 |
| 027 | Unirep/Unirep A Zero-Knowledge Protocol for Provable User Data Management | TypeScript | 102 | 22 |
| 028 | 0xPolygon/pil-stark Generates a stark from a pil | Circom | 98 | 31 |
| 029 | zkp2p/zkp2p-poc | TypeScript | 93 | 9 |
| 030 | iden3/circuits Circom circuits used by the iden3 core protocol. | Go | 92 | 14 |
| 031 | rarimo/passport-zk-circuits Verifying biometric passports with zero knowledge proofs (SNARKs) | Circom | 89 | 28 |
| 032 | 0xPARC/zk-group-sigs group signatures implemented with zkSNARKs | Solidity | 85 | 9 |
| 033 | 0xPolygon/zkevm-proverjs zkEVM proof generator reference written in Javascript | JavaScript | 82 | 34 |
| 034 | vplasencia/zkGames zkGames is a platform that allows users to play zk (zero knowledge) games and mint an NFT as proof that they have won. | JavaScript | 70 | 20 |
| 035 | ExtropyIO/ZeroKnowledgeBootcamp | Cairo | 69 | 123 |
| 036 | nobitex/sigmab 👁️ Private Proof of Reserves 🎭 | Circom | 67 | 2 |
| 037 | metacraft-labs/DendrETH A smart contract implementation of the Ethereum light client sync protocol | Rust | 66 | 12 |
| 038 | vacp2p/research Thinking in code | Circom | 64 | 4 |
| 039 | rollupnc/RollupNC_tutorial circom and snarkjs / websnark tutorial, using RollupNC as an example | JavaScript | 61 | 24 |
| 040 | xorddotcom/SHIELD Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure code quality and security. | TypeScript | 60 | 2 |
| 041 | jbaylina/nova-circom-verifier Nova Verifier in Circom so it can be verified onChain | JavaScript | 59 | 4 |
| 042 | namnc/circom-2-arithc Circom interpreter to arithmetic circuit description | Rust | 58 | 8 |
| 043 | hermeznetwork/circuits Implements hermez network zk-Snarks circuits | JavaScript | 56 | 16 |
| 044 | zero-savvy/vimz ZK proofs for image authenticity | Solidity | 52 | 7 |
| 045 | succinctlabs/telepathy-circuits zkSNARK circuits for the Telepathy protocol | Circom | 52 | 9 |
| 046 | lucasgleba/zkRiscV A Risc-V CPU implemented as a zk-SNARK | JavaScript | 51 | 6 |
| 047 | emmaguo13/zk-blind JWT verification with zero knowledge proofs | TypeScript | 49 | 7 |
| 048 | zkFHE/circomlib-fhe Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption | Circom | 48 | 4 |
| 049 | chyanju/Picus Automated verification of uniqueness property for ZKP circuits | Circom | 46 | 20 |
| 050 | factorgroup/nightmarket | JavaScript | 46 | 9 |
| 051 | couger-inc/cream zkCREAM is zk-SNARK based anonymized voting application using a token mixer | TypeScript | 39 | 7 |
| 052 | Electron-Labs/aes-circom AES-GCM implementation in Circom | JavaScript | 38 | 11 |
| 053 | zk-pin/pin Trust-minimized commitment pools with zkSNARKs | TypeScript | 38 | 2 |
| 054 | KimiWu123/Samples Samples of Ethereum smart contracts, golang and circom for beginners. | C++ | 37 | 10 |
| 055 | LFDT-Paladin/zeto Privacy-preserving implementations of fungible and non-fungible tokens, using UTXO as the underlying transaction model | Solidity | 37 | 28 |
| 056 | tangle-network/protocol-solidity Cross chain shielded pool infrastructure / protocols. | TypeScript | 36 | 13 |
| 057 | lyronctk/proactive-refresh Proactive refresh for accountable threshold signatures | Rust | 36 | 3 |
| 058 | dmpierre/nova-browser-ecdsa In-browser ECDSA aggregation using Nova over secp/secq | TypeScript | 35 | 2 |
| 059 | pluto/aes-circuits Circom AES-GCM circuits | Circom | 35 | 4 |
| 060 | geometryxyz/secp256k1_hash_to_curve | TypeScript | 33 | 4 |
| 061 | Poseidon-ZKP/Applied-ZKP-Workshop Applied ZKP Workshop for building zkDApp on Ethereum | TypeScript | 33 | 6 |
| 062 | bright/zk-snarks-with-substrate | Rust | 32 | 19 |
| 063 | vacp2p/zk-explorations | Circom | 32 | 6 |
| 064 | reclaimprotocol/zk-symmetric-crypto A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation. | Rust | 30 | 19 |
| 065 | zk-kit/zk-kit.circom A monorepo of reusable Circom circuits. | Circom | 28 | 4 |
| 066 | arnaucube/miksi-core ethereum zk coin-mixer | Solidity | 27 | 5 |
| 067 | crema-labs/aes-circom Generic AES Implementation in Circom | Circom | 26 | 2 |
| 068 | nobitex/burnth Ether, but burnt 🔥🌪️ | C++ | 26 | 0 |
| 069 | whbjzzwjxq/ZKAP | Circom | 25 | 6 |
| 070 | zeropoolnetwork/zeropool-core Smart contracts, Cryptography and Relayer that are used at zeropool.network | TypeScript | 25 | 9 |
| 071 | Unirep/Unirep-Social An anonymous social media platform. | TypeScript | 24 | 6 |
| 072 | TusimaNetwork/zkBridge-lightClient An on-chain light client that complies with the Ethereum light client protocol witch is defined in ethereum consensus specs. | Solidity | 23 | 11 |
| 073 | darth-cy/NFTA-Tornado-Resources Archive resources for individual episodes in the Tornado demo series | Circom | 23 | 8 |
| 074 | namnc/circom-mp-spdz Circom to MP-SPDZ | Jupyter Notebook | 23 | 6 |
| 075 | NIC619/UniRep | TypeScript | 23 | 5 |
| 076 | AmanGotchu/RandaoZKP | Solidity | 22 | 0 |
| 077 | HelheimLabs/autochessia Fully on-chain auto chess, built with MUD | Solidity | 21 | 13 |
| 078 | trifle-labs/anybody-problem Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom. | JavaScript | 20 | 4 |
| 079 | JSeam2/PPSwap-Contracts Privacy Preserving Swaps | Solidity | 19 | 1 |
| 080 | privacy-ethereum/rln | Shell | 19 | 4 |
| 081 | doubleblind-xyz/double-blind wipppp | TypeScript | 18 | 1 |
| 082 | jefflau/zk-identity | JavaScript | 18 | 4 |
| 083 | qizhou/research | Python | 18 | 7 |
| 084 | playmint/exp-snark-combat Experimental SNARK combat for DawnSeekers/The Crypt using Action-Claim pattern and off-chain data | TypeScript | 17 | 0 |
| 085 | zkp-application/data-market zkp data market | JavaScript | 17 | 1 |
| 086 | socathie/ZKaggleV2 Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack | Solidity | 16 | 3 |
| 087 | Electron-Labs/sha512 SHA512 Circom circuits | JavaScript | 15 | 5 |
| 088 | privacy-ethereum/circom-ecdsa-p256 Big integer arithmetic // secp256k1 & additional P256 ECC operations in circom | Circom | 15 | 3 |
| 089 | zkopru-network/blind-find A peer-to-peer network allowing private peer search proposed by Barry Whitehat and Kobi Gurkan. | TypeScript | 15 | 2 |
| 090 | 0xPARC/cabal | TypeScript | 14 | 4 |
| 091 | laudiacay/p1nch private 1inch | Solidity | 14 | 0 |
| 092 | personaelabs/noun-nyms | TypeScript | 14 | 1 |
| 093 | WasmJuicer/ceremony | JavaScript | 14 | 53 |
| 094 | Galactica-corp/galactica-monorepo Galactica Network monorepo including zero-knowledge certificates, the Galactica ZK Vault Snap for Metamask and front-end examples. | TypeScript | 13 | 7 |
| 095 | didnet/zxDID | Circom | 12 | 1 |
| 096 | dmpierre/sha1-circom Generate a zero-knowledge proof for a SHA1 pre-image. | Circom | 12 | 2 |
| 097 | LexiccLabs/zk-rollups zk-Rollup implementation compatible with Eth 1.x | TypeScript | 12 | 9 |
| 098 | AlexCheema/Script Script is an experimental framework for writing performant trustless trading strategies. | Solidity | 11 | 1 |
| 099 | wavesplatform/anonymous-transactions-prototype Anonymous transactions engine for Waves blockchain | JavaScript | 11 | 6 |
| 100 | TaceoLabs/noir-GMiMC | Noir | 11 | 2 |
Want deeper analysis?
Commission a benchmark report for Circom Language.
─── subscriber view
Unlock the full view of the Circom Language 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.