Abstract
A perfect zero-knowledge interactive protocol allows a prover to convince a verifier of the validity of a statement in a way that does not give the verifier any additional information [, ]. Such protocols take place by the exchange of messages back and forth between the prover and the verifier. An important measure of efficiency for these protocols is the number of rounds in the interaction. In previously known perfect zero-knowledge protocols for statements concerning NP-complete problems [], at least k rounds were necessary in order to prevent one party from having a probability of undetected cheating greater than 2−k . In the full version of this paper [], we give the first perfect zero-knowledge protocol that offers arbitrarily high security for any statement in NP with a constant number of rounds (under a suitable cryptographic assumption). This protocol is a BCC-argument rather than a GMR-proof [], as are all the known perfect zero-knowledge protocols for NP-complete problems [].
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have