A Field Guide to ZkSNARKs II: Arithmetization and Quadratic Arihmetic Programs
write.as