零知识证明技术.pptVIP

第十六讲零知识证明技术  Peggy:“我知道联邦储备系统计算机的口令 McDonald的秘密调味汁的成分,以及 Knuth第5卷 的内容 Victor:“不,你不知道。 Peggy:“我知道。” Victor:“你不知道 Peggy:“我确实知道!” Victor:“请你证明这一点!” Peggy:“好吧,我告诉你!”她悄悄地说出了口 令 Victor:“太有趣了!现在我也知道了。我要告诉 《华盛顿邮报》。”  许多年前,有报道称小偷在一个超市中放 置假的ATM机。当人们将银行卡插入机器 并输入鉴别身份的秘密时,机器将这些信 息记录下来并反馈消息说机器不能接受这 种类型的银行卡。小偷接下来就可以制造 假的银行卡,并使用得到的身份鉴别秘密 信息到真的ATM机上提取现金。  如何避免这一情况发生?在很多情况下需 要出示鉴别身份的秘密或口令来完成交易。 任何人在得到这个秘密再附加一些(几乎公 开的)身份信息之后,就可以冒充这个人 我们需要解决的问题就是使用秘密但在使 用的过程中不留给攻击者任何可以重复使 用的信息。这就产生了零知识证明技术。  本讲提要 口零知识证明概念总揽 口 Fiat-Shamir鉴别协议 口 Feige-Fiat-Shamir鉴别协议 口GQ鉴别协议 口 Schnorr鉴别协议  1零知识证明概念总揽 1.1思想 I  1.1思想(续) Peggy知道这个洞穴的秘密。她想对 Victor 证明这一点,但她不想泄露咒语。下面是 她如何使Ⅴ ictor相信的过程: (1) ictor站在A点 (2) Peggy一直走进洞穴,到达点C或点D。 (3)在 Peggy消失在洞穴中之后, Victor走 到点B。  1.1思想(续 (4)Ⅴ ictor向 Peggy喊,要她: (41)从左通道出来,或者; (42)从右通道出来 (5) Peggy答应了,如果有必要她就用咒语打 开密门。 (6) Peggy和 Victor重复第(1)到第(5)步n次。  1.1思想(续) 评述 协议使用的技术叫做分割选择技术( cut and choose),因为它类似如下将任何东西等分的 经典协议 l)Pegy将东西切成两半。 (2)Ⅴ ictor给自己选择一半。 3)Pegy拿走剩下的一半。 Peggy最关心的是第(1)步中的等分,因为 Victor可以在第(2)步选择他想要的那一半  12交互证明系统和零知识证明协议 零知识证明协议是交互证明系统的一个实 例,这里一个证明者和一个验证者交互多 轮。证明者的目标是让认证者相信声称的 正确性,例如,声称掌握一个秘密。验证 者要么接受证明要么拒绝证明。这与传统 的数学概念的证明有所不同,交互游戏的 证明是随机而不是绝对的。由于这个原因 个交互证明常常被称为协议证明。