awesome-circom
github.com/arnaucube/awesome-circom ↗A curated list of repos related to Circom
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me cryptographic primitives in other languages resources from awesome-circom"
Installation instructions →What's inside
Projects using Circom
- 0xPARC/zk-group-sigs
Group signatures implemented with zkSNARKs
- hermeznetwork/circuits
Hermez network circuits
- iden3/circuits
Circom circuits used by the iden3 core protocol
- privacy-scaling-explorations/maci
Minimal anti collusion infrastructure
- semaphore-protocol/semaphore
A privacy gadget for creating anonymous proof of membership on Ethereum
- tornadocash/tornado-core
Non-custodial private transactions on Ethereum
Cryptographic primitives
- arboCryptographic primitives in other languages
Efficient MerkleTree compatible with circomlib, which parallelizes computation by CPUs
- babyjubjub-rsCryptographic primitives in other languages
BabyJubJub elliptic curve compatible with circomlib
- circom-ecdsaCryptographic primitives in Circom
secp256k1 ECDSA operations
- circomlibCryptographic primitives in Circom
The standard library of Circom
- circomlibjsCryptographic primitives in other languages
Javascript library to work with circomlib circuits
- circom-pairingCryptographic primitives in Circom
BLS12-381 curve
Provers
- arkworks-circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust
- go-circom-prover-verifier
Go implementation of the Groth16 zkSNARK Prover and Verifier compatible with Circom
- go-circom-witnesscalc
Witness Calculator in go, calling WASM
- lambdaworks-circom-adapter
LambdaWorks Circom adapter for Groth16 Proof generation in Rust
- rapidsnark
zkSNARK proof generation written in C++ and intel assembly
- snarkjs
zkSNARK implementation in JavaScript & WASM
Papers
Tutorials & docs
- BattleZips Zero Knowledge Crash Course
Tutorial on building a battleship game on Ethereum & Circom
- Circom101
In-depth Circom circuit design explanations & concepts
- Circom & Snarkjs talk
Jordi Baylina's talk at zkSummit 2019
- docs.circom.io
Official Circom docs
- Electron Labs - Intro to Circom
Usage of language syntax and programming practices
- Introduction to Zero Knowledge Proof
Polygon" performed by Jordi Baylina at EthDenver22
Code editors & tooling
- circomkit
A testing & development environment for Circom
- Circomspect
Static analyzer and linter for the Circom programming language
- CIVER
A circuit verification tool built on Z3 SMT-solver
- ecne
An engine for verifying the soundness of R1CS constraints
- Hardhat ZKit
The ultimate TypeScript environment for Circom development
- Picus
Automated verification of uniqueness property for ZKP circuits
Showing a sample of 47 resources. View the full list on GitHub →