零知識證明在Web3中的五大實用案例_AIR

撰寫：Magik Invest?

零知識證明是正在開發的最重要的加密貨幣技術之一，以下是零知識證明使 dApps 更加高效、更隱私和更去中心化的五種方式：

Dark Forest 是一個鏈上的多人游戲，玩家在其中進行輪番競爭。玩家從一個星球開始，可以征服其他未被征服的星球或其他玩家的星球，目標是獲得盡可能多的積分。

玩家的星球位置和他們的行動都是隱藏的，不為其他玩家所知。玩家在自己的系統上生成 ZK 證明，并將其發布在區塊鏈上，由合約來驗證他們所做的動作是否有效。每一次證明，玩家都要提交位置的哈希值，所有玩家位置的哈希值都在鏈上，但這些哈希值需要揭示。玩家可以通過計算一個地區的所有可能的哈希值來探索該地區的行星（這需要時間），這就是 ZK 在多人游戲中的作用。

Polygon社區提議將Polygon POS鏈與零知識（ZK）技術兼容:金色財經報道，以太坊擴展解決方案Polygon周二發布了一份提案前（Pre-PIP）討論帖，探討將其Polygon POS鏈與零知識（ZK）技術兼容。升級將使主鏈成為zkEVM validium ，這意味著該鏈仍將與以太坊虛擬機兼容。validium與ZK rollup略有不同，因為它們使用鏈下數據可用性模型，Polygon目前還提供ZK rollup，該rollup于3月上線。

據Polygon聯合創始人Mihailo Bjelic撰寫的博客文章，如果該提案得到Polygon社區的批準，重大升級將帶來更高的安全性，并使區塊鏈的框架更加面向未來。此外，Bjelic認為，這種升級將允許更快的交易確認，并擴展區塊鏈。[2023/6/21 21:50:35]

Tornado.cash 使用戶能夠以隱秘的方式將他們的 ETH 轉移到不同的賬戶上，用戶將 ETH 存入一個資金池中，并可以使用不同的賬戶從資金池中提取這些 ETH。

零知識證明技術開發公司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]

ZK 有助于打破存款和提款之間的聯系。在存款時，用戶需要提交一個秘密的哈希值。在提款時，用戶只需要提交一個 ZK 證明，不需要透露他們知道哪個秘密，便可以證明他們知道該秘密。這使得他們能夠提取他們的 ETH 而不透露哪筆存款是他們的。

Trail of Bits計劃利用零知識證明重塑漏洞披露流程:安全研究機構Trail of Bits宣布，正在與約翰霍普金斯大學的Matthew Green合作，使用零知識證明（zero-knowledge proofs）技術為科技公司和安全漏洞研究人員建立一種可信的基礎設施，在新的合作方式之下，雙方在針對漏洞披露（Vulnerability Disclosure）的流程中可進行合理的溝通，而不必擔心受到破壞或歧視。

在接下來的四年里，Trail of Bits 將會進一步推進零知識證明的理論極限，并為安全漏洞研究人員提供相應的軟件，用以產生漏洞可利用性的零知識證明。[2020/5/22]

Filecoin 使每個人都能以去中心化的方式存儲他們的數據，每個存儲供應商必須提交兩個證明：

1.復制證明(PoRep)——數據被提供者下載

2.空間時間證明(PoSt)——數據仍在存儲中

使用 ZK，Filecoin 能夠將 PoRep 和 PoSt 從 100 多 KB 壓縮到 192B，減少大量的空間使用。每個存儲供應商需要分別為 PoRep 和 PoSt 生成 10 個 ZKP，并以一種非常便宜的成本在鏈上驗證，以節省帶寬和挖礦成本。

Iden3 支持像 PolygonID 這樣的解決方案——在分享用戶數據信息的同時保持其隱私。例如，證明你是 DAO 成員而不透露你的身份，或者證明你已年滿 18，而不透露你的具體年齡。

利用 ZK，用戶可以向 DAO 提交證明，證明他們是其中一個成員地址，而不透露哪個地址是他們的，用戶也可以提交證明，證明他們持有有效的證件（>18 歲），而不透露該文件的實際細節。

Mina Protocol 幫助交易者和基金驗證他們在交易中是否真的獲利，而不透露真實的交易內容，LP 或追隨者可以在不知道執行了哪些交易或投資的情況下驗證交易者的盈利能力。

使用 ZK，交易者可以將他們的交易所賬戶鏈接到一個應用程序，該程序可以獲取他們所有的交易歷史，它能夠生成一個盈利 ZKP，而不需要揭示交易員的操作細節。

Tags：AIRCAIROLYGPolygonCAIRO幣polygon幣最新消息

瑞波幣