0G Labs 联合多所高校提出 Agora，共识协议自动化测试框架入选 ICML 2026

深潮 TechFlow 消息，6 月 11 日，由 0G Labs 联合新加坡国立大学、北京大学、北京邮电大学等机构研究团队提出的自动化测试框架 Agora 已入选 ICML 2026。该框架面向生产级共识协议的自动化漏洞检测，核心特点是把分布式系统领域知识与多智能体协同架构进行深度结合，用于分析复杂协议在运行过程中的安全问题。

Agora 聚焦生产级共识协议漏洞检测

据论文披露，Agora 已在 Raft、EPaxos、HotStuff、BullShark 等主流共识协议中发现 15 个此前未知的深层逻辑漏洞。这些漏洞覆盖执行分歧、单调性违规、拓扑缺陷以及签名验证等关键安全问题，均属于共识协议在复杂场景下需要面对的核心风险点。输入标题中提到的“顶级零日漏洞”，对应的正是这些此前未被发现的协议级缺陷。

研究结果还显示，在相同测试场景下，GPT-5.2、Claude 4.5 等主流大模型未能发现相关协议级漏洞。论文因此将 Agora 的能力重点放在分布式系统知识与测试流程结合之上，而不是仅依赖通用大模型对代码或协议文本进行分析。

假说驱动测试与多智能体协同

据介绍，Agora 采用假说驱动测试与多智能体协同机制，通过自动生成攻击场景、执行测试以及动态修正流程，对复杂分布式系统开展深度安全分析。该流程使框架能够围绕协议行为提出测试假说，再通过多轮执行与调整寻找深层逻辑缺陷。

除共识协议外，论文还提到 Agora 未来还可拓展至数据库并发控制、操作系统内核以及 Web3 智能合约审计等领域。此次入选 ICML 2026，使这一由 0G Labs 与新加坡国立大学、北京大学、北京邮电大学等团队共同构建的共识协议 debug 智能体框架进入机器学习顶级会议的论文序列。