GitHub repository: zkcrypto/zkp
Primary language: Rust
Description: Experimental zero-knowledge proof compiler in Rust macros