零知證明與zkEVM：從何而來，去往何處？_ROL

byAkiLabs-Roy,Lyv

在當下火熱的zk-Rollup賽道背后，我們一直希望能夠梳理這一區塊鏈最前沿技術為何應運而生，不同團隊解決方案大大小小的差異，以及這些差異最后可能會為我們帶來一個個如何截然不同的生態。

一、零知證明?

首先我們需要明確，零知證明真的很難。

如果我們用幾句話簡單概括ZKP的話，一定會產生理解與事實上的偏差。但是我們相信在TL;DR的巨大魅力面前，大家都不會過于在意的。下面就讓我們以實際生活為背景，描述三個場景的遞進，來形象地理解ZKP的原理。

場景A:

想象一個暑假結束開學了，老師檢查《暑假生活》的場景，全班同學交上來一摞厚厚的大本子。老師是不可能一道題一道題批改的，于是他開始快速翻動眼前的練習冊，以作業本上有沒有留空白來檢查學生是不是把每道題都寫了。

在這個場景下老師并不知道每道題學生是否答題正確，只是他能確定學生有沒有完成作業。

場景B：

他發現有一些同學在空白處填上意義不明的內容如和路雪棒棒冰、肯德基瘋狂星期四等等，他才意識到自己是過于天真了——學生們偷奸耍滑。于是他把作業全部打回去，宣布自己將要抽查部分題目，希望同學們認真對待。

在這個場景下老師通過隨機抽查驗證非常小部分的題目以確定學生有沒有正確地完成作業。

場景C：

老師再把作業收上來檢查后，大部分同學因為懼怕抽查好好完成了作業，老師表示比較滿意。然而總有一些人繼續偷奸耍滑，他們會在隨機少量題目下瞎寫。而老師只能隨機抽查部分題目，若不是部分人運氣不好恰好撞上被抽查那道題，又險些被他們混過去。

所以老師最終還是需要一個方案，既能保證學生每道題都正確完成了，還可以盡可能降低自己的工作量。

這就是目前區塊鏈中零知證明真正克服的困難：如何在驗證盡量少的題目的同時，保證答案整體的正確性。在以上的場景中，每道題的答案之間并沒有任何的邏輯聯系，即這一道題的正確與否與另外一道題的正確與否無關。所以，是否有一種巧妙的方式，讓老師在抽查一道題并判斷正確與否的同時，就能知道學生整本作業是不是全部回答正確的？

那么，以下是超現實部分：老師想要把所有正確的答案“串”起來，并為此引入了新的數學工具：多項式。通過構造含多項式的等式進行驗證，能夠幾乎同時確認同學們的答案部分個體與整體的正確性。這樣，老師終于可以放心地宣布，同學們正確且完整地完成了暑假作業。

所以多項式是什么魔法？

a16z crypto引入Lasso和Jolt工具來增強零知識證明:金色財經報道，風險投資公司 Andreessen Horowitz 的加密貨幣部門 a16z crypto 推出了 Lasso 和 Jolt，這是一對基于簡潔非交互式知識論證（SNARK）的新工具。SNARK 是一種零知識證明，有可能促進第 2 層空間中的可擴展 ZK Rollup，這通常被視為計算密集型。Lasso 是 a16z 兩篇研究論文的主要創新，它采用了“查找參數”機制，有利于更快的零知識證明。它將特定的輸入與相應的輸出相匹配，而不泄露額外的信息。該團隊指出，Lasso 引入了一種簡化的方法來驗證 SNARK，通過對大量結構化表執行查找來避免繁瑣的手動優化電路。[2023/8/11 16:18:58]

在這里舉一個簡單的例子：作業只有三道題，序號與答案分別是(1,4),(2,6),(3,3)，用一個多項式“串”起來得到y=-52x2+192x-3

至此，老師批改作業只需要完成兩個步驟，1）檢查多項式本身，驗證整體是否正確；2）隨機抽一個點以驗證這個同學是不是真的寫了這道題。當然這是一個非常幼稚的例子，在實際的工程中，我們構造的是含多項式的等式，一部分是待驗證某個由數學語言表達的statement，另外一部分則是用多項式串起來的可驗證且完整的信息。

多項式有很多美妙的性質，在零知證明中我們主要利用了其中的兩個：

原有的信息被串起來了，而我們驗證一組多項式等式中的點就可以同時驗證整個等式。

如果一個多項式等式在某些隨機選擇的點上成立，那么這個等式極大概率是在全集上也成立的。

一句話總結：零知證明的本質是一個概率性證明，即抽查，同時通過引入多項式構造以及一些密碼學的工具來彌補簡單隨機抽查在完整性上的缺陷。

有趣的是，在rollup的語境中，零知識證明的“零知”更多的體現在validityproof對于信息的壓縮上，而非直覺上的對每條單個的信息進行隱私處理。

二、所以zkp有什么用？

我相信你應該聽過ZK-Rollup。我們在前文中花了大量篇幅說明老師是怎么想辦法在完成檢查作業的前提下偷懶的，而ZK-Rollup做的事情就是偷懶。

簡而言之，比如現在有一千個statements，在ZK的幫助下只需要進行十次驗證即可證明其正確性。隨著證明工作量的增加，其對于驗證次數相應需要的增加量是遠低于一個線性關系的，即增加到一萬個statements，驗證次數并沒有增加到一百次，可能我們只需要十一次即可證明。

零知識證明公司RISC Zero與L2協議Layer N聯合推出零知識欺詐證明系統:5月24日消息，零知識證明初創公司RISC Zero宣布與模塊化L2協議Layer N聯合推出零知識欺詐證明系統。該系統通過將Layer N的執行環境移植到RISC Zero的zk虛擬機上，以實現提升區塊鏈性能的同時，保證區塊鏈的可靠性和安全性。未來，zkVM還將實現與其他執行層的兼容，如EVM、SVM和WASM等。

此前報道，去年8月，零知識證明初創公司RISC Zero宣布完成1200萬美元種子輪融資，Bain Capital Crypto領投。[2023/5/24 22:15:02]

所以這是一個很好的擴容方案。類似其他擴容方案一樣，現在已經有的ZK-Rollup應用過程如下，：

用戶將資產鎖在某個L1上的ZK-Rollup的智能合約中

用戶開始進行交易，這些交易內容由L2的sequencer進行整理打包，生成一個validityproof以及在每個包里進行狀態的更新

狀態的更新與證明會被交給L1上的ZK-Rollup智能合約進行驗證，以用來更新L1的狀態

用戶用在L1已經更新的狀態來進行下一步操作。

三、ZK-RollupsvsOptimisticRollups

作為Rollups的兩個技術路線之一，基于ZK構建的Rollups提供了更高的安全性。因為ZK-Rollups僅依靠數學及以太坊本身提供安全性保證，而OptimisticRollups在這一方面則依賴于博弈論框架下的經濟學激勵以及懲罰。

對于用戶而言，這意味著ZK-Rollups擁有更快的L1finality確認，而OptimisticRollups需要等待一周的挑戰期。當然現在有各類跨鏈協議可以用Defi的手段讓OptimisticRollups用戶體驗更方便快捷，例如Celer,Stargate,Across,Synapose等。但這往往是通過犧牲一定的整體安全性來換取局部單點用戶的體驗提升，同時這些協議中用戶支付的提款費用也是一般是官方提款渠道的數倍。

雖然ZKRollups享有相對于OPRollups這些在理論上的優勢，現狀則是基于ZK-Rollups發展的生態相比于OPRollups們還遠不夠繁榮，所以用戶很難在ZK生態中獲得與OP中類似的交互體驗，而ZKRollups也在短期內很難展現出一些在規模化之后才能體現出來的優勢。

四、那么zkp的問題在哪？

因為ZKP在理論上達到可用的時間不早于2015年，所以以太坊在設計之初與ZKP并沒有任何關系。從小節一的閱讀，你可能隱隱有一個感覺：這是一個很數學的玩意兒。你的感覺是對的，它帶來的最直接的問題是EVM的核心基礎設施與ZK-Rollup并不兼容，原因包括但不限于以太坊儲存布局，以太坊的簽名加密機制。以太坊EVM的運算基于正常人的數學世界，而ZKP的計算與證明在素域上。

ZeroSync和Blockstream合作將從衛星廣播比特幣零知識證明:金色財經報道，瑞士非營利組織ZeroSync協會和比特幣基礎設施公司Blockstream表示，他們計劃從Blockstream的衛星廣播比特幣零知識證明 (zk-proofs) 。使用zk-proofs來驗證比特幣區塊鏈意味著節點不必下載比特幣鏈的當前500GB數據，因此可以在幾分之一秒而不是幾小時或幾天內同步。Blockstream的衛星網絡通過將區塊鏈廣播到整個地球，包括互聯網覆蓋不可靠的地區，提供對比特幣的免費全球訪問。ZeroSync預計第一次實驗廣播將在今年年底進行。

新成立的ZeroSync協會于周二成立，計劃通過使用零知識證明 (zk-proofs) 來幫助擴展比特幣，零知識證明是一種密碼技術，可以在不泄露信息本身的情況下證明信息的有效性。[2023/4/1 13:39:02]

而這樣的種種不兼容，一方面給基于ZKP的區塊鏈項目帶來了巨量鏈上計算的額外負擔；其二，因為需要ZKP在工程學上的實現，算數電路、邏輯門等數學概念的實施復雜度成為一個在編程時不得不考慮的約束，也使得開發者們要在開發學習成本與實現精度兩者之間做一定取舍。

而在應用層面，現有基于ZKP的技術棧，要么是部署在L1上面的智能合約指向某一個L2的ZK-Rollups，要么是基于Dapp設計的專用ZK-Rollup，比如dYdXV3用的就是ZK-Rollup。

不管是哪一種形式，因為數學底層的巨大差異導致了這些ZKProjects和其他項目的可組合性很差。比如在ZK-rollup生態部署的一個Defi協議希望找一個有公信力的預言機，這個場景的需求是真實存在的；然而由于這個協議是基于ZK-Rollup開發的，那么和其他交互起來就十分困難，例如Etherscan就不能簡單在基于ZKP的區塊鏈上進行fork而直接服務這條鏈。

五、為什么要和以太坊兼容呢？

因為以太坊生態很大，如果你的鏈和它長得越像，最好就只是ChainID不一樣，那么你的生態被一些基于以太坊開發的app支持的概率就越大。比如Polygon一直以來致力于支持以太坊，提供了各種各樣高效又便宜的擴容方案，為用戶和以太坊生態發展作出了很大的貢獻。

用戶的方面，熟悉，便宜，無痛轉換才是金標準。而對于絕大多數開發者來說，學一門新的高級語言的學習成本，是遠遠低于學習一門嚴肅的數學課程的。因此一個協議項目在一條新公鏈上重新開發的難度，例如Solana/Aptos，遠低于在一條較為陌生的、基于嚴肅精密且復雜的數學邏輯語言的區塊鏈。?

Polygon Zero宣布其零知識驗證系統Plonky2已開源:8月17日消息，Polygon 旗下零知識技術開發商 Polygon Zero（原 Mir）在其社交平臺宣布其零知識驗證系統 Plonky2 已開源。

此前報道，1 月 11 日，Polygon Zero 宣布推出遞歸 SNARK 解決方案 Plonky2，并可與以太坊兼容。官方介紹，使用 Plonky2，用戶可以在筆記本電腦上僅 0.17 秒內生成遞歸零知識證明，比目前的速度快了近 100 倍。[2022/8/17 12:30:17]

當然并不是說自己搞一套新的標準一定不可行，在強大的開發團隊和適度的經濟激勵下，Solana同樣取得了巨大的成功。在EVM的加持下，Cosmos生態也成功吸引到了大量的solidity開發者前往部署自己的協議。

因此，所以如果ZKP可以和EVM無痛兼容，開發者們會更輕松地去移植已有的Dapp和智能合約到ZK-basedL2，或者在這一個新的框架下開發全新類型的Dapp。進一步，如果第四小節中提到的可組合性問題也可以得到改善，從而ZK-basedprojects可以與其他應用有更好的交互，那么我們會得到一個更繁榮的ZK-basedL2生態。這一點上，ZKL2玩家們和Solana,Aptos這些L1玩家底層驅動力是一致的。

六、那么有沒有辦法讓ZKP和EVM兼容呢？

有的。現在很多團隊就在做這個事情。

6.1等一下，什么是EVM？

EVM是以太坊上運行智能合約的虛擬機。

6.2再等一下，什么是虛擬機？

一臺用軟件模擬出來的幾乎與真實電腦一樣的虛擬電腦。

6.3那為什么以太坊需要虛擬機？

因為以太坊引入了智能合約，而執行合約需要一臺電腦。在去中心化網絡里，產生共識的前提是，不同節點對同一合約的計算和處理需要產生相同的結果，即不同計算機去計算1+1，都應該得到2這個結果。然而每個節點的物理意義上的電腦可能有不同的底層環境，為了避免這些底層環境差異帶來的干擾，所以智能合約需要在虛擬機上運行，以保證相同問題產生相同結果，即確定性。

有很多很多的文章或者推已經總結了這些不同路線在技術上的差異，在此不再贅述，我覺得可能你們也沒有興趣。所以在這里就聊一聊常識、商業、和更用戶向一點的東西。

第一個問題是我們對生態有什么樣的期待。

現狀是ZkSyncStarkWARE等團隊做了很多Applicationspecificzk-rollups，toB的業務發展得很成熟，例如Immutable在Starkware上已經承載了像Illuvium這樣廣受期待的大型Web3游戲。然而由于在前面幾段的講過的原因，這些項目依然在等待形成一個共同且共通的生態來抱團發展。

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

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

Scroll/PolygonHermez/zkSyncEra在構建ZK-basedL2生態做的努力是將開發和現有協議移植的難度降低到幾乎無痛的水平。在實現完全EVM等效（type2byvitalik)的這個過程里，我們目前在實踐中是處于“幾乎”EVM等效（type3byvitalik)這個進度。例如zkSyncEra就可以使99%的以太坊項目無需重構或重新審計任何一行代碼即可部署。

對于用戶而言，在交互體驗上如果沒有很大的差異，選擇用哪一條鏈多數時候取決于現在已經在使用哪些鏈。Polygon在這方面是占據了一定的優勢，特別是其現有生態中承載了大量的原生游戲、社交的協議和用戶，以及獨特的Web2品牌露出。

然而我們認為Scroll和zkSyncEra在吸引現有協議部署方面在短中期也不會有明顯的掣肘，主要是基于下面幾項我們對開發者生態的長期觀察：

以太坊生態的Dapp在Zk-basedL2的部署開發難度在逐步下降到觸發大規模遷徙的拐點

L2toL2，L1toL2的跨鏈協議逐漸走向簡單方便便宜，L2原生定向跨鏈橋也有望興起，雖然中心化的挑戰依然可能長期存在，

從我們熟悉的領域來講，由于有經濟激勵的預期和積極的運營，用戶可以做到對多條鏈的多個協議都一一進行嘗試

第二個問題是如何從中心化到去中心化。

首先要說明的是，目前的絕大部分ZK-Rollups是一個很中心化的結構。其很大的一個原因是路徑依賴：因為目前沒有可組合性，所以就不需要和別人組合，所以中心化暫時也沒有關系。但是如果想發展成一個生態，這個中心化的問題必須解決。

目前主流的ZKEVM方案提供者們共同認識到了解決這個問題的必要性。在這個方面Scroll/PolygonHermez/ZksyncEra認為推進prover網絡和sequencer網絡去中心化的進程應該是逐步漸進式的，最終實現將prover/sequencer的工作通過代幣經濟學達成算力外包和市場化，盡管具體實現步驟各家仍有分歧。

所以我們又回到了熟悉的領域：有錢出錢，有力出力，然后大家等著平臺派發分紅。在這里我們有一個小的concern是生成證明的算力產生的成本其實是很高的，所以prover在zk-basedL2中的門檻會遠高于PoS鏈的對應部門；而sequencer出錯塊的問題其實是所有區塊鏈網絡共同的問題，并不獨屬于zk-basedL2，。所以我認為在ZK生態中，prover網絡的去中心化可能會面臨更大的挑戰。

七、ZK-basedL2生態發展野望

StarkNet：

做為私募估值最高的以太坊ZK擴容解決方案以及zk-STARK的密碼學理論創始人，Starknet所代表的技術流派一直以來是行業的例行標準。創始人EliBen-Sassen甚至就是區塊鏈中廣泛應用的zk-SNARKs和ZK-STARKs的發明者。

但我們同時也發現，在很多涉及與以太坊EVM生態融合至關重要的產品配置上，Starknet生態由于技術路徑的原因，還在探索更加開發者友好、面向大眾的解決方案。我們認為將來Starknet團隊可能在商業上會繼續執行兩條腿走路的戰略：

一方面通過成熟的Starknet繼續用定制化開發服務有大規模ZKP需求的項目，比如Web2游戲廠商的AAA大制作，或者IP持有者進行鏈上元宇宙的大規模試驗

另一方面，通過扶持智能合約錢包、CarioxSolidity開發者中間件橋梁等方式，增強和以太坊生態整體的協同能力。

與OP-Rollups需要和以太坊主網一起通過EIP-4337建立智能合約錢包的方式不同，Starknet從一開始在L2上就支持基于賬戶抽象的智能合約錢包。Starknet上部署的智能合約錢包可以在利用手機內置芯片的加密安全能力實現硬件簽名器和多重認證，并通過區塊鏈合約層面的創新完成社交恢復、移動錢包支付等場景。

屆時，我們似乎可以想象一家大型的移動硬件公司，攜帶海量Web2用戶，以元宇宙或者大型鏈上游戲作為入口進場Starknet及Web3的盛況。

zkSyncEra：

近期剛推出zkEVM2.0版本的zkSync也是最受期待的zkL2解決方案之一，主打極高的性能天花板，兼顧安全與用戶體驗，最高TPS潛力可達20,000+。最新的zkSyncEra利用基LLVM的Solidity編譯器，zkSync自創、屢獲殊榮的GPU證明器，以及MatterLabs即將推出的Redshift證明系統，將會把每筆交易的費用降低至遠小于1美分。

zkSyncEra也致力于降低區塊鏈數據存儲的問題，在EIP-4844之上還提供了創新的zkPorter功能，允許用戶和開發人員依據不同的安全級別需求選擇數據可用性格式，在具有無縫互操作性的高性能的validium和高安全性的validity之間平衡開發重心。

另外，zkSyncEra引入了Hyperchains的分形擴容方案作為其“L3”的主要發展方向。Hyperchains是利用LLVM的zkEVM類似分形的實例，可在L1上實現并行運行及共同結算。任何人都可以在無需許可的情況下部署Hyperchains，它具有高度可定制的模塊化zkEVM鏈堆棧，并由與主zkSyncL2完全相同的zkEVM引擎提供支持。開發人員可以選定的不同解決路線，選擇相應的虛擬機、定序器設計以及數據可用性。

zkSyncEra推出如此高度可定制模塊化的堆棧，讓我們不得不聯想到近期借由Coinbase旗下Base鏈進入大眾視野的OPstack。

我們認為zkSync的B端發展路徑或許可以參考Optimism的經驗，即利用現有的大規模用戶、強大的機構支持者背景，與開發者社區建立良性循環的空投預期和促進生態發展的治理機制。這樣既可促進超越基建設施的創新應用，又能夠鼓勵現有協議的最新版本前來Era部署。

從C端來講，zkSyncEra可能可以從目前以太坊L2還不太強的Web3社交出發，著力打造以太坊系統內的最強的社交網絡、社交圖譜等應用來吸引更多的輕量Web3用戶。我們注意到Hyperchains還有一項很適合運用于社交協議的創新。還可以用來實現高并發、短暫的執行環境。例如，開發者可以啟動一個Rollup來廉價地鑄造數百萬個社交網絡內的同質化NFT資產，然后將這些NFT橋接到另一個執行層，最后關閉臨時的Rollup，為社交協議提供必要的基礎設施容量彈性。

PolygonzkEVM：

Polygon生態的大戰略一直就非常清晰，團隊也執行地非常堅決。我們看到Polygon和其他以太坊Rollup之間已經形成了差異化競爭。在社交生態上，Polygon憑借LensProtocol生態和Galxe已經成為并肩BNB的Web3社交兩巨頭之一。而PlanetIX，HuntersOn-Chain，BenjiBananas等打金游戲也都擁有數十萬的月度活躍錢包地址數。最近PolygonzkEVM也和Immutable在2023GDC大會上宣布了戰略合作伙伴關系，以更好服務工作室和開發商更容易打造高質量的鏈上游戲。根據Cumbeland的報告，Polygon在非加密伙伴方面有望在短中期內達到每年3億美元的收入，是目前每天幾萬美元氣費收入的十倍以上。

最特別的是，Polygon通過和大量區塊鏈行業之外的品牌合作，已經成為了Web3在傳統行業的形象大使。通過和星巴克奧德賽活動的承辦商Forum3的緊密合作，Polygon有望能在近一年中迎來2700萬幾乎全新的北美區塊鏈用戶，這些增量對于行業存量來說是巨震級別的。Polygon最近還加入了迪士尼的加速器計劃，融入stripe的全球支付系統，支持Reddit的表情包NFT系統，以及和Adobe,耐克、阿迪達斯，梅賽德斯奔馳，萬事達卡，可口可樂等世界知名品牌達成商業合作。

我們認為PolygonzkEVM(Hermez)，可以繼承整個Polygon生態在傳統領域的強大競爭力，通過zkEVML2和以太坊生態實現更完整的結合，讓Web2品牌也能享受到以太坊L1帶來的資產安全性溢價。我們看好游戲和社交兩大賽道持續在Polygon生態中快速成長。

Scroll：

作為最年輕的以太坊zkL2解決方案，Scroll也許是和以太坊基金會走得最近的一個開發團隊，匯集了最新最強大的零知證明團隊之一。Scroll正以實施技術能力和迭代速度為基礎，正奮力追趕其他zk-basedrollups的開發進度。

Scroll在prover網絡和sequencer的去中心化設計中走在前沿，特別是已經提出了使用GPU/ASIC提升算力再來分散化驗證網絡的解決方案。Scroll的EVM在理論上，相對于zkSyncEra和Starkware有更高的代碼兼容性天花板，這意味著開發者不需要再去相信新的虛擬機和編譯器，也可以規避執行交易過程中借助一段中間的代碼來實現EVM兼容帶來的風險。

Scroll的團隊從第一天開始，就在和以太坊核心活動深度綁定，打造自己的品牌知名度和基礎設施套件，比如預言機、錢包等。雖然所有以太坊L1,甚至L2的協議開發都在理論上可以快速部署到Scroll，我們認為Scroll最大的機會還在在于捕捉DeFi的皇冠明珠：去中心化的中央限價訂單簿交易所。Scroll強大的性能潛力，配合以太坊主網大量流動性尋求安全高效的交易環境的急切需求，可能可以帶來這類dex協議的爆發。我們另外注意到如LensProtocol等Web3項目也開始嘗試在Scroll上部署，我們期待更多類似的好消息。

簡介：AkiLabs是AkiNetwork旗下的深度研究機構，致力于結合區塊鏈行業的商業邏輯與技術理論、工程實踐，向我們的社區傳達最具思考價值的前瞻性聲音。

詳情鏈接

?

Tags：ROLROLL以太坊SYNTROLLER價格Qrolli以太坊官網錢包下載教程SYND幣

火幣網下載官方app