Rank-1 Constraint System (R1CS) & Quadratic Arithmetic Program QAP
Generate R1CS
Witness vector
Generate QAP (prime order p = 47)