以太坊基金會

ChainCatcher 消息，以太坊基金會形式化驗證團隊與 Yukon、zkSecurity 合作打造的開放自動研究挑戰 better.codes 現已上線。該平台將 Proximity Prize 中的自包含問題形式化於 Lean，並把 koalaIRS12 的機器檢查可靠性界放入公共排行榜，供任何人推動提升，以推進基於哈希的 SNARK 及後量子以太坊相關安全基準。求解者可自帶 AI 智能體，針對這一 Reed-Solomon 鄰近問題證明更高的可靠性下界，向固定的 128 位目標邁進。Lean 內核核驗每份提交，獲晉升的證明會提高公開界，其新引理、證明技術與不可能性結果將上游同步，供所有參與者復用。生產環境中多數哈希 SNARK 依賴相關鄰近間隙與相關約定結論，而目前可證明結果仍低於研究者所信基準，該挑戰旨在以開放、增量、可驗證方式縮小這一差距。koalaIRS12 源自相關論文並端到端形式化於 ArkLib。參與者可通過 GitHub 登錄並克隆挑戰倉庫，在固定定理陳述與驗證框架下提交；比較器與 Lean 內核確認後結果記入公共倉庫並注明求解者與所用模型。今日上線的是將 koalaIRS12 已證下界提升至 128 位的可靠性挑戰，後續或增加更多題目，細則以項目條款為準。

ChainCatcher 消息，8 月 20 日，以太坊基金會成員 Binji Pande 發推表示，其將作為創始成員加入非營利以太坊研發實驗室 Ethlabs，以推動以太坊發展。

ChainCatcher 消息，据 CoinMarketCap 披露，以太坊基金會在 2026 年第二季度累計發放 550 萬美元資助，覆蓋範圍包括生態系統建設、零知識證明相關研究以及安全審計等工作。相關資助安排旨在為即將到來的 Glamsterdam 升級提供支持，重點強化網絡基礎設施與技術安全能力，持續推動以太坊生態發展。

ChainCatcher 消息，以太坊核心開發者 Sina Mahmoodi 宣布其在任職超七年後離開以太坊基金會。Mahmoodi 於 2019 年大學畢業加入以太坊基金會，先後參與 EthereumJS、eWASM 和 Geth 客戶端開發，其中 Geth 已成為以太坊生態關鍵基礎設施。他表示對以太坊作為去中心化全球結算層的信念從未改變，將暫時休息再決定下一步方向。

ChainCatcher 消息，以太坊基金會協議 DevOps 團隊宣布推出 Platåberget 測試網，作為 Glamsterdam（Gloas + Amsterdam）升級的早期公開測試環境。該測試網面向社區開放，計劃運行數月，為開發者提供穩定實驗平台，以便在升級部署至 Sepolia、Hoodi 等長期測試網前發現並修復問題。Glamsterdam 硬分叉計劃於 8 月 20 日在該測試網啟動。Glamsterdam 升級涵蓋共識層與執行層多項重大變更，包括內置提議者-建構者分離（ePBS）、區塊級訪問列表（BALs）、以約 2 億 gas 為目標的 gas 重新定價、合約最大部署大小由 24KiB 提升至 64KiB、initcode 上限由 48KiB 提升至 128KiB，以及前向相容的共識數據結構。相關 EIP 彙總於元 EIP-7773。Gas 重新定價將影響錢包、索引器與 gas 估算工具，任何硬編碼最大 gas 上限的工具均需更新；EIP-8037 還引入獨立狀態 gas 維度，新建帳戶或寫入新存儲槽將按狀態位元組計費。Platåberget 驗證者集規模較小且允許公眾加入，支持通過 Dora 瀏覽器提交驗證者或建構者存款。測試網提供一鍵添加網路、水龍頭及客戶端鏡像資源。社區可在以太坊 R&D Discord、相關規範倉庫反饋問題。

ChainCatcher 消息，据 Onchain Lens 監測，以太坊基金會 Grants 地址 (0x9eE...313D) 向某地址轉移 566.27 枚 ETH，價值約 109 萬美元；另有 2.62 枚 ETH 被轉入另一個與以太坊基金會相關聯、此前曾將資金轉至 Upbit 的地址。

ChainCatcher 消息，据 Onchain Lens 監測顯示，以太坊基金會從其 Grants 錢包向一個未標記地址轉出 566.27 枚 ETH，價值約 109 萬美元。此外，以太坊基金會關聯地址還向另一地址轉移 2.62 枚 ETH，價值約 5000 美元。該地址此前曾將資金轉入韓國加密交易平台 Upbit。數據顯示，本次轉帳來源地址為以太坊基金會 Grants 錢包（0x9eE...313D）。目前，接收 109 萬美元 ETH 的匿名地址身份尚未確認，基金會也未公開披露相關資金用途。社區猜測該筆轉帳可能與生態資助項目、開發者支持或其他基金會運營活動有關，但具體用途仍有待進一步確認。

ChainCatcher 消息，以太坊基金會（Ethereum Foundation）發布協議安全研究員（Protocol Security Researcher）招聘信息，隸屬協議安全團隊，負責在執行層、共識層、網絡層、規範及客戶端實現等環節識別安全漏洞，工作內容涵蓋 AI 輔助安全研究與自動化漏洞挖掘、硬分叉審查、模糊測試工具構建、協議變更人工審計及協調漏洞披露等。該團隊要求候選人具備以太坊協議深度經驗，優先考慮已活躍參與協議開發、熟悉執行層或共識層規範的工程師，常用編程語言包括 Go、Rust、Java、C#、Nim 及 Python，遠程辦公，面向歐洲及全球候選人開放。

ChainCatcher 消息，据 Lookonchain 監測，Ethereum Foundation grant wallet 於 12 小時前向 Kraken 存入 2.675 枚 ETH，價值 5,070 美元，並向一個新的 Gnosis Safe Proxy 錢包轉移 578.38 枚 ETH，價值 1,080,000 美元。

ChainCatcher 消息，据官方消息，以太坊基金會旗下"萬億美元安全計劃"（Trillion Dollar Security，1TS）宣布向自由新聞基金會（Freedom of the Press Foundation，FPF）提供專項資助，支持開源工具 WEBCAT 持續開發，以解決以太坊錢包和去中心化應用（DApp）長期存在的前端代碼驗證安全缺口。WEBCAT（Web-based Code Assurance and Transparency）是一款開源工具，旨在幫助瀏覽器驗證網站所加載的代碼是否與開發者公開發布的版本一致。此次資助將推動 WEBCAT 向以太坊錢包和應用場景擴展，使用戶能夠驗證訪問的前端頁面是否被篡改。以太坊基金會表示，當前 HTTPS 雖然能夠驗證用戶連接的網站並加密通信，但無法證明網站實際運行的前端代碼是否就是開發者發布的版本。攻擊者若控制網站前端代碼，可能在用戶不知情的情況下修改交易接收地址，或誘導用戶簽署與頁面顯示內容不一致的交易。以太坊基金會表示，前端攻擊已成為區塊鏈基礎設施的重要安全風險，惡意修改網頁界面可能導致供應鏈攻擊、DNS 劫持後續攻擊以及用戶界面欺騙等問題。WEBCAT 最初由 Freedom of the Press Foundation 開發，用於提升 SecureDrop 等安全通信系統的代碼可信度。此次擴展至以太坊生態後，將與 1TS 計劃中的"清晰簽名（Clear Signing）"等安全措施形成互補：前者幫助錢包確認應用前端未被篡改，後者幫助用戶理解自己正在批准的交易內容。

ChainCatcher 消息，以太坊基金會在 X 平台發文表示，pcaversaccio（pc）已加入以太坊基金會董事會。pc 是以太坊生態的長期貢獻者，SEAL 911 聯合創始人兼負責人，此前也是 EF Silviculture Society 成員，該協會為 EF 提供非正式諮詢，旨在維護抗審查、開源、隱私及安全等核心價值。pc 此次以志願方式加入董事會，任期為一年。pcaversaccio 撰寫了"以太坊密碼朋克宣言"（2024 年，改編自 Eric Hughes 的"密碼朋克宣言"）及"以太坊隱私：通往自主權之路"（2025 年），並通過技術貢獻和社區倡導推動了整個生態系統安全實踐的發展。

ChainCatcher 消息，以太坊基金會（EF）研究員 Francesco D'Amato（fradamt）宣布離開 EF，加入新成立的協議研發組織 Ethlabs。D'Amato 在 EF 任職 5 年，曾參與 MEV、共識機制、數據可用性採樣（DAS）及執行層定價等多個核心研究方向。

ChainCatcher 消息，据 CoinDesk 报道，以太坊基金會近日披露，其安全團隊利用 AI 代理對以太坊驗證節點運行的軟體展開測試，並成功發現一個可被遠程觸發、導致節點崩潰的漏洞。不過，研究人員強調，在 AI 生成的大量安全報告中，人工審核仍是區分真實漏洞與誤報的關鍵環節。據悉，此次發現的漏洞存在於以太坊網路消息傳播協議 gossipsub 中，攻擊者可遠程觸發節點軟體進入異常計算狀態，導致程式崩潰並關閉，使驗證節點離線，直至運營者手動重啟，該漏洞已被修復並以編號"CVE-2026-34219"完成登記。以太坊基金會協議安全團隊成員 Nikos Baxevanis 稱，本次事件真正令人意外的並非 AI 發現漏洞的能力，而是團隊花費了大量時間去辨別哪些漏洞真實存在，哪些只是看似可信的"幻覺"。

ChainCatcher 消息，以太坊基金會協議支持（Protocol Support）團隊已解散。該團隊主要負責協調以太坊協議開發流程，包括組織和協調核心開發者會議、跟蹤網絡升級進展、支持 EIP 推進、運營 Ethereum Protocol Fellowship（EPF）計劃，以及提供教育、社區和基礎設施協調支持。此次調整是以太坊基金會近期組織架構改革的一部分，基金會近期已出現多項團隊及人事變動。

ChainCatcher 消息，Ethereum Foundation Protocol Security 團隊研究人員在週四博客文章中表示，已部署一系列 AI 代理對 Ethereum 依賴的軟體進行測試，搜尋加密系統、協議代碼和智能合約中的漏洞。AI 代理發現的漏洞包括 Ethereum 共識客戶端所用點對點層 libp2p gossipsub 中可遠程觸發的 panic 問題，該問題已修復並在 Github 披露為 CVE-2026-34219。研究人員稱，AI 代理被組織為偵察、搜尋、補缺和驗證等專門角色，用於尋找潛在攻擊路徑、復現故障並驗證其是否適用於生產代碼。Ethereum Foundation 表示，AI 沒有取代安全研究員，而是改變了工作方式，使團隊能夠覆蓋遠多於人工審查的範圍，但需要研究人員對大量看似可信的結論進行更謹慎判斷。

ChainCatcher 消息，以太坊基金會（EF）Developer Acceleration（開發者加速）團隊成員 Sophia Dew 發文宣布，本週將是其全職服務於以太坊基金會的最後一週。Dew 在過去四年中活躍於以太坊生態，曾參與 Funding Commons、Gitcoin 及 Celo 等項目。她表示，離職後將透過其他方式繼續推廣以太坊及加密技術的願景，並明確表示其依然看好以太坊的未來發展。

ChainCatcher 消息，据鏈上分析師余燼監測，1 小時前，以太坊基金會向以太坊非營利性開發組織 Argot 資助 2469 枚 stETH，價值約 434 萬美元。去年 7 月，以太坊基金會曾向 Argot 提供為期 3 年的運營資金資助，共計 7000 枚 ETH。Argot 收到後，以 3194 美元均價賣出其中 4826.6 枚 ETH，換得 1541.7 萬枚 USDC。今日，Argot 再次收到以太坊基金會第 4 年資助資金，規模為 2469 枚 stETH。明年 7 月，Argot 還將收到最後一筆第 5 年資助，同樣為 2469 枚 stETH。鏈上交易顯示，該筆資金已轉入 Argot 相關地址。

ChainCatcher 消息，Tom Lee 在 X 平台發文表示，很高興看到 Ethereum Foundation 審慎處理政府和政策市場在金融基礎設施、經濟學以及 Ethereum 等中立區塊鏈關鍵作用方面的關鍵問題。

ChainCatcher 消息，Argot Collective 與以太坊基金會（EF）宣布，雙方已完成最初五年期資助承諾的最後階段，約 4938 枚 stETH 將轉入多簽錢包，並分別於 2026 年 7 月 1 日及 2027 年 7 月 1 日分批解鎖。此前三年資助已於去年全額發放，剩餘兩年因條款與治理安排尚待最終確定而延後，目前已全部完成。資金由 Argot、新設立的"失效保護委員會"及以太坊基金會三方組成的 2-of-3 多簽錢包托管，該委員會將作為獨立仲裁方，在爭議發生時維護 Argot 的獨立性，並提供程式語言與編譯器領域的專業意見。Argot Collective 同時指出，儘管此次協議為其提供了實質性運營保障，但更廣泛的挑戰依然存在：以太坊基金會資金有限，支撐 DeFi、質押及核心協議的公共基礎設施不能長期依賴單一資助方。該組織表示將繼續每半年發布透明度報告及路線圖更新。

ChainCatcher 消息，据 Onchain Lens 監測，以太坊基金會向 Lido 質押了 4938 枚 ETH（786 萬美元），可能繼續質押更多。