深潮 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 智能合约审计等领域。