In a nutshell, Noir is a programming language with Rust-like syntax that means that you can compile applications to an intermediate language which will then be additional compiled to an arithmetic circuit or rank-1 constraint system, thereby facilitating the development and verification of zero-knowledge proofs. Its fundamental attracts are its ease of use, its acquainted syntax and its abstracting away of the underlying arithmetic circuit required to assemble a proof. In different phrases, a background in ZK proofs shouldn’t be essential for utilizing Noir. It helps completely different proving programs as backends, and, by analogy with Rust’s cargo, it comes with the nargo bundle supervisor. It additionally generates sensible contracts that confirm its proofs.
If youd prefer to learn extra take a look at the total paper right here.
