Noir

Open Source

Aztec's Rust-like language for writing zero-knowledge circuits with a backend-agnostic intermediate representation (ACIR).

About

Noir is a domain-specific language developed by Aztec Labs that lets developers write ZK programs in a Rust-like syntax without thinking directly in constraints. It compiles to ACIR, a backend-agnostic intermediate representation, and is most commonly proven with Aztec's Barretenberg backend. By abstracting away raw constraint writing, Noir reduces (but does not eliminate) the under-constrained-circuit bug class that plagues lower-level languages. It ships with the nargo CLI for building, testing, and generating Solidity verifiers, and is under active open-source development.