2026 年第二季延續了我們對提升以太坊韌性與功能的關注，支援了在零知識證明、客戶端多樣性、形式化驗證以及開源工具等方面的關鍵工作。請參閱下方本季所支援的專案與生態系統工作列表，這些建構者正持續建設並強化網路。
歡迎在 ESP 網站上探索以太坊基金會資助專案的完整列表！
| 領域 | 類別 | 專案名稱 | 描述 | 連結/儲存庫 |
|---|---|---|---|---|
| DAO/治理 | 研究 | 教職員研究獎學金：以太坊研究 (2025–2026 學年) | 讓 Strnad 教授能投入大量研究時間於以太坊相關問題，包含 DAO 治理、去中心化的系統管理，以及樂觀 Rollup 挑戰期，同時指導 OpenLab 學者。 | |
| 安全性 | 研究 | EL+CL 與格蘭斯特丹安全性 | 透過在格蘭斯特丹升級前主動識別執行層與共識層客戶端的漏洞，來提升以太坊的安全性。這項研究強化了網路的韌性。 | |
| 節點與客戶端 | 應用程式 | 洛德斯塔 2026 | 開發並維護洛德斯塔共識客戶端，實作硬分叉並貢獻協定研究。這支援了營運者的使用者體驗，以及 TypeScript 與 Zig 以太坊社群的生態系統工具。 | 連結 |
| 以太坊協定 | 應用程式 | 萊特豪斯 - 2026 年 5 月至 10 月 | 萊特豪斯客戶端開發持續進行，包含主網的 ePBS、Gloas 以及部分訊息網路。這項工作擴展了樹狀同步、Diamond 測試框架以及 ZK 驗證共識。形式化驗證與客戶端強化工作也正在進行中。 | 連結 |
| 密碼學 | 開發者工具 | Poulpy PIR 工具 | 開發基於 Rust 的生產級私有資訊檢索函式庫。這能為高達 32GB 的鍵值資料庫實現高效的批次處理查詢，在不需要狀態的情況下最佳化伺服器與客戶端的通訊。 | 連結 |
| 以太坊協定 | 開發者工具 | ETHeorem | 將以太坊共識規範對應至客戶端實作，ETHeorem 實現了跨萊特豪斯、普萊斯姆、geth 與瑞斯的系統化安全評估。這個代理系統結合了 LLM 與程式分析，以達到全端覆蓋。 | |
| 以太坊協定 | 應用程式 | Ream - Rust 語言的 Lean 共識客戶端 | 開發 Ream，一個基於 Rust 的 Lean 共識客戶端，以推動具備快速最終性與 4 秒時隙的後量子就緒共識。此次更新支援核心客戶端開發、測試基礎設施強化，以及將開發網擴展至 10,000 個驗證者。 | 連結 |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | 穩健激勵小組 | 建立經濟激勵與參與者行為模型，以最佳化協定賽局理論，提升網路穩定性與效率。 | |
| 應用程式基礎設施 | 研究 | 以太坊 LLM 最佳化 (Inseeq) | 使用當前的以太坊開發工具與 ethskills 資料來增強 AI 模型。這提高了 LLM 的準確性，並強化了以太坊對尋求區塊鏈進行建構的開發者的吸引力。 | 連結 |
| 密碼學 | 研究 | 雙工海綿結構 Fiat-Shamir 轉換的技術審查 | 審核透過雙工海綿結構實例化的 Fiat-Shamir 轉換之安全性論證。這項工作釐清了關鍵抽象概念，以支援未來的 Lean 形式化，強化零知識證明系統。 | |
| 零知識證明 | 研究 | Ethproofs 額外硬體 - Brevis | Brevis 正在建構一個本地端、多 GPU 的第一層 (L1) 區塊證明堆疊，以對現實世界的營運韌性進行壓力測試。這項倡議將為未來的證明者產生一份開源的本地端營運手冊。 | |
| 以太坊協定 | 生態系統發展 | ethp2p 的 quic-go 優先事項 | 增強 quic-go，這是支撐以太坊共識層網路的 Go QUIC 實作。這項工作改善了 go-libp2p 的效能、傳輸能力與連線效率。 | |
| 應用程式基礎設施 | 開發者工具 | Web3j：維持以太坊的 JVM 與 Android 整合基礎設施 | 讓主流的 JVM 客戶端函式庫 Web3j 與即將到來的格蘭斯特丹硬分叉保持同步。這確保了 Java、Kotlin 與 Android 應用程式能持續無縫整合，並提供針對 AI 的文件。 | 連結 |
| 零知識證明 | 研究 | Ethproofs 額外硬體 - Succinct Labs | Succinct 正在將第一層 (L1) 區塊證明轉移至本地端、多 GPU 的設定。這將對營運韌性進行壓力測試並減少對雲端的依賴，為未來的證明者產生一份開源的本地端營運手冊。 | |
| 零知識證明 | 研究 | Ethproofs 額外硬體 - SilentSig | 讓 ZisK 能將其第一層 (L1) 區塊證明堆疊轉移至本地端、多 GPU 的配置。這項倡議將產生一份開源的本地端營運手冊，以減少生態系統對中心化雲端供應商的依賴。 | |
| 其他 | 生態系統發展 | 針對民答那峨島的區塊鏈課程種子教師培訓計畫 | 協助 8 所菲律賓學術機構開發區塊鏈課程。透過為期 6 天的計畫，支援教職員成為培訓師，促進當地的以太坊教育。 | |
| 應用程式基礎設施 | 開發者工具 | mevlog-rs - 由 Revm 驅動的 EVM 交易查詢 CLI/TUI | 將鏈上資料索引至本機 SQLite 資料庫，可透過 TUI 與 MCP 存取。此工具為開發者與 LLM 代理提供了靈活的本機查詢功能，以及結果的 IPFS 分享。 | 連結 |
| 以太坊協定 | 研究 | 交易斷言 | 讓使用者能在使用 EIP-7906 簽署前，以程式化方式驗證交易結果。這包含了針對任何智能合約的正向與負向條件，提升了安全性與使用者控制權。 | 連結 |
| 應用層 | 應用程式 | Steward，具備裝置端 AI 助理的自主以太坊錢包 | 建構 Steward，一個完全本機的 macOS 以太坊智能帳戶錢包。從輕客戶端到 AI 助理的每個元件都在裝置端執行，確保端到端的可驗證安全性與主權。 | |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | 密碼學 | 開發新穎的密碼學原語與安全協定，為所有使用者提升以太坊的基礎安全性與隱私。 | |
| 隱私 | 研究 | 開放匿名專案 | 實現對受限 API 服務的無關聯存取，從 AI 推論開始。這個開源的模組化堆疊使用盲簽章與對 TEE 友善的伺服器來進行匿名信用驗證。 | |
| 零知識證明 | 研究 | Ethproofs 額外硬體 - Matter Labs | 透過轉移至本地端、多 GPU 的配置，增強 Matter Labs 的第一層 (L1) 區塊證明堆疊。這項倡議對營運韌性進行壓力測試並減少對雲端的依賴，產生一份開源的本地端營運手冊。 | |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | 密碼學研究 | 將加密記憶體池 (Mempool) 的安全模型形式化，提升以太坊使用者的交易隱私與網路韌性。 | |
| 安全性 | 開發者工具 | Verity | 開發 Verity，一種基於 Lean 4 的智能合約語言與經過形式化驗證的編譯器。它讓開發者能撰寫、形式化規範並證明合約屬性，將其編譯為具備已驗證語意的 EVM 位元組碼。 | 連結 |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | 協定 SNARK 化 | 驗證密碼學協定與 zkVM 電路，透過形式化方法確保以太坊擴容基礎設施的數學正確性。 | |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | 穩健激勵小組 | 透過應用機制設計與經濟模型來理解並改善參與者激勵，以最佳化協定賽局理論。 | |
| 以太坊協定 | 生態系統發展 | ZK + 測試探索工作 | 探索 zkVM 在各種硬體上的執行階段行為，以最佳化證明效能。這項研究旨在找出瓶頸，並為以太坊主網應用程式實現更實用、近乎即時的證明。 | |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | Geth | 支援 Geth 的核心協定開發、客戶端維護，以及新以太坊改善提案的實作。 | |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | 協定原型設計 | 將新穎的協定研究轉化為可運作的程式碼。這能對理論假設進行實證測試，並為未來的以太坊升級量化設計上的權衡。 | |
| 安全性 | 應用程式 | SafeLens | 實現 Gnosis Safe 多方簽名交易的離線驗證。SafeLens 會為簽章、雜湊與豐富的證明產生證據套件，允許透過內建直譯器進行本機交易重播與提供人類可讀的詳細資訊。 | 連結 |
| 零知識證明 | 研究 | Ethproofs 本地端多 GPU 證明者倡議 - SilentSig | 讓 ZisK 能將第一層 (L1) 區塊證明轉移至本地端、多 GPU 的設定。這項倡議對營運韌性進行壓力測試並減少對雲端的依賴，為生態系統產生一份開源的本地端營運手冊。 | 連結 |
| 零知識證明 | 研究 | Ethproofs 本地端多 GPU 證明者倡議 - Brevis | 開發一份開源的本地端營運手冊，讓第一層 (L1) 區塊證明者能從雲端代管環境轉移至具備韌性的多 GPU 配置，減少中心化的依賴。 | 連結 |
| 節點與客戶端 | 應用程式 | Gean，一個 Lean 以太坊共識客戶端 | 透過 Gean 這個基於 Go 的新共識客戶端，建立以太坊的長期韌性。這個開源實作取代了易受量子攻擊的密碼學，並從非洲開始多樣化客戶端生態系統。 | 連結 |
| 隱私 | 開發者工具 | Quixote 私有讀取 + Aave 整合 | 透過基於 Tor 的私有讀取與 GraphQL 支援，增強 Quixote 這個 Rust EVM 事件索引器。藉由將其整合至 Aave 前端來展示其價值，取代 TheGraph 以改善資料存取。 | 連結 |
| 安全性 | 開發者工具 | 以太坊協定安全代理 - SPECA 與 LeanAgent | 開發一個由 LLM 驅動的系統，以自動化以太坊客戶端規範合規性檢查與錯誤發現。這包含了 Gasper Lean 4 的形式化驗證，以及將 SPECA 輸出橋接至 Lean 4 形式化規範的管道。 | |
| 安全性 | 開發者工具 | 針對安全漏洞的 Cantina Apex AI 程式碼分析器 | 在未來一年內，透過 52 次由 AI 驅動的智能合約掃描，針對客戶端與協定儲存庫來提升以太坊的安全態勢。 | |
| 密碼學 | 研究 | 比特幣限制下的 leanVM | 為以太坊的共識層最佳化 leanVM 的後量子簽章聚合。這項工作提升了速度、改善了效率，並確保比特幣的相容性，以建立全業界的標準。 | 連結 |
| 其他 | 生態系統發展 | 在羅馬推動 AI 與以太坊融合的程式設計 | 為了促進 AI 與以太坊的交集，羅馬的 Urbe Hub 舉辦了定期的工作坊、展示與建構者會議。這項倡議培育了跨領域交流活動，強化了雙方社群，並與以太坊基金會 dAI 團隊合作。 | 連結 |
| 密碼學 | 開發者工具 | CompPoly 的快速體算術 (Field Arithmetic) | 在 Lean4 中開發質數與二元塔體 (binary tower fields) 的高效、已驗證實作。這項工作涵蓋了小型 STARK 體、大型 SNARK/曲線體，以及二元塔體，全部透過 RingEquiv 證明其正確性。 | 連結 |
| 應用層 | 研究 | 以太坊「合理必要」邊境使用案例研發 | 調查具備現實世界影響力的獨特以太坊使用案例。這項研究也探索了超越傳統加密貨幣設定的新穎組織結構。 | |
| 零知識證明 | 開發者工具 | CompPoly 多項式 Lean 函式庫 - 路線圖 2 的部分內容 | 使用 Horner、批次處理與 NTT 方法來最佳化 CompPoly 中的多項式評估。實作並驗證 zkVM 的 Guruswami-Sudan 演算法，並附帶完整的 Lean 證明與基準測試。 | 連結 |
| 安全性 | 應用程式 | 基於 LLM 的以太坊客戶端合規性分析 | 透過部署 AI 代理，根據 EIP 規範掃描 Geth、奈瑟邁、萊特豪斯與普萊斯姆，找出分歧與邊緣情況的錯誤，藉此提升以太坊客戶端的安全性。 | |
| 其他 | 研究 | 數位公共財的鏈上資本工具 | 為數位公共財開發鏈上 ESG 資金工具，利用以太坊將公共財的資金來源從補助金轉向可擴展的資本市場。這項倡議為大型基礎設施設計了類似債券的機制。 | 連結 |
| 密碼學 | 開發者工具 | 雙變數多項式 — CompPoly 第 2 階段，第 6 項 | 透過進階的雙變數多項式運算擴展 CompPoly，包含 Guruswami-Sudan 基礎設施以及如 Kronecker 替換等效能最佳化，提升密碼學原語的開發。 | |
| 密碼學 | 研究 | 遞迴提取問題 | 調查遞迴 SNARK 的安全性，探討深度遞迴中知識提取器的極限。這項研究將分析具備超多項式提取器複雜度的 SNARK 變體，為現實世界系統的新證明框架提供參考。 | |
| 密碼學 | 生態系統發展 | 適用於以太坊索引器的高效單伺服器 PIR | 評估用於以太坊資料存取的現代私有資訊檢索方案。這項工作將指定一種最先進的方案，並附帶可重複使用的測試，以提升使用者隱私並降低 MEV 風險。 | |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | Poseidon | 為以太坊的執行層開發高效的後量子簽章方案，利用基於 Poseidon 的結構來為網路的後量子過渡做準備。 | |
| 零知識證明 | 研究 | Ethproofs 本地端多 GPU 證明者倡議 - Matter Labs | 透過將基礎設施從雲端轉移至本地端、多 GPU 的設定，來去中心化第一層 (L1) 區塊證明。這項倡議將開源一份本地端營運手冊，為未來的證明者提供藍圖以提升韌性。 | |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | STEEL | 增強以太坊的核心 Python 規範 (EELS) 與測試套件 (EEST)。這項關鍵工作確保了客戶端的相容性，並強化了網路共識。 | |
| 隱私 | 應用程式 | Kohaku 錢包前端支援 - 後續行動 | 重構 Kohaku 瀏覽器擴充功能錢包與 Railgun SDK 整合。這項工作提升了可維護性與模組化，推動錢包獲得更廣泛的採用與社群貢獻。 | 連結 |
| 其他 | 生態系統發展 | 2026 不丹區塊鏈線下駐村計畫 | 透過密集的駐村計畫，在不丹培育新一批的以太坊開發者。這項計畫培養了當地人才，並在該地區播下自我維持的開發者社群種子。 | |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | PandaOps | 透過為協定研發建構自訂工具、部署指令碼與資料管道，實現安全且經過充分測試的網路升級。 | |
| 應用程式基礎設施 | 生態系統發展 | 開放意圖框架 (Open Intents Framework) - 2026 年採用與維護 | 開發開放意圖框架，增強跨鏈流動性再平衡，並支援 ERC-7683 規範開發。這擴展了以太坊的多鏈功能與工具。 | |
| 以太坊協定 | 生態系統發展 | 香港理工大學 - 贊助區塊鏈科技研究中心 (RCBT) | 透過為優秀的 MScBT 學生提供獎學金，促進區塊鏈技術的學術卓越。支援人才發展與參與 Devconnect/Devcon，同時贊助 Asiacrypt 2026。 | |
| 零知識證明 | 生態系統發展 | CompPoly 路線圖貢獻 — 指數運算、多線性轉換、ECC | 最佳化指數運算並證明 CompPoly 的多線性轉換等效性。透過 Berlekamp-Welch 整合錯誤更正插值，增強協定的穩健性。 | |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | 協定共識 | 分析並設計進階的共識機制。這項工作強化了協定保證，促進長期的網路去中心化。 | |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | 資金協調 | 促進以太坊基金會受贈者與外部資金來源之間的連結。這有助於重要的公共財專案從政府、慈善機構與生態系統合作夥伴那裡獲得關鍵支援。 | |
| 零知識證明 | 研究 | Ethproofs 本地端多 GPU 證明者倡議 - Succinct Labs | 讓去中心化的證明者能從雲端轉移至本地端、多 GPU 的設定。這項倡議將產生一份開源的本地端營運手冊，強化生態系統韌性並減少對中心化基礎設施的依賴。 | |
| 安全性 | 開發者工具 | Octane：由 LLM 驅動的以太坊客戶端協定安全性 | 透過 AI 驅動的漏洞偵測來增強智能合約安全性。此訂閱提供 25 次全面掃描、一個專案儀表板，以及最多四個客戶端專案的 VIP 支援。 | 連結 |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | zkEVM | 推動 ZK-EVM 研究，開發擴容解決方案，並將 ZK 證明直接整合至以太坊執行層。 | |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | 協定安全性 | 透過主動的程式碼審查、進階工具，以及穩健的錯誤賞金計畫管理，來提升以太坊的安全態勢。 | |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | 協定共識 | 分析共識機制以強化長期的去中心化。這項研究有助於縮小當前協定保證與未來網路目標之間的差距。 | |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | 密碼學 | 支援對進階密碼學原語與安全協定的研究，確保以太坊在安全、保護隱私的技術上持續保持領先地位。 | |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | 密碼學 | 透過設計與分析新的原語與協定，推動以太坊的密碼學安全性。這確保了未來能有穩健、保護隱私的技術。 | |
| 以太坊協定 | 生態系統發展 | ZKProof 8 的已驗證 zkEVM ArkLib 日 | 透過在 ZKProof 8 的 ArkLib 日聚集超過 1,000 名從業人員，擴展 ZKP 標準化工作。此活動促進了在形式化驗證與應用零知識證明上的合作。 | 連結 |
| 安全性 | 開發者工具 | Noir 轉 LLZK 編譯器 | 開發 Noir 轉 LLZK 編譯器，橋接兩個關鍵的 SNARK 生態系統。這提升了互操作性並擴展了 LLZK 工具的開發者基礎，強化了以太坊的 SNARK 安全工作。 | 連結 |
| 應用層 | 開發者工具 | 可組合的編排、批次處理以太坊使用者體驗與互操作性 | 實現動態的智能帳戶批次處理與基於謂詞 (predicate) 的執行。此專案將生產編排堆疊標準化並開源，使可組合的多步驟、多鏈交易成為以太坊生態系統的公共財。 | 連結 |
| 零知識證明 | 開發者工具 | 改善 RISC-V zkVM 的證明基礎設施 | 使用 Lean 4 驗證 SP1 Hypercube zkVM 的算術化，形式化證明其約束系統正確實作了每個指令的 RISC-V ISA 語意。 | |
| 以太坊協定 | 生態系統發展 | 2026 實習計畫 | zkEVM | 推動 ZK-EVM 研究，開發擴容解決方案，並將 ZK 證明直接整合至以太坊的執行層以提升效率。 | |
| 隱私 | 應用程式 | Kohaku 錢包前端支援 | 完善 Kohaku 瀏覽器擴充功能，在 Sepolia 上提供穩健、隱私優先的錢包使用者體驗。整合 Privacy Pools 與 Railgun，最佳化 Ambire 分叉與使用者流程。 | 連結 |
2026 年第二季總資助金額：5,502,930.20 美元