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

Lev Soukhanov

Paper 2023/1888

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

Lev Soukhanov, Ethereum Foundation

Abstract

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.

Metadata

Available format(s): PDF
Category: Foundations
Publication info: Preprint.
Keywords: incrementally verifiable computation snarks accumulation schemes folding schemes
Contact author(s): 0xdeadfae @ gmail com
History: 2023-12-08: approved; 2023-12-08: received; See all versions
Short URL: https://ia.cr/2023/1888
License: CC BY

BibTeX

@misc{cryptoeprint:2023/1888,
      author = {Lev Soukhanov},
      title = {Reverie: an end-to-end accumulation scheme from Cyclefold},
      howpublished = {Cryptology {ePrint} Archive, Paper 2023/1888},
      year = {2023},
      url = {https://eprint.iacr.org/2023/1888}
}