[Resource Topic] 2023/1857: A Simple and Efficient Framework of Proof Systems for NP

Welcome to the resource topic for 2023/1857

A Simple and Efficient Framework of Proof Systems for NP

Authors: Yuyu Wang, Chuanjie Su, Jiaxin Pan, Yu Chen


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 trade-off.

ePrint: https://eprint.iacr.org/2023/1857

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .