WARPfold : Wrongfield ARithmetic for Protostar folding

ePrint Report: WARPfold : Wrongfield ARithmetic for Protostar folding

Lev Soukhanov

Inspired by range-check trick from recent Latticefold paper we construct elliptic-curve based IVC capable of simulating non-native arithmetic efficiently.


We explain the general principle (which can be applied to both Protostar and Hypernova), and describe the Wrongfield ARithmetic for Protostar folding in details.


Our construction supports circuits over mutilple non-native fields simultaneously and allows interfacing between them using range-checked elements.


WARPfold can be used to warp between different proof …

can check curve elliptic eprint report folding general non report