Customizable constraint systems for succinct arguments

ePrint Report: Customizable constraint systems for succinct arguments

Srinath Setty, Justin Thaler, Riad Wahby

This paper introduces customizable constraint system (CCS), a generalization of R1CS that can simultaneously capture R1CS, Plonkish, and AIR without overheads. Unlike existing descriptions of Plonkish and AIR, CCS is not tied to any particular proof system. Furthermore, we observe that the linear-time polynomial IOP for R1CS in Spartan (CRYPTO 20) extends easily to CCS, and when combined with a polynomial commitment scheme, it yields a …

capture crypto descriptions eprint report family high justin report system systems