Privacy projectNoir: ZK programming language.
Noir is a domain-specific language for zero-knowledge circuits that made writing provable programs feel like writing Rust, and it has become one of the most widely adopted ways to build zero-knowledge applications anywhere. It is backend-agnostic, so a circuit written once can target different proving systems rather than locking a team to one. Much of the tooling on this map is built with it. It is a language and toolchain rather than a network, so it provides the means to build confidentiality rather than a deployed guarantee.
Key facts
- Entry type
- Privacy project
- Category
- ZK programming language
- Technology
- Zero-knowledge proofs (ZK)
- Website
- noir-lang.org
What is zero-knowledge proofs?
One party proves a statement about hidden data is true without revealing the data the statement is about.
How it compares with the other approaches on latency, trust assumptions and fit is set out, with sources, in the technology taxonomy.
Private by design.
See how confidential transactions work on the networks you already use.