点击购买,资源将自动在新窗口打开.
获取独家产品信息,尽享促销优惠!立即订阅,不容错过
* 限···时··优惠
(p为索赔提供证人,例如,)•完整性:如果索赔是真正的诚实奉献者,则可以始终说服诚实的验证者接受。•健全性:如果索赔是错误的,则验证者应至少以½的可能性拒绝。(即使供奉献者试图作弊)•零知识:验证者没有从协议中学到任何有关供奉献的输入的信息(除了该索赔是正确的)。•正式化最后一个陈述很棘手•零知识:即使攻击者不诚实,也应该保持!
主要关键词