《5零知识证明.pptVIP

零知识证明的概念 设P表示掌握某些信息，并希望证实这一事实的实体，设V是证明这一事实的实体。 某个协议向V证明P的确掌握某些信息，但V无法推断出这些信息是什么，我们称P实现了最小泄露证明。 如果V除了知道P能够证明某一事实外，不能够得到其他任何知识，我们称P实现了零知识证明，相应的协议称作零知识协议。 零知识证明的概念 在最小泄露协议中满足下述两个性质： (1) P无法欺骗V。换言之，若P不知道一个定理的证明方法，则P使V相信他会证明定理的概率很低。（正确性） (2) V无法欺骗P。换言之，若P知道一个定理的证明方法，则P使V以绝对优势的概率相信他能证明。（完备性） 在零知识协议中，除满足上述两个条件以外，还满足下述性质： (3) V无法获取任何额外的知识。（零知识性） 零知识洞穴 设P知道咒语，可打开C和D之间的秘密门，不知道者则走向死胡同。现在来看P如何向V出示证明使其相信他知道这个秘密，但又不告诉V有关咒语。 协议1：洞穴协议 V站在A点； P进入任一点C或D； 当P进洞之后，V走向B点； V叫P：(a)从左边出来，或(b)从右边出来 P按照要求实现（有咒语）； P和V重复执行(1)~(5)共n次。 零知识洞穴 若P不知道咒语，则在B点，只有50%的机会猜中V的要求，协议执行n次，则只有2? n次机会完全猜中。此洞穴问题可以转化为数学问题，P知道解决某个难题