1/X 继续 #WhyZK？
这个 Thread 是“小学生也能看懂的零知识证明科普”系列第一部分，从这个系列开始，会通俗解释零知识证明相关概念名词。
若有不当之处欢迎批评指正，希望与大家一起进步。
前情提要：
这个 Thread 是“小学生也能看懂的零知识证明科普”系列第一部分，从这个系列开始，会通俗解释零知识证明相关概念名词。
若有不当之处欢迎批评指正，希望与大家一起进步。
前情提要：
https://twitter.com/manta_china/status/1584856781343576066
2/X
示例引用自：medium.com/qed-it/the-inc…，作者 Aviv Zohar
中文：
mirror.xyz/0xeB125d270FC1…
数独，一种数字游戏，玩家需要在空格内，任意填上 1-9 ，使每一行、每一列、每个粗线格（33格）内的数字，均包含 1-9，且不重复。
奇异博士和绿巨人很喜欢玩数独。
示例引用自：medium.com/qed-it/the-inc…，作者 Aviv Zohar
中文：
mirror.xyz/0xeB125d270FC1…
数独，一种数字游戏，玩家需要在空格内，任意填上 1-9 ，使每一行、每一列、每个粗线格（33格）内的数字，均包含 1-9，且不重复。
奇异博士和绿巨人很喜欢玩数独。
3/X
有天，奇异博士给绿巨人出了一道很难的数独，把绿巨人难住了。
绿巨人觉得这题可能根本无解。但博士有办法，在不让绿巨人知道解的前提下，让他相信有解。
这就是零知识证明的原理。
博士拿出 81 张牌，按照解法摆好，把“答案”翻过去，只让题面卡牌朝上。
有天，奇异博士给绿巨人出了一道很难的数独，把绿巨人难住了。
绿巨人觉得这题可能根本无解。但博士有办法，在不让绿巨人知道解的前提下，让他相信有解。
这就是零知识证明的原理。
博士拿出 81 张牌，按照解法摆好，把“答案”翻过去，只让题面卡牌朝上。
4/x
摆放过程不让绿巨人看。放好后，才让绿巨人过来。
博士拿出 9 个纸袋，把同一行的卡牌收起来，放到同一个袋子里，打乱顺序。9 行卡牌分别放进了 9 个袋子里。
打开每一个袋子，看看里面的卡牌是不是1-9。如果是，证明有解；反之无解。
摆放过程不让绿巨人看。放好后，才让绿巨人过来。
博士拿出 9 个纸袋，把同一行的卡牌收起来，放到同一个袋子里，打乱顺序。9 行卡牌分别放进了 9 个袋子里。
打开每一个袋子，看看里面的卡牌是不是1-9。如果是，证明有解；反之无解。
5/x
接着博士再次摆好卡牌，绿巨人又按照每一列和每个 33 粗线格的顺序，验证。 结果还是一样，每个袋子里的卡牌按 1-9 排列。
绿巨人相信这道题有解，但他不知道解是什么。
接着博士再次摆好卡牌，绿巨人又按照每一列和每个 33 粗线格的顺序，验证。 结果还是一样，每个袋子里的卡牌按 1-9 排列。
绿巨人相信这道题有解，但他不知道解是什么。
6/x
小结：
1）零知识证明，有两类参与者：证明者 Prover 和验证者 Verifier。证明者生成证明，在无需提供其他信息的情况下，可向验证者证明信息为真。
小结：
1）零知识证明，有两类参与者：证明者 Prover 和验证者 Verifier。证明者生成证明，在无需提供其他信息的情况下，可向验证者证明信息为真。
7/x
2）性质：
完备性（Complete）：证明者若确实掌握答案，则可向验证者证明为真，即真的假不了。
合理性（Sound）：证明者未掌握答案，则无法证明为真，即假的真不了。
零知识性（Zero-Knowledge）：证明过程中，验证者除了校验证明本身外，不会获得其他信息。
2）性质：
完备性（Complete）：证明者若确实掌握答案，则可向验证者证明为真，即真的假不了。
合理性（Sound）：证明者未掌握答案，则无法证明为真，即假的真不了。
零知识性（Zero-Knowledge）：证明过程中，验证者除了校验证明本身外，不会获得其他信息。
8/X
3）主要应用方向：隐私、扩容、DID、预言机、合成资产等
4）交互式证明是其中一种验证方式。
故事中，博士和绿巨人持续互动。这叫“交互式证明”，验证者和证明者持续交互。
有点像数学老师出的算术题，若学生都能答对，则可认为学生已掌握算数技巧。
但问题是，万一阅卷老师和考生串通呢？
3）主要应用方向：隐私、扩容、DID、预言机、合成资产等
4）交互式证明是其中一种验证方式。
故事中，博士和绿巨人持续互动。这叫“交互式证明”，验证者和证明者持续交互。
有点像数学老师出的算术题，若学生都能答对，则可认为学生已掌握算数技巧。
但问题是，万一阅卷老师和考生串通呢？
• • •
Missing some Tweet in this thread? You can try to
force a refresh
