noir-lang/noir

Noir is a domain-specific language designed for creating zero-knowledge proofs, specifically for SNARK proving systems. It is intended for developers working on privacy-preserving applications and cryptographic protocols who need a high-level language to write and verify proofs efficiently. The project is currently in early development and not yet suitable for production use, but it aims to prioritize safety and developer experience.