noir-lang / noir Rust 1.4K 416 Noir is a domain specific language for zero knowledge proofs cryptography zero-knowledge compiler noir-lang