
[better.codes](https://better.codes) 現已上線，這是一個由以太坊基金會形式化驗證團隊與 [Yukon](https://www.yukon.org/) 和 [zkSecurity](https://zksecurity.xyz/) 合作建立的開放式自動化研究挑戰。

better.codes 從 [Proximity Prize](https://proximityprize.org/) 研究中提取了一個獨立的問題，在 Lean 中進行了形式化，並將其可靠性界限（soundness bound）放在一個公開的排行榜上，任何人都可以推動其進展。

求解器引導他們自己的 AI 代理來提升 koalaIRS12 的機器檢查可靠性界限，這是一個里德-所羅門（Reed-Solomon）鄰近性問題，旨在推動現代簡潔非互動式證明系統（SNARK）。

Lean 核心會檢查每一次提交，每一個被晉升的證明都會將界限提升至固定的 128 位元目標。每個被晉升證明的新引理、證明技術和不可能性結果隨後會被合併到上游，以推動所有求解器和代理的進展。


better.codes 現已上線。帶上你自己的代理，提升 koalaIRS12 的已證明可靠性，以推動後量子以太坊的發展。

透過代理協作提升機器檢查的安全基準，以推動基於雜湊的 SNARK


2026 年第二季延續了我們對提升以太坊韌性與功能的關注，支援了在零知識證明、客戶端多樣性、形式化驗證以及開源工具等方面的關鍵工作。請參閱下方本季所支援的專案與生態系統工作列表，這些建構者正持續建設並強化網路。

歡迎在 [ESP 網站上](esp.ethereum.foundation/funded-projects)探索以太坊基金會資助專案的完整列表！

| 領域 | 類別 | 專案名稱 | 描述 | 連結/儲存庫 |
|:---|:---|:---|:---|:---|
| DAO/治理 | 研究 | 教職員研究獎學金：以太坊研究 (2025–2026 學年) | 讓 Strnad 教授能投入大量研究時間於以太坊相關問題，包含 DAO 治理、去中心化的系統管理，以及樂觀 Rollup 挑戰期，同時指導 OpenLab 學者。 | |
| 安全性 | 研究 | EL+CL 與格蘭斯特丹安全性 | 透過在格蘭斯特丹升級前主動識別執行層與共識層客戶端的漏洞，來提升以太坊的安全性。這項研究強化了網路的韌性。 | |
| 節點與客戶端 | 應用程式 | 洛德斯塔 2026 | 開發並維護洛德斯塔共識客戶端，實作硬分叉並貢獻協定研究。這支援了營運者的使用者體驗，以及 TypeScript 與 Zig 以太坊社群的生態系統工具。 | [連結](https://github.com/ChainSafe/lodestar) |
| 以太坊協定 | 應用程式 | 萊特豪斯 - 2026 年 5 月至 10 月 | 萊特豪斯客戶端開發持續進行，包含主網的 ePBS、Gloas 以及部分訊息網路。這項工作擴展了樹狀同步、Diamond 測試框架以及 ZK 驗證共識。形式化驗證與客戶端強化工作也正在進行中。 | [連結](https://github.com/sigp/lighthouse) |
| 密碼學 | 開發者工具 | Poulpy PIR 工具 | 開發基於 Rust 的生產級私有資訊檢索函式庫。這能為高達 32GB 的鍵值資料庫實現高效的批次處理查詢，在不需要狀態的情況下最佳化伺服器與客戶端的通訊。 | [連結](https://github.com/poulpy-fhe/poulpy) |
| 以太坊協定 | 開發者工具 | ETHeorem | 將以太坊共識規範對應至客戶端實作，ETHeorem 實現了跨萊特豪斯、普萊斯姆、geth 與瑞斯的系統化安全評估。這個代理系統結合了 LLM 與程式分析，以達到全端覆蓋。 | |
| 以太坊協定 | 應用程式 | Ream - Rust 語言的 Lean 共識客戶端 | 開發 Ream，一個基於 Rust 的 Lean

資金分配更新 - 2026 年第二季


_簡而言之：_ 認識 Platåberget：格蘭斯特丹（Gloas + Amsterdam）開放公眾參與的早期測試場域。這次升級為應用程式開發者帶來了破壞性變更。值得注意的是，任何依賴硬性規定最大 Gas 限制的工具（例如錢包、索引器和燃料估算器）都將失效並需要更新。請利用這個早期機會進行測試！

Platåberget 是一個短期測試網，旨在讓社群測試各項變更。與之前短暫的開發網不同，Platåberget 預計將運行幾個月，為社群提供一個穩定的場所來實驗後格蘭斯特丹時期的以太坊，並提供一個機會，在格蘭斯特丹於以太坊較長期的測試網（Sepolia 和 Hoodi）上線之前，進行測試並找出潛在問題。


宣布推出 Platåberget 測試網


以太坊基金會的兆元級安全（Trillion Dollar Security，簡稱 1TS）計畫很榮幸地宣布，將向[新聞自由基金會](https://freedom.press/)（Freedom of the Press Foundation，簡稱 FPF）提供資助，以支持 [WEBCAT](https://webcat.tech/) 的持續開發。WEBCAT 是一個開源工具，能讓瀏覽器驗證已註冊網站所提供的程式碼是否與其開發者發布的內容一致。這項資助也將協助把這種保護機制引入以太坊錢包與應用程式中。


提供給新聞自由基金會（Freedom of the Press Foundation）的資助，支持 WEBCAT 的持續開發，以協助解決以太坊錢包與應用程式的前端驗證缺口。

宣布為 WEBCAT 提供兆元級安全（Trillion Dollar Security）資助


我們很高興地宣布，[pcaversaccio (pc)](https://x.com/pcaversaccio) 已加入以太坊基金會董事會。

pc 是以太坊生態系的長期貢獻者、[SEAL 911](https://securityalliance.org/our-work/seal-911) 的共同創辦人暨負責人，並且一直是以太坊基金會 (EF) [造林學會](https://ethereum.foundation/silviculture-society) 的成員，該學會為 EF 提供非正式諮詢，旨在維持抗審查性、開源、隱私和安全等核心價值觀。

pcaversaccio 撰寫了 [*《以太坊密碼龐克宣言》*](https://hackmd.io/@pcaversaccio/the-ethereum-cypherpunk-manifesto)（這是將艾瑞克·休斯 (Eric Hughes) 的 *《密碼龐克宣言》* 應用於以太坊的 2024 年改編版）以及 [*《以太坊隱私：通往自我主權之路》*](https://hackmd.io/@pcaversaccio/ethereum-privacy-the-road-to-self-sovereignty)（2025 年），並透過技術貢獻與社群倡議，協助推動了整個生態系的安全實踐。

目前的董事會成員包括 **Aya Miyaguchi（總裁）**、**維塔利克·布特林（創辦人）**、**Patrick Storchenegger（瑞士法律顧問）** 以及 **pcaversaccio**。

正如今年稍早發布的 [EF 職責聲明](https://ethereum.foundation/ef-mandate.pdf) 所述，EF 董事會負責制定願景，並監督管理層的高階策略與決策是否符合基金會的價值觀。董事會扮演著安全委員會的角色，以保護 EF 的核心與靈魂，並確保其作為瑞士基金會的合規性。

pc 以無償志工身分加入董事會，初步任期為一年。我們期待共同合作，協助守護以太坊的長期未來。

-- 

以太坊基金會董事會

以太坊基金會董事會更新


Devcon 8 門票開賣啦！ 🇮🇳

今年 11 月，以太坊社群將齊聚孟買，參加一場更聚焦且交流更深入的 Devcon。

Devcon 匯聚了來自以太坊及其他領域的頂尖人才：建構者、研究人員、維護者、組織者，以及任何對開放技術未來感到好奇的人。在為期四天的活動中，你可以期待深入的對話、實作工作坊，以及大量向不同背景、觀點和專業領域的人士學習的機會。

參與我們的方式不只一種。你可以購買**一般入場 (General Admission)** 門票、申領符合資格的**社群折扣**，或透過我們的**學生、青少年或建構者折扣**進行申請。每張門票皆包含四天的會議通行證、活動期間的餐飲，以及 Devcon 8 專屬紀念品 (swag)。

請查看下方關於今日發售的所有門票資訊。


一般入場門票現已發售，同時提供學生、印度居民、以太坊貢獻者、開源建構者等專屬折扣途徑。

Devcon 8 門票開賣：找到前往孟買的專屬途徑


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


分類才是核心產品：針對以太坊協定程式碼執行 AI 代理


當前的全球變局清楚地表明，我們迫切需要一個不受任何單一中心化實體控制的共享、中立的數位公共基礎設施。作為一個旨在不依賴任何單一方運作的公共、可程式化網路，以太坊的建立正是為了解決這些需求。 

今天，以太坊基金會全球政策策略 (GPS) 團隊發布了[《政府與機構的以太坊》](https://ethereum.org/reports/basics-for-governments-institutions.pdf)，這是一份為面臨政策與部署決策的公共部門和機構領導者所編寫的指南。該報告是一本非技術性的入門手冊，涵蓋了以太坊的運作方式、治理方式、與其他潛在替代方案的比較，以及它目前已被部署的領域。本文將介紹該報告，並回答促使其誕生的核心問題：為什麼數位基礎設施需要保持中立，以及為什麼以太坊適合扮演這個角色。


政府與機構的以太坊：為什麼中立的基礎設施在當今至關重要


今天，以太坊基金會（EF）正在改變其形態，結束了長達數月的重組過程，這是實施[使命（Mandate）](https://ethereum.foundation/ef-mandate.pdf)和[資金庫管理政策](https://blog.ethereum.org/2025/06/04/ef-treasury-policy)的一部分。

經過這個過程，我們具備了執行未來關鍵任務所需的結構、活動和人員，但也減少了 54 位同事（約佔 EF 的 20%），他們中的許多人將在未來幾週內尋找從 EF 外部為以太坊做出貢獻的方法。 

本文簡要介紹了新結構，並詳細說明了我們如何支援即將離職的人員。

以太坊基金會的新結構


**由錢包開發者、安全公司以及以太坊基金會的兆元安全倡議（Trillion Dollar Security Initiative）組成的以太坊工作小組，今天發布了一項開放標準，旨在終結盲目簽署（blind signing）——這是一個導致包含 Bybit 駭客事件在內，造成數十億用戶損失的結構性缺陷。以太坊基金會的兆元安全倡議正積極扮演明文簽署（Clear Signing）註冊表具備可信中立性的管理者角色。**

![](https://storage.googleapis.com/ethereum-hackmd/upload_8aba031eb65b86d6a85e5ab8180dea35.jpeg)

在加密貨幣與區塊鏈應用程式的重大漏洞利用事件中，最後一步通常不是程式碼中的錯誤，而是用戶批准了一筆交易。即使是網路釣魚或基礎設施被入侵引發了安全漏洞，最後一步通常也是用戶無法真正理解的確認動作。在控制區塊鏈上資產的去向時，批准交易本應是最後一道防線。當這一切在盲目中進行時，這道防線便形同虛設。

為了讓用戶與機構能安心地在以太坊上儲存與互動高達數兆美元的資產，「所見即所簽」（What You See Is What You Sign, WYSIWYS）必須成為我們的目標，而明文簽署（Clear Signing）必須成為預設標準。

如今，批准一筆交易通常意味著要根據並非為人類閱讀而設計的資訊，來試圖理解你即將執行的操作。在較高風險的情況下，用戶可能會依賴另一台設備來再次確認細節，特別是當他們使用的應用程式可能已被入侵時。在實務上，這些資訊通常以低階、機器可讀的格式顯示，雖然準確，但如果沒有技術專業知識，將難以解讀。

我們需要一種方法，讓以太坊上現有與全新的應用程式都能提供清晰、人類可讀且結構化的描述，說明一筆交易將執行什麼操作，以便錢包能夠一致且可靠地向用戶呈現這些資訊。要實現這一點，需要一個用於這些描述的共享格式（ERC-7730）、一個用於儲存和分發它們的註冊表、一種驗證其準確性的方法，以及讓錢包和開發者能輕鬆採用這種方法的工具，同時還需要一個具備可信中立性的第三方來支援該基礎設施。

任何人都可以為這個系統貢獻描述符（descriptors）。它們的準確性會透過獨立的審查與證明來驗證，並由錢包決定他們信任哪些來源。雖然這些描述符是與交易一起提供，而不是直接嵌入其中，但這種方法使得支援現有與全新的應用程式成為可能，同時仍允許獨立驗證其準確性。

以太坊基金會的兆元安全倡議致力於託管此基礎設施並支援其開發，相關工具由整個生態系統的貢獻者建立與維護，並透過 clearsigning.org 鼓勵採用，以協助讓明文簽署成為以太坊上的預設標準。

我們鼓勵錢包開發者採用這種方法，並整合對清晰、人類可讀的交易確認的支援。鼓勵開發應用程式的開發者提供關於其交易執行內容的準確描述，並鼓勵安全專家審查及證明其正確性。有關可用工具的資訊，包含透過 1TS 資助的 Rust 與 TypeScript 函式庫，可以在 clearsigning.org 上找到。

透過轉向明文簽署，我們正在強化最後一道防線，並讓以太坊生態系統變得更安全、更易於使用，為下一波用戶與機構的採用做好更充分的準備。

_我們要歸功並感謝 Ledger 發起 ERC-7730 以及早期的工具、基礎設施與教育工作。這是一項刻意由多方參與的努力，其貢獻涵蓋了研究、函式庫開發、稽核與協調，參與的團隊包含 ZKnox、Sourcify、Cyfrin、Zama、WalletConnect、Fireblocks、Trezor、Keycard、梅塔馬斯克、Argot，以及整個生態系統的獨立貢獻者。_

明文簽署：讓以太坊上的交易批准更安全


來自各個客戶端團隊的以太坊核心開發者最近在挪威斯瓦巴 (Svalbard) 舉行了一次半定期的聚會，或稱為 [互操作性會議 (interop)](https://blog.ethereum.org/2026/05/02/soldogn-interop-recap)。在為期一週的活動中，各團隊專注於下一次升級——格蘭斯特丹 (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)


協定叢集更新：2026 年 5 月


過去一週，剛好超過 100 位以太坊 (Ethereum) 核心貢獻者聚集在北極圈上方的斯瓦巴群島朗伊爾城 (Longyearbyen, Svalbard)，參加 Soldøgn 互通性會議：為期一週針對格蘭斯特丹 (Glamsterdam) 網路 (network) 升級的密集工作。

Soldøgn 接續了去年的 [**Berlinterop**](https://blog.ethereum.org/2025/06/19/checkpoint-4)，但回歸了 [**Amphora 🏺**](https://blog.ethereum.org/2021/10/15/amphora-merge-milestone)、[**Edelweiss 🏔️**](https://blog.ethereum.org/2023/02/07/edelweiss-interop-recap) 和 [**Nyota ✨**](https://blog.ethereum.org/2024/05/22/nyota-interop-recap) 所使用的形式：為期一週的單軌會議，專注於推動多客戶端針對特定升級的進展——在這次會議中，即是強化格蘭斯特丹。

到了星期五，該團隊已經達成了其三個核心目標：就**格蘭斯特丹升級後的 2 億 Gas 限制下限**達成共識、與外部建構者 (builders) 一起運行的穩定 ePBS 實作，以及鎖定最終的 EIP-8037 重新定價數字。在 Hegotá 的功能（如 FOCIL 和原生帳戶抽象化 (account abstraction)）以及許多其他主題上也取得了有意義的進展。 

![](https://notes.ethereum.org/_uploads/r1-NBdXAWl.jpg)


生态系统支持计划