A General Zero-Knowledge Scheme

  • Authors:
  • Mike Burmester;Yvo G. Desmedt;Fred Piper;Michael Walker

  • Affiliations:
  • Information Security Group, Royal Holloway – University of London, Egham, TW20 OEX, U.K.;Department of Electrical Engineering and Computer Science, University of Wisconsin – Milwaukee, P.O. Box 784, WI 53201 Milwaukee, U.S.A.;Information Security Group, Royal Holloway – University of London, Egham, TW20 OEX, U.K.;Vodafone Ltd, 2 - 4 London Road, Newbury, Berks RG13 1JL, U.K.

  • Venue:
  • Designs, Codes and Cryptography
  • Year:
  • 1997

Quantified Score

Hi-index 0.01

Visualization

Abstract

There is a great similarity between the zero-knowledgeproof of quadratic residuocity presented by Goldwasser-Micali-Rackoffand the graph isomorphism proof presented by Goldreich-Micali-Wigderson.There is also a resemblance between the zero-knowledge proofsof Fiat-Shamir, Chaum-Evertse-van de Graaf, Beth and Guillou-Quisquater.A similar observation holds for zero-knowledge proofs based onencryption: the 3-colourability proofs and the Hamiltonian-circuitproofs of Blum and Goldreich-Micali-Wigderson, and the Brassard-Chaum-Crepeauproof for SAT. Feige, Fiat and Shamir introduced the conceptof zero-knowledge proofs of knowledge. In this paper we presenta general zero-knowledge scheme which unifies all these Arthur-Merlinproofs.