深潮 TechFlow 消息，6 月 11 日，由 0G Labs 聯合新加坡國立大學、北京大學、北京郵電大學等機構研究團隊提出的自動化測試框架 Agora 入選 ICML 2026。該框架首次將分佈式系統領域知識與多智能體（Multi-Agent）協同架構深度結合，用於生產級共識協議的自動化漏洞檢測。

根據論文披露，Agora 已在 Raft、EPaxos、HotStuff、BullShark 等主流共識協議中發現 15 個此前未知的深層邏輯漏洞（Deep Bug），涉及執行分歧、單調性違規、拓撲缺陷及簽名驗證等關鍵安全問題。研究結果顯示，在相同測試場景下，GPT-5.2、Claude 4.5 等主流大模型未發現相關協議級漏洞。

據介紹，Agora 採用假說驅動測試（Hypothesis-Driven Testing）與多智能體協同機制，通過自動生成攻擊場景、執行測試及動態修正流程，實現對複雜分佈式系統的深度安全分析。除共識協議外，該框架未來還可拓展至數據庫併發控制、操作系統內核及 Web3 智能合約審計等領域。