GitHub repository: Cardinal-Cryptography/HouseSnark
Primary language: Rust
Description: Brace yourself, verifier is coming