Paper 2024/354
WARPfold : Wrongfield ARithmetic for Protostar folding
Abstract
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 systems and construct folding schemes over curves not admitting a dual partner (such as BLS12-381).
Metadata
- Available format(s)
-
PDF
- Category
- Cryptographic protocols
- Publication info
- Preprint.
- Keywords
- incrementally verifiable computationfolding schemessnarks
- Contact author(s)
- 0xdeadfae @ gmail com
- History
- 2024-03-01: approved
- 2024-02-27: received
- See all versions
- Short URL
- https://ia.cr/2024/354
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2024/354,
author = {Lev Soukhanov},
title = {WARPfold : Wrongfield ARithmetic for Protostar folding},
howpublished = {Cryptology ePrint Archive, Paper 2024/354},
year = {2024},
note = {\url{https://eprint.iacr.org/2024/354}},
url = {https://eprint.iacr.org/2024/354}
}
