擴展性之外 零知識證明的 Web3 用例還有很多_WEB3

圖片來源：由 Maze AI 生成

2022 年，由于 ZK-Rollups 在以太坊領域取得進展，零知識證明（Zero—Knowledge Proof）成為 Web3 年度關熱詞。甚至有人預測下一輪牛市的發動機就將會是零知識證明，并宣稱零知識證明之于 Web3 的重要性，能和 Bitcoin 引入了區塊鏈概念、以太坊引入了智能合約相媲美。

零知識證明何以擁有如此強大發展潛力？這或許要從 Web3 的發展談起。Web3 旨在通過去中心化網絡將網絡所有權移交給其用戶，然而當下 Web3 似乎只是帶來了以用戶為中心的價值觀，距離其愿景落地還有很多問題需要解決，隱私安全即是其面臨的關鍵問題。

Web3 網絡在設計中宣稱用戶與去中心化的網絡進行交互，以避免如 Web2 中心化網絡數據泄露、私有數據化、集權等弊端。即如果您正在運行一個完整的節點，您將獲得完整的、數學上保證的加密安全性。然而，運行一個完整的節點需要昂貴的硬件以及保持連接到 100GB 的大型區塊鏈。

StarkWare總裁：要獲得最大的可擴展性需使用能釋放其潛力的編程語言:9月22日消息，在由萬向區塊鏈實驗室主辦的第八屆區塊鏈全球峰會上，以太坊擴容解決方案StarkWare聯合創始人兼總裁Eli Ben-Sasson表示，STARK數學技術能夠讓人們相信，即使沒有監管，也不需要監督計算的每一步，合約都會保證正確的執行。一臺性能有限的計算機，可以監督并聲明大量計算集群的可靠性，并且無需重新執行計算，這就是這項技術為什么會和區塊鏈有關系。

Ben-Sasson稱，StarkWare采用的方法是基于數學的證明，也就是有效性證明的方式，StarkWare要實現的目標是能夠讓任何人運行非常龐大的計算機，并且處理相關的事情，然而做執行的一切事情都必須向L1進行證明。如果想要獲得最大的可擴展性，實際上需要使用能夠釋放其潛力的編程語言。[2022/9/22 7:14:17]

顯然目前的加密客戶端無法處理這類需求。因此，當下 Web3 仍在很大程度上依賴于受信任的中心化中介，由這些中介連接起 Web3 去中心化網絡，這似乎與 Web3 愿景背道而馳。如何在去中心化網絡環境中，以去中心化的方式保障隱私安全呢？零知識證明技術巧妙地解決了這個問題。而網絡安全之外，零知識證明的用例還有很多，下文將為大家介紹該技術在加密領域中的用例。

以太坊開發人員將注意力轉向隱私、可擴展性和用戶友好性:金色財經消息，在ETHSeoul 2022區塊鏈的技術會議上，以太坊開發人員將注意力轉向隱私解決方案、可擴展性和增強用戶的友好性。[2022/8/10 12:15:36]

在介紹零知識證明在 Web3 的用例之前，讓我們快速了解零知識證明的原理。零知識證明是一種密碼學，允許一個人（證明者）向另一方（驗證者）證明某些細節是真實的，而無需提供任何額外信息。

零知識證明需要以下三個關鍵要求：

完整性：如果陳述真的是真的，并且兩個用戶都正確地遵守規則，那么驗證者將不需要任何其他條件，就可以完成驗證。

可靠性：如果陳述為假，驗證者在任何情況下都不會被說服。該方法利用概率檢查理論，以確保不會發生錯誤。

零知識：意味著驗證信息的人無法知道除斷言是否正確之外的任何信息。

零知識證明有兩種主要類型：

交互式零知識證明要求證明者執行一組任務或操作，以向驗證者證明他們擁有特定信息。為了通過交互式零知識證明而必須完成的大部分任務通常涉及數學概率之類內容。

聲音 | 律師劉曄：如果BSV可擴展性在鏈上沒有極限，萬鏈歸一是必然:律師劉曄發微博表示，就“BSV的可擴展性能否無限進行下去”這一問題，打點錢包的創始人與技術CTO同時認為，“大區塊的生成與傳播只是一個工程問題，不是理論極限問題，只要工程量和工程策略足夠，沒有證據證明BSV的可擴展性存在理論上的極限。”（在我看來）如果BSV的可擴展性在鏈上沒有極限，那么BSV幾乎就是完美的，其發展必不可阻擋，其對商業成本的降低幾乎無法阻擋，萬鏈歸一是必然的了。[2020/1/6]

證明者和驗證者無需相互通信即可使非交互式零知識證明有效，而驗證將在之后進行。這類特殊、的零知識證明需要使用額外的計算或程序。

盡管零知識證明技術早在 1980 年已經產生，但受困于技術難度，其并未得以廣泛應用。零知識證明到底能夠為 Web3 的發展帶來哪些幫助？讓我們從技術用例中窺探一二。

隨著越來越多應用在以太坊上部署，在以太坊上的交易處理速度較慢，網絡擴展性不足成為阻礙其發展的重要難題。而構建一個 Layer2 網絡，將計算處理轉移至鏈下成為解決當下問題的重要方案。ZK-Rollups 即是頗受以太坊社區認可的解決方案之一。ZK-Rollups 系 Starkware，Zk-sync 是擴容類項目。

聲音 | V神：對以太坊2.0非常有信心 已掌握關于可擴展性的相關技術:在本周二的一個博客節目中，V神表示對以太坊2.0非常有信心，此外，已經掌握關于可擴展性版本的相關技術，網絡旨在以“每秒數萬筆交易”的速度運行。同時其表示，當以太坊2.0推出時，會采取這種多管齊下的策略，首先推出PoS（權益證明），運行一段時間后會做分片。分片將使區塊鏈比任何當前的平臺更快。不過，其仍然對人們是否會使用PoS表示擔憂。在為期三個小時的錄音期間，V神還詳細表達了他對二次融資的熱情。此外，V神還表示，從技術角度來看，Facebook的Libra和以太坊很相似。其解釋稱，Libra基層的隱私肯定做得很糟糕，不過他同情Facebook并未成功擺脫霸權，每個人都只是將Libra與“扎克伯格幣”聯系在一起。（decrypt）[2019/9/5]

擴展性是零知識證明在 Web3 中最普遍的用例。目前也有將擴展和隱私兩種性能結合的方案，如 Aztec、StarkNet 之類的隱私 Layer2 公鏈的發展，感興趣的開發者可在《淺談隱私在 Layer2 現狀和未來》一文中了解更多。

V神：Casper就要來了，解決可擴展性問題是第一要事:V神在新加坡的一場演講中表示，目前在兩個以太坊客戶測試網絡中測試實施Casper Proof of Stake（PoS），Python和Harmony’s Java已經實現，希望不久之后，Go Geth和Parity也會實施Casper，預計或許在夏季。同時他還提到與Plasma比起來，分片技術非常確定不會發生一個塊失效導致整個鏈失效的事情，實施可擴展性甚至比POS機制還重要，只有實現了可擴展性，才能讓人們使用區塊鏈應用。ETH現全球均價828.28美元，24小時跌幅4.16%。[2018/3/6]

隨著公鏈生態的擴張，以太坊一統天下的局面很難達成，跨鏈互操的需求越來越大，而利用橋來跨鏈的安全性難以得到保障，因此很多項目將開始使用零知識證明以實現互操作，其中包括 Wormhole，Polymer 和 ZKBridge 正在布局基于零知識證明技術構建無信任假設的跨鏈協議，將一改因 IBC 輕客戶端不能在 ETH 運行所導致的無法互通的現象。零知識證明也將大大提高加密橋的安全性，以提高跨鏈互操的安全性。 

以「黑暗森林」（Dark Forest）為例，這是一款靈感來自于劉慈欣的《三體》的基于零知識證明的游戲。作為策略游戲，游戲中的許多陰謀都來自于隱藏信息或信息不對稱的概念，整個黑暗森林宇宙是無限的，它充滿了成千上萬的對抗玩家、機器人、腳本、智能合約玩家等等。然而，單個玩家在加入宇宙后只能訪問整個宇宙地圖的一小部分，這正是賦予《黑暗森林》靈魂的地方。如何在信息都是公開透明的區塊鏈上實現「隱藏」部分信息，這正是基于零知識證明所實現的「隱藏」部分不想透露或需要觸發條件的信息。

區塊鏈技術不僅保證了我們的資產只由我們自己處理（非托管），而且分布存儲在多個節點中，降低了資產風險。而零知識還有助于進一步提高 Web3 安全級別。在安全設計中使用數學驗證而不是概率論，零知識通過采用有效性證明來降低潛在風險，有效性證明保證信息的準確性，具體而言：

唯一能夠破譯加密信息的人是用戶；如果證明者是偽造的，得到的最終根將不同，驗證者將拒絕接受；

即使所有驗證者與證明者串通，由于區塊鏈數據的可用性，賬戶狀態也可以回滾和更正；

使用零知識證明時，通常會采用額外的檢查和強化機制。

可以通過零知識證明來確認個人的加密身份。零知識證明允許用戶向系統驗證他們的身份，而無需透露他們完整的個人信息。例如，當您登錄一個帳戶時，需要輸入用戶名和密碼，但如果使用零知識證明技術，你只需要出一個 ZK Proof，平臺就永遠無法算出你的真實密碼，在無需泄露個人敏感數據的前提下完成個人身份驗證。

我們在網絡上常會面臨某些數據共享需求，而共享過程中會面臨信息丟失、攔截等問題。當零知識證明與區塊鏈技術相結合，可以分片加密數據，不僅保障傳輸安全性，還能使用戶擁有管理某些塊以及其中包含的信息的權利，從而授予某些用戶訪問權限，而未經授權的用戶則無法訪問您的共享文檔。

去中心化存儲作為 Web3 三大支柱之一，對于行業發展十分重要。而零知識證明能夠為存儲安全提供更好的保護，其能夠利用算法設置相應的協議，使存儲單元和其中的協議被加密，甚至在訪問通道也會設置加密保護，讓 Web3 云存儲的安全性更上一層樓。

在可擴展性和隱私用例之外，零知識證明的用例十分廣泛，其在 Web3 中發揮的作用也更加清晰。目前已有不少項開始將該技術用于項目實踐，據 Messari 統計顯示，零知識證明最廣泛應用的擴展領域的一眾項目將在 2023 年迎來發展的關鍵期，如 Scroll、Polygon zkEVM 等項目主網將陸續上線。在《擴容賽道開年即沖刺，盤點近期上線測試網的 L2 項目》一文中，也介紹了近期上線測試網的零知識證明項目。

但是我們還需要認識到，盡管零知識證明在 Web3 中的應用前景廣闊、領域眾多，但其證明的性能問題還未得到妥善解決。目前有不少團隊都在搞硬件加速，但這種硬件加速僅部分負責有效證明。而在算法級別、軟件級別和其他方面仍需要進行優化。

鑒于此，今年零知識證明的有效的利用將出現在小規模應用之中，很難得到大規模廣泛應用。而 DeFi 之后，零知識證明要想成為下一輪牛市的發動機還有很長的路要走，希望能夠有更多 Web3 開發者在前瞻零知識證明的前景基礎上，敢于挑戰、攻克其技術難題，以技術進展推動應用實踐。

參考文獻：

2023 Crypto Thesis

https://thesis.neworder.network/#in-the-belly-of-the-bear

撰文：TinTinLand

來源：DeFi之道

DeFi之道

個人專欄

閱讀更多

金色早8點

金色財經

Odaily星球日報

歐科云鏈

澎湃新聞

Arcane Labs

深潮TechFlow

MarsBit

BTCStudy

鏈得得

Tags：WEBWEB3以太坊區塊鏈Wombat Web 3 Gaming Platformweb3域名有什么用怎么得到以太坊幣區塊鏈是什么工作

非小號