R1CS and QAP: A Complete Worked Example

R1CS (Rank-1 Constraint System) and QAP (Quadratic Arithmetic Program) are two closely related algebraic representations used in classical pairing-based SNARKs such as Groth16. An R1CS represents ...