HyperNova: Recursive arguments for customizable constraint systems

ePrint Report: HyperNova: Recursive arguments for customizable constraint systems

Abhiram Kothapalli, Srinath Setty

This paper introduces HyperNova, a recursive argument for proving incremental computations whose steps are expressed with CCS (Setty et al. ePrint 2023), a customizable constraint system that simultaneously generalizes Plonkish, R1CS, and AIR without overheads. A distinguishing aspect of HyperNova is that the prover’s cost at each step is dominated by a single multi-scalar multiplication (MSM) of size equal to the number of variables in the constraint …

argument aspect cost eprint report msm report single size system systems