International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

A Simple and Efficient Framework of Proof Systems for NP

Authors:
Yuyu Wang , University of Electronic Science and Technology of China
Chuanjie Su , University of Electronic Science and Technology of China
Jiaxin Pan , NTNU - Norwegian University of Science and Technology
Yu Chen , Shandong University
Download:
Search ePrint
Search Google
Presentation: Slides
Conference: ASIACRYPT 2023
Abstract: In this work, we propose a simple framework of constructing efficient non-interactive zero-knowledge proof (NIZK) systems for all NP. Compared to the state-of-the-art construction by Groth, Ostrovsky, and Sahai (J. ACM, 2012), our resulting NIZK system reduces the proof size and proving and verification cost without any trade-off, i.e., neither increasing computation cost, CRS size nor resorting to stronger assumptions. Furthermore, we extend our framework to construct a batch argument (BARG) system for all NP. Our construction remarkably improves the efficiency of BARG by Waters and Wu (Crypto 2022) without any tradeoff.
BibTeX
@inproceedings{asiacrypt-2023-33483,
  title={A Simple and Efficient Framework of Proof Systems for NP},
  publisher={Springer-Verlag},
  author={Yuyu Wang and Chuanjie Su and Jiaxin Pan and Yu Chen},
  year=2023
}