Tutorial for writing constraints in the `arkworks` framework - View it on GitHub