【隐私计算笔谈】MPC系列专题（六）：零知识证明和比特承诺

【隐私计算笔谈】MPC系列专题（六）：零知识证明和比特承诺

零知识证明

交互式证明系统由两方参与，分别为证明者（ Prover ）和验证者（ Verifier ） 。证明者掌握某一秘密，证明者需要让验证者相信自己掌握该秘密。

交互式证明过程需要多轮，最典型的是每一轮验证者向证明者发送一个询问信息（ 挑战，Challenge ），证明者对询问信息进行计算，并回复信息响应（ Response ）。

验证者根据证明者每一轮的回复信息决定是否相信证明者。在交互式证明系统中，通信信道是必须的。交互式证明系统满足：

• 完备性 ：如果证明者知道某一秘密，验证者将接受证明的证明。
• 可靠性：如果证明者能以一定的概率使验证者相信证明者的证明，则证明者知道相应的秘密。

零知识证明（ Zero-Knowledge Proof ），是指证明者在不让验证者掌握秘密信息的前提下，使得验证者确信自己确实掌握了这些信息。验证者除了知道证明者能证明某一事实外，不能得到其他任何信息。

例如，Alice宣称知道一个能够对抛硬币正反面的诀窍。Bob要验证Alice的宣称，只需要当着Alice的面抛硬币。

Bob抛一次硬币Alice能猜中结果的概率为1/2，连续抛两次硬币Alice都能猜中结果的概率为1/4，连续抛𝑛次硬币Alice都能猜中结果的概率为1/2𝑛，当𝑛足够大时，就可以认为Alice全都正确猜中是不可能事件。

那么如果Alice真的全都猜对了，Bob就可以相信Alice的宣称。

另一个经典的例子是有一个简单的迷宫：

C和D之间有一扇需要秘密口令才能打开的门，证明者要向验证者证明自己能够打开这扇门&#