1、如果语句为真，诚实的验证者（即，正确遵循协议的验证者）将由诚实的证明者确信这一事实。2、如果语句为假，不排除有概率欺骗者可以说服诚实的验证者它是真的。3、如果语句为真，证明者的目的就是向验证者证明并使验证者相信自己知道或拥有某一消息，而在证明过程中不可向验证者泄漏任何有关被证明消息的内容。零知识证明并不是数学意义上的证明，因为它存在小概率的误差，欺骗者有可能通过虚假陈述骗过证明者。换句话来说，零知识证明是概率证明而不是确定性证明。但是也存在有技术能将误差降低到可以忽略的值。零知识的形式定义必须使用一些计算模型，最常见的是图灵机的计算模型。
零知识证明满足三个属性
扫一扫手机访问
