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

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

周继东| 2019-4-23 06:44 阅读 1788 评论 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-08-21 14:09
数字币 英国脱欧将如何促进比特币价格上涨?
英国脱欧,即英国试图退出欧元区,已经拖延了一段时间。随着事态变得紧张,英国准备不 <详情>
2019-08-21 10:56
技术 共享算法很危险?除非你的算力够多
上周,Charlie Lee表示,莱特币(LTC)控制了其“Scrypt”挖矿算法98%的算力,这对LTC <详情>
2019-08-20 21:09
数字币 比特币真是最安全的储存财富的方式?那可不一定
在美国东部,当地时间的8月19日下午4点,一个自称为比特币创始人“中本聪”的人如约在 <详情>
2019-08-21 14:35
+场景 当变局依然是主流,何为区块链未来的可确定性?
作者: 孟永辉 文/孟永辉人们对于区块链的热情似乎永远都没有削减过,不同类型的区块链 <详情>
2019-08-21 10:12
数字币 央行即将推行数字货币,比特币要凉?
近日,央行支付结算司相关负责人在金融四十人论坛上介绍了央行数字货币研发的情况。央 <详情>
2019-08-21 11:49
数字币 价格下跌50%?比特币即将进入最大的牛市?
随着比特币从远超1.1万美元跌至1万美元左右,币圈出现了一些混乱。摩根溪(Morgan Cre <详情>
2019-08-21 14:46
数字币 比特币面遭遇进一步损失后,试探11,000美元的价格关卡失败
比特币在4小时图上创造了一个上升的楔形模式。如果确认,楔形击穿可能会导致跌至10,00 <详情>
2019-08-21 09:35
数字币 当山寨币变成幽灵时,poloniex会减少更多的加密对
山寨币的热度肯定处于低点,以至于加密交易所Poloniex以交易量小为由,已经减少了23对 <详情>
2019-08-21 10:33
数字币 搭建山寨比特币投资网站 可群里除了被害人都是骗子
网络图片“你了解过比特币、区块链吗?新人注册享100元体验券,无风险高收益!”“指 <详情>
2019-08-21 09:09
+场景 “去中心化”的区块链技术,能否颠覆“中心化”B/S架构?
点击关注,静心科技为您提供不一样的静心视角。美国东部时间8月18日,一位号称“中本 <详情>
2019-08-21 17:55
数字币 比特币白皮书解读,十分钟看懂比特币
目录:一、比特币是什么?二、 比特币简明工作原理三、比特币的创新与特性四、比特币 <详情>
2019-08-20 22:02
数字币 以“炒鞋”的刷屏来说明比特币的未来
今天大侠翻朋友圈发现被‘炒鞋’刷屏了,吓得我赶紧买了两双Yeeyz,当然我是买来穿, <详情>
2019-08-21 09:26
数字币 数字货币的终极未来 流动性陷阱还会存在吗?
货币体系的信用演进和载体演进从货币本质来看数字货币,我们先要看货币体系的两个演进 <详情>
2019-08-21 17:53
数字币 8/21日币圈行情分析!价格下跌?比特币即将进入最大的牛市?
币圈这个词越来越火,被更多的投资者所知晓,数字货币投资具备以小博大、不间断交易、 <详情>
2019-08-21 12:06
数字币 火星午行情 | 比特币全球均价10415.66美元,24小时跌幅3.82%
免责声明:本文旨在传递更多市场信息,不构成任何投资建议。文章仅代表作者观点,不代 <详情>
2019-08-21 14:18
数字币 是什么原因导致比特币价格在10000美元左右苦苦徘徊?
尽管加密分析师和高盛(Goldman Sachs)等机构做出了积极的预测,但比特币价格仍在5位数 <详情>
2019-08-20 22:03
业界 追责趣步背后传销团队,只差一个维权共识
作者丨Yori来源丨默尔财经号称5000万用户的趣步资金盘,已经命悬一线,昨日的狂欢即将 <详情>
2019-08-21 15:57
政策 监管机构应主动引导鼓励区块链领域创新
1、中国电子技术标准化研究院宣布开启第六批区块链系统功能测试工作中国区块链技术和 <详情>
2019-08-21 14:21
政策 关于央行数字货币的几点考虑
近年来,各主要国家和地区央行及货币当局均在对发行央行数字货币开展研究,新加坡央行 <详情>
2019-08-21 17:26
业界 趣步,一个恶俗套路的区块链传销骗局
今天的主角是趣步。很多大宝贝可能听过,或者身边有人正在玩趣步,这到底是个嘛玩意儿 <详情>