Dimensions

zheng/docs/explanation/CCS
CCS Customizable Constraint Systems. a unified constraint framework that generalizes R1CS, Plonkish (PLONK/Halo2), and AIR into one representation. Setty, Thaler, Wahby (2023). the unification matters because a proof system handling CCS handles all three โ€” including AIR constraints of any degree.โ€ฆ

Local Graph