Minimum resource zero knowledge proofs

  • Authors:
  • J. Kilian;S. Micali;R. Ostrovsky

  • Affiliations:
  • MIT, Cambridge, MA, USA;MIT, Cambridge, MA, USA;-

  • Venue:
  • SFCS '89 Proceedings of the 30th Annual Symposium on Foundations of Computer Science
  • Year:
  • 1989

Quantified Score

Hi-index 0.00

Visualization

Abstract

Several resources relating to zero-knowledge protocols are considered. They are the number of envelopes used in the protocol, the number of oblivious transfer protocols executed during the protocol, and the total amount of communication required by the protocol. It is shown that after a preprocessing stage consisting of O(k) executions of oblivious transfer, any polynomial number of NP-theorems of any polysize can be proved noninteractively and in zero knowledge, on the basis of the existence of any one-way function, so that the probability of accepting a false theorem is less than 1/2/sup k/.