Nova Folding Scheme Enables Efficient Recursive Proof Accumulation
Nova's non-interactive folding scheme compresses arbitrary computation histories into a single, logarithmic-size proof, finally enabling practical IVC.
