https://rareskills.io/post/r1cs-to-qap
R1CS to Quadratic Arithmetic Program over a Finite Field in Python