GitHub repository: sarvex/r1cs-tutorial
Description: Tutorial for writing constraints in the `arkworks` framework