据 Odaily 报道,0G Labs 与来自新加坡国立大学、北京大学和北京邮电大学的研究团队合作,在 2026 年 ICML 上发布了 Agora,这是一种用于共识协议的自动化测试框架。该框架在包括 Raft、EPaxos、HotStuff 和 BullShark 在内的协议中,发现了 15 个此前未知的逻辑级漏洞。
Agora 在漏洞报告中的真阳性率达到 73.9%,每识别出一个漏洞的平均成本约为 40 美元。该框架代码已作为开源发布。
相关快讯
Visa 扩展稳定币结算并推出 AI 商务工具
Circle 推出 Arc 隐私以支持机密智能合约
3 个顶级加密货币精选,6 月高增长——ONDO、ADA 和 TRX