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)
Discussion forum: Show discussion | Start new discussion
[ Cryptology ePrint archive ]