作者：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 圈密碼學界的合力。
