開場
根據在 All Core Developers（ACD）會議上的討論，Ethereum Foundation 的 zkEVM 團隊提出將 EIP-8025 納入 Hegota 分叉。EIP-8025 引入「可選執行證明」（Optional Execution Proofs），使以太坊節點能夠驗證零知識證明，而非直接重執行所有交易。目前，節點透過重執行交易結果來驗證區塊正確性；EIP-8025 則新增一種替代方式，節點可在不重複完整運算的情況下，驗證區塊有效性的 ZK 證明。此階段，該提案運作為完整的可選（opt-in）機制——僅選擇使用證明的節點會受到影響，而共識規則維持不變。這代表以太坊正式從實驗階段邁向在協定層級整合零知識技術，潛在降低節點運作成本，並在長期使更大的區塊搭配更複雜的執行成為可能。
研究進展
EIP-8025：以太坊的零知識基礎設施進入協定升級階段
EIP-8025 的核心機制圍繞「可選執行證明」。節點不再需要重執行所有交易以驗證區塊有效性；節點可改以驗證零知識證明，以確認執行正確性。該提案並未立即把以太坊轉為 ZK 型鏈；相反地，它建立了從「直接重執行鏈」過渡到「證明驗證鏈」的基礎。
其重要性在於降低節點的作業負擔，並為更大區塊與更複雜的執行建立基礎設施。透過讓節點驗證證明而非複製運算，以太坊能支援更高的吞吐量與處理能力。
Vitalik Buterin 談 AI 與用於網路安全的形式化驗證
以太坊聯合創辦人 Vitalik Buterin 發表分析，探討結合 AI 與形式化驗證以改造網路安全。形式化驗證以數學方式證明程式完全如預期般運作——這與傳統安全審計形成對比：傳統方式由人員檢視程式碼以尋找漏洞。
Buterin 提出：AI 可以產生低階組合語言（assembly）程式碼，而形式化驗證則能確認此組合語言程式碼與人類可讀的高階實作具有相同的行為。這種做法解決了傳統權衡：組合語言雖執行效率高，但不易接受人類審查；高階程式碼則更重視可讀性而非效能最佳化。
文中提及的以太坊生態系例子包含 Arklib（以形式化驗證 STARKs 來證明正確的複雜運算）與 evm-asm（以 RISC-V 編寫 EVM，並證明其與 Lean 實作等價；其中 Lean 是形式化驗證工具）。
對於區塊鏈協定與智慧合約而言，更強的驗證方法至關重要，因為部署錯誤會帶來嚴重後果。
ZK Summit 14：焦點從證明系統效能轉向真實世界系統保證
ZK Summit 14 於 5 月 7 日在羅馬召開，包含 24 場來自主要 ZK 生態系團隊的簡報，其中包括 Ethereum Foundation、Succinct、Aztec、Nethermind 與 Miden。
最重要的趨勢反映出焦點從證明系統效能指標——速度、證明大小、驗證成本——轉向真實世界的系統保證。零知識技術如今正整合進支付系統、身分驗證、zkVM 與機器學習應用。在這些情境下，僅靠證明效能仍不足以滿足需求：
- 支付系統 需要保護交易金額與使用者資訊。
- 身分系統 必須讓使用者能夠證明所需的憑證，同時隱藏其他個人資料。
- zkVMs 必須能精確證明複雜程式的執行。
- 機器學習應用 需要驗證模型推論結果未被竄改。
ZK 技術已從「快速產生證明」擴展為一種設計安全與隱私保證的方法，以符合各個系統的需求。ZK Summit 14 展示了零知識技術如何從研究走向與真實基礎設施與應用的深度整合。
生態更新
Kohaku 隱私框架即將上線，錢包整合測試進行中
以太坊模組化隱私框架 Kohaku 接近上線，正進行錢包整合測試。Kohaku 提供統一介面，使錢包能夠在不直接實作隱私功能的情況下，使用多種加密後端來執行私密交易。
包含 Ambire 在內的錢包目前正在進行 Kohaku 整合測試。過去，隱私功能在使用者錢包中的採用曾遭遇障礙，因為各個隱私協定採用不同架構，導致錢包必須分別支援每項技術。
Kohaku 透過允許錢包透過單一介面存取多種隱私後端來解決這種碎片化。採用增加可能會擴大 Railgun 的使用；Railgun 被認定為 Kohaku 的基礎隱私引擎。該框架的目標是把以太坊隱私從「針對進階使用者的專用工具」轉變為「自然整合到錢包的功能」。
L2BEAT 驗證 Lighter 的零知識退出暗門（Exit Hatch）
第二層分析平台 L2BEAT 驗證了 Lighter 的 ZK 電路；Lighter 是第二層上的永續期貨 DEX。Lighter 讓永續衍生品交易成為可能——合約不設到期日。
L2BEAT 直接從原始碼彙編所有 Lighter 的 ZK 電路，並確認與已部署的驗證器合約一致（用於驗證提交的 ZK 證明的智慧合約）。此驗證解決退出暗門功能——允許在第二層的排序器（sequencers）或操作員停止時，使用者可提領資產的緊急機制。
過去，Lighter 隱藏了部分驗證器原始碼，導致在排序器故障期間，使用者無法獨立產生退出證明（用於證明提領權利的資料）。在 L2BEAT 完成驗證後，使用者現在可以獨立產生退出證明，提升在緊急狀況下不必仰賴 Lighter 團隊也能提領資產的能力。
這個案例顯示，對於第二層安全而言，驗證已部署程式碼是否與公開可得的程式碼一致，和程式碼是否存在公開本身同樣關鍵。
ETHGlobal 修訂黑客松（Hackathon）形式
ETHGlobal 已重組其黑客松形式。傳統黑客松要求參與者在短時間內挑選想法並打造最小可行產品（MVPs——展示核心功能的初始版本）。
從紐約黑客松開始，新增的分軌允許參與者提供功能以貢獻到既有的開源儲存庫，或為既有產品新增功能；接著再以開源形式公開發布改進。這項變更提高黑客松成果轉化為真正生態系貢獻的可能性。過去，短時間內完成的 MVP 常在活動結束後停止開發。直接貢獻到持續運作的開源專案，能直接惠及既有使用者與開發者。
ETHGlobal 正從「快速展示新想法」擴展為「有意義地改善既有生態系基礎設施」。隨著以太坊成熟，強化既有的公共財（public goods）與開發者工具，和創造全新的應用同等重要。
社群更新
Ethereum Foundation 高級貢獻者離開
兩位 Ethereum Foundation 的資深研究人員已辭任：Carl Bewick 與 Julian Ma。這使得兩個月內資深貢獻者的離職總數達到七人。
Carl Bewick 在 Ethereum Foundation 貢獻了約七年，參與共識研究、Beacon Chain 初版設計，以及 KZG 儀式（與以太坊資料可用性規模擴展相關的加密設定程序）。
Julian Ma 貢獻了約四年，合著 EIP-7805 FOCIL，並參與 FCR GTM（關於抗審查與交易納入保證的討論，以及能讓交易更快被感知為最終確定的快速確認規則）。
近期核心協定研究與升級協調人員的離職，引發了對於協定開發協調與研究延續性的維持問題的疑問。
Kohaku 採用預期下，Railgun 受到關注
隱私協定 Railgun 因 Kohaku 的採用前景而受到關注。分析指出，若 Kohaku 在錢包端的整合增加，可能會擴大 Railgun 的使用量。Railgun 讓以太坊 DeFi 互動成為可能，同時維持隱私——標準鏈上交易會暴露錢包地址、交易金額與互動的協定；而 Railgun 會隱藏這些資訊。
Railgun 對 Shield 行動（將資產移入受隱私保護的區域）與 unShield 行動（提領到公開區域）收取 0.25% 手續費。透過 Kohaku 帶動錢包採用，並提高私密交易的交易量，將擴大 Railgun 的手續費收入。
分析也指出，相較於 ZEC 與 DASH 等隱私幣，Railgun 看起來被低估；其中的差異在於它提供直接的以太坊 DeFi 互動。雖然 ZEC 與 DASH 作為獨立的隱私幣運作，Railgun 則是在以太坊 DeFi 內運作的一種隱私工具。若 Kohaku 能實現大量錢包採用，Railgun 可能成為以太坊隱私基礎設施的主要受益者。
每週以太坊指標
- 年通膨率：0.833%
- 每週淨供給：19,422.04 ETH
- 質押比率：31.50%
- 穩定幣市值：$163.019 billion
- 美國以太坊現貨 ETF 淨流出：$255.02 million
資料來源：Ultrasound Money、DeFi Llama、Dune 與 Parsec Investors。
