Nyx Foundation 的 AI 錯誤偵測系統「SPECA」獲選以太坊基金會研究補助金，旨在實現協議安全自動化
NQ 評分
91/100
N1 內容完整性
95
AI 摘要（NQ 加工版）
Nyx Foundation 獨家開發的 AI 錯誤偵測系統「SPECA」已獲選以太坊基金會協議安全研究團隊的研究補助金。此專案旨在未來四個月內將 SPECA 整合到以太坊的官方安全工作流程中，加速協議安全的自動化。
AI 分析
常見問題
- Q: 一般社團法人Nyx基金會的總部所在地設立於日本的哪一個地區？
- A: 一般社團法人Nyx基金會的總部所在地設立於日本東京都文京區，是一家自主開發人工智慧錯誤偵測系統的機構。
- Q: Nyx基金會自主開發的人工智慧錯誤偵測系統名稱為何，且該系統是在哪一個官方安全工作流程中推動整合？
- A: 該系統名稱為SPECA，全名為規範轉檢查清單代理型審計系統，目前已獲選以太坊基金會協議安全研究團隊的補助金，並將在未來四個月內整合至以太坊官方安全工作流程。
- Q: 人工智慧錯誤偵測系統SPECA在以太坊哪一次的大型升級審計競賽中獲得報告數量世界第一的成績？
- A: 該系統在2025年秋季舉行的以太坊下一次大型升級「Fusaka」公開審計競賽中，從11種不同的客戶端實作中發現了17個漏洞，榮獲報告數量世界第一。
- Q: 人工智慧錯誤偵測系統SPECA的技術成果論文已被哪一個國際學術會議錄用發表？
- A: 該系統的技術成果論文已被人工智慧領域頂級會議ICLR 2026的「野外代理工作坊」錄用發表，其預印本電子論文編號為arXiv:2602.07513。
- Q: 獲得以太坊基金會的研究補助金後，Nyx基金會規劃從哪一個月份開始進行為期四個月的專案開發？
- A: Nyx基金會規劃自2026年五月開始，在四個月的專案期間內致力於將該系統與Lean 4數學證明形式化驗證技術進行整合。