International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Unconditionally Secure NIZK in the Fine-Grained Setting

Authors:
Yuyu Wang , University of Electronic Science and Technology of China
Jiaxin Pan , NTNU - Norwegian University of Science and Technology
Download:
Search ePrint
Search Google
Presentation: Slides
Conference: ASIACRYPT 2022
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.
Video from ASIACRYPT 2022
BibTeX
@inproceedings{asiacrypt-2022-32441,
  title={Unconditionally Secure NIZK in the Fine-Grained Setting},
  publisher={Springer-Verlag},
  author={Yuyu Wang and Jiaxin Pan},
  year=2022
}