Paper 2023/1888

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

Lev Soukhanov, Ethereum Foundation

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 amount of data exchanged between the participants of the swarm. One notable such application is Ethereum's consensus, which requires to aggregate millions of signatures of individual validators. In this technical note, we propose an informal notion of an end-to-end IVC scheme, which means that the amount of data that the prover needs exchange with the previous prover to continue the computation is small. We explore the existing design space from this point of view, and suggest an approach to constructing such a scheme by combining the PlonK proof systemwith the recent Cyclefold construction.

Available format(s)
Publication info
incrementally verifiable computationsnarksaccumulation schemesfolding schemes
Contact author(s)
0xdeadfae @ gmail com
2023-12-08: approved
2023-12-08: received
See all versions
Short URL
Creative Commons Attribution


      author = {Lev Soukhanov},
      title = {Reverie: an end-to-end accumulation scheme from Cyclefold},
      howpublished = {Cryptology ePrint Archive, Paper 2023/1888},
      year = {2023},
      note = {\url{}},
      url = {}
Note: In order to protect the privacy of readers, does not use cookies or embedded third party content.