SSealbook

noir-lang/noir

Noir is a domain specific language for zero knowledge proofs

compilercryptographynoir-langprogramming-languagezero-knowledge