L1-zkEVM 首次正式電話會議：L1-zkEVM 分組會議 #001 要點總結 文章 X 2 月 11 日，我們舉行了首次正式分組會議，向以太坊 L1 層介紹了零知識證明 (ZK Proof)。這標誌著從重新執行驗證過渡到 ZK Proof 驗證路線圖的開始。 本次會議的五大要點 1. 七個專項團隊已組建完成 我們已進入工程階段，而非研究階段，涉及執行見證、共識統一、zkVM 標準化、證明基礎設施、基準測試和安全驗證等領域。每個領域都由專項負責人負責。 2. 區塊驗證時間低於 16 秒 隨著以太坊區塊的 ZK Proof 驗證時間低於 16 秒，我們已接近主網水平，達到“Alpha 階段”評估標準。剩餘的任務是驗證安全性，而非性能。 3. PeerDAS協同效應的確認 結合Fusaka提出的PeerDAS，可以實現協同效應：最大化區塊驗證效率、減輕驗證者的硬件負擔並增強去中心化。 4. 可能需要12個GPU 有討論認為，新的挑戰證明驗證可能需要12個GPU。這可能與降低驗證者准入門檻的目標相沖突，因此硬件優化已成為一項關鍵挑戰。 5. 設定128位安全目標 目標是在當前一代密碼學假設下確保可證明的安全性。形式化驗證和密碼學研究將並行進行。 影響 • 驗證者：從長遠來看，無需完整的EL客戶端即可進行區塊驗證。這可能會從根本上改變節點的運行結構。 • 基礎設施：證明生成（Prover）基礎設施正在作為一個新的層出現。zkboost和pandaOps等證明器市場正在形成。 • L2：如果 L1 本身執行零知識驗證，則 L2 彙總機制的角色和經濟模型可能會被重新定義。預計這將直接影響 L2 的數據訪問成本結構。 時間表：BAL（並行執行）和 ePBS 將在 Glamsterdam 實現（2026 年下半年），隨後在 2027 年後實現 L1-zkEVM。