Reverie: an end-to-end accumulation scheme from Cyclefold

ePrint Report: Reverie: an end-to-end accumulation scheme from Cyclefold

Lev Soukhanov

Recent advances in SNARK recursion and incrementally-verifiable computation are vast, but most of the efforts seem to be focused on a particular design goal - proving the result of a large computation known completely in advance.


There are other possible applications, requiring different design tradeoffs. Particularly interesting direction is a case with a swarm of collaborating provers, communicating over a peer-to-peer network - which requires to also optimize the …

applications computation design end end-to-end eprint report large recursion report result vast