Hiding instances in zero-knowledge proof systems

Donald Beaver, Joan Feigenbaum, Victor Shoup

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Informally speaking, an instance-hiding pruoj system for the function f is a protocol in which a polynomial-time verifier is convinced of the value of f(z) but does not reveal the input z to the provers. We show here that a boolean function f has an instance-hiding proof system if and only if it is the characteristic function of a language in NEXP ∩ coNEXP. We formalize the notion of zero-knowledge for instance-hiding proof systems with several provers and show that alI such systems can be made perfect zero-knowledge.

Original languageEnglish (US)
Title of host publicationAdvances in Cryptology – CRYPTO 1990, Proceedings
EditorsAlfred J. Menezes, Scott A. Vanstone
PublisherSpringer Verlag
Pages326-338
Number of pages13
ISBN (Print)9783540545088
DOIs
StatePublished - 1991
Event10th Conference on the Theory and Application of Cryptography, CRYPTO 1990 - Santa Barbara, United States
Duration: Aug 11 1990Aug 15 1990

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume537 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other10th Conference on the Theory and Application of Cryptography, CRYPTO 1990
CountryUnited States
CitySanta Barbara
Period8/11/908/15/90

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Hiding instances in zero-knowledge proof systems'. Together they form a unique fingerprint.

  • Cite this

    Beaver, D., Feigenbaum, J., & Shoup, V. (1991). Hiding instances in zero-knowledge proof systems . In A. J. Menezes, & S. A. Vanstone (Eds.), Advances in Cryptology – CRYPTO 1990, Proceedings (pp. 326-338). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 537 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-38424-3_24