GitHub repository: palmenros/CircomVerification
Primary language: Rust
Description: Verification for zkSnark circuit compiler