Paper 2024/872
Epistle: Elastic Succinct Arguments for Plonk Constraint System
Abstract
We study elastic SNARKs, a concept introduced by the elegant work of Gemini (EUROCRYPTO 2022). The prover of elastic SNARKs has multiple configurations with different time and memory tradeoffs and the output proof is independent of the chosen configuration. In addition, during the execution of the protocol, the space-efficient prover can pause the protocol and save the current state. The time-efficient prover can then resume the protocol from that state. Gemini constructs an elastic SNARK for R1CS.
We present Epistle, an elastic SNARK for Plonk constraint system. For an instance with size
Metadata
- Available format(s)
-
PDF
- Category
- Cryptographic protocols
- Publication info
- Preprint.
- Keywords
- SNARKStreaming algorithms
- Contact author(s)
-
19110240034 @ fudan edu cn
22110240060 @ m fudan edu cn
yuan_li @ fudan edu cn
hbkan @ fudan edu cn
zhangliang @ hainanu edu cn - History
- 2024-06-05: approved
- 2024-06-01: received
- See all versions
- Short URL
- https://ia.cr/2024/872
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2024/872, author = {Shuangjun Zhang and Dongliang Cai and Yuan Li and Haibin Kan and Liang Zhang}, title = {Epistle: Elastic Succinct Arguments for Plonk Constraint System}, howpublished = {Cryptology {ePrint} Archive, Paper 2024/872}, year = {2024}, url = {https://eprint.iacr.org/2024/872} }