TY - GEN
T1 - On the complexity of constant round ZKIP of possession of knowledge
AU - Itoh, Toshiya
AU - Sakurai, Kouichi
N1 - Publisher Copyright:
© 1993, Springer Verlag. All rights reserved.
PY - 1993
Y1 - 1993
N2 - In this paper, we show that if a relation R has a three move blackbox simulation zero-knowledge interactive proof system of possession of knowledge, then there exists a probabilistic polynomial time algorithm that on input x ∈ {0,1}*, outputs y such that (x, y) ∈ R with overwhelming probability if x ∈ dom R, and outputs “⊥” with probability 1 if x ∉ dom R. In the present paper, we also show that without any unproven assumption, there exists a four move blackbox simulation perfect zero-knowledge interactive proof system of possession of the prime factorization, which is optimal in the light of the round complexity.
AB - In this paper, we show that if a relation R has a three move blackbox simulation zero-knowledge interactive proof system of possession of knowledge, then there exists a probabilistic polynomial time algorithm that on input x ∈ {0,1}*, outputs y such that (x, y) ∈ R with overwhelming probability if x ∈ dom R, and outputs “⊥” with probability 1 if x ∉ dom R. In the present paper, we also show that without any unproven assumption, there exists a four move blackbox simulation perfect zero-knowledge interactive proof system of possession of the prime factorization, which is optimal in the light of the round complexity.
UR - http://www.scopus.com/inward/record.url?scp=84879820140&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84879820140&partnerID=8YFLogxK
U2 - 10.1007/3-540-57332-1_28
DO - 10.1007/3-540-57332-1_28
M3 - Conference contribution
AN - SCOPUS:84879820140
SN - 9783540573326
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 331
EP - 345
BT - Advances in Cryptology ─ ASIACRYPT 1991 - International Conference on the Theory and Application of Cryptology, Proceedings
A2 - Imai, Hideki
A2 - Matsumoto, Tsutomu
A2 - Rivest, Ronald L.
PB - Springer Verlag
T2 - 1st International Conference on the Theory and Application of Cryptology, ASIACRYPT 1991
Y2 - 11 November 1991 through 14 November 1991
ER -