A language for writing zero-knowledge circuits: programs that prove a statement is true without revealing the data behind it.
Privacy primitives and proof circuits in research work.
https://noir-lang.org
home · projects · stacks