tl;上周在柏林舉行的 EF 研討會上：乙太坊是用於擴展 L1 的全能 zkVM。 實時證明表明，今天可以使用 ZK 大規模擴展 L1。Justin Drake 甚至概述了最終將 zkVMs 納入 L1 的途徑。 他們對這項工作的認真程度比我意識到的要嚴重得多。 更多詳情 🧵

乙太坊目前的 #1 戰略優先事項是擴展 L1：正如最近的 EF 更新中所強調的那樣，EF 的核心焦點小組之一（由 @timebeiko + @adietrichs 領導）是大幅增加 L1 的容量，為主網帶來更多活動。 最近的「實時驗證」公告使領導層意識到今天使用 ZK 擴展 L1 是可能的。擴展的一個主要瓶頸是在增加 gas 的同時保持對節點的低硬體要求。通過實時證明，可以在不犧牲可驗證性的情況下大幅提高 gas 限制，因為驗證者只需要驗證證明（計算成本低）即可跟上鏈的步伐。 EF 為此投入了大量資源，包括幾個致力於製作無狀態 ZK 用戶端的工程團隊，使用 ZK boost 整合 prover 網路，以及對 zkVMs 進行基準測試。EF 在未來幾個季度制定了一個具體計劃，將 zkVMs 和 RTP 整合到堆疊的許多部分中。有一個團隊致力於製作無狀態的 ZK 用戶端，它可以在最小的硬體上運行，同時驗證證明。他們正在構建 ZK Boost，這是一個類似 MEV boost 的 sidecar，每個構建者和提議者都將運行它以向證明者網路請求證明。他們有一個專門的 zkVM 基準測試團隊，以瞭解需要哪些協定更改才能保證 100% 的區塊實時驗證。 Justin 概述了未來幾年在乙太坊中體現 zkVM 證明的具體路徑。在一次演講中，Justin 概述了逐步將 zkVMs 引入 L1 的計劃，最終在 L1 中引入正式驗證的證明系統。 隨著 zkVMs 對 L1 變得至關重要，證明者網路將成為提議者為每個乙太坊區塊尋找證明的基礎設施。此次 zkVM 推送中的關鍵基礎設施將是 prover 網路。證明者網路實現了提議者、證明者的分離，提議者可以保持去中心化和簡單，同時以最高效率從一組有競爭力的證明者那裡獲得每個區塊的實時證明。這就是我們正在使用 Secincint 的 Prover Network :) 構建的 zkVMs 即將為世界上最好的區塊鏈提供動力。ZK 潮汐波，來了。