Interactive and Noninteractive Zero Knowledge are Equivalent in the Help Model

André Chailloux; Dragos Florin Ciocan; Iordanis Kerenidis; Salil Vadhan

Paper 2007/467 Original: eprint.iacr.org/2007/467 ↗

Interactive and Noninteractive Zero Knowledge are Equivalent in the Help Model

André Chailloux

Dragos Florin Ciocan

Iordanis Kerenidis

Salil Vadhan

Abstract

We show that interactive and noninteractive zero-knowledge are equivalent in the `help model' of Ben-Or and Gutfreund ({\em J. Cryptology}, 2003). In this model, the shared reference string is generated by a probabilistic polynomial-time dealer who is given access to the statement to be proven. Our results do not rely on any unproven complexity assumptions and hold for statistical zero knowledge, for computational zero knowledge restricted to AM, and for quantum zero knowledge when the help is a pure quantum state.

Metadata

Available format(s): PDF
Publication info: Preprint.
History: 2007-12-19: last updated; 2007-12-19: published
Short URL: https://ia.cr/2007/467
License: https://creativecommons.org/licenses/by/4.0/

BibTeX

@misc{cryptoeprint:2007/467,
      author = {André Chailloux and Dragos Florin Ciocan and Iordanis Kerenidis and Salil Vadhan},
      title = {Interactive and Noninteractive Zero Knowledge are Equivalent in the Help Model},
      howpublished = {Cryptology {ePrint} Archive, Paper 2007/467},
      year = {2007},
      url = {https://eprint.iacr.org/2007/467}
}