据 ICML 2026 接收的一篇论文,0G Labs、国立新加坡大学、北京大学以及北京邮电大学之间的研究合作提出 Agora,这是一种用于共识协议安全性的自动化测试框架。Agora 已在包括 Raft、EPaxos、HotStuff 和 BullShark 在内的多个主流协议中识别出 15 个此前未知的深层漏洞。已识别问题涵盖执行差异、单调性违规、拓扑缺陷以及签名验证缺陷。研究表明,包括 GPT-5.2 和 Claude 4.5 在内的主流大型语言模型在相同测试条件下未能检测出这些协议级漏洞。