找回密码
 立即注册
  • QQ空间
  • 回复
  • 收藏

闲聊零知识证明:一个钢铁直男的证明

周继东| 2019-4-23 06:44 阅读 1745 评论 0

自上次发了《趣说安全多方计算 | 如何用密码学玩转暗军棋游戏?》的文章之后,不少小伙伴表示对安全多方计算很感兴趣,对李雷和韩梅梅孤男寡女共处一室更感兴趣。所以,今天我们的故事还是从李雷和韩梅梅开始。

这次,他们玩的是数独,相互出题给对方解答,一共玩三个回合,输的要请对方吃一个月饭。

Tips:数独是源自18世纪瑞士的一种数学游戏,是一种运用纸、笔进行演算的逻辑游戏。玩家需要根据9×9盘面上的已知数字,推理出所有剩余空格的数字,并满足每一行、每一列、每一个粗线宫(3*3)内的数字均含1-9,不重复。

闲聊零知识证明:一个钢铁直男的证明

两个回合过后,两人战成了平局。第三个回合,韩梅梅率先取得一分,然后对李雷说:

“时间不早了,估计你也赢不了,要不不玩了,你直接认输吧,咱们还可以干点别的事情。”

闲聊零知识证明:一个钢铁直男的证明

李雷这个直男一听就不乐意了,心想:你这不是耍赖吗,我这么学富五车、才高八斗、绝顶聪明的人怎么可能输给你呢?然后就绞尽脑汁给韩梅梅又出了一个数独题。

韩梅梅一脸嗔怒,但看着李雷坚定的表情,只好再次去解题。果然这道题难度极高,韩梅梅想了一个小时也没解出来。然后,开始则怪李雷:

“你是不是故意难为我,出了道根本没有答案的题?都这么晚了,你认个输就不行吗?”

李雷一听急了,说:“是你太笨了,花了一个小时都还没解出来。我可以在不告诉你答案的情况下,证明这道题是有解的!”说完便开始他“神奇”的证明过程。

李雷把答案填写到数独题上,并将纸背扣。然后在韩梅梅的监督下,到楼下复印店复印了3份。随后,又去找了27个小袋子和一把剪刀。

闲聊零知识证明:一个钢铁直男的证明

李雷将复制的第一张纸的每一行的数字挨个剪下来分别放入一个袋子中,9行数字共放入9个袋子;将复制的第二张纸的每一列的数字挨个剪下来分别放入一个袋子中,9列数字共放入9个袋子;将复制的第三张纸的每一个宫(粗线3*3正方形)的数字挨个剪下来分别放进一个袋子中,9个宫数字分别放入9个袋子。剪法大致如下图:

闲聊零知识证明:一个钢铁直男的证明

随后将27个袋子交给韩梅梅检查,如果每个袋子都有1到9的纸片各1张,则证明李雷出的题目是有解的。三张复印的纸分别校验了数独正确答案的3个条件,而且在这个过程中韩梅梅并不知道答案(数字的正确排列顺序)。

韩梅梅“绝望”地看了李雷一眼,依次打开了27个袋子,然后告诉李雷自己输了,客气地将李雷请了出去……

从此,李雷就再也联系不上韩梅梅了。

闲聊零知识证明:一个钢铁直男的证明

在故事里,我们把李雷的这个证明叫做“一个来自钢铁直男的证明”。

而现实中李雷证明数独有解的方法叫做零知识证明(Zero -Knowledge Proof),它指的是证明者能够在不向验证者提供任何有用的信息的情况下,使验证者相信某个论断是正确的。

零知识证明是密码学中的另一项黑科技,可用于数字签名、密钥互换、交易验证等隐私保护等场景。

本文仅代表作者个人观点,不代表巨推链平台发声,对文章观点有疑义请先联系作者本人进行修改,若内容非法请联系平台管理员,邮箱cxb5918@163.com。更多区块链资讯,请到百万区块链发烧友聚集平台巨推链www.jutuilian.com学习区块链技术请到巨推学院www.jutuiedu.com
文章点评
2019-05-24 08:31
+场景 “区块链+”时代的下个风口 罗斯柴尔德家族正式进入区块链市场
政策法规【罗斯柴尔德家族正式进入数字货币市场】据媒体报道称,AFCOIN流通数字货币的 <详情>
2019-05-23 15:22
数字币 出空块引争议,比特币现金中心化落下实锤?
从以往比特币现金(BCH)的发展来看,每次网络升级前币价都会大涨,这次也不例外。随 <详情>
2019-05-23 17:19
+场景 (干货)区块链+行业应用分析
一、区块链+行业应用统计下面的3张表基本上将近三年来ICO行业演变情况展现出来,行业 <详情>
2019-05-23 18:36
数字币 美司法部再下一城:两男子搭“暗网之门”被起诉 5年收8000比特币
每经记者:刘永生 每经编辑:卢九安图片来源:摄图网昨日,比特币期货最近逾九个月以 <详情>
2019-05-24 00:07
数字币 区块链日报:韩国政府宣布成立区块链法规第二研究小组
区块链日报:韩国政府宣布成立区块链法规第二研究小组NYMEX交易商:BTC可能很快回到70 <详情>
2019-05-23 22:42
数字币 LOL:国服出台试炼币补偿奖励,部分玩家获得补偿
国服昨天公布了一则补偿公告,虽然我也知道昨天很多人心情不太好,IG止步4强,说再多 <详情>
2019-05-23 23:09
数字币 由于缺乏管辖权,Bitfinex和Tether提出撤诉
根据5月21日的法庭文件,Bitfinex和Tether律师正在撤销他们正在进行的与纽约州检察长 <详情>
2019-05-24 09:48
数字币 火币集团入驻半年 桐成控股业绩由盈转预亏
每经记者:潘婷 每经编辑:姚祥云图片来源:摄图网5月14日,港交所上市公司桐成控股有 <详情>
2019-05-24 02:08
+场景 从事区块链行业的女性,有多酷?
免责声明:本文不构成任何投资建议。小编:记得关注哦文章来源: 五六财经作者:JohnC <详情>
2019-05-24 04:43
数字币 为挖比特币,大妈偷电上万度,被判刑4个月!
一名1958年出生的唐山常姓女子,为运行比特币矿机“挖矿”,在2018年1月11日至10月2日 <详情>
2019-05-24 05:00
数字币 多少资金能砸崩比特币?2700万美元就够了
免责声明:本文不构成任何投资建议。小编:记得关注哦文章来源:TLABResearch 01产业 <详情>
2019-05-23 21:46
+场景 区块链+溯源行业研究报告
本文仅代表作者个人观点,不代表巨推链平台发声,对文章观点有疑义请先联系作者本人进 <详情>
2019-05-23 14:19
+场景 “区块链+人工智能”在未来有怎样的发展?
区块链与人工智能、大数据作为并驾齐驱的三驾马车,正引发新一代信息技术创新和产业变 <详情>
2019-05-24 09:31
数字币 比特币衍生品交易所交易量创下纪录,市场释放买入信号
加密货币研究公司Diar发布的一份报告中指出,机构交易员最近在比特币(BTC)衍生品交易 <详情>