火星链 火星链
Ctrl+D收藏火星链
首页 > Ethereum > 正文

ECO:一文读懂零知识证明(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。每种方式在证明大小、证明者时间以及验证时间上都有自己的优缺点。

ApeCoin发起新提案AIP-242拟创建“财务工作组”:金色财经报道,据Snapshot信息显示,ApeCoin社区已发起新提案AIP-242,该提案的目标是建立ApeCoin DAO“财务工作组(Treasury Working Group)”,该工作组的主要任务包括:

1、探索使ApeCoin DAO能够维持运营和计划的法律和治理结构

2、研究并实施风险评估和管理框架

3、研究和实施监测框架以提高社区透明度

4、向ApeCoin基金会请求拨款以及如何在链上部署拨款资金。

AIP-242将于8月3日结束投票,如果该提案获得通过,Ape委员会将按照选举流程选择三名理事负责财务工作组工作。[2023/7/30 16:07:09]

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

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

数据:2023上半年共记录3.3亿次加密劫持攻击,已超过前三年相关攻击次数总和:7月26日消息,据网络安全公司SonicWall报告数据显示,该机构于2023上半年共记录3.323亿次加密劫持攻击,与去年全年相比增长399%,该数字比2020年、2021年和2022年的加密劫持攻击次数总和还要高。

SonicWall表示,加密劫持涉及利用属于他人的服务器和电脑设备来挖矿数字资产,其中以隐私为中心的门罗币是最受欢迎的。受影响的人甚至可能没有意识到自己是受害者,他们可能只是觉得他们的机器运行得比平时慢。

SonicWall欧洲、中东和非洲地区副总裁Spencer Starkey表示,加密劫持的最大症状包括设备响应速度变慢、电费异常高,以及电池过热导致风扇过度使用等。与勒索软件或银行木马相比,加密劫持者的目标是尽可能长时间不被发现。[2023/7/26 16:00:16]

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

Celsius获准从7月1日起将山寨币转换成BTC和ETH:金色财经报道,Celsius周五获准开始清算其山寨币,纽约南区的破产法官Martin Glenn批准Celsius在与美国证券交易委员会(SEC)讨论后提出的这一举措,该委员会最近表示,一系列不太常用的加密代币构成了证券,其处理需要监管部门批准。

Celsius于2022年7月倒闭,其出售给加密货币财团Fahrenheit的交易于5月获得批准。其正在准备一个更新的破产计划,除了有限的例外,不会涉及向BTC或ETH以外的债权人分配加密货币。[2023/7/1 22:11:23]

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

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

比特币铭文钱包UniSat Wallet v1.1.20已发布:5月18日消息,比特币铭文钱包UniSat Wallet v1.1.20已发布,更新内容包括:与MoonPay(BTC购买)集成;禁用RBF,以防止意外的错误支出;默认显示铭文的输出值;将鼠标悬停在余额详情上时显示余额、通过mempool.space查看交易记录等。[2023/5/19 15:12:18]

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

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

Concordium基金会将向其区块链生态项目投资1000万欧元:金色财经报道,瑞士非营利性Concordium基金会主席、全球外汇和衍生品交易的先驱Lars Seier Christensen宣布对Concordium区块链周围的生态系统进一步投资,金额为1000万欧元。[2022/9/20 7:09:04]

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

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

零知识证明的价值

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

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

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

标签:ECO区块链ALIDECOEducation Ecosystem我朋友做区块链被捉了怎么办Decentralized Hash MiningDECODE币

Ethereum热门资讯
应用链:章鱼网络:赋能应用链 开启WEB3.0

章鱼网络的愿景只有应用链(Appchain)的创新门槛足够低,才能让更多创业者在Web3.0应用的领域中探索多样化的可能与创新,Web3.0应用才能更快得以落地,更快走向主流.

1900/1/1 0:00:00
Swarm:一文详解黑马Swarm与领跑者Filecoin的正面battle

随着bzz 空投计划的活动开启,越来越多的小伙伴从各方资讯及社群了解并关注到 Swarm 这个项目.

1900/1/1 0:00:00
AAVE:生产性DeFi代币更具优势 那可不一定

?如今,DeFi代币主要分为两类:生产性代币或非生产性代币。非生产性的DeFi代币是我们都熟悉和喜爱的经典的“无价值的治理代币”.

1900/1/1 0:00:00
CAR:一文读懂元宇宙资产抵押借贷平台「XCarnival」

毫无疑问,加密世界今年的绝大多数流量,是由NFT热潮所贡献的。据DappRadar报告,在2021年Q3,NFT行业交易总额超过了106.7亿美元,比Q2增长了704%,同比增长38,060%.

1900/1/1 0:00:00
RBI:展望二层 Arbitrum 流动性挖矿全方位指南

随着以太坊主网一层gas费用在无尽的NFT造币投机热潮中飙升,许多普通用户已经高昂的gas费用赶出了以太坊网络,他们开始大量涌入更便宜的区块链.

1900/1/1 0:00:00
DAO:Mirror.xyz 通向web3.0的一道窄门

简单理解,Mirror是一个采用区块链技术的内容创作平台,普遍认为它是去中心化版本的medium.

1900/1/1 0:00:00