ABSTRACT
The idea of Zero Knowledge Proof (ZKP) was first proposed by Goldwasser, Micali and Racko [S. Goldwasser, et al. 1989.] in 1989. It is a mutual protocol to solve the problem: the prover demonstrates to the verifier that he has some secret information, but after that the verifier doesn’t know what the secret information is. In the verification process, the prover lets out zero information about the secret to the verifier. ZKP can be divided into two basic kinds: interactive and non-interactive zero knowledge proof . Zero knowledge proof protocols are used extensively in the field of information security, such as identity authentication, fair exchange, key agreement, electronic voting and electronic payment system, etc.
