Cryptology ePrint Archive: Report 2014/295

ZAPs and Non-Interactive Witness Indistinguishability from Indistinguishability Obfuscation

Nir Bitansky and Omer Paneth

Abstract: We present new constructions of two-message and one-message witness-indistinguishable proofs (ZAPs and NIWIs). This includes: \begin​{itemize} \item ZAP (or, equivalently, non-interactive zero-knowledge in the common random string model) from indistinguishability obfuscation and one-way functions. \item NIWIs from indistinguishability obfuscation and one-way permutations. \end{itemize} The previous construction of ZAPs [Dwork and Naor, FOCS 00] was based on trapdoor permutations. The two previous NIWI constructions were based either on ZAPs and a derandomization-type complexity assumption [Barak, Ong, and Vadhan CRYPTO 03], or on a specific number theoretic assumption in bilinear groups [Groth, Sahai, and Ostrovsky, CRYPTO 06].

Category / Keywords: foundations / ZAP, NIZK, Obfuscation, NIWI

Original Publication (with minor differences): IACR-TCC-2015

Date: received 27 Apr 2014, last revised 12 Feb 2015

Contact author: nirbitan at tau ac il

Available format(s): PDF | BibTeX Citation

Version: 20150212:201749 (All versions of this report)

Short URL:

[ Cryptology ePrint archive ]