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

撰写：Magik Invest 

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

1.链上多人游戏——Dark Forest

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

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

2.隐私交易——Tornado.cash

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

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 提交证明，证明他们是其中一个成员地址，而不透露哪个地址是他们的，用户也可以提交证明，证明他们持有有效的证件（>18 岁），而不透露该文件的实际细节。

5.盈利证明

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

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