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