A library for defining and working with rank-one constraint systems (R1CS) used in zero-knowledge proofs.