You are looking at a specific version 20210510:082647 of this paper.
See the latest version.
Paper 2021/590
An Algebraic Framework for Universal and Updatable SNARKs
Carla Ràfols and Arantxa Zapico
Abstract
We introduce Checkable Subspace Sampling Arguments, a new information theoretic interactive proof system in which the prover shows that a vector has been sampled in a subspace according to the verifier's coins. We show that this primitive provides a unifying view that explains the technical core of most of the constructions of universal and updatable pairing-based (zk)SNARKs. This characterization is extended to a fully algebraic framework for designing such SNARKs in a modular way, which leads to a new construction that is more efficient than the state-of-the-art in several dimensions.
Metadata
- Available format(s)
- Category
- Cryptographic protocols
- Publication info
- Preprint. MINOR revision.
- Keywords
- zero-knowledgesnarksinformation theoretic
- Contact author(s)
-
carla rafols @ upf edu
arantxa zapico @ upf edu - History
- 2021-08-19: last of 2 revisions
- 2021-05-10: received
- See all versions
- Short URL
- https://ia.cr/2021/590
- License
-
CC BY