原标题:科普 | 最强白话讲懂零知识证明
零知识证明 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 年获得了有“计算机界诺贝尔奖”之称的图灵奖。零知识证明系统所要完成的任务是「证明某一个事实并且不泄露知识」。这个过程就是零知识证明。
瑞银发言人:中银国际在以太坊上发行的代币化票据不涉及中央证券存管机构:6月19日消息,中银国际首次在以太坊上成功发行2亿元人民币全数字化结构性票据,该产品由瑞银负责发起。虽然传统票据需由中央证券存管机构(CSD)持有,但这款证券产品是作为智能合约创建并直接在以太坊网络上注册,因此不涉及CSD,而选择以太坊这样的公共区块链可以实现不同市场参与者之间更大的互操作性和连接性,瑞银客户可以使用法定货币购买该产品,同时瑞银担任该产品的托管人,中银国际副首席执行官Ying Wang则在此前一份声明中表示该产品专为亚太地区的客户设计。[2023/6/19 21:46:04]
听起来还是有些晦涩难懂?讲个简单的例子:
Nike旗下RTFKT修改一CloneX元素为詹姆斯相关唯一属性:9月9日消息,据OpenSea数据显示,CLONE X - X TAKASHI MURAKAMI系列NFT创作母公司RTFKT已于近期将其CloneX #7968 NFT作品嘴部特征改动为“LBJ Beard”,头部特征改动为“CHOSEN 1 CRWN”,两个新特征均为唯一属性(1 of 1)。
据悉,嘴部特征“LBJ Beard”为“詹姆斯胡子”,头部特征“CHOSEN 1 CRWN”取自詹姆斯个人“皇冠”Logo及其背部纹身“CHOSEN 1”。而加密时尚潮牌RTFKT于2021年12月被耐克收购,且耐克于2015年与詹姆斯签有终身合同,故市场推测本次改动与后续相关合作有关。[2022/9/9 13:19:12]
阿里巴巴的故事想必大家都听过,有一天,劫匪抓住了阿里巴巴,拷问他想要得到进入山洞的咒语,但是聪明的阿里巴巴知道,如果把咒语告诉了劫匪,那么他也就彻底没有了价值,肯定会将他杀掉,死活不说,那么也会杀掉他,于是他想到一个好办法,即能不泄露咒语,又能让劫匪相信他知道咒语。
Hasu:Zhu Su声称的Starkware Token认股权证已于7月5日到期,清算人未兑现收购要约:7月12日消息,针对Zhu Su社交媒体内容,Flashbots战略主管Hasu表示,Zhu Su声称的Starkware Token认股权证已于7月5日到期,清算人未兑现StarkWare Token收购要约,现在Starkware Token没有了。
此前,Zhu Su 在个人社交媒体上披露了两封其律师与三箭债权人之间的电子邮件,邮件内容显示,债权人 Russell 假意提供帮助并与 Zhu Su 商议了清算解决方案,而后未履行,并将协调过程中三箭资本方提供的资料递交至美国法院。三箭资本方律师表示,债权人未能兑现 StarkWare 收购要约已导致公司蒙受重大损失,其债权人、投资者和公司股东的权利将因此受到不利影响。[2022/7/12 2:08:28]
阿里巴巴说:“你们离我一箭远,然后用弓箭指着我,当你们举右手我会念咒语打开石门,当你们举左手我会念咒语关上石门,如果我逃跑或没有做到,证明我不知道咒语,你们可以一箭杀掉我。”劫匪同意了这个提议,多次尝试后阿里巴巴都成功按照指示让石门打开或关上了,但是由于有一定距离,他们听不清楚咒语到底是什么,就这样,阿里巴巴没有透露任何消息就向劫匪证明了他的真实性。
这个例子非常简单,虽然只是零知识证明机制简单的概念演示,真正的零知识证明运用的是密码学,在不透露数据的情况下证明数据的存在。总而言之,要创建零知识证明,验证者(劫匪)需要让证明者(阿里巴巴)执行一系列操作,而证明者只有在得知底层信息的情况下才能正确执行。如果证明者乱蒙一个结果,那么验证者极有可能在验证中发现并证明他的错误。那么零知识证明应用在区块链中有哪些价值呢?
自从这个概念被提出来后,人们就将其应用到了各个领域,比如身份认证系统、存证系统、数据共享、水印检测,密钥交换等等,在隐私数据越来越受到大家关注的今天,零知识证明在隐私数据保护的应用中大放异彩:
保护隐私数据:日常生活中,比如只想证明考生及格了,但不想透露具体考了多少分;买保险的时候,只想证明自己没有心脏病,却不想暴露病例的所有信息,不管是哪种信息,都可以把不想暴露的部分换成一个很像随机数字的零知识证明,能够证明数据真实可信。
身份认证:在使用网站时,用户可以向网站证明他拥有私钥,或者知道某个只有自己才知道的答案,网站不用知道密钥,但可以通过零知识证明确认用户身份,通过去中心化存储,服务器可以向用户证明数据被妥善保存下来且不被泄露。
计算压缩与区块链扩容:在传统的区块架构中,同样的计算被重复多次,比如签名校验,交易的合法性校验,智能合约执行等一些其他的地方,因为有了计算的证明,同一个计算就不需要多次重复了,计算过程可以被零知识技术证明压缩。
由此,零知识证明真正解决了「数据的信任」,实现了「隐私数据的保护」,也让区块链真正实现了「信任机器」这一构想。
标签:AREWAREWARARKnewbitshareshardwaretokenAPWarsMarko Finance
2021年,在以热点更迭速度快而著称的加密资产领域,NFT从以太坊2.0、比特币Taproot升级、Layer 2、EIP-1559、插槽拍卖等重磅事件中脱颖而出,成为了业内最受瞩目的板块.
1900/1/1 0:00:00这是对信标链提议的一个替代设计方案,信标链可以在比较远的未来切换到这个模型 (替代现在计划的 CBC),它试图提供以下一些关键特性:在正常情况下.
1900/1/1 0:00:00本周,CoinList从500多个加密初创项目中选择了8个作为最新的秋季项目。与之前的批次相比,一个重要的趋势是多链,如Solana, Terra和Polygon,或为Filecoin矿工提供软.
1900/1/1 0:00:00随着以太坊的出现以及其生态系统的发展,为了满足更多投资者对于风险控制和退出的需求,稳定币随之出现。稳定币已经成为加密市场中最为常见和最为实用的价值媒介之一.
1900/1/1 0:00:00编者按:L2 网络 Arbitrum One 自今年 9 月 1 日正式上线以来,因其提供廉价和快速的用户体验而迅速获得了巨大的吸引力.
1900/1/1 0:00:0030秒快读1通过VR、AR、人工智能、区块链等技术,现实中的你,可以以另一种身份“活”在元宇宙里。2从诞生起,元宇宙会被各国政府天然警惕,并被纳入监管范围,“蒙眼狂奔”是不可能的.
1900/1/1 0:00:00