木星链 木星链
Ctrl+D收藏木星链
首页 > Uniswap > 正文

区块链:一文读懂零知识证明(ZKP)

作者:

时间:1900/1/1 0:00:00

区块链本身的一个关键优势就是透明性,然而在许多情况下,智能合约应用却出于各种商业或法律原因需要保障数据隐私,比如传入专有数据触发智能合约执行。现在,越来越多项目都采用零知识证明(ZKP)技术在公链上保护隐私。(注:零知识证明指一方向另一方发送加密证明,在不透露数据内容的情况下证明自己拥有某个数据。)在区块链网络中,零知识证明只披露某条隐藏信息是有效且为证明者所拥有的。

本文将详细探讨零知识证明如何保障隐私,而隐私保护是零知识证明对用户的核心价值。另外文中还会列举零知识证明在区块链上的各种用例,以及如何利用Chainlink的DECO技术建立保护隐私的预言机网络,证明数据来自某一web服务器的同时保护数据隐私,并实现向后兼容。

零知识证明的运行机制

零知识证明最早由MIT的Shafi Goldwasser和Silvio Micali在1985年一篇名为《互动式证明系统的知识复杂性》的论文中提出。作者在论文中提到,证明者(prover)有可能在不透露具体数据的情况下让验证者(verifier)相信数据的真实性。零知识证明可以是交互式的,即证明者面对每个验证者都要证明一次数据的真实性;也可以是非交互式的,即证明者创建一份证明,任何使用这份证明的人都可以进行验证。零知识证明目前有多种实现方式,如zk-SNARKS、zk-STARKS、PLONK以及Bulletproofs。每种方式在证明大小、证明者时间以及验证时间上都有自己的优缺点。

Harmony Bridge攻击者转移约390万美元资金:金色财经报道,据区块链安全审计公司Beosin旗下Beosin EagleEye安全风险监控、预警与阻断平台监测显示,2023年2月13日,Harmony Bridge攻击者正在持续转移被盗资产,今日共转移了2600余个ETH,价值约390万美元。

此前消息,2022年6月24日,Harmony开发的以太坊与Harmony间的资产跨链桥Horizon遭到攻击,损失金额约为1亿美元。[2023/2/14 12:04:48]

零知识证明有三个基本特征,即:

完整性:如果statement为true,则诚实的验证者可以相信诚实的证明者确实拥有正确的信息。

可靠性:如果statement为false,则任何不诚实的证明者都无法说服诚实的验证者相信他拥有正确的信息。?

零知识性:如果statement为true,则验证者除了从证明者那里得知statement为true以外,什么都不知道。

加密货币交易所今日清算了价值近2.15亿美元的多头头寸:金色财经报道,根据The Block的数据仪表板?,周四的清算量是自9月18日以来的最高水平,当时加密货币交易所清算了价值近 2.15 亿美元的多头头寸。在今天 2.03 亿美元的多头清算中,比特币占 4600 万美元,约占 22% 。[2022/10/14 14:26:57]

总而言之,要创建零知识证明,验证者需要让证明者执行一系列操作,而证明者只有在得知底层信息的情况下才能正确执行。如果证明者乱蒙一个结果,那么验证者极有可能在验证中发现并证明他的错误。

零知识证明概念演示,如何在不透露数据内容的情况下向对方证明拥有数据

如果要用一个概念直观地解释零知识证明如何证明用户拥有数据,可以想象一个山洞只有一个入口,洞里面有两条路(路径A和路径B),这两条路由一扇门连接,要说出密码才能通过这扇门。Alice希望向Bob证明她知道开门的密码,但不想将密码透露给Bob。因此,Bob需要站在山洞外,Alice从其中一条路走进山洞,而Bob并不知道她选了哪条路。接着,Bob指定Alice从其中一条路回到山洞入口(注:这是随机选择的)。如果Alice最初选择从路径A走到门口,但Bob让她从路径B回来,唯一的方法就是穿过那扇门,而穿过门必须知道密码。为了充分证明Alice真的知道门的密码,而不是运气好刚好选到了同一条路,这个过程可以反复重复好几次。

成都链安:Goldfinch项目的SeniorPool合约遭受攻击,项目方累计损失超54万美元:据成都链安“链必应-区块链安全态势感知平台”安全舆情监控数据显示,Goldfinch项目的SeniorPool合约遭受攻击,攻击者累计获利28523个USDC,项目方累计损失541158个USDC。经成都链安技术团队分析,本次攻击原因是攻击者可以利用Curve的FIDU-USDC池子获取FIDU代币,来获取SeniorPool合约抵押USDC代币的红利。目前Curve中FIDU兑换USDC为1:1.03, 而在SeniorPool中的比例为1:1.07,这就产生了套利空间。[2022/6/28 1:36:11]

这一步操作完成后,Bob就可以非常确信Alice知道门的密码,与此同时Alice也不用向Bob透露密码是什么。虽然以上只是零知识证明机制简单的概念演示,但真正的零知识证明运用的是密码学,在不透露数据的情况下证明数据的存在。在这个山洞的示例中有一个输入数据,一条路径和一个输出数据。在计算机中也存在类似的系统和电路,传入数据,数据通过某些电路门之后再输出。零知识证明利用了类似这种电路机制来创建证明。

ProShares推出的“Short Bitcoin Strategy ETF”第二个交易日交易量达3500万美元:6月23日消息,ProShares推出的做空比特币的交易所交易基金(ETF)“Short Bitcoin Strategy ETF”第二个交易日交易量超87万股(约3500万美元)。(Business Wire)[2022/6/23 1:26:43]

想象有这么一种计算机电路,传入数据,并输出某一抛物线上的值。如果用户能够对抛物线上的某一点连续给出正确答案,那么就可以确信他知道这条抛物线函数是什么,因为每一轮成功猜出正确答案的概率会越来越低。你可以把电路理解成Alice在山洞里走的路径。如果她能够顺利通过电路,那么就说明她极有可能知道穿过电路的“密码”。在不透露任何具体信息的情况下证明自己拥有数据,将带来许多关键价值,特别是对区块链领域而言尤为如此。

零知识证明的价值

零知识证明的主要价值是可以在以太坊等透明的公链上利用隐私数据集。区块链本质上透明度非常高,任何在区块链网络中运行的节点都可以查看并下载所有储存在账本中的数据,而区块链结合了零知识证明技术,可以让用户和企业用隐私数据来执行智能合约,并且不透露具体的数据内容。

迪拜房地产开发商DAMAC Properties年内已完成5000万美元的加密货币房地产交易:6月4日消息,总部位于迪拜的房地产开发商DAMAC Properties的首席运营官(COO)Ali Sajwani表示,自今年年初以来,该公司已经完成了价值5000万美元的加密货币交易。

在接受采访时,Sajwani表示,通过接受比特币或以太坊作为支付方式,DAMAC表明了该公司为了“受益于最先进的技术解决方案”将采取何种程度的行动。

当被问及用于完成房地产交易的支付机制时,Sajwani表示,已经选择了一家值得信任的中介机构来促进交易。Sajwani补充说,通过使用可信的金融中介,意味着DAMAC Properties能够消除价格波动的风险。据另外一篇报道,DAMAC Properties使用的合规中介机构是Havyn数字资产交易所。

与此同时,Sajwani还谈到了该公司在面对元宇宙时所面临的挑战或障碍。他认为,新兴技术的支持者面临的障碍之一包括“说服老一代决策者采取快速和积极的步骤,投资于这个新的和不熟悉的世界。”(Bitcoin.com)[2022/6/4 4:02:02]

供应链公司、企业和银行等传统实体希望创建并执行智能合约,但又为了在竞争中保持优势需要保护商业机密,因此在区块链网络中保障数据隐私就显得至关重要。另外,这些实体通常受到法律监管约束,必须保护客户个人身份数据隐私,并要遵守欧盟通用数据保护条例和美国健康保险便携性和责任法案(HIPAA)等各项法律法规。

联盟链的出现可以有效保护机构交易数据隐私,但联盟链在网络规模上却逊色于公链,公链可以覆盖全世界各地的用户,并形成巨大的网络效应。而零知识证明可以使这些机构安全地与公链网络交互,并同时保护内部敏感数据隐私。因此,零知识证明成功为传统企业激活了一些列公链的应用场景,推动创新,并建立更高效的全球经济体系。

零知识证明应用

Zcash等区块链已经开始采用零知识证明,用户可以创建隐私交易,隐藏交易金额以及发送者和接收者的地址。去中心化预言机网络可以将智能合约接入链下数据和计算资源,也可以应用零知识证明来证明某一链下数据,并同时在链上隐藏数据内容。

DECO是目前Chainlink正在开发的基于零知识证明技术的预言机解决方案,也是Chainlink网络的安全链下计算套件中的一个隐私保护预言机协议。DECO在HTTPS/TLS协议基础上进行了扩展(注:HTTPS/TLS是互联网最常用的数据传输协议),保障数据从各个隐私和付费数据源传输过程中的隐私性和防篡改性。DECO可以与现代TLS版本兼容,无需使用可信硬件,并且可向后兼容,服务器端无需修改。因此,使用DECO的Chainlink预言机节点可以证明数据来自可信服务器,并在链上隐藏数据内容。另外,由于维护了TLS托管链,因此还可以证明数据源。

DECO等零知识证明方案可以实现一系列智能合约应用场景,其中包括低抵押贷款(undercollateralized loans)。在低抵押贷款中,贷款人既可以证明自己的信贷资质,又可以保护自己的隐私。具体而言,贷款人可以基于权威网站上的记录生成信贷资质,并隐藏姓名、地址或信用分数等敏感信息(注:只显示信用分数是否超过某一阈值)。

DECO还可以用来创建去中心化身份认证(DID)协议,比如CanDID用户可以拥有并保管自己的身份认证信息,而不是让中心化的第三方托管这些信息。这些身份认证信息由名为“issuer”的机构签名,这些权威机构可以将用户与公民身份、职业和教育背景等身份信息挂钩。DECO可以让现有web服务器成为issuer,为账户提供秘钥共享管理功能,并基于社保卡号等确定性的独特身份认证实现隐私版的抗女巫攻击功能。

最后,DECO等零知识证明方案不仅可以为用户带来价值,还能让传统机构和数据提供商将其专有的敏感数据变现,并充分保障数据隐私。最终只在链上公布零知识证明的证明结果,而数据内容不会直接公布在链上。这为数据提供商打开了新的市场。数据提供商可以变现数据并提高收入,并同时充分保障数据隐私。另外再加上Chainlink Mixicles,不仅可以保护协议中输入的数据隐私,还可以保护协议中的条款隐私。

企业和机构可以有机结合区块链网络的透明性以及零知识证明的隐私性,在最大程度上实现价值,既保护内部数据隐私,又将数据用于智能合约应用中。

标签:区块链ALIDECOECO区块链的几个大局有哪些TALI价格Gradecoinprimecoin

Uniswap热门资讯
ABR:「Daniele三件套」攻占DeFi三大场景

2021年,Daniele构建了多个DeFi应用,正如他的推特签名「Occupy DeFi」所示,「占领DeFi」的意图通过他的实际行动传达着.

1900/1/1 0:00:00
DAO:DAO式社交应用COO Social赶潮Web3

此前,特斯拉创始人埃隆·马斯克发推询问,「有人看过Web3吗?我找不到。」12月31日,区块链社交产品COO Socail官方推特转发并评论,「你很快就会看到.

1900/1/1 0:00:00
MEV:MEV赛道:Eden Network 回顾

一句话解释 MEV 就是 POW 矿工( POS 验证人、排序器)通过对生产区块的交易进行排序获取利润的一种手段,控制了算力等于控制了排序权,排序权越大能够提取的利润越多.

1900/1/1 0:00:00
OOT:一文初识Lootex:元宇宙的一站式游戏资产商城

你是否还记得电影《头号玩家》中,主角Parzival购买游戏道具的那个科幻场景?如今,Lootex正在让这一虚拟场景就在玩家眼前成为现实.

1900/1/1 0:00:00
CAR:手把手教你参与加密汽车CryptoCars 的早期红利

我们一定要找隐性机会!显性机会就是人人都能看到,非常热门已经被大鳄入局的机会,你要分一杯羹要付出更大努力的机会.

1900/1/1 0:00:00
CRYP:CryptoZoond调研报告

CryptoQuant:比特币鲸鱼正在积累并持有比特币:金色财经报道,CryptoQuant表示,随着价格保持区间波动,比特币鲸鱼正在积累并持有比特币.

1900/1/1 0:00:00