SHA512 and its implementation in Noir

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 most important 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 obligatory for utilizing Noir. It helps completely different proving programs as backends, and, by analogy with Rust’s cargo, it comes with the nargo package deal supervisor. It additionally generates good contracts that confirm its proofs.

If youd prefer to learn extra take a look at the complete paper right here.