iden3/circom

Health v2 · maintenance only

Adoption not part of the score

1688 stars · 375 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Circom is a domain-specific language and compiler for defining arithmetic circuits used to generate zero-knowledge proofs (zk-SNARKs). Written in Rust, it compiles circuits into R1CS constraint files plus C++ or WebAssembly witness-generation programs.

Use cases

• write zk-SNARK circuits for zero-knowledge proofs
• compile arithmetic circuits to R1CS constraints
• generate witness calculators in C++ or WebAssembly
• build reusable parameterizable circuit templates
• create circuits for blockchain identity and privacy applications
• integrate zero-knowledge proving with snarkjs or rapidsnark

When to choose

• you need to author custom zk-SNARK circuits with a mature, widely audited DSL
• you want a large ecosystem of prebuilt circuit templates like circomlib
• you are building zero-knowledge applications on Ethereum or identity systems like iden3

When to avoid

• you prefer writing circuits in a general-purpose language like Rust or Go (consider alternatives like Noir or Cairo)
• you need proving systems beyond R1CS-based ones like PLONKish arithmetizations
• you only need to verify proofs rather than write circuits

Facets

cli-tool · maturity active

compiler programming-language cryptography blockchain developer-tools programming-languages windows cli wasm zk-snarks zero-knowledge-proofs arithmetic-circuits r1cs domain-specific-language rust privacy compiler cryptography linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="iden3/circom")