1、 第二十三讲 零知识证明技术Peggy:“我知道联邦储备系统计算机的口令,McDonald的秘密调味汁的成分,以及Knuth第5卷的内容。”Victor:“不,你不知道。”Peggy:“我知道。”Victor:“你不知道!”Peggy:“我确实知道!”Victor:“请你证明这一点!”Peggy:“好吧,我告诉你!”她悄悄地说出了口令。 Victor: “太有趣了!现在我也知道了。我要告诉华盛顿邮报。”许多年前,有报道称小偷在一个超市中放置假的ATM机。当人们将银行卡插入机器并输入鉴别身份的秘密时,机器将这些信息记录下来并反馈消息说机器不能接受这种类型的银行卡。小偷接下来就可以制 假的银行卡,
2、并 的身份鉴别秘密信息 的ATM机 现 。这一 在 多 下要出 鉴别身份的秘密 口令来 成 。 人在 这个秘密 一些( 的)身份信息,就可以这个人。我们 要的currency1就“ 秘密在 的中不fifl 可以 的信息。这就 了零知识证明技术。讲 要 零知识证明” Fiat-Shamir鉴别 Feige-Fiat-Shamir鉴别 GQ鉴别 Schnorr鉴别1 零知识证明”1.1 1.1 ()Peggy知道这个 的秘密。她 Victor证明这一点,她不 。下“她 Victor信的:(1) Victor 在A点。(2) Peggy一 , 点C 点D。(3) 在Peggy消在 中,Victor
3、点B。1.1 ()(4) VictorPeggy,要她:(4.1) 道出来, (4.2) 道出来.(5) Peggy 了, 有 要她就 密 。 (6) Peggy Victor第(1) 第(5) n。1.1 (). 的技术 分 技术(cut and choose), 类 下将 分的 :(1) Peggy将 成 。 (2) Victorfl 一。 (3) Peggy 下的一。 Peggy 的“第(1) 中的 分, Victor可以在第(2) 要的一。1.2 证明系统 零知识证明零知识证明“ 证明系统的一个实 ,这 一个证明 一个 证 多 。证明的目标“让认证信声称的正确性, ,声称掌握一个秘密。 证要么接受证明要么拒绝证明。这与传统的数学的证明有所不同, 游戏的证明“随机而不“绝的。由于这个原,一个 证明常常被称 证明。