Paper 2023/015 Original: eprint.iacr.org/2023/015 ↗
Unconditionally Secure NIZK in the Fine-Grained Setting
Abstract
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
- Preprint.
- History
- 2023-01-04: last updated
- 2023-01-04: published
- Short URL
- https://ia.cr/2023/015
- License
- https://creativecommons.org/licenses/by/4.0/
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},
url = {https://eprint.iacr.org/2023/015}
}