Cryptology ePrint Archive: Report 2020/347

Some Low Round Zero Knowledge Protocols

Hongda Li and Peifang Ni and Dongxue Pan

Abstract: In this paper, we focus on zero-knowledge protocols for NP with low round complexity under the augmented black-box simulation technique, in which the simulator has access to the verifier's secret information, and obtain positive results on 3-round zero-knowledge proofs and 2-round zero-knowledge arguments for NP and 2-round zero-knowledge proofs for QNR. More precisely, our contributions are five-fold: (i) we propose the notion of generalized claw-free function and the notion of trapdoor generalized claw-free function, and then we show a construction of trapdoor generalized claw-free function under the discrete logarithm assumption and the knowledge of exponent assumption, (ii) we propose the notion of completely extractable bit-commitment and give a construction of it from trapdoor generalized claw-free functions, (iii) we present a 3-round zero-knowledge proof for NP based on the completely extractable bit-commitment schemes and Yao's garbling circuit technique, (iv) we show a 2-round zero-knowledge argument for NP based on indistinguishable obfuscator, (v) we transform the basic 2-round honest verifier zero-knowledge proof protocol for quadratic non-residue into a 2-round zero-knowledge proof protocol.

Category / Keywords: cryptographic protocols / zero-knowledge proof (argument), augmented black-box simulation, generalized claw-free function, completely extractable commitment scheme, garbled circuit

Date: received 23 Mar 2020, last revised 22 May 2020

Contact author: lihongda at iie ac cn,nipeifang@iie ac cn

Available format(s): PDF | BibTeX Citation

Version: 20200522:082610 (All versions of this report)

Short URL: ia.cr/2020/347


[ Cryptology ePrint archive ]