https://zhuanlan.zhihu.com/p/34072069
上面两个链接是英文原版和中文翻译,中文翻译的这篇更容易懂,下面是我第一次看英文版之后做的简单翻译,我就不做改动了,如果有对零知识证明感兴趣的伙伴可以去看看上面链接里的博文。Thanks
有三个小孩,分别叫Alice, Bob, Charlie ,他们都很喜欢玩数独游戏。其中Alice最聪明,因此总是设计数独题目给另外两个朋友做。有一次,Alice设计了一道数独难题,Bob很久都解不出来,就认为这道题没有解,去找Alice争论。Alice说:我可以给你证明我知道这道难题的解,但是要用零知识证明的方法(也就是说,让Bob在不看到正确答案的情况下相信Alice是知道正确答案的,即这个数独题是可解的)。下面是Alice的做法:
首先我们需要知道的是,如果数独解出,那么这 9 行 9列的矩阵的每一行,每一列,划分的每一块(3x3矩阵)中的数字都包含1-9这九个数字。
Alice首先将自己的答案填写在卡纸背面,不让Bob看到。然后跟Bob说,你可以选择任