Rust crate to generate and verify proofs for Noir circuits - View it on GitHub