零知识证明在Web3中的五大实用案例_ISM:OPTIG

撰写:MagikInvest?

零知识证明是正在开发的最重要的加密货币技术之一,以下是零知识证明使dApps更加高效、更隐私和更去中心化的五种方式:

1.链上多人游戏——DarkForest

DarkForest是一个链上的多人游戏,玩家在其中进行轮番竞争。玩家从一个星球开始,可以征服其他未被征服的星球或其他玩家的星球,目标是获得尽可能多的积分。

玩家的星球位置和他们的行动都是隐藏的,不为其他玩家所知。玩家在自己的系统上生成ZK证明,并将其发布在区块链上,由合约来验证他们所做的动作是否有效。每一次证明,玩家都要提交位置的哈希值,所有玩家位置的哈希值都在链上,但这些哈希值需要揭示。玩家可以通过计算一个地区的所有可能的哈希值来探索该地区的行星,这就是ZK在多人游戏中的作用。

以太坊基金会更新支持的研发项目,涉及零知识证明的项目数量最多:4月27日消息,以太坊基金会公开了正在支持的研发团队的项目和领域,其中涉及“应用零知识证明”的团队和技术最多,近14个项目。

除了零知识证明之外,以太坊基金会还支持了关于ETH2研究、以太坊基金会官网、Ewasm、形式化验证、Geth客户端、Javascript团队、Remix、无状态客户端、Solidity等领域。[2021/4/27 21:03:39]

2.隐私交易——Tornado.cash

动态 | 全新零知识证明论文被IEEE学术会议收录 或能抵抗量子计算机:由四位研究人员共同发表的论文透明多项式委托及其在零知识证明中的应用被第 41 届电气电子工程师学会安全隐私学术会议(IEEE S&P 2020)接受,其作者之一的Yupeng Zhang在推特上公开了该消息,他来自于德克萨斯州农工大学,另外三名作者来自于加州大学伯克利分校,分别是Jiaheng Zhang、Tiancheng Xie和Dawn Song (宋晓冬),宋晓冬教授也是区块链隐私计算平台Oasis Labs的创始人。据Yupeng Zhang介绍,该论文提出了一个全新且透明的零知识证明机制,可以提供非常快的验证时间,也不需要可信设置(trusted setup)。论文中介绍到,该零知识证明机制仅使用了轻量级的加密算法比如抗碰撞的哈希函数,所以也可能是量子安全的。[2019/12/26]

Tornado.cash使用户能够以隐秘的方式将他们的ETH转移到不同的账户上,用户将ETH存入一个资金池中,并可以使用不同的账户从资金池中提取这些ETH。

声音 | 数字资产研究院郭宇:区块链的信任需要结合共识算法、零知识证明和形式化验证:12月22日,数字资产与区块链年会(2019)暨中国投资协会数字资产研究中心成立大会在京举办。数字资产研究院学术与技术委员郭宇演讲中表示,区块链网络的吞吐率低下的核心原因是网络宽带限制,提高出块速度是此前比较流行的解决方案,但这种做法会导致区块链分叉,甚至可能威胁区块链系统安全。郭宇认为,要在不降低安全性的前提下,提高区块链吞吐率的解决方案是零知识证明。郭宇指出,区块链系统的可信实际上包括三方面:共识算法提供区块链协议信任,零知识证明提供数据信息和计算完整性,形式化验证保证计算逻辑可信。区块链的信任需要共识算法、零知识证明和形式化验证三者的结合。(新浪财经)[2019/12/23]

ZK有助于打破存款和提款之间的联系。在存款时,用户需要提交一个秘密的哈希值。在提款时,用户只需要提交一个ZK证明,不需要透露他们知道哪个秘密,便可以证明他们知道该秘密。这使得他们能够提取他们的ETH而不透露哪笔存款是他们的。

3.存储证明——Filecoin

Filecoin使每个人都能以去中心化的方式存储他们的数据,每个存储供应商必须提交两个证明:

1.复制证明(PoRep)——数据被提供者下载

2.空间时间证明(PoSt)——数据仍在存储中

使用ZK,Filecoin能够将PoRep和PoSt从100多KB压缩到192B,减少大量的空间使用。每个存储供应商需要分别为PoRep和PoSt生成10个ZKP,并以一种非常便宜的成本在链上验证,以节省带宽和挖矿成本。

4.隐私身份和证书——Iden3

Iden3支持像PolygonID这样的解决方案——在分享用户数据信息的同时保持其隐私。例如,证明你是DAO成员而不透露你的身份,或者证明你已年满18,而不透露你的具体年龄。

利用ZK,用户可以向DAO提交证明,证明他们是其中一个成员地址,而不透露哪个地址是他们的,用户也可以提交证明,证明他们持有有效的证件,而不透露该文件的实际细节。

5.盈利证明

MinaProtocol帮助交易者和基金验证他们在交易中是否真的获利,而不透露真实的交易内容,LP或追随者可以在不知道执行了哪些交易或投资的情况下验证交易者的盈利能力。

使用ZK,交易者可以将他们的交易所账户链接到一个应用程序,该程序可以获取他们所有的交易历史,它能够生成一个盈利ZKP,而不需要揭示交易员的操作细节。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金智博客

[0:0ms0-6:854ms