零知识证明零知识证明的概念零知识证明的概念零知识洞穴零知识洞穴6平方根问题的零知识离散对数问题的零知识证明Peggy试图向Vector证明两个离散对数相等而不泄露x，Y=gx，Z=cx，loggY=logcZ证明ElGamal解密的正确性使用Fiat-ShamirHeuristic的非交互零知识证明(NIZK)身份鉴别方案简化的Feige-Fiat-Shamir身份鉴别方案简化的Feige-Fiat-Shamir身份鉴别方案B简化的Feige-Fiat-Shamir身份鉴别方案可信赖仲裁方选n=p1×p2，p1、p2为两个大素数，并选k个不同的随机数v1,v2,…,vk，各vi是modn的平方剩余，且有逆。以v1,v2,…,vk为被验证方P的公钥，计算最小正整数si，使si=modn，将s1,s2,…,sk作为P的私人密钥。Feige-Fiat-Shamir身份鉴别方案Feige-Fiat-Shamir身份鉴别方案Guillo-Quisquater身份鉴别方案Guillo-Quisquater身份鉴别方案Guillo-Quisquater身份鉴别方案Schnorr身份鉴别方案Schnorr身份鉴别方案Schnorr身份鉴别方案复杂性理论NP与零知识证明图同构P