零知识证明

零知识证明（zero-knowledge proof），由Goldwasser等人在20世纪80年代初提出的。

它指的是证明者在不对验证者提供任何有用的信息的情况下，使验证者相信某个论断是对的。换句话说，证明者向验证者证明并使其相信自己知道或拥有某一消息，但证明过程不能向验证者泄漏任何关于被证明消息的信息。

例子：设有一隧道，入口P，出口Q，隧道中有一扇门（该门只能用钥匙打开），若A有钥匙，可以打开该门，不知道者则打不开。现在A如何向B证明使其相信自己有钥匙，但是又不向B展示钥匙。

采用0知识证明方法，则B看着A从入口P处进入隧道，然后又从出口Q处走出隧道，这时，B没有得到该钥匙的信息，但是可以完全证明A拥有钥匙。

在人人上看到过个例子叫做阿里巴巴的0知识证明：战争中你被俘了，敌人拷问你情报。你是这么想的：如果我把情报都告诉他们，他们就会认为我没有价值了，就会杀了我，但如果我死活不说，他们也会认为我没有价值而杀了我。怎样才能做到既让他们确信我知道情报，但又一丁点情报也不泄露呢？

这的确是一个令人纠结的问题，但阿里巴巴想了一个好办法，当强盗向他拷问打开山洞石门的咒语时，他对强盗说：“你们离我一箭之地，用弓箭指着我，你们举起右手我就念咒语打开石门，举起左手我就念咒语关上石门，如果我做不到或逃跑，你们就用弓箭射死我。”

强盗们当然会同意，因为这个方案不仅对他们没有任何损失，而且还能帮助他们搞清楚阿里巴巴到底是否知道咒语这个问题。阿里巴巴也没损失，因为处于一箭之地的强盗听不到他念的咒语，不必担心泄露了秘密，而且他确信自己的咒语有效，也不会发生被射死的杯具。

强盗举起了右手，只见阿里巴巴的嘴动了几下，石门果真打开了，强盗举起了左手，阿里巴巴的嘴动了几下后石门又关上了。强盗还是有点不信，说不准这是巧合呢，他们不断地换着节奏举右手举左手，石门跟着他们的节奏开开关关，最后强盗们想，如果还认为这只是巧合，自己未免是个傻瓜，那还是相信了阿里巴巴吧。