本文翻译自AvivZohar的博文《TheIncredibleMachine》。这是小编看过的最接地气、最好理解的“零知识证明”解释。推荐大家一定要看!本文分为两部分,第二部分将于下期小课堂发布。
小A、小B、小C三个小朋友是学霸,非常喜欢玩数独游戏,而且经常凑一起解决难题,以此证明自己更聪明。
他们还经常喜欢挑战高难度的,比如这样的:
美国佛罗里达州州长:拜登政府希望取缔加密货币:金色财经报道,美国佛罗里达州州长 Ron DeSantis 在最近的新闻发布会上表示,拜登政府希望取缔加密货币,他们不喜欢加密货币,因为他们无法控制加密货币,所以他们想把所有东西都放在央行数字货币(CBDC)中。
DeSantis 可能是明年大选的总统候选人,他此前曾指责拜登总统通过CBDC这项技术进行监视和控制,DeSantis在本周表示,该州禁止央行数字货币的立法正在推进。但如果美联储或财政部试图单方面这样做,在佛罗里达州,我们将禁止这样做。而且我认为这是确保人们财务独立并确保我们没有金融监督国家,在那里他们知道你正在进行的每一笔交易。[2023/5/5 14:43:42]
小A是三个小朋友中最聪明的,他会自己出题,并且设置一些规则,给另外两个小伙伴去解。
证明
ApeCoin社区投票否决“推出Web3流媒体平台”的AIP-222提案:4月13日消息,Snapshot页面显示,ApeCoin社区关于“推出由ApeCoin支持的Web3流媒体平台”的AIP-222提案投票已结束,未获得通过。该提案反对率为49.33%,支持率为33.88%。
该提案提议通过推出Web3流媒体平台,允许内容创作者通过自己的网络进行传播,直接到达社区,获得更大的广告费份额,保留其知识产权,并与社区分享一定比例的广告收入。该平台利用广告商(AVOD)和FAST渠道,并创建了一个新的三方收入分享选项,以增强全球独立创作者的能力,并将新的消费者引入APE生态系统的回报中。[2023/4/13 14:01:03]
有一天,小A出了一道非常难的题,小B花了很长时间,就是解不开,于是:
小B生气了:“小A,这个数独题根本无解,你这是耍我,想看我出丑!”
OpenSea Seaport以太坊链上交易额突破22亿美元,交易量超700万笔:金色财经报道,据Dune Analytics最新数据显示,基于开源NFT协议Seaport的OpenSea以太坊链上总交易额已突破22亿美元,本文撰写时为2,209,023,379美元,以太坊链上总交易量7,074,801笔,独立用户量1,039,817个。[2022/12/5 21:22:24]
小A一脸王者之气:“我能证明给你看这题是有解的,而且我知道这个解。”
小B:“行,我等着”。同时,内心OS:等你解出来之后,我就把答案记下来,再去测试小C。
小A:“我会用‘零知识证明’的方法给你证明我会解这题。也就是说我不会把解给你看,但你却明白我确实有这题的解。”
小B:“emmm试试吧。”内心OS:别BB了,快点,我还要去看小C吃瘪呢。
DeFi协议总锁仓量跌至750.56亿美元,近24小时内跌超5%:金色财经消息,据Defi Llama数据显示,DeFi协议总锁仓量(TVL)跌至750.56亿美元,近24小时跌幅为5.32%。[2022/6/18 4:35:57]
承诺
小A拿出81张空白卡片,在每张卡片上写上1-9中的一个数字,并按9x9的矩阵形式,将卡片排列在桌上。代表谜底的卡片,数字面朝下放在桌上;代表谜面的卡片,数字面朝上放在桌上。
随机挑战
小B内心很激动,这就像学霸花很长时间没有解出的附加题,但即将在另一个学霸那看到解题步骤和答案,能不激动吗。
STEPN发布0.6.6版本:新增双重认证等功能:5月16日消息,Move to Earn 应用 STEPN 在社交媒体上发文宣布,该应用 0.6.6 版本已正式上线,新版本添加的主要功能包括:新增双重认证、优化配置文件设置、增加 GST 每日上限增加选项(用户达到每日 GST Token 上限的 90% 后才能看到该选项)、新增消费账户交易记录等。[2022/5/16 3:19:28]
小A这时说:“小B,你不能偷看这些面朝下的卡片”。小B很失望,还以为很快就能知道答案了呢。
小A接着说:“但我能让你检验这些解,你可以随意挑一行,或一列,或者一个3x3的九宫格区域来检验我的解。”
小B决定挑一行来检验。接下来,小A把每一行的9张卡片收起来,每行单独放到一个袋子里。总共9行,所有卡片都被收完放在了9个袋子里。小A摇了摇每个袋子,把里面的卡片顺序打乱,然后把9个袋子递给小B。
小B很困惑,心想这是什么鬼?
验证
小A:“好了,你可以打开袋子了。每个袋子里应该都正好有9张卡片,这9张卡片上的数字分别是1-9。”小B打开袋子一看,还真是这样。
小B:“你耍赖,这根本没有证明任何事!我也可以做到,我只要把数字从1到9按任意顺序排成一行不就行了!。”
小A解释说:“我又不会读心术,我可不知道你事先会按照行来选,还是按照列或者九宫格来选。你之前如果按照列来选,照样能够得到这样的结果。”
事实上,只有正确的解,才会得到这样的结果,即有了正确的解,任意行、列、九宫格内的数字才会是1-9不重复的数字。如果小A的解不正确,至少有30%的概率得不到这样的结果。
重复测试
小B还是不服气,他根本没有被小A说服,仍然认为这道题无解。他要求小A按照原来的方法重来一次,他重新测试。后来,他们又重新做了好多次这个测试,无论小B选择行,还是选择列,或者选择一块九宫格,都能得到相同的结果。
这下小明不得不承认,小A确实知道这道题的解,因为小A不可能运气好到每次都压中小B会选择哪一行、哪一列或哪一块,毕竟小A不是他肚子里的蛔虫。小A很失望,这么多次测试做完,他还是不知道答案,他只知道每次的排列里,很可能每一行、每一列、每个九宫格确实包含了数字1-9,并且没有重复的数。这很有可能是小A在知道答案的情况下才能实现的。
后来小C也知道了这个方法,此后三个小伙伴养成了通过零知识证明去证明给对方看自己知道某道题的解的习惯。虽然每次证明所需的时间都很长而且还挺累人的,但每个数独谜题都是自己花费很长时间才解出来的,才不想把答案告诉其他人呢。
越来越多的人加入游戏
后来,小A发现世界上有成千上万的数独爱好者,很多人都通过线上玩。所以他决定开个抖音直播间,这样他可以在线上发布他独创的数独挑战,让更多人来解谜题。
做这样直播的人很多,怎样才能吸引更多粉丝呢?小A想了一个办法:他和小B联合直播,每次直播时让小B用零知识证明的方法向观看直播的粉丝们证明这题有解,并且自己知道这道题的解,但不会轻易告诉粉丝。就这样,越来越多的粉丝进入直播间,想要解出小A出的谜题。不仅如此,小A还会把数独挑战的谜题以及证明过程拍下来,发到个人频道上。
作假被发现了
有一天,小A又来找小B一起直播,但他发现自己把记录谜题答案的笔记本落家里了。开播时间马上到了,回去拿又赶不上。于是,他和小B商量说:“我们假装做一个零知识证明。”两人一起商定了等会儿小B该如何“随机地”选择行、列、块,因为小A事先就知道小B会选择什么,他只需要按照顺序摆好数字就行了。
小C也看了这场直播,事后小A和小B告诉小C,这次直播作假了。小C很气愤,觉得自己的感情受到了,并且扬言再也不会相信他们俩了,他们根本对不起那么多粉丝对他们的喜欢。
未完待续......
小C很生气,后果很严重。预知后续情节,且听下回小课堂分解。
原文链接:https://medium.com/qed-it/the-incredible-machine-4d1270d7363a
标签:加密货币SEAAPEDEF加密货币市场规模blockchainresearchandapplicationapecoin币作为货币总量固定Defend Animals Foundation
根据CoinDesk的数据,2020年3月比特币价格在阶段性高位震荡调整一段时间后,在3月12日跳水并快速下跌,酿成了近期著名的“3.12暴跌”,由于近一年合约交易规模的增长.
1900/1/1 0:00:00越来越多的数据表明,5月的比特币区块奖励减半将引发比特币价值的显着增长。最新的分析表明,这种旗舰加密货币将在今年余下时间缓慢上升,并最终超过其历史新高.
1900/1/1 0:00:00编者注:原标题为《为什么建议你不要做合约?》最近数字货币市场行情剧烈波动,昨天又听到群里的一个朋友说自己做合约爆仓了,有些感慨,所以决定专门写一篇关于合约的文章.
1900/1/1 0:00:00作者:小李出品:币圈小李&星传媒 伊朗军事首领苏莱曼尼遇袭身亡,美伊关系再度紧张、澳大利亚森林大火连烧数月,400余人丧生、新冠肺炎席卷全球,中国举全国之力抗疫……2020.
1900/1/1 0:00:00本文来源:Cointelegraph中文,作者:MICHAELKAPILKOV,原题《自黑色星期四以来,BitMex比特币持有量一直在流失》自黑色星期四以来.
1900/1/1 0:00:00注:原文来自BitcoinOptech在本周的比特币技术简报中,我们首先介绍了简化ECDSA适配器签名的研究工作,然后总结了常规的BitcoinCorePR评议俱乐部讨论内容,最后.
1900/1/1 0:00:00