Revisiting the Nova Proof System on a Cycle of Curves

ePrint Report: Revisiting the Nova Proof System on a Cycle of Curves

Wilson Nguyen, Dan Boneh, Srinath Setty

Nova is an efficient recursive proof system built from an elegant folding scheme for (relaxed) R1CS statements. The original Nova paper (CRYPTO'22) presented Nova using a single elliptic curve group of order $p$. However, for improved efficiency, the implementation of Nova alters the scheme to use a 2-cycle of elliptic curves. This altered scheme is only described in the code and has …

crypto dan elliptic eprint report nguyen nova order report single system