GitHub repository: privacy-scaling-explorations/boolify
Primary language: Rust
Description: Convert arithmetic circuits into boolean circuits