基於零知識證明的以太坊第二層擴展（ZK-Rollup）一直都是以太坊生態中被寄予厚望的一派。在理論上它可以比較平衡地解決效率和安全的問題。
Vitalik屢次在他的文章和公開演講中都表示對這個技術幾乎毫無保留的看好。
然而遺憾的是，在具體的實現上受制於當下工程技術方面的限制，零知識證明需要消耗大量的算力並且難以在較短的時間內完成複雜的計算。這使得它在應用上難以和OP一派相競，而且兩者的差距還在拉大。
這種差距在生態建設方面顯得格外明顯。根據L2Beat（https://l2beat.com/scaling/tvl）上的最新數據顯示：Stark、zkSync、Linea和Scroll這四個ZK系加起來的TVL都比不上排名第三的OP系Base（排名第一、二的分別為Arbitrum和Optimism）。
儘管如此，資本對於ZK系的熱情似乎一直沒有減退。最近A16Z就發佈了自己的開源平台ZKVM。
要注意的是：和我們常聽到的ZKEVM不同，ZKVM少了一個字母，但意義卻有明顯的不同。 ZKEVM強調的是相容於以太坊虛擬機，而ZKVM則是一個更廣泛的虛擬機平台。理論上ZKVM的應用範圍更廣。
在我的記憶中，這是A16Z在加密賽道第一次親自下場佈局賽道的發展。
A16Z的動作、Vitalik的論述和ZK系在技術理論上的優勢都提醒我們必須保持關注ZK系第二層擴展系統的發展。
然而當下幾個頭部ZK系第二層擴展系統的發展實在是差強人意，而另一個冉冉升起的新星Metis在某些方面的做法倒是很值得關注。
Metis也是基於零知識證明的以太坊第二層擴展。但和其它「純種」的ZK系擴展不同，它採用了一種混合系統，一部分交易採用OP的處理方式，另一部分交易採用ZK的處理方式。這使得它在效率和性能方面可以綜合兩者的優點。
不過實事求是的說，同樣由於當下技術方面的局限，這種優勢目前表現得還不是特別明顯。
除此之外，它在排序器方面「自我革命」的做法倒是更值得圈點。
在以太坊的Rollup第二層擴展系統中，無論是OP系還是ZK系，它們在技術上都有一個共同點：那就是需要排序器對交易進行排序、打包最後送到以太坊上進行最終的確認。
目前絕大部分的第二層擴展系統為了實現上的便利和效率上的考慮統統採用了中心化的排序器，或者乾脆直接用伺服器進行處理。
這種中心化的處理在業界就是個公開的“秘密”，連Vitalik都公開詬病過這個問題。但無論大家怎麼詬病，項目方們就是“雷聲大、雨點小”，一邊說要盡快去中心化，另一邊卻動作遲緩。
為什麼？
因為中心化的排序器太符合專案方的利益了。
但Metis卻大膽地開始了“自我革命”，開始嘗試對排序器進行去中心化的推進並有了實質性的動作。
按照它的規劃，未來只要願意質押Metis代幣的用戶都可以參與Metis系統中交易的排序操作，就像以太坊中的質押一樣。
這個做法還能解決當下許多第二層擴充系統代幣賦能的問題，讓代幣產生價值。
更重要的是，如果ZK系的排序器實現了去中心化運作，未來還可能衍生出新的賽道：基於硬體算力的零知識證明「挖礦」。
在這種「挖礦」中，第二層擴展中的每個節點都要力爭用最強的算力最快算出零知識證明結果，而強算力需要強GPU的堆疊。
所以一旦這種發展成為趨勢，很有可能新的挖礦賽道會在以太坊的第二層擴展甚至所有需要零知識證明計算的領域中誕生。
當然，它能否發展起來，也要看專案方除了重視技術之外是否同樣重視生態建設，否則未來的前景也不樂觀。
不過，這些有可能改變生態格局的新動向還是值得我們投資人關注的.
