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

byAkiLabs-Roy,Lyv

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

一、零知證明?

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

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

場景A:

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

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

場景B：

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

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

場景C：

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

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

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

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

所以多項式是什么魔法？

LayerZero Labs 與 Polyhedra Network 合作推出基于零知識證明的輕客戶端:5月31日消息，LayerZero Labs 宣布與 Polyhedra Network 達成戰略合作，共同推出基于零知識證明技術的輕客戶端，使得 LayerZero 的開發者只需要更新一個參數配置就可以使用 Polyhedra Network 開發的零知識證明協議。[2023/6/1 11:51:12]

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

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

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

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

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

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

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

二、所以zkp有什么用？

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

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

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

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

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

零知識身份預言機提供商zkMe完成200萬美元Pre-Seed輪融資，Circle Venture等參投:5月30日消息，零知識身份預言機 zkMe 完成 200 萬美元 Pre-Seed 輪融資，Circle Venture、Spartan Group、CMS Holdings、Fenbushi Capital、NGC Ventures、Arkstream Capital 等參投，計劃利用新資金加速開發，在一個月內完成主網測試并上線客戶注冊功能。

ZkMe 允許用戶加密他們的數據，并使用 ZKP 在他們自己的設備上證明聲明，以有效地驗證用戶資格，同時保護他們的隱私安全。[2023/5/30 9:49:53]

狀態的更新與證明會被交給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的計算與證明在素域上。

零知識證明初創公司RISC Zero完成1200萬美元種子輪融資:8月9日消息，零知識證明初創公司 RISC Zero 宣布完成 1200 萬美元種子輪融資，Bain Capital Crypto 領投，Geometry 、D1 Ventures 和 Cota Capital 等參投。本輪所融資金將用于構建對開發人員友好的可擴展區塊鏈。今年 3 月，RISC Zero 推出了零知識證明虛擬機，該虛擬機使開發人員能夠構建零知識證明，并使用各種編程語言在任何計算機上執行。（The Block）[2022/8/9 12:13:26]

而這樣的種種不兼容，一方面給基于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，遠低于在一條較為陌生的、基于嚴肅精密且復雜的數學邏輯語言的區塊鏈。?

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

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

Polygon 推出基于STARK零知識證明的擴容方案 Miden，采用Facebook開源技術且兼容EVM:11月16日消息，Polygon宣布推出基于零知識的、與 EVM 兼容的擴容解決方案Miden，同時也將開源其核心組件的早期原型版本Polygon Miden 虛擬機 (VM) 。Polygon Miden 是一個基于 STARK 的 ZK Rollup，Polygon Miden VM 是完全開源的基于 STARK 的虛擬機，它的作用是驗證程序執行并為DApp 部署提供增強的盡職調查。Miden VM 通過利用Facebook的Novi開發的STARK證明器/驗證器Winterfell 對基于Rust語言編寫的零知識虛擬機 Distaff VM進行了擴展。Distaff VM和Winterfell的核心開發人員Bobbin Threadbare將加入 Polygon 作為 Miden Lead，致力于重新整合 Distaff，將 Distaff 和 Winterfell 結合起來，并繼續開發 Miden VM 及其周圍的生態系統。

除Polygon Miden外，Polygon價值10億美元的ZK策略資金還孵化Polygon Hermez和Polygon Nightfall。Polygon Hermez是此前收購的Hermez Network，Polygon Nightfall是與安永共同開發構建的以隱私為重點保護的Rollup。[2021/11/17 21:56:06]

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

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

6.1等一下，什么是EVM？

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

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

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

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

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

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

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

聲音 | V神評價MimbleWimble：只有零知識證明 ZK-SNARKs 等全局匿名集，才能真正保證隱私安全:針對 Dragonfly Capital 的分析師 Ivan Bogatyy 發布的關于闡述 MimbleWimble 協議有重大缺陷、Grin 網絡 96% 的交易可被破譯的文章。

以太坊創始人Vitalik在推特回應稱：如果隱私模型設置了一個中等的匿名集，那么它實際上設置了一個小范圍的匿名集。如果隱私模型的匿名集較小，則其匿名集為 1。只有全局匿名集（例如，使用 ZK-SNARKs 技術進行的加密）才真正具有安全性。[2019/11/19]

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

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：ROLLROLPOLYPOLTROLLROL幣polyx幣創始團隊POLT幣

酷幣