Paper 2023/015
Unconditionally Secure NIZK in the Fine-Grained Setting
, University of Electronic Science and Technology of China, NTNU - Norwegian University of Science and TechnologyAbstract
Non-interactive zero-knowledge (NIZK) proof systems are often constructed based on cryptographic assumptions. In this paper, we propose the first unconditionally secure NIZK system in the AC0-fine-grained setting. More precisely, our NIZK system has perfect soundness for all adversaries and unconditional zero-knowledge for AC0 adversaries, namely, an AC0 adversary can only break the zero-knowledge property with negligible probability unconditionally. At the core of our construction is an OR-proof system for satisfiability of 1 out of polynomial many statements.
Metadata
- Available format(s)
-
PDF
- Category
- Foundations
- Publication info
- Published by the IACR in ASIACRYPT 2022
- Keywords
- Non-interactive zero-knowledgefine-grained cryptographyAC0unconditional security.
- Contact author(s)
-
wangyuyu @ uestc edu cn
jiaxin pan @ ntnu no - History
- 2023-01-04: approved
- 2023-01-04: received
- See all versions
- Short URL
- https://ia.cr/2023/015
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2023/015,
author = {Yuyu Wang and Jiaxin Pan},
title = {Unconditionally Secure NIZK in the Fine-Grained Setting},
howpublished = {Cryptology ePrint Archive, Paper 2023/015},
year = {2023},
note = {\url{https://eprint.iacr.org/2023/015}},
url = {https://eprint.iacr.org/2023/015}
}
