Welcome to the resource topic for 2023/1106
Title:
ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances
Authors: Liam Eagen, Ariel Gabizon
Abstract:We continue the recent line of work on folding schemes. Building on ideas from ProtoStar [BC23] we construct a folding scheme where the recursive verifier’s ``marginal work’', beyond linearly combining witness commitments, consists only of a logarithmic number of field operations and a constant number of hashes. Moreover, our folding scheme performs well when \emph{folding multiple instances at one step}, in which case the marginal number of verifier field operations per instance becomes constant, assuming constant degree gates.
ePrint: https://eprint.iacr.org/2023/1106
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .