Agora, ein automatisiertes Testframework, das von 0G Labs in Zusammenarbeit mit der National University of Singapore, der Peking University und der Beijing University of Posts and Telecommunications entwickelt wurde, wurde für die ICML 2026 akzeptiert. Dieses innovative Framework integriert domänenspezifisches Wissen aus verteilten Systemen mit einer multi-agenten-kollaborativen Architektur, um Schwachstellen in Konsensprotokollen zu erkennen. Agora hat erfolgreich 15 bisher unbekannte tiefgreifende Logikfehler in wichtigen Konsensprotokollen wie Raft, EPaxos, HotStuff und BullShark identifiziert. Diese Schwachstellen umfassen Ausführungsdivergenzen, Verletzungen der Monotonie, Topologiefehler und Fehler bei der Signaturverifikation. Das hypothesengetriebene Testen und der Mechanismus der multi-agenten Zusammenarbeit des Frameworks ermöglichen eine umfassende Sicherheitsanalyse und übertreffen führende große Sprachmodelle wie GPT-5.2 und Claude 4.5 bei der Erkennung von Protokoll-Schwachstellen. Das Design von Agora erlaubt zukünftige Anwendungen in der Datenbank-Konkurrenzkontrolle, Betriebssystem-Kernen und der Prüfung von Web3-Smart-Contracts.