Nova
Incremental Verifiable Computation
our approach avoids succinct non-interactive arguments of knowledge (SNARKs) entirely and arguments of knowledge in general.
Instead, we introduce and employ folding schemes
https://www.youtube.com/watch?v=mY-LWXKsBLc