Ethereum Client Security | DSS Monthly

這場以太坊安全 Webinar 由 EF 協議安全團隊的 Frederick 主持，邀請了 Geth 的 Marius、Nethermind 的 Ahmed Barar 以及 Sigma Prime 的 Sean，從不同客戶端視角深度剖析以太坊的安全防線。EF 協議安全團隊規模約 5–10 人，負責漏洞協調、研究、補助、手動審查、模糊測試與 Bug Bounty 管理，目前因 Dencun 硬分叉即將上線，賞金翻倍至最高 50 萬美元。

Marius 代表 Geth 團隊分享執行層的測試哲學。Geth 最常見的安全威脅是 DoS 與資源耗盡——Go 語言在 nil pointer 時會直接 panic 關閉程式，若攻擊者構造需要 10 分鐘才能執行完的交易，整個網路將無法在 12 秒出塊窗口內完成確認。為此 Geth 建立了 12,446 條單元測試，不到 2 分鐘即可完成全量驗證，並採用三種模糊測試策略：偵測 panic、驗證編解碼對稱性、以及差分 fuzzing（將三個不同語言的簽名庫互相比對）。跨客戶端層面，Geth 採用「惡意節點注入」與「Shadow Fork」兩大策略：前者在測試網中植入能偽造交易的節點，後者則讓一組節點在主網上以新規則重播所有真實交易，在 Merge 前的測試中成功捕捉到多個只有真實主網流量才能觸發的 Bug，包括預設 gas limit 被投票壓縮 2/3、以及一次 60 萬區塊的 reorg 測試耗盡記憶體，進而推動了 reorg 邏輯的重寫。

Ahmed 從 Nethermind 的視角系統化地呈現了攻擊面矩陣。執行層客戶端的攻擊面涵蓋 P2P 網路、EVM 執行、資料庫、JSON-RPC 與交易池，各組件的漏洞嚴重程度與客戶端市佔率直接相關。他引用 Dankrad 的研究指出，若驗證者市佔超過 33% 的客戶端宕機，鏈將停止最終性並觸發 inactivity leak，懲罰每個 epoch 二次方增長，在 Bellatrix 設定值下 18.2 天即可讓離線驗證者損失 60.7% 質押；若超過 66% 市佔的客戶端敲定了錯誤的鏈，社群將面臨「接受錯誤狀態」或「推翻已敲定交易」的兩難困境，兩者皆為災難性後果。在供應鏈安全方面，Ahmed 以 Ledger Connect Library 遭駭事件為例，說明 Nethermind 嚴格鎖定 NuGet 版本並在每次升級前全面測試，防止依賴庫被惡意替換。客戶端多樣性數據目前極不可靠，Ahmed 暗示有可靠的改善方案即將推出。

Sean 則聚焦於共識層（Lighthouse）的獨特挑戰。共識層需要解決的核心問題是 Fork Choice——當多個有效區塊競爭同一父區塊時，如何透過驗證者投票權重決定正確的鏈頭。他指出，最危險的攻擊場景是讓無效狀態被敲定，此後任何人投票給不同鏈都會遭到 slash。資源管理方面，Beacon State 約 100 MB，遠大於區塊的 100 KB，在非最終性期間必須保留大量分叉狀態，導致記憶體與磁碟壓力急劇攀升。為此 Lighthouse 正在開發 Tree States——以差分方式儲存狀態，讓相同記憶體能容納 128 個狀態，大幅提升對 reorg 的韌性，預計 Deneb 之後發布。在測試工具方面，Sean 介紹了 Hydra（對 Fork Choice 進行有效訊息的混沌測試）與 Blobber（測試 blob 訊息時序與有效性），並強調多客戶端共同規格測試集是避免鏈分叉的關鍵，因為讓各客戶端針對同一規格測試，比各自寫測試更能發現跨實作差異。