R1CS (Rank-1 Constraint System)

An arithmetic constraint format used to represent computations as systems of equations for zero-knowledge proof generation. Programs are compiled into R1CS constraints of the form A * B = C, where A, B, C are linear combinations of variables. Groth16 and other SNARKs use R1CS as their computation representation layer.