Paper 2021/370
Nova: Recursive Zero-Knowledge Arguments from Folding Schemes
Abstract
We introduce a new approach to realize incrementally verifiable computation (IVC), in which the prover recursively proves the correct execution of incremental computations of the form
Metadata
- Available format(s)
-
PDF
- Category
- Foundations
- Publication info
- A major revision of an IACR publication in CRYPTO 2022
- Keywords
- incrementally verifiable computationzero knowledge argumentsrecursive proof composition
- Contact author(s)
-
akothapa @ andrew cmu edu
srinath @ microsoft com
it608 @ nyu edu - History
- 2024-07-20: last of 2 revisions
- 2021-03-22: received
- See all versions
- Short URL
- https://ia.cr/2021/370
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2021/370, author = {Abhiram Kothapalli and Srinath Setty and Ioanna Tzialla}, title = {Nova: Recursive Zero-Knowledge Arguments from Folding Schemes}, howpublished = {Cryptology {ePrint} Archive, Paper 2021/370}, year = {2021}, url = {https://eprint.iacr.org/2021/370} }