In a nutshell, Noir is a programming language with Rust-like syntax that permits you to compile packages to an intermediate language that 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 essential 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 is not needed for utilizing Noir. It helps totally different proving methods as backends, and, by analogy with Rust’s cargo, it comes with the nargo bundle supervisor. It additionally generates good contracts that confirm its proofs.
If youd wish to learn extra try the total paper right here.
