GitHub repository: paberr/r1cs-std
Description: R1CS constraints for bits, fields, and elliptic curves