Mangrove: A Scalable Framework for Folding-based SNARKs

ePrint Report: Mangrove: A Scalable Framework for Folding-based SNARKs

Wilson Nguyen, Trisha Datta, Binyi Chen, Nirvan Tyagi, Dan Boneh

We present a framework for building efficient folding-based SNARKs. First we develop a new "uniformizing" compiler for NP statements that converts any poly-time computation to a sequence of identical simple steps. The resulting uniform computation is especially well-suited to be processed by a folding-based IVC scheme. Second, we develop two optimizations to folding-based IVC. The first reduces the recursive overhead of …

building chen compiler computation dan eprint report folding framework nguyen poly report simple