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