noir-lang/noir

Health v2 · maintenance only

Adoption not part of the score

1393 stars · 409 forks observed · 2026-08-28

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

Noir is a Rust-inspired domain-specific language for writing privacy-preserving programs that compile to zero-knowledge (SNARK) proofs via the ACIR intermediate representation. It is backend-agnostic, letting the same code target any ACIR-compatible proving system across blockchains, servers, and browsers.

Use cases

• write zero-knowledge proofs without cryptography expertise
• prove statements about private data like age verification without revealing inputs
• build privacy-preserving smart contracts and confidential tokens
• prove email senders or passport attributes with ZK proofs
• compile circuits for any ACIR-compatible SNARK backend
• add zero-knowledge privacy to web2 and web3 applications

When to choose

• you want a high-level, Rust-like language for ZK circuits instead of hand-writing constraint systems
• you need backend-agnostic proving that works with multiple SNARK systems
• you are building privacy-preserving blockchain, identity, or attestation applications

When to avoid

• you need a production-audited system for high-value deployments, as Noir is still in alpha and unaudited
• you need a general-purpose programming language rather than a DSL for provable computation
• your proving backend is not ACIR-compatible

Facets

library · maturity active

compiler programming-language cryptography developer-tools privacy blockchain programming-languages compilers rust cross-platform cli browser zero-knowledge-proofs snark zk-snarks domain-specific-language acir privacy-preserving-computation web3 cryptography web-server

Member repositories

For agents

markdown · JSON · MCP: product_card(name="noir-lang/noir")