當我們講到ETH L2的時候,基本都在講Rollup,其他技術方案(側鏈,狀態通道已被淘汰),而備受討論的OP Rollup和ZK Rollup之爭,成爲現在主流討論的話題,但在主流加密討論中,ZK方案將是Rollup終局技術!

而就在前不久 a16zcrypto 發佈了最近的zkEVM解決方案Jolt,比傳統技術方案快2倍,且簡潔高效。

除了目前的Jolt外,還有一個備受期待的解決方案是由 MetisL2 孵化的 ProjectZKM ,獨有的zkMIPS證明架構,極具潛力。

來詳細瞭解一下各ZK方案以及 Metis 獨有的ZKM優勢!

1/ zkVM & zkEVM

zkVM是指零知識虛擬機,zkEVM是零知識ETH虛擬機。兩者概念非常相似,皆是驗證程序的正確執行,它們之間的主要區別在於程序是在鏈上運行(zkEVM)還是鏈下運行(zkVM),是否用智能合約語言編寫且支持智能合約(zkEVM)。

但傳統的zkVM在生成證明的過程中會進行大量繁瑣計算,因此性能低下,暫未被廣泛使用。

2/ZKM (@ProjectZKM)

ZKM正在構建一個通用的zkVM,名爲zkMIPS,旨在提供一種安全可驗證計算的解決方案。

zkMIPS具有不錯的潛力:
• 良好的隱私性,能隱藏信息的前提下證明你擁有該數據
• 良好的容量佔用,比原始數據小,可以爲大量數據創建證明
• 可驗證計算使其在雲計算、區塊鏈和機器學習中使用無需信任的數據

3/ ZKM

zkMIPS機制:

zkMIPS 證明採用了FRI協議,爲了提高簡潔性,做了諸多優化:
①程序分段,採用並行證明每個片段
②所有分段大小相同,延續證明的效率最大化
③相較於Jolt方案 ,優化了查找路徑,降低了成本
④鏈下和鏈上編程語言可輕鬆編譯爲MIPS,EVM兼容性更廣泛

上述優勢,使得ZKM提供了更快,更安全,更兼容的解決方案。

4/ Hybrid Rollup

ZKM的路線圖中,第一階段裏面將開發一種成爲一種由Op Rollup和ZK Rollup混合而成的Hybrid Rollup,兼具兩者優勢,這也是 #Metis 殺手鐗之一。

介紹之前我們先用一個快餐店的例子來簡單介紹下什麼是Rollup:

在一個擁擠的快餐店中,餐廳爲了解決每日結賬擁堵的問題,餐廳引進了新的收銀系統,允許月內所有客戶訂單捆綁到一筆交易中。

所有訂單捆綁到一筆處理能明顯提升收銀結賬的效率,減緩餐廳的擁堵程度,增加翻檯率。

5/ Hybrid Rollup

相似地,Rollup的原理就是將以太坊上多個交易捆綁在一起,然後在以太坊網絡之外處理,僅將最終結果合併傳到鏈上,從而有效減少擁堵。

目前主流的兩種Rollup是OP和ZK:

• OP將所有數據打包後鏈下處理,但是有等待期,如果無人提出交易質疑就會上傳彙總,缺點便是時間成本較高。

• ZK使用零知識證明來驗證交易有效性,時間成本低但難以處理複雜交易。

6/ Hybrid Rollup

由此可見OP和ZK都各有優劣,因此混合Rollup便應運而生。

在Rollup的前端類似於OP,然而大多數交易使用ZK進行驗證,通過驗證的交易無需等待OP的7天欺詐挑戰便能直接提交到L1上。只有未通過驗證的交易纔會進入OP的7天欺詐挑戰階段。

其優勢在於保留了原有OP架構的同時大大縮減了驗證所需的時間成本,並且安全性和效率得以保障。

7/ Hybrid Rollup

因此ZKM總體流程上是:

• 當用戶發送交易後,OP排序器將數據整理排序並壓縮打包
• 未經挑戰的安全數據經過zkMIPS的零知識證明後匯入到L1中
• 被挑戰且失敗的交易會被最終認定無效


8/ @MetisL2

在業內,Hybrid Rollup還並不常見,設計和落地這樣極具創新性的技術方案,其背後團隊是 @MetisL2 ,ZKM便是由Metis團隊所孵化創立。

Metis原作爲以OP Rollup爲架構的L2,得益於與ZKM的研發,實現了其從OP Rollup到混合Rollup的升級,這是Metis作爲頭部L2的相較於 #ARB 和 #OP 的最大不同和優勢之一。

9/ @MetisL2

除了優秀的混合Rollup方案外,作爲一個明星L2公鏈,Metis自身另一個特點在於其優秀的去中心化排序器。

目前例如 #ARB 和 #OP 的排序器都相對中心化,存在審查性、MEV提取、單點故障的潛在弊端。

而Metis通過建立了一個排序器池來解決上述問題。

10/ @MetisL2

Metis的排序器池中有衆多排序器共同工作,對交易進行排序和打包。每一個排序器都是一個節點,需要用戶選舉爲白名單用戶,並且質押20000枚 $METIS 代幣即可。

這樣的模式好處在於:
• 大大提高了去中心化程度
• 大大提高了排序和打包效率
• 同時能把單點故障損失降到最小

總結:


Metis是我們爲數不多看好的ETH L2項目, @MetisL2 孵化的 @projectzkm ZK技術方案,極具創新優勢和潛力。而在目前L2市場中,Metis與ZKM的解決方案在L2中較爲亮眼,同時Metis團隊也拿出價值4億美金的 $METIS 作爲生態激勵基金,在一衆L2中也受到了大量關注。因此,#Metis 未來前景不可估量!