原标题:科普 | 最强白话讲懂零知识证明
零知识证明 zero-knowledge proofs,简称ZKPs,我们都知道区块链本身的一个关键优势就是透明性,但是在很多情况下,智能合约应用却出于各种商业或法律原因需要保障数据隐私,比如传入真实有效的数据来触发智能合约执行,但这涉及到信息会有泄露的风险。如何避免这种情况的发生呢?零知识证明的出现很好地解决了这个问题。
零知识证明(Zero Knowledge Proof)的研究最早始于1985年,由MIT教授Shafi Goldwasser, Silvio Micali 和 密码学大师Charles在《The Knowledge Complexity of Interactive Proof-Systems》论文中提出。正是这篇文章提出了 零知识证明 这个伟大概念,并逐步成为了现代密码学理论的根基之一,而Shafi Goldwasser和Silvio Micali也于2012 年获得了有“计算机界诺贝尔奖”之称的图灵奖。零知识证明系统所要完成的任务是「证明某一个事实并且不泄露知识」。这个过程就是零知识证明。
Bakkt以监管不明确为由下架ADA、MATIC、SOL:6月16日消息,加密交易所Bakkt以监管不明确为由下架ADA、MATIC、SOL。此前5月消息,受监管因素和行业发展影响,Bakkt大规模下架了多种数字资产。Bakkt的一位发言人表示,在完成对Apex Crypto的收购之后,作为交易所常规代币上市审查程序的一部分,我们决定在平台上下架一些代币。[2023/6/16 21:42:33]
听起来还是有些晦涩难懂?讲个简单的例子:
阿里巴巴的故事想必大家都听过,有一天,劫匪抓住了阿里巴巴,拷问他想要得到进入山洞的咒语,但是聪明的阿里巴巴知道,如果把咒语告诉了劫匪,那么他也就彻底没有了价值,肯定会将他杀掉,死活不说,那么也会杀掉他,于是他想到一个好办法,即能不泄露咒语,又能让劫匪相信他知道咒语。
迪士尼CEO:过去一年一直在探索如何利用Web3技术:9月14日消息,在迪士尼两年一度的 D23 Expo 大会上,该公司首席执行官鲍勃·查佩克称迪士尼正在继续探索和制定虚拟世界计划,而且在过去一年时间里一直在悄悄探索如何利用 Web3 技术。鲍勃·查佩克表示,迪士尼希望使用来自物理世界和数字世界的数据来推动其元宇宙战略,来自主题公园访问数据和消费者流媒体习惯数据将使迪士尼元宇宙战略中最关注的两大领域。(nftevening)[2022/9/14 13:30:06]
阿里巴巴说:“你们离我一箭远,然后用弓箭指着我,当你们举右手我会念咒语打开石门,当你们举左手我会念咒语关上石门,如果我逃跑或没有做到,证明我不知道咒语,你们可以一箭杀掉我。”劫匪同意了这个提议,多次尝试后阿里巴巴都成功按照指示让石门打开或关上了,但是由于有一定距离,他们听不清楚咒语到底是什么,就这样,阿里巴巴没有透露任何消息就向劫匪证明了他的真实性。
Crypto.com向一女子误转1050万美元,半年后发现并提起诉讼:8月30日消息,据外媒报道,Crypto.com 向一女子误转 1050 万美元,半年后发现并提起诉讼。去年 5 月,澳大利亚墨尔本一女子在向 Crypto.com 申请 100 美元退款时,误被转入 1050 万美元,随后该资金被用于购入一处房产。7 个月后,Crypto.com 在最高法院对其提起诉讼以追回这笔资金。目前,法官下令该女子出售房产,并返还剩余款项。[2022/8/30 12:57:59]
这个例子非常简单,虽然只是零知识证明机制简单的概念演示,真正的零知识证明运用的是密码学,在不透露数据的情况下证明数据的存在。总而言之,要创建零知识证明,验证者(劫匪)需要让证明者(阿里巴巴)执行一系列操作,而证明者只有在得知底层信息的情况下才能正确执行。如果证明者乱蒙一个结果,那么验证者极有可能在验证中发现并证明他的错误。那么零知识证明应用在区块链中有哪些价值呢?
自从这个概念被提出来后,人们就将其应用到了各个领域,比如身份认证系统、存证系统、数据共享、水印检测,密钥交换等等,在隐私数据越来越受到大家关注的今天,零知识证明在隐私数据保护的应用中大放异彩:
保护隐私数据:日常生活中,比如只想证明考生及格了,但不想透露具体考了多少分;买保险的时候,只想证明自己没有心脏病,却不想暴露病例的所有信息,不管是哪种信息,都可以把不想暴露的部分换成一个很像随机数字的零知识证明,能够证明数据真实可信。
身份认证:在使用网站时,用户可以向网站证明他拥有私钥,或者知道某个只有自己才知道的答案,网站不用知道密钥,但可以通过零知识证明确认用户身份,通过去中心化存储,服务器可以向用户证明数据被妥善保存下来且不被泄露。
计算压缩与区块链扩容:在传统的区块架构中,同样的计算被重复多次,比如签名校验,交易的合法性校验,智能合约执行等一些其他的地方,因为有了计算的证明,同一个计算就不需要多次重复了,计算过程可以被零知识技术证明压缩。
由此,零知识证明真正解决了「数据的信任」,实现了「隐私数据的保护」,也让区块链真正实现了「信任机器」这一构想。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。