Agoraは、シンガポール国立大学、北京大学、北京郵電大学と共同で0G Labsが開発した自動テストフレームワークであり、ICML 2026に採択されました。この革新的なフレームワークは、分散システムに関するドメイン固有の知識とマルチエージェントの協調アーキテクチャを統合し、コンセンサスプロトコルの脆弱性を検出します。 Agoraは、Raft、EPaxos、HotStuff、BullSharkなどの主要なコンセンサスプロトコルにおいて、これまでに知られていなかった15件の深刻な論理バグを特定することに成功しました。これらの脆弱性には、実行の分岐、単調性違反、トポロジーの欠陥、署名検証の失敗が含まれます。このフレームワークの仮説駆動型テストとマルチエージェント協調メカニズムにより、包括的なセキュリティ分析が可能となり、GPT-5.2やClaude 4.5などの主要な大規模言語モデルを上回るプロトコルレベルの脆弱性検出性能を発揮しています。Agoraの設計は、将来的にデータベースの同時実行制御、オペレーティングシステムのカーネル、Web3スマートコントラクトの監査などへの応用も可能です。