LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems

ePrint Report: LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems

Dan Boneh, Binyi Chen

Folding is a recent technique for building efficient recursive SNARKs. Several elegant folding protocols have been proposed, such as Nova, Supernova, Hypernova, Protostar, and others. However, all of them rely on an additively homomorphic commitment scheme based on discrete log, and are therefore not post-quantum secure. In this work we present LatticeFold, the first lattice-based folding protocol based on the Module SIS …

applications building chen dan eprint report nova proof protocols report supernova systems