Paper 2024/2099
MicroNova: Folding-based arguments with efficient (on-chain) verification
Abstract
We describe the design and implementation of MicroNova, a folding-based recursive argument for producing proofs of incremental computations of the form
Metadata
- Available format(s)
-
PDF
- Category
- Foundations
- Publication info
- Preprint.
- Keywords
- proof systemsfolding schemesincrementally verifiable computationSNARKs
- Contact author(s)
-
jiaxingzhao @ mail ustc edu cn
srinath @ microsoft com
weidong cui @ microsoft com - History
- 2025-01-01: approved
- 2024-12-31: received
- See all versions
- Short URL
- https://ia.cr/2024/2099
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2024/2099, author = {Jiaxing Zhao and Srinath Setty and Weidong Cui}, title = {{MicroNova}: Folding-based arguments with efficient (on-chain) verification}, howpublished = {Cryptology {ePrint} Archive, Paper 2024/2099}, year = {2024}, url = {https://eprint.iacr.org/2024/2099} }