以太坊:零知識證明：Web3世界的護身符

作者：DanielLi

出品：CoinVoice

在經歷了Web2.0創新帶來的一系列期望和失望之后，現在的人們比以往任何時候都更加注重安全、隱私和數據所有權。而快速發展的Web3.0最大特征之一就是讓參與者對其內容、數據和資產擁有完全所有權，切實保證了參與者的隱私安全，激發了人們內心對互聯網發展的新信心，那么零知識證明在其中將扮演怎樣的角色，它是否真得能讓這一數字烏托邦成為現實？

web1.0是一個點對面的信息傳播時代。一般由一家公司生產信息并存儲在本地服務器上，允許讀者進行單向交互，表現形式是各類網頁，如早期的各類門戶網站：新浪、網易、搜狐等。

Web2.0是相對于Web1.0的新的時代，用戶參與到了內容的制作當中，表面上是“點對點”的交互形式，但數據還是存儲在集中的服務器中,表現形式是各類APP，如目前國內占據主導地位的社交媒體平臺微博、微信和抖音。

Web3.0集成了1.0和2.0等優勢，但最大的不同是用戶擁有了對數據的完全的控制權和所有權，數據不再存儲在中心化的服務器中，而是分布式存儲在參與網絡管理的各個節點中，表現形式是區塊鏈行業的各類Dapp，如Metamask、Uniswap等。

互操作性協議Rarimo與Polygon ID合作推出首個用于驗證憑證的多鏈零知識證明:金色財經報道，互操作性協議Rarimo宣布與隱私保護ID基礎設施Polygon ID合作，這是鏈上身份向前邁出的革命性一步，每個使用 Polygon ID 的身份提供商都立即實現跨鏈，這不僅是Polygon ID首次成為多鏈，而且由于PolygonID是第一個也是唯一一個允許用戶將鏈外憑證表示為零知識證明 (ZKP) 的解決方案，此次合作標志著數字身份領域的首創。Rarimo表示，既然以太坊已被納入其中，Polygon上頒發的憑證將在未來幾周內在BNB Chain和Avalanche上提供。[2023/7/22 15:51:50]

從本質上講，Web3.0是去中心化的互聯網：

任何人都可以參與其中

沒有人能支配用戶的數據，除了用戶自己

不必去相信任何人

Web3對安全和隱私的要求都需要新的技術來實現，幸運的是人們發現了零知識證明。零知識證明允許用戶私密地向去中心化網絡共享信息，并且保證用戶從網絡接收的數據是真實的，無需信任第三方，兼顧隱私和安全，成為突破Web3.0安全保密性屏障的核心技術。

Type 1零知識以太坊虛擬機Taiko Labs A輪前融資獲1200萬美元:金色財經報道， Type 1 零知識以太坊虛擬機Taiko Labs A 輪前融資獲1200 萬美元，由 Generative Ventures 領投 。以太坊聯合創始人 Vitalik Buterin表示，Type 1 ZK-EVM 是我們最終需要使以太網 L1 層本身更具可擴展性的東西。 它們也是 rollups 的理想選擇，因為它們允許 rollups 重用大量基礎設施。[2023/6/12 21:30:36]

為了方便理解，我們簡單舉一個例子：

假設A需要向B證明自己擁有某個房間的鑰匙，并且房間只能通過鑰匙才可以打開，任何其他方式都無法打開，那么以下兩種方案哪種屬于應用了零知識證明？

方案一：A把鑰匙出示給B，B用這把鑰匙打開該房間的鎖，從而證明A擁有該房間的正確的鑰匙。

方案二：B確定該房間內有某一物體，A用自己擁有的鑰匙打開該房間的門，然后把物體拿出來出示給B，從而證明自己確實擁有該房間的鑰匙。

Dora Grant DAO第二輪零知識投票環節結束:2月17日消息，Dora Grant DAO已于北京時間11月15日23:59在開發者激勵平臺DoraHacks.io關閉第二輪零知識投票通道。投票最終結果和對投票結果的零知識證明將于18日公布，第二期100,000美金資助的分配將由社區投票和入圍項目盡職調查結果決定。

Dora Grant DAO計劃旨在持續支持在以下三個領域的多鏈Web3開源極客團隊: Dora Factory / DoraHacks生態延伸基礎設施，多鏈Web3核心基礎設施和工具, 加密-前沿科技交叉領域。[2023/2/17 12:12:38]

通過兩種方式A都可以向B證明，自己擁有房間鑰匙，但方案一，在交易過程中，B看到了A的鑰匙信息，在零知識證明中要求，證明者需要在不向驗證者提供任何有用信息的情況下，使驗證者相信某個論斷是正確的，方案一泄露了信息，故方案一排除；而方案二，A在沒有泄露任何相關信息的情況下，讓B確信了自己擁有房間的鑰匙，所以答案是方案二。

上述的案列的成功，必須滿足一定的規則：

a16z：零知識證明保護去中心化和隱私，將取得一系列進展:4月15日消息，a16z發文《去中心化的速度：零知識證明的進步》表示，隨著區塊鏈吸引了數以百萬計的用戶，并且它們所承載的應用程序的復雜性不斷提高，圍繞隱私和可擴展性的兩個關鍵需求已經出現。需要識別的一個關鍵趨勢是，雖然正在為其中許多應用開發專用硬件，但也有一項運動正在優化消費者級硬件的算法，以保護去中心化和隱私。這一趨勢的一個特別好的例子是零知識證明。

我們目前正處于一個非常早期的時刻，零知識證明計劃將取得一系列進展。我們已經從零知識領域中極少數面向消費者的應用程序，發展到在很短的時間內為隱私和可擴展性提供應用程序和區塊鏈的整個生態系統。像這樣的新技術最令人興奮的一點是，很難預測另一面到底是什么樣子。[2022/4/15 14:27:35]

A無法欺騙B，若A取出的東西不是來自房間里的，則B可以分辨的出來，即A成功欺騙B的概率很低，我們將這一規則稱之為——正確性；

B無法欺騙A，若A取出的東西是來源于房間里，B無法欺騙A，A有絕對的優勢可以確保B相信他能證明。我們將這一規則稱之為——完備性；

動態 | 摩根大通正在測試零知識隱私解決方案:據coindesk報道，摩根大通（JPMorgan Chase）正在測試一種名為AZTEC的零知識隱私解決方案。該協議由倫敦創業公司AZTEC開發，旨在以更低的成本和更高效的方式對區塊鏈數據進行加密。摩根大通內部人士證實，該銀行的Quorum團隊正在關注AZTEC，并且一直希望將Quorum的零知識證明工業化。[2019/3/1]

正確性和完備性，就是在最小泄露協議中零知識證明所必須具備的性質。二者不可或缺，否則會導致整個邏輯無法閉環，零知識證明也就不存在了。而在未泄露任何信息的情況下，完成零知識證明，我們稱之為——零知識性。

隱私計算

零知識證明可以滿足消息的隱私性，可以解決常見的區塊鏈網絡中因透明性所帶來的地址和資產額度等消息泄露。例如在區塊鏈交易中，如果你需要證明你擁有某種資產，但同時又不想暴露資產的任何信息，那么就需要用到零知識證明。

隱私計算是零知識證明的一個重要的應用領域。若想保護隱私，則可以通過密碼學的解決方案對鏈上數據進行加密，讓鏈上的不同交易之間找不出關聯性。零知識證明可以驗證計算而不會暴露有關輸入和計算本身的任何信息，保證鏈上數據隱私和安全。

Web3.0至關重要的一點是用戶自身真正掌握身份和數據所有權。但當前區塊鏈上所有的信息都是公開的，人們通過一些手段就可以輕易得獲取用戶的信息(當然這本身也是區塊鏈網絡共識的特性)。雖然目前區塊鏈用戶尚沒有廣泛且強烈的隱私意識，但隨著發展，這種需求在未來一定是更加迫切且長期存在的。所以要實現Web3.0的愿景，用戶必須要有權力擁有自己的鏈上隱私。因此可以說隱私未必是必選項，但一定是可選項。

拓展性

若常用的區塊鏈平臺中產出新區塊的驗證時間很長，可直接更改為一人驗證并生成證明，網絡中的其他參與者都掌握快速驗證該證明的方法，而不需要每個參與者都花費大量的時間來直接進行驗證。

這涉及共識的成本問題，從經濟學角度來看，以太坊，比特幣等區塊鏈網絡交易成本高昂的原因在于：共識必須是昂貴的，廉價的共識一定程度上是不可信的。而其中的成本主要來自于區塊鏈需要若干臺設備的重復計算才能達成一致的共識。例如POW共識機制中，1000臺機器做重復的計算工作，效率不會大于一臺計算機的效率，但其所需要的成本是一臺計算機的1000倍。這是所有的主流共識協議，無論是POW還是POS，為確保去中心化的共識所必須付出的成本。也就是不可能三角的束縛。

將零知識證明和區塊鏈的一致共識結合起來，就可以達到僅用一臺設備即可運行計算完成1000臺設備重復計算的工作，從而極大降低了網絡成本。零知識證明，通過采用密碼學的方法，讓其他設備驗證一臺設備計算的可靠性，而非直接參與重復計算。而且，在成本昂貴的區塊鏈網絡上，驗證計算的正確性要比重復計算便宜得多。

因此，區塊鏈依舊負責網絡的共識和安全，而一些計算的工作則可以交給零知識證明在區塊鏈網絡外部完成，提升了區塊鏈的拓展性。

零知識證明在Web3.0中的應用零知識證明可用于保護不同領域中的數據隱私權：

金融：如抵押貸款申請人可以證明他們的收入在可接受的范圍內，而不透露他們的確切工資。

在線投票：零知識證明允許選民匿名投票，并驗證他們的投票是否包含在最終計票中。

身份驗證：零知識證明可用于對用戶進行身份驗證，而無需交換密碼等機密信息。以太坊上的PolyganID就是采用了零知識證明的驗證方案，它既幫助了用戶在基于區塊鏈的Web3平臺上保護他們的隱私，同時滿足監管要求的KYC驗證規范，用戶可以自由選擇何時以及共享哪些數據。

機器學習：零知識證明可以讓機器學習算法的所有者說服其他人了解模型的結果，而無需透露關于模型本身的任何信息。

區塊鏈：比特幣和以太坊等區塊鏈能保證鏈上數據的透明性使人人都可以驗證鏈上交易。這意味著參與者幾乎沒有了隱私，可能導致數據的非對稱性，而零知識證明可以幫助保護區塊鏈參與者的隱私權。

零知識證明在區塊鏈領域已經有了豐富的應用場景：

Layer2擴容：零知識證明的可驗證計算，允許L1將交易處理外包給鏈外高性能系統。這使得區塊鏈可以在不損害安全性的情況下進行擴容。例如StarkWare正在使用運行零知識證明友好代碼的專用虛擬機構建一個可擴展的智能合約平臺StarkNet。Aztec還允許他們的Layer2程序私下運行，而且不會泄露有關用戶交易的任何信息。

隱私L1：Aleo、Mina和Zcash等L1公鏈允許交易者使用零知識證明隱藏發送者、接收者或金額。

去中心化存儲：Filecoin使用零知識證明來證明網絡中的節點在正確存儲數據。

區塊鏈壓縮：Mina和Celo使用零知識證明將同步到鏈上最新狀態所需的區塊鏈數據壓縮成一個小證明。

零知識證明的挑戰在哪里？

零知識證明已被證實未來有巨大的潛力，但是當前離廣泛應用還有很多難題尚未得到解決。

從數學意義上來講，零知識證明并非真正的證明，因為證明者說謊而不被驗證者識別的概率，雖然可以無限趨近于零，但它永遠不會到達零。只要不是零，就非邏輯上的零知識證明，因此零知識證明并不能保證100%有效。

硬件方面，市面上目前還沒有專門用作零知識證明相關的硬件和軟件。零知識證明需要證明者和驗證者之間不斷交互，因此需要大量的計算能力，這讓零知識證明不適合在速度慢或移動的設備上使用。

隨著Web3世界的不斷構建，用戶對性能、隱私以及新型應用程序和協議的需求將日益增長，零知識證明在其中的作用會越來越凸顯。雖然目前零知識證明還有不少局限性，但人們對零知識證明的探索將會越來越深入，零知識證明也將憑借其在隱私計算、L2可擴展性、安全保護等方面的卓越表現，成為Web3世界的護身符，對Web3世界產生巨大的影響。

Tags：區塊鏈WEBWEB3以太坊區塊鏈技術通俗講解簡書WEB4幣Web3游戲什么是以太坊幣

PEPE