r1cs-tutorialTutorial for writing constraints in the `arkworks` framework
r1cs-stdR1CS constraints for bits, fields, and elliptic curves
marlinA Rust library for the Marlin preprocessing zkSNARK
r1csA Rust library for building R1CS gadgets
crypto-primitivesInterfaces and implementations of cryptographic primitives, along with R1CS constraints for them