零知識證明：Web3世界的護身符_區塊鏈

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

web即全球廣域網，也稱為萬維網，它是一種圖形信息系統,為瀏覽者在Internet上查找和瀏覽信息提供了圖形化的、易于訪問的直觀界面，其中的文檔及超級鏈接將Internet上的信息節點組織成一個互為關聯的網狀結構。web1.0是一個點對面的信息傳播時代。一般由一家公司生產信息并存儲在本地服務器上，允許讀者進行單向交互，表現形式是各類網頁，如早期的各類門戶網站：新浪、網易、搜狐等。Web2.0是相對于Web1.0的新的時代，用戶參與到了內容的制作當中，表面上是“點對點”的交互形式，但數據還是存儲在集中的服務器中,表現形式是各類APP，如目前國內占據主導地位的社交媒體平臺微博、微信和抖音。Web3.0集成了1.0和2.0等優勢，但最大的不同是用戶擁有了對數據的完全的控制權和所有權，數據不再存儲在中心化的服務器中，而是分布式存儲在參與網絡管理的各個節點中，表現形式是區塊鏈行業的各類Dapp，如Metamask、Uniswap等。從本質上講，Web3.0是去中心化的互聯網：任何人都可以參與其中沒有人能支配用戶的數據，除了用戶自己不必去相信任何人Web3對安全和隱私的要求都需要新的技術來實現，幸運的是人們發現了零知識證明。零知識證明允許用戶私密地向去中心化網絡共享信息，并且保證用戶從網絡接收的數據是真實的，無需信任第三方，兼顧隱私和安全，成為突破Web3.0安全保密性屏障的核心技術。什么是零知識證明？

螞蟻鏈隱私協作平臺AntChain FAIR引入基于零知識證明的可驗證計算技術:7月8日消息，在2023世界人工智能大會全球區塊鏈產業高峰論壇上，螞蟻鏈宣布隱私協作平臺AntChain FAIR進行全新架構升級，引入零知識證明（ZKP）為核心的可驗證計算技術，從可信數據流轉拓展到計算過程、數據屬性以及身份的可驗證。此外螞蟻鏈FAIR在可信計算架構中加入新型零知識證明虛擬機zkWASM，實現指令級別的可證明特性，可以依托 WASM 多語言生態將多種前端語言編寫的算法程序進行證明轉化，而無需關心底層復雜的算法細節，提升開發應用的友好性。

FAIR 是螞蟻鏈面向數據流轉推出的隱私協作平臺，綜合了區塊鏈和隱私計算的優勢，協作流程由智能合約驅動，數據流轉由隱私計算引擎來解決，并通過區塊鏈技術確權，登記和交易共識，可以解決數據流通過程中，數據共享與隱私保護之間的天然矛盾。目前 FAIR 已經在杭數交、貴數所等多家數據交易所得到應用。[2023/7/8 22:25:31]

零知識證明并非新生事物，早在16世紀文藝復興時期就曾經出現過。它指的是證明者能夠在不向驗證者提供任何有用信息的情況下，使驗證者相信某個論斷是正確的。零知識證明實質上是一種涉及兩方或更多方的協議，即兩方或更多方完成一項任務所需采取的一系列步驟。證明者向驗證者證明并使其相信自己知道或擁有某一消息，但證明過程不能向驗證者泄漏任何關于被證明消息的信息。簡而言之，零知識證明就是既能充分證明自己是某種權益的合法擁有者，又不把有關的信息泄露出去——即給外界的“知識”為“零”。

SKALE即將發布去中心化零知識證明解決方案Levitation Protocol:6月2日消息，以太坊側鏈 SKALE 開發人員宣布了一項 SKALE 改進提案，即，去中心化零知識證明解決方案 Levitation Protocol，旨在通過使全套 ZK 解決方案無縫連接到 SKALE 架構，并將 Rollup 連接到以太坊主網。該提案包括進一步的生態系統升級，增加了一個新的「Layer 1 Megachain」，稱為 SKALE G（G 代表木衛三，太陽系中最大的衛星）。

SKALE 開發人員計劃在未來幾個月內開始發布 Levitation Protocol 源代碼，之后將啟動公共測試網。Levitation Protocol 主網計劃于 2023 年第四季度推出。[2023/6/2 11:53:31]

Aleo與Forte達成合作，以將零知識證明解決方案帶入鏈游:3月8日消息，零知識隱私應用平臺Aleo與區塊鏈游戲平臺Forte達成合作，旨在為鏈游帶來零知識證明解決方案，希望以此推動低成本交易。

Forte將使用Aleo的可擴展架構來解鎖新的游戲玩法深度，并構建更具包容性和沉浸式的游戲生態系統。Forte已經在使用Aleo的技術在多個游戲經濟中鑄造、轉移和交易NFT，以服務于現有的真實世界用例。

今年2月初，加密初創公司Aleo Systems Inc（簡稱Aleo）宣布完成2億美元B輪融資，SoftBank和Kora Management領投，Andreessen Horowitz（a16z）、Tiger Global、Samsung Ventures等參投。

去年5月，Forte獲得1.85億美元A輪融資，估值10億美元。此輪融資由風險投資基金Griffin Gaming Partners領投，Union Grove Venture Partners、Andreessen Horowitz（a16z）、Battery Ventures、早期風險投資公司Canaan等參投。（VentureBeat）[2022/3/9 13:45:18]

為什么零知識證明很重要？

DoraHacks平臺開始支持基于零知識證明的隱私二次方資助:據官方消息，DoraHacks開發者激勵平臺HackerLink已經完成整合Dora Factory隱私投票模塊MACI，并開始支持基于零知識證明的二次方投票和二次方資助輪次。

MACI（最小化抗共謀基礎設施）是Dora Factory以太坊工廠的核心模塊之一，通過對投票進行加密以及對結果提供零知識證明，實現隱私投票，將鏈上和鏈下治理的投票過程轉化為非合作博弈，以達到抗共謀的目的。

DoraHacks對MACI代碼中的安全性和效率問題進行了系統性優化。ETH Denver 2022將于2月20日與DoraHacks共同推出第一個中等規模的MACI二次方資助輪次，超過2,000名開發者和10,000名參會者將通過DoraHacks平臺進行零知識二次方投票，這是MACI和鏈上隱私投票的第一次中等規模應用。[2022/1/28 9:19:46]

從應用角度來說，零知識證明有兩個非常重要的方向：隱私計算零知識證明可以滿足消息的隱私性，可以解決常見的區塊鏈網絡中因透明性所帶來的地址和資產額度等消息泄露。例如在區塊鏈交易中，如果你需要證明你擁有某種資產，但同時又不想暴露資產的任何信息，那么就需要用到零知識證明。隱私計算是零知識證明的一個重要的應用領域。若想保護隱私，則可以通過密碼學的解決方案對鏈上數據進行加密，讓鏈上的不同交易之間找不出關聯性。零知識證明可以驗證計算而不會暴露有關輸入和計算本身的任何信息，保證鏈上數據隱私和安全。Web3.0至關重要的一點是用戶自身真正掌握身份和數據所有權。但當前區塊鏈上所有的信息都是公開的，人們通過一些手段就可以輕易得獲取用戶的信息(當然這本身也是區塊鏈網絡共識的特性)。雖然目前區塊鏈用戶尚沒有廣泛且強烈的隱私意識，但隨著發展，這種需求在未來一定是更加迫切且長期存在的。所以要實現Web3.0的愿景，用戶必須要有權力擁有自己的鏈上隱私。因此可以說隱私未必是必選項，但一定是可選項。拓展性若常用的區塊鏈平臺中產出新區塊的驗證時間很長，可直接更改為一人驗證并生成證明，網絡中的其他參與者都掌握快速驗證該證明的方法，而不需要每個參與者都花費大量的時間來直接進行驗證。這涉及共識的成本問題，從經濟學角度來看，以太坊，比特幣等區塊鏈網絡交易成本高昂的原因在于：共識必須是昂貴的，廉價的共識一定程度上是不可信的。而其中的成本主要來自于區塊鏈需要若干臺設備的重復計算才能達成一致的共識。例如POW共識機制中，1000臺機器做重復的計算工作，效率不會大于一臺計算機的效率，但其所需要的成本是一臺計算機的1000倍。這是所有的主流共識協議，無論是POW還是POS，為確保去中心化的共識所必須付出的成本。也就是不可能三角的束縛。將零知識證明和區塊鏈的一致共識結合起來，就可以達到僅用一臺設備即可運行計算完成1000臺設備重復計算的工作，從而極大降低了網絡成本。零知識證明，通過采用密碼學的方法，讓其他設備驗證一臺設備計算的可靠性，而非直接參與重復計算。而且，在成本昂貴的區塊鏈網絡上，驗證計算的正確性要比重復計算便宜得多。因此，區塊鏈依舊負責網絡的共識和安全，而一些計算的工作則可以交給零知識證明在區塊鏈網絡外部完成，提升了區塊鏈的拓展性。

DeGate 發布發展藍圖，將優先實現基于零知識證明技術的以太坊二層訂單薄交易協議:據官方消息，以太坊二層交易協議 DeGate 發布最新發展藍圖，對原有的發展路線進行了調整，將優先上線訂單薄交易，并最終形成訂單薄交易、AMM 交易、保證金交易三者并存的產品架構。

DeGate 表示，隨著 Layer2、以太坊 2.0 等技術的落地，區塊鏈使用成本將大幅降低，因此更能滿足交易者需求、資金利用率更高的訂單薄交易有可能產生更大的市場需求。DeGate 的訂單簿交易系統將擁有即時掛單撤單、掛單撤單免手續費、maker 交易免手續費、taker 直接交易等功能或優勢。[2021/5/26 22:46:41]

零知識證明在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以太坊區塊鏈技術專業web3游戲項目價值排名web3.0幣圈near幣是下一個以太坊嗎

波場