SuperSpartan is a Polynomial Interactive Oracle Proof(IOP) for the Customized Constraint System(CCS). This IOP uses the sum-check algorithm to prove that a CCS relation holds.

Using SuperSparta presents many benefits:

• CCS is a flexible generalization of R1CS which can simultaneously capture R1CS, Plonkish, and AIR
• Sum-check is a highly efficient IOP with minimal prover overhead
• SuperSpartan is the central building block for more complex recursive proof systems