Paper 2022/1484
Adaptive UC NIZK for Practical Applications
Abstract
Non-interactive zero-knowledge proofs of knowledge (NIZKPoK) serve as a key building block in many important cryptographic protocols. In practice, NIZKPoK are often constructed from Sigma-protocols based on the discrete logarithm assumption, and proven secure in the random-oracle model (ROM). Recent work and standardization initiatives have highlighted the importance of concurrent security of NIZKPoK against adversaries who are capable of adaptive corruption. In this paper, we focus explicitly on Sigma-protocols from linear function families, which include those for proving discrete-logarithm based relations. We define a natural adaptivity property for this class of Sigma-protocols and show that, given any straight-line compiler which preserves the adaptivity property, it is possible to transform these protocols into adaptive, universally composable (UC) NIZKPoK in the global ROM. We then prove that the most efficient known construction of a straight-line compiler, Kondi and shelat's randomized version of Fischlin's transform, preserves the adaptivity property. Our construction avoids introducing any additional cryptographic primitives, and, following Kondi and shelat, requires only a polylogarithmic number of repetitions of the underlying Sigma-protocol.
Note: reorganization of the paper for clarity
Metadata
- Available format(s)
-
PDF
- Category
- Foundations
- Publication info
- Preprint.
- Keywords
- zero-knowledgeproofs of knowledgeNIZKuniversal composabilityadaptive securityglobal random-oracle model
- Contact author(s)
-
anna_lysyanskaya @ brown edu
l rosenbloom @ northeastern edu - History
- 2025-09-23: last of 3 revisions
- 2022-10-28: received
- See all versions
- Short URL
- https://ia.cr/2022/1484
- License
-
CC BY-NC
BibTeX
@misc{cryptoeprint:2022/1484,
author = {Anna Lysyanskaya and Leah Namisa Rosenbloom},
title = {Adaptive {UC} {NIZK} for Practical Applications},
howpublished = {Cryptology {ePrint} Archive, Paper 2022/1484},
year = {2022},
url = {https://eprint.iacr.org/2022/1484}
}
