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