區塊鏈:零知識證明在Web3中的五大實用案例

撰寫：MagikInvest?

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

1.鏈上多人游戲——DarkForest

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

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

OKX將升級儲備證明，包括full liability tree披露和用于償付能力驗證的零知識證明:3月2日消息，OKX宣布將在未來幾個月內升級其儲備證明（PoR），包括full liability tree披露和用于PoR償付能力驗證的零知識證明（ZKP）。升級建立在OKX當前的Merkle tree解決方案之上，以確保最大程度的透明度，同時增強客戶隱私，具體安排如下：

- full liability tree：此升級將在即將發布的3月PoR報告中生效，允許任何人下載Full liability Merkle tree，從而提高透明度。同時，它將通過將每個用戶的余額分割和轉移到幾個部分（分割葉節點）來維護帳戶余額的隱私；

- 零知識證明：這一升級將在未來幾個月生效，是一種防篡改的加密方法，允許用戶驗證所有客戶存款都被計入，并通過比較用戶資產凈值與交易所儲備來保證償付能力。[2023/3/2 12:39:00]

2.隱私交易——Tornado.cash

兩位數學家因對零知識證明的研究獲得數學界大獎阿貝爾獎:據DeepTech深科技消息，近日，備受矚目的數學界大獎阿貝爾獎公布兩名獲獎者，一位是匈牙利數學家拉茲洛?洛瓦茲（László Lovász），一位是以色列計算機科學家阿維?威格森（Avi Wigderson）。兩位數學家因為對零知識證明的研究，而獲此殊榮。曾經讓純數學家看不起的零知識證明，卻獲得了數學界舉足輕重的阿貝爾獎。正如頒獎詞所說：“表彰其在理論計算機科學和離散數學方面做出的杰出貢獻，以及在將之塑造為現代數學中心領域中發揮的主導作用。”零知識證明比起其他復雜算法更為簡單，但這兩位數學家對于零知識證明的研究，不僅對現代數學核心計算有重大貢獻，還有巨大的現實意義：其一，零知識證明對數字貨幣的認證意義重大；其二，零知識證明還可以用于人的身份驗證，即在不透露密碼的前提下，驗證方通過一系列問題來讓對方提供 “我知道正確密碼”，或在信息安全領域，提供 “我就是本人” 的證明。[2021/5/2 21:16:57]

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

聲音 | ALabs負責人王增新：改進后的零知識證明是解決數據可用性問題的可行方案:今日，在日本東京舉辦的SmartBlock2018國際學術會議上，區塊鏈研究院ALabs負責人王增新做了關于區塊鏈安全隱私及擴展性的學術分享，他認為數據可用性問題是區塊鏈廣泛應用的瓶頸，改進后的零知識證明是解決數據可用性問題的可行方案，即將共識的復雜程度降低到對數級別，提高數據的交換與驗證效率。ALabs將圍繞這個方向進行探索，推動區塊鏈行業應用發展。 SmartBlock2018國際學術峰會由Springer、早稻田大學、哥倫比亞大學、北京理工大學、伯明翰城市大學等頂尖學術院校聯合主辦，會議圍繞前沿科技趨勢進行探討，包括人工智能、大數據、區塊鏈等前沿技術，數百名學術大拿及企業高管出席活動。[2018/12/11]

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，而不需要揭示交易員的操作細節。

Tags：區塊鏈PORORETREE區塊鏈存證多少錢por幣走勢UPCORERetreeb

幣安交易所app下載