Home > Intermediate Representations
Intermediate Representations¶
Circuit and constraint formats that sit between high-level programs and the underlying polynomial proof system.
Contents¶
| Note | Description |
|---|---|
| R1CS | Rank-1 Constraint System — the classic bilinear constraint format used by Groth16 and Pinocchio |
| PLONKish | Gate-based arithmetisation used by PLONK and its descendants |
| AIR | Algebraic Intermediate Representation — the constraint format underlying zk-STARKs |
| ACIR | Abstract Circuit IR — Noir's backend-agnostic bytecode format |