零知识的证明:两个朋友的故事

本篇文章翻译自:https://medium.com/hackernoon/zero-knowledge-proofs-a-tale-of-two-friends-d7a0ffac3185。用了一个小故事讲解了零知识证明,浅显易懂。

在区块链世界中,经常会出现零知识证明。比如Zcash, Zerocoin。

但零知识证明的问题在于,如果不深入到基本的数学知识中去,就很难理解它们。

所以,我将把零知识证明协议描述为两个朋友的故事,在一个我们都能理解的场景中。

零知识证明

就像任何故事一样,在我们遇到主角之前,我们必须设定好场景。下面是一个零知识证明的故事背景。

  1. 一个很难解决的问题。
  2. 关于这个问题的陈述。

在这个故事中,这些指的是……

  1. 问题:魔方。
  2. 问题陈述:魔方处于当前未解状态。

现在我们可以介绍主要人物了。首先,我们请到了验证者佩吉。


证明者佩吉

佩吉是一个总爱发表声明的人。

当然,她希望人们相信她的说法。她想向人们证明她的声明是有效的。然而,这给她带来了一个问题。她通常不愿透露证实她说法的细节,因为那样会泄露她的知识……而知识就是力量!

以下是佩吉提出的一个声明。

我知道如何解决魔方问题(问题)从它目前的未解决状态(陈述)。

但是很自然地,她不想泄露她所知道的做这件事的方法。

我们的第二个角色是验证者维克多。


验证者维克多

他喜欢听佩吉的主张。然而,他只是想确保她不会对她所知道的事情做出毫无根据的断言,因为他不想让自己看起来像个傻瓜。

例如,他想知道验证者佩吉能否解出魔方。如果她能的话,一定会给他留下深刻的印象。

此时,我们有一个来自佩吉的声明,她是魔方(问题)当前状态(声明)的解决方案的证明者,她想向验证者维克多展示这个声明。她真的想让他知道,她确实知道一个验证她要求的解决方案,因为她喜欢给验证者维克多留下深刻的印象。

现在,在一个传统的证明(不是零知识的证明)中,有一个非常明显的方法(或协议),证明者佩吉可以给验证者维克多留下深刻印象并证明她的声明。他们可以见面,她可以在他面前解魔方……就是这样。

在这种情况下,验证者维克多100%确信,证明者佩吉在提出声明时没有撒谎。他确信她是值得信赖的。这真是太棒了! 验证者佩吉已经能够展示她的知识,而验证者维克多确信证明者佩吉并没有愚弄他。

然而,证明者佩吉对这种方法并不满意……验证者维克多可能会了解到一些关于她是如何解开魔方的信息。

零知识

如果证明者佩吉不信任验证者维克多,或者她不想透露她的秘密,该怎么办?如果验证者维克多也会做魔方,那么她对解决方案的知识就会贬值,她当然不希望她在完成之前就在他们共同的朋友面前解开魔方。

对于证明者Peggy来说,这些信息(解决方案)对她很有价值。她不想透露,但她还是很想向验证者维克多证明她知道一个解决方案,因为佩吉是一个爱炫耀的人。

所以她想,有没有一种方法,我仍然可以说服验证者维克多,让他相信我可以解开魔方(她的声明),但不透露我是如何解开魔方的?

那么,证明者佩吉需要隐藏什么呢?显然,她要在魔方的当前状态(陈述)和已解状态之间对其进行的一组移动。她甚至不愿透露她将要采取的任何行动。因为,即使验证者维克多在这两种状态之间看到一个移动,她也已经给出了一些关于她如何解出魔方的信息。证明者佩吉希望她的证明是一个零知识的证明,而不是一个微不足道的知识证明

因此,她提出了以下方案(或协议)。

零知识证明协议

协议

验证者维克多走了出去,找到一个黑盒子,把它放在凳子上。他在顶部和两边各开一个洞。然后他把未解的魔方放进去。

然后,证明者佩吉将她的手臂穿过侧孔,从上孔往下看。她在验证者维克多的监督下解开盒子里的魔方。当她完成后,她展示了立方体。

重要的是,验证者维克多看不到她在盒子里的动作。然而,他可以确信自己没有被欺骗,因为证明者佩吉不可能骗过他。比如说,她不可能有第二块刚从包里出来的、处于解出状态的立方体,随时准备用来偷偷的替换。他确信,他们商定的方案(或协议)是安全的,足以使他接受证明者佩吉的主张为真(协议的这一特性在文献中称为可靠性)。

更重要的是,这个协议满足了证明者佩吉的愿望:她已经能够说服验证者维克多她知道解决方案(在文献中称为完整性),而对她的方法却一无所知(在文献中称为零知识)。

她已经在零知中验证了自己关于魔方问题解决方案的声明,也就是一个零知识的证明!


他们对这个协议都很满意。证明者佩吉展示了她的知识,验证者维克多对她充满了敬畏。他们决定之后去喝一杯庆祝一下。

实际上,佩吉想要隐藏的信息可能是她的身份、她的签名或她拥有的某些特质。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 216,372评论 6 498
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,368评论 3 392
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 162,415评论 0 353
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,157评论 1 292
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,171评论 6 388
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,125评论 1 297
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,028评论 3 417
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,887评论 0 274
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,310评论 1 310
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,533评论 2 332
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,690评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,411评论 5 343
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,004评论 3 325
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,659评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,812评论 1 268
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,693评论 2 368
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,577评论 2 353

推荐阅读更多精彩内容

  • get发送网络请求的缓存机制 原因: 每次get请求时, 若路径相同, 浏览器会返回之前缓存的数据, 而不是真正的...
    Pamela_Liu阅读 322评论 0 0
  • 早上到的,阴天,凉快。 匆匆放下行李就去奔赴逃北者的早茶会了。说珠海不大的亲你出来,我保证我不踢死你!哈哈。公司的...
    南小希_c793阅读 1,268评论 3 4
  • 姓名:徐群杰 公司:宁波大发 【日精进打卡第18天】 【知~学习】 《六项精进》大纲1遍 ...
    徐群杰阅读 161评论 0 0
  • 我的嫁妆,亲自纯手工制作,大红色的爱。 弟弟妙手生花,全家在他的手下变得更美! 血缘关系的伟大之处在...
    荷田稻谷阅读 782评论 0 0