研究与开发

better.codes 現已上線，這是一個由以太坊基金會形式化驗證團隊與 Yukon 和 zkSecurity 合作建立的開放式自動化研究挑戰。 better.codes 從 Proximity Prize 研究中提取了一個獨立的問題，在 Lean 中進行了形式化，並將其可靠性界限（soundness bound）放在一個公開的排行榜上，任何人都可以推動其進展。 求解器引導他們自己的 AI 代理來提升 koalaIRS12 的機器檢查可靠性界限，這是一個里德-所羅門（Reed-Solomon）鄰近性問題，旨在推動現代簡潔非互動式證明系統（SNARK）。 Lean 核心會檢查每一次提交，每一個被晉升的證明都會將界限提升至固定的 128 位元目標。每個被晉升證明的新引理、證明技術和不可能性結果隨後會被合併到上游，以推動所有求解器和代理的進展。

來自以太坊基金會協定安全團隊的筆記，內容關於針對真實協定程式碼執行協同 AI 代理，包含我們如何組織工作、哪些內容經得起審查，以及客戶端團隊與安全研究人員能從中學到什麼。本文為獨立篇章；後續文章將深入探討個別客戶端。

來自各個客戶端團隊的以太坊核心開發者最近在挪威斯瓦巴 (Svalbard) 舉行了一次半定期的聚會，或稱為 互操作性會議 (interop)。在為期一週的活動中，各團隊專注於下一次升級——格蘭斯特丹 (Glamsterdam) 的強化與準備工作。 這一週達成了幾個重要的里程碑，包括： 確立 2 億 Gas 限制下限：透過 ePBS、BAL 最佳化以及 EIP-8037 重新定價的收斂，得出了格蘭斯特丹升級後可靠的目標 ePBS 趨於穩定：多客戶端格蘭斯特丹開發網 (Glamsterdam-devnet) 正在運行，且外部建構者管道已在幾乎所有客戶端上完成了端到端測試 EIP-8037 已定案：採用了固定的 cost\per\state\_byte；完整的重新定價數據已於週五在 bal-devnet-6 上交付 奠定 Hegotá 基礎：FOCIL 原型已可運作；原生 AA 需求已完成範圍界定；多客戶端開發網是緊接著的下一步 這次互操作性會議也標誌著以太坊基金會協定叢集 (Protocol cluster) 領導層過渡的開始。 新的叢集協調員將是： 威爾·科科倫 (Will Corcoran) 凱夫·韋德伯恩 (Kev Wedderburn) 弗雷德里克 (Fredrik)

過去一週，剛好超過 100 位以太坊 (Ethereum) 核心貢獻者聚集在北極圈上方的斯瓦巴群島朗伊爾城 (Longyearbyen, Svalbard)，參加 Soldøgn 互通性會議：為期一週針對格蘭斯特丹 (Glamsterdam) 網路 (network) 升級的密集工作。 Soldøgn 接續了去年的 Berlinterop，但回歸了 Amphora 🏺、Edelweiss 🏔️ 和 Nyota ✨ 所使用的形式：為期一週的單軌會議，專注於推動多客戶端針對特定升級的進展——在這次會議中，即是強化格蘭斯特丹。 到了星期五，該團隊已經達成了其三個核心目標：就格蘭斯特丹升級後的 2 億 Gas 限制下限達成共識、與外部建構者 (builders) 一起運行的穩定 ePBS 實作，以及鎖定最終的 EIP-8037 重新定價數字。在 Hegotá 的功能（如 FOCIL 和原生帳戶抽象化 (account abstraction)）以及許多其他主題上也取得了有意義的進展。