Home > Resources > docs > R1CS-Docs
R1CS Explainer (0xPARC / Circom)¶
Summary¶
An accessible explainer of Rank-1 Constraint Systems (R1CS) from the 0xPARC Circom learning materials. Covers how arithmetic circuits are encoded as R1CS constraints, the relationship to QAPs, and how Circom compiles circuits to R1CS. Good entry point for understanding the most common circuit representation used in SNARKs.
Related resources¶
- Circom2 Documentation (doc, 2021)
- Quadratic Span Programs and Succinct NIZKs without PCPs (GGPR 2013) (paper, 2012)