TY - GEN

T1 - Result-indistinguishable zero-knowledge proofs

T2 - 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS 98

AU - Di Crescenzo, Giovanni

AU - Sakurai, Kouichi

AU - Yung, Moti

PY - 1998

Y1 - 1998

N2 - We investigate result-indistinguishable perfect zero-knowledge proof systems [8] for "transferring the decision of whether the membership of an input in a language is true or not". Previously only a single number-theoretic language was known to have such a proof system and possible extensions were left as an open question. We show that all known random self-reducible languages (e.g., graph isomorphism, quadratic residuosity, discrete log) and compositions over them have such systems. We also consider techniques for constant-round protocols for these languages in this model, and obtain a 5 round protocol scheme.

AB - We investigate result-indistinguishable perfect zero-knowledge proof systems [8] for "transferring the decision of whether the membership of an input in a language is true or not". Previously only a single number-theoretic language was known to have such a proof system and possible extensions were left as an open question. We show that all known random self-reducible languages (e.g., graph isomorphism, quadratic residuosity, discrete log) and compositions over them have such systems. We also consider techniques for constant-round protocols for these languages in this model, and obtain a 5 round protocol scheme.

UR - http://www.scopus.com/inward/record.url?scp=78649893519&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78649893519&partnerID=8YFLogxK

U2 - 10.1007/BFb0028586

DO - 10.1007/BFb0028586

M3 - Conference contribution

AN - SCOPUS:78649893519

SN - 3540642307

SN - 9783540642305

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 511

EP - 521

BT - STACS 98 - 15th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings

Y2 - 25 February 1998 through 27 February 1998

ER -