Title :
Two round ZKIP of knowledge for SAT and its applications
Author :
Yang, Hyung-Kyu ; Jung, Ji-Won ; Won, Dong-HO
Author_Institution :
Dept. of Inf. Eng., Sung Kyun Kwan Univ., South Korea
Abstract :
This paper proposes the optimal 4-move ZKIP (Zero-Knowledge Interactive Proof systems) of knowledge for SAT and its application. Using the trapdoor bit commitment scheme and the WI(Witness Indistingushable) and the WH(Witness Hiding), it is shown that as compared with 6-move ZKIP for SAT, the proposed ZKIP is 4-move ZKIP for SAT and under claw-free pairs of functions the proposed ZKIP is also 4-move ZKIP. The proposed scheme is more efficient at the points of computational complexity and communication complexity
Keywords :
communication complexity; computational complexity; cryptography; interactive systems; knowledge engineering; protocols; security; telecommunication network management; 4-move ZKIP; Zero-Knowledge Interactive Proof systems; communication complexity; computational complexity; trapdoor bit commitment scheme; Computational modeling; Knowledge based systems; Polynomials; Protocols; Random variables; Testing;
Conference_Titel :
Networks, 1993. International Conference on Information Engineering '93. 'Communications and Networks for the Year 2000', Proceedings of IEEE Singapore International Conference on
Print_ISBN :
0-7803-1445-X
DOI :
10.1109/SICON.1993.515641
