SuperSpartan.md

Ο€ 0.01%

Dimensions

zheng/docs/explanation/superspartan
SuperSpartan the IOP layer in zheng. SuperSpartan is an Interactive Oracle Proof for CCS β€” Customizable Constraint Systems β€” a generalization that captures R1CS, Plonkish, and AIR in a single framework. by building on CCS, zheng handles any constraint format. this future-proofs the system: if a new…
zheng/specs/superspartan
SuperSpartan an Interactive Oracle Proof (IOP) for Customizable Constraint Systems (CCS). Setty, Thaler, Wahby (2023). ePrint 2023/552. CCS definition a CCS instance is a tuple (M₁, ..., M_t, S₁, ..., S_q, c₁, ..., c_q, m, n, l): CCS generalizes R1CS, Plonkish, and AIR. zheng uses the AIR encoding:…

Linked References

Local Graph