Paper 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].

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
A minor revision of an IACR publication in TCC 2015
Keywords
ZAPNIZKObfuscationNIWI
Contact author(s)
nirbitan @ tau ac il
History
2015-02-12: revised
2014-04-30: received
See all versions
Short URL
https://ia.cr/2014/295
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2014/295,
      author = {Nir Bitansky and Omer Paneth},
      title = {{ZAPs} and Non-Interactive Witness Indistinguishability from Indistinguishability Obfuscation},
      howpublished = {Cryptology {ePrint} Archive, Paper 2014/295},
      year = {2014},
      url = {https://eprint.iacr.org/2014/295}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.