Unconditionally Secure NIZK in the Fine-Grained Setting

Yuyu Wang; Jiaxin Pan

Paper 2023/015

Unconditionally Secure NIZK in the Fine-Grained Setting

Yuyu Wang

, University of Electronic Science and Technology of China

Jiaxin Pan

, NTNU - Norwegian University of Science and Technology

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: Published by the IACR in ASIACRYPT 2022
Keywords: Non-interactive zero-knowledge fine-grained cryptography AC0 unconditional 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},
      url = {https://eprint.iacr.org/2023/015}
}