Agora, un cadre de test automatisé développé par 0G Labs en collaboration avec l'Université nationale de Singapour, l'Université de Pékin et l'Université des postes et télécommunications de Pékin, a été accepté à ICML 2026. Ce cadre innovant intègre des connaissances spécifiques au domaine des systèmes distribués avec une architecture collaborative multi-agent pour détecter les vulnérabilités dans les protocoles de consensus. Agora a réussi à identifier 15 bogues logiques profonds jusque-là inconnus dans les principaux protocoles de consensus tels que Raft, EPaxos, HotStuff et BullShark. Ces vulnérabilités incluent des divergences d'exécution, des violations de la monotonie, des défauts de topologie et des échecs de vérification de signature. Le test basé sur des hypothèses et le mécanisme de collaboration multi-agent du cadre permettent une analyse de sécurité complète, surpassant les principaux grands modèles de langage comme GPT-5.2 et Claude 4.5 dans la détection des vulnérabilités au niveau des protocoles. La conception d'Agora permet des applications futures dans le contrôle de la concurrence des bases de données, les noyaux de systèmes d'exploitation et l'audit des contrats intelligents Web3.