### Dew: Transparent Constant-sized zkSNARKs

##### Abstract

We construct polynomial commitment schemes with constant sized evaluation proofs and logarithmic verification time in the transparent setting. To the best of our knowledge, this is the first result achieving this combination of properties. Our starting point is a transparent inner product commitment scheme with constant-sized proofs and linear verification. We build on this to construct a polynomial commitment scheme with constant size evaluation proofs and logarithmic (in the degree of the polynomial) verification time. Our constructions make use of groups of unknown order instantiated by class groups. We prove security of our construction in the Generic Group Model (GGM). Using our polynomial commitment scheme to compile an information-theoretic proof system yields Dew -- a transparent and constant-sized zkSNARK (Zero-knowledge Succinct Non-interactive ARguments of Knowledge) with logarithmic verification. Finally, we show how to recover the result of DARK (Bünz et al., Eurocrypt 2020). DARK presented a succinct transparent polynomial commitment scheme with logarithmic proof size and verification. However, it was recently discovered to have a gap in its security proof (Block et al, CRYPTO 2021). We recover its extractability based on our polynomial commitment construction, thus obtaining a transparent polynomial commitment scheme with logarithmic proof size and verification under the same assumptions as DARK, but with a prover time that is quadratic.

Note: This revision uses the new Schwartz-Zippel for multilinear polynomials mod N (Benedikt Bünz and Ben Fisch, https://ia.cr/2022/458) to obtain better bounds on \alpha, resulting in quasi-linear prover in the GGM construction.

Available format(s)
Category
Cryptographic protocols
Publication info
Preprint.
Keywords
zero knowledge SNARKs class groups
Contact author(s)
arasu @ nyu edu
chaya @ iisc ac in
satya @ microsoft com
tusharmopuri @ iisc ac in
srirams @ berkeley edu
History
2022-07-01: last of 3 revisions
See all versions
Short URL
https://ia.cr/2022/419

CC BY

BibTeX

@misc{cryptoeprint:2022/419,
author = {Arasu Arun and Chaya Ganesh and Satya Lokam and Tushar Mopuri and Sriram Sridhar},
title = {Dew: Transparent Constant-sized zkSNARKs},
howpublished = {Cryptology ePrint Archive, Paper 2022/419},
year = {2022},
note = {\url{https://eprint.iacr.org/2022/419}},
url = {https://eprint.iacr.org/2022/419}
}

Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.