1. On generating solved instances of computational problems;Abadi,1987
2. Statistical zero-knowledge languages can be recognized in two rounds;Aiello,1987
3. On defining proofs of knowledge;Bellare,1993
4. Perfect zero-knowledge in constant rounds;Bellare,1990
5. Non-interactive zero-knowledge;Blum;SIAM J. Comput.,1991