Détection de 15 vulnérabilités zero-day de haut niveau : Le framework de débogage de protocoles de consensus par agents intelligents développé par 0G Lab en collaboration avec NUS, PKU et BUPT
Les protocoles de consensus, fondations critiques des systèmes distribués, sont notoirement difficiles à déboguer en raison de leur complexité. Une équipe de 0G Labs, de l'Université Nationale de Singapour, de l'Université de Pékin et de l'Université des Télécommunications de Pékin a présenté Agora, un cadre innovant d'agents IA multiples pour la détection automatisée de bugs.
Agora s'éloigne de l'approche inefficace des modèles de langage monolithiques (comme GPT-5.2 ou Claude 4.5, qui ont échoué) en utilisant trois agents spécialisés : un Orchestrateur pour la coordination globale, un Stratège pour générer des scénarios d'attaque exploitant la connaissance du domaine, et un TestGen pour créer et exécuter des tests. Ce système, intégré à une architecture de test automatisé (Harness) avec une boucle de rétroaction, permet une analyse globale et un débogage en boucle fermée.
Les résultats sont impressionnants : Agora a découvert 15 bugs logiques profonds et inconnus (zero-day) dans des protocoles comme Raft, EPaxos et dans des composants d'etcd et de Sui, avec un taux de faux positifs de seulement 26.1%. L'efficacité est remarquable, chaque bug majeur étant trouvé pour environ 40 dollars de coût en tokens.
Ce cadre, conçu pour être économique et accessible, démontre la puissance de la collaboration multi-agents spécialisés pour les tâches complexes de vérification. Il est facilement adaptable à d'autres domaines critiques comme le contrôle de la concurrence dans les bases de données, les noyaux de systèmes d'exploitation ou l'audit de contrats intelligents Web3, ouvrant la voie à une nouvelle ère d'audit de sécurité automatisé pour l'infrastructure informatique fondamentale.
marsbit06/11 07:18
