Paper 2024/1713
Universally Composable Non-Interactive Zero-Knowledge from Sigma Protocols via a New Straight-line Compiler
Abstract
Non-interactive zero-knowledge proofs (NIZK) are essential building blocks in threshold cryptosystems like multiparty signatures, distributed key generation, and verifiable secret sharing, allowing parties to prove correct behavior without revealing secrets. Furthermore, universally composable (UC) NIZKs enable seamless composition in the larger cryptosystems. A popular way to construct NIZKs is to compile interactive protocols using the Fiat-Shamir transform. Unfortunately, Fiat-Shamir transformed NIZK requires rewinding the adversary and is not
Metadata
- Available format(s)
-
PDF
- Category
- Cryptographic protocols
- Publication info
- A major revision of an IACR publication in PKC 2025
- Keywords
- Zero Knowledge ProofsUniversal ComposabilitySigma Protocols
- Contact author(s)
-
megchen @ bu edu
deypousali95 @ gmail com
chaya @ iisc ac in
pratyay85 @ gmail com
iampratiksarkar @ gmail com
swagata sasmal @ gmail com - History
- 2025-02-26: revised
- 2024-10-20: received
- See all versions
- Short URL
- https://ia.cr/2024/1713
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2024/1713, author = {Megan Chen and Pousali Dey and Chaya Ganesh and Pratyay Mukherjee and Pratik Sarkar and Swagata Sasmal}, title = {Universally Composable Non-Interactive Zero-Knowledge from Sigma Protocols via a New Straight-line Compiler}, howpublished = {Cryptology {ePrint} Archive, Paper 2024/1713}, year = {2024}, url = {https://eprint.iacr.org/2024/1713} }