Paper 2025/517
Designated-Verifier SNARGs with One Group Element
Abstract
We revisit the question of minimizing the proof length of designated-verifier succinct non-interactive arguments (dv-SNARGs) in the generic group model. Barta et al. (Crypto 2020) constructed such dv-SNARGs with inverse-polynomial soundness in which the proof consists of only two group elements. For negligible soundness, all previous constructions required a super-constant number of group elements.
We show that one group element suffices for negligible soundness. Concretely, we obtain dv-SNARGs (in fact, dv-SNARKs) with
Metadata
- Available format(s)
-
PDF
- Category
- Cryptographic protocols
- Publication info
- Preprint.
- Keywords
- succinct argumentsSNARGsgeneric group model
- Contact author(s)
-
galarnon42 @ gmail com
jesko dujmovic @ cispa de
yuvali @ cs technion ac il - History
- 2025-03-21: approved
- 2025-03-19: received
- See all versions
- Short URL
- https://ia.cr/2025/517
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2025/517, author = {Gal Arnon and Jesko Dujmovic and Yuval Ishai}, title = {Designated-Verifier {SNARGs} with One Group Element}, howpublished = {Cryptology {ePrint} Archive, Paper 2025/517}, year = {2025}, url = {https://eprint.iacr.org/2025/517} }