Noir is a domain specific language for zero knowledge proofs - View it on GitHub