GitHub repository: privacy-scaling-explorations/chiquito
Primary language: Rust
Description: DSL for Halo2 circuits