Ethereum Foundation 推出 better.codes，AI 研究平台強化後量子安全
重點速覽
- •Ethereum Foundation 推出 better.codes，讓研究人員使用 AI 代理提升 koalaIRS12 這個 Reed-Solomon 鄰近性問題的 soundness bounds，並透過 Lean 定理證明器驗證已接受的證明，以取得機器檢查的保證。
- •這項挑戰以 koalaIRS12 的 128-bit 安全目標為核心，與 Ethereum 的長期後量子密碼學目標一致，而平台則由 Yukon 與 zkSecurity 共同開發。
- •Ethereum 轉向基於雜湊的密碼學，是因為擔心未來使用 Shor’s algorithm 的量子電腦可能破解橢圓曲線原語，但 IBM 與 Google 的路線圖顯示，容錯量子電腦要到本 दशक末才可能出現。
- •該計畫承接 2026 年稍早推出、規模為 $1 million 的 Proximity Prize，也呼應 NIST 在 2024 年最終定案的後量子標準，包括基於雜湊的 SLH-DSA 簽章方案。
- •此舉預期不會直接影響 ETH 短期價格，但更強的已驗證安全假設，可能有助於 rollups、零知識虛擬機與其他依賴 SNARK 的擴容系統。
Ethereum Foundation 已推出 better.codes，這是一個協作式研究平台，透過人工智慧來強化基於雜湊的 SNARK 安全性。此舉是 Ethereum 為了因應未來量子電腦可能帶來的風險，進一步保護其密碼學基礎設施的一部分。
該平台聚焦於 koalaIRS12，這是一項在現代密碼學證明系統中扮演重要角色的 Reed-Solomon 鄰近性問題。透過 better.codes，研究人員可使用 AI 代理來改善 koalaIRS12 證明的 soundness bounds，之後再由 Lean kernel 進行驗證。Lean 是一款開源定理證明器與程式語言，最初由 Microsoft Research 開發；它會將每一步證明與一個小型受信任核心進行比對，因此通過的結果可帶有機器驗證保證，而不僅僅依賴人工同儕審查。
該計畫旨在為 koalaIRS12 建立機器驗證的安全保證，同時朝向 128-bit 安全目標前進，這可能有助於強化 Ethereum 面對未來量子威脅的防禦能力。此專案由 Yukon 與 zkSecurity 共同開發，並採用增量式貢獻架構。被接受的解決方案會同時歸功於研究人員或解題者，以及參與產出的 AI 模型——這種做法旨在鼓勵透明協作，同時為密碼學研究的進展建立可驗證紀錄。
Ethereum 為量子運算風險做準備
Ethereum 轉向後量子密碼學，源於對目前區塊鏈廣泛使用的密碼系統長期安全性的擔憂。基於橢圓曲線的技術支撐了交易簽章、共識基礎設施與零知識證明等領域。
一部足夠強大的量子電腦，可能透過 Shor’s algorithm 破壞部分這類密碼學原語。雖然此類機器目前尚無法在實際規模上破解 Ethereum 廣泛使用的密碼學，但未來的潛在威脅已促使區塊鏈開發者提前尋找替代方案。
因此，Ethereum 一直在評估依賴雜湊函數、而非橢圓曲線離散對數的密碼學方法。基於雜湊的 SNARKs 與 STARKs 都是這場轉型中正在考慮的技術之一。
better.codes 計畫正是為了解決這項努力中的其中一項挑戰，尋求對 Reed-Solomon 鄰近性碼更強且經形式化驗證的安全保證。這些編碼支撐著多種密碼學證明系統，對可擴展零知識技術的發展相當重要。
128-Bit 安全目標
better.codes 挑戰的重點，是為 koalaIRS12 達到 128-bit 安全基準。這個目標與 Ethereum 長期希望打造能在後量子環境中保持安全的密碼系統一致。
Learn more in the announcement ↓ — Ethereum Foundation (@ethereumfndn) August 20, 2026
Learn more in the announcement ↓
— Ethereum Foundation (@ethereumfndn) August 20, 2026
該工作延續了 Proximity Prize 計畫，該計畫於 2026 年稍早啟動，並設立 $1 million 研究基金，專門用於 list decoding 與 correlated agreement 相關的未解問題。透過將這些密碼學問題以 Lean 4 表示，Ethereum Foundation 希望讓研究結果更容易以機械方式驗證，並可能加速更可靠密碼學結構的進展。
對這些密碼學假設進行更強的驗證，可能有利於開發 rollups、零知識虛擬機，以及其他越來越依賴 SNARK 技術的擴容系統。
長期安全性重於即時市場影響
外界預期，這項計畫不會對 ETH 價格產生直接的短期影響。其重要性在於 Ethereum 的長期協議安全，以及對量子運算發展可能帶來的技術風險所做的準備。
Ethereum 生態系近期也更加重視後量子安全，包括涉及 recursive STARK proofs 的提案，以及成立專責團隊應對與量子相關威脅。
對開發者與基礎設施提供者而言，這些進展顯示，隨著零知識技術在整個區塊鏈產業持續擴展，密碼學韌性正成為愈來愈重要的考量。
better.codes 平台預計將超越其初始挑戰而持續演進，Ethereum Foundation 也計畫依據涵蓋資格、評估與獎勵的計畫規則，推出更多研究問題。研究人員可透過 GitHub 登入、存取相關 repository，並為 koalaIRS12 挑戰提交解決方案。
根據報導，這項計畫旨在將後量子研究從理論討論推進到可獨立驗證的實作。透過結合 AI 輔助研究與正式的 Lean 驗證，better.codes 可為 Ethereum 提供一條更有結構的路徑，朝向能抵禦未來量子時代威脅的密碼系統前進。
The post Ethereum Launches AI Platform to Strengthen Post-Quantum Security appeared first on CoinTrust .
