GitHub repository: nullbitx8/chiquito
Primary language: Rust
Description: DSL for Halo2 circuits