第5讲 零知识证明.pptVIP

零知识证明 概念 “零知识证明”－zero-knowledge proof，是由Goldwasser等人在20世纪80年代初提出的。它指的是证明者能够在不向验证者提供任何有用的信息的情况下，使验证者相信某个论断是正确的。 Quisquater-Guillon零知识协议 1990年，Quisquater和Guillon提出一种形象的基本零知识协议的例子。如下图所示，该图表示一个简单的迷宫，只有知道秘密口令的人才能打开C 和Ｄ之间的密门。现在，P希望向V证明P能够打开此门，但是又不愿意向V泄漏P掌握的秘密口令。为此， P采用了所谓的“分隔与选择”技术实现一个零知识协议。 分隔与选择（cut and choose）协议 A将蛋糕分成两半； B为自己选择其中的一半； A得到剩下的一半。 这是一种公平协议， A如果分割不均匀， B总能选择对自己有利的一半。 这个协议为交互零知识证明的雏形。 1) V 站在Ａ点。(2) P 一直走到迷宫深处，随即选择Ｃ点或者Ｄ点。(3) 在 P消失后，V走到Ｂ点。(4) V 向 P 喊叫，要她：从左通道出来，或者从右通道出来。(5) P答应了，如果有必要她就用秘密口令打开密门。P 和 V重复第(1)至第(5)步 n 次。 Hamilton回路零知识协议 许多计算上困难的问题可以用来构造零知识协议。 在图论中，图 G中的回路是指始点和终点相重