GitHub repository: mmaker/ark-r1cs-std
Primary language: Rust
Description: R1CS constraints for bits, fields, and elliptic curves