All languages in NP have divertible zero-knowledge proofs and arguments under cryptographic assumptions (extended abstract)

  • Authors:
  • Mike V. D. Burmester;Yvo Desmedt

  • Affiliations:
  • -;-

  • Venue:
  • EUROCRYPT '90 Proceedings of the workshop on the theory and application of cryptographic techniques on Advances in cryptology
  • Year:
  • 1991

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a divertible zero-knowledge proof (argument) for SAT under the assumption that probabilistic encryption homomorphisms exist. Our protocol uses a simple 'swapping' technique which can be applied to many zero knowledge proofs (arguments). In particular we obtain a divertible zero-knowledge proof for graph isomorphism. The consequences for abuse-free zero-knowledge proofs are also considered.