GitHub repository: reilabs/noir
Description: Noir is a domain specific language for zero knowledge proofs