為什麼以太坊現在迫切需要ZK-VM？

作者：0xTodd

在以太坊擴容底下的眾多思路中，ZK 是最難聊的。

縱觀全網，V 神和以太坊基金會對 ZK 的押注是最多的。ZK 有點像以太坊家裡最小的兒子，傾注心血最多，但是未來也最不明朗。

前幾天，以太坊基金會又發佈了 Kohaku 路綫圖，是一個隱私錢包的各種基礎組件。路綫圖裡面再次強調，更多的功能還需要仰仗 ZK-EVM/ZK-VM 的實現。

那麼，以太坊究竟為什麼這麼迫切地需要 ZK-VM？

答案是，為了性能，且不是犧牲安全換來的。

之前聊過一個話題，是說提高以太坊性能最立竿見影的手段，就是提高 GAS 上限，簡而言之就是讓每個區塊變大。

但是，提高 GAS 上限是有代價的，過大的區塊對於節點是沉重的負擔。

目前以太坊的驗證模式，稱之為「全員全驗」，即全部節點要對每個區塊做全部驗證，這個思路簡單粗暴，可惜冗餘過大。

因為如果 GAS 上限提得過高，那麼每個節點的工作量都要同步大幅上升。

要知道，以太坊的區塊間隔是 12 秒，這裡還要給區塊在全球的傳播預留時間，還有一堆老六夾子要去排 MEV，每個驗證者接受區塊、驗證區塊的時間實際上非常短暫（大概 4~8 秒），確實沒法做很多驗證。

但是，如果把以太坊的 L1 全盤 ZK 化，它會變成「全員一驗」。當一個區塊被組裝好後，先走一個 ZK 證明。

眾所周知，ZK 出證明很慢，但是驗證極快。所以，每個區塊只需要被 ZK 化一次，全部節點就只需要快速復核證明是否正確即可。

這樣的好處是，可以玩命提高 GAS 上限了，因為無論怎麼提升，對於節點的負擔都不會太大。

做個比喻，以前你在釘釘裡走一套請假的審批流程（發交易），需要每個領導（節點）親自看一下你還有沒有剩餘假期（全員全驗），全部批準了才行。

ZK 化之後，你還是申請請假流程（發交易），係統發現你有剩餘假期，直接告訴各位領導「這個人有假」，且領導完全相信係統不會出錯（ZK），然後領導批準就快多了（全員一驗）。

這就是以太坊要進行 ZK 化的原因。

但是這個工程量相當大，畢竟密碼學含量太高了，所以以太坊必須和其他團隊共同合作。

那麼第三方團隊要做什麼樣的工作呢？這裡拿以太坊基金會 Justin 提到的 Brevis 協議做一個例子，這也是目前跑 ZK 最快的協議。

Brevis 是做 ZK-VM 賽道的，他們最新的 Pico Prism 技術目前是在給定條件下出 ZK 證明最快的。

根據披露，在當前 45M GAS 上限的以太坊區塊上，Brevis 用了 64 張 RTX 5090 GPU。測試中 99.6% 區塊在 12 秒内完成證明，以及 96.8% 的 10 秒内證明覆蓋率。

這個數據是很牛逼的。

以太坊為了去中心化，要求做 ZK 證明的設備不得超過 10w 美金。

不然人均放幾台 H200/B200 肯定比這快，但是那樣門檻又太高了。Brevis 這些顯卡剛好卡在 10 w 美金量級。

另外，為什麼 10 秒覆蓋率也很重要？

因為一般 MEV 區塊是 1~3 秒出，再加 10 秒的證明，正好 12 秒填滿，屬於剛剛好用完時間，所以 12 秒出不行，必須 10 秒覆蓋率很高。

所以 Brevis 等於是「在帶腳鐐跳舞比賽中得到舞王桂冠」。

Brevis 比較牛的技術是在多 GPU 集群上有所突破，不過那邊技術細節比較多，等後面有時間再單開一帖慢慢聊。

最後，回到正題做個總結：

• 以太坊要想 L1 提速，就得加 GAS 上限；
• 要想加 GAS 上限，就得 ZK 化；
• 要想優雅 ZK 化（<10 秒出證明、<10w 美金買設備），就需要 Crypto 圈密碼學界的合力。

内容來源：PANews