登入選單

返回Google圖書搜尋

Non-interactive Zero Knowledge

Massachusetts Institute of Technology. Laboratory for Computer ScienceManuel Blum

出版	Laboratory for Computer Science, Massachusetts Institute of Technology, 1990
URL	http://books.google.com.hk/books?id=StFSHwAACAAJ&hl=&source=gbs_api

註釋

We investigate the possibility of disposing of interaction between Prover and Verifier in a zero-knowledge proof if they share beforehand a short random string. Without any assumption, we prove that non-interactive zero-knowledge proofs exist for some number theoretic languages for which no efficient algorithm is known. If deciding quadratic residuosity (modulo composite integers whose factorization is not known) is computationally hard, we show that the NP-complete language of satisfiability also possesses non-interactive zero-knowledge proofs.