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