Noir

Noir is a language for private and verifiable computing. It enables creating succinct proofs of successful program execution. More technically, Noir is a Domain Specific Language for SNARK proving systems. It has been designed to use any ACIR compatible proving system. Its design choices are influenced heavily by Rust and focuses on a simple, familiar syntax.