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

撰写:MagikInvest?

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

1.链上多人游戏——DarkForest

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

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

MolochDAO推出基于零知识证明的“隐私池”加密混合服务:3月7日消息,为以太坊基础设施项目提供资金支持的去中心化自治组织MolochDAO推出基于零知识证明的“隐私池”加密混合服务,旨在保护链上交易时的隐私,同时还允许用户证明他们遵守当地法规。

据悉,MolochDAO的隐私池(Privacy Pools)将利用零知识证明这一隐私保护技术,使用户能够证明他们正在将受制裁的钱包列入黑名单,同时无需透露他们是谁,也无需披露全部交易历史。(The Defiant)[2023/3/7 12:46:33]

2.隐私交易——Tornado.cash

零知识证明技术开发公司StarkWare推出第一个公开版本Cairo 1.0:1月6日消息,零知识证明技术开发公司 StarkWare 宣布推出第一个公开版本的 Cairo 1.0,Cairo 于 2020 年作为图灵完备的编程语言首次推出,用于高效编写 STARK 可证明的程序。Cairo 1.0 中最重要的变化之一是语法,新版本的 Cairo 允许编写更安全的代码。Cairo 1.0 还引入了 Sierra,这是一种新的中间表示,可确保每次 Cairo 运行都可以得到证明。StarkWare 表示,预计在接下来的几周内,提供与旧版本相同的 Cairo 1.0 功能,对 StarkNet 合约的支持将在即将到来的 StarkNet Alpha 版本中加入。[2023/1/6 10:24:18]

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

加拿大央行研究人员:零知识证明目前不能用于CBDC系统:金色财经报道,加拿大央行的研究人员在一份新分析报告中表示,零知识证明和类似的面向区块链网络隐私的加密方法“尚处于起步阶段”,还没有准备好在中央银行数字货币(CBDC)系统中广泛部署。[2020/6/30]

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:135ms