Завоевание 15 критических уязвимостей нулевого дня: совместная разработка лаборатории 0G Lab, Национального университета Сингапура, Пекинского университета и Пекинского университета почты и телекоммуникаций — интеллектуальный агентный фреймворк для отладки протоколов консенсуса
TechFlow сообщает, что 11 июня автоматизированная тестовая платформа Agora, разработанная исследовательской группой 0G Labs совместно с Национальным университетом Сингапура, Пекинским университетом и Пекинским университетом почты и телекоммуникаций, была принята к публикации на конференции ICML 2026. Данная платформа впервые глубоко интегрирует предметные знания в области распределённых систем с архитектурой совместной работы нескольких агентов (Multi-Agent), применяя их для автоматического обнаружения уязвимостей в производственных протоколах консенсуса.
Согласно опубликованной статье, Agora обнаружила 15 ранее неизвестных глубоких логических ошибок (Deep Bug) в таких основных протоколах консенсуса, как Raft, EPaxos, HotStuff и BullShark. Эти ошибки затрагивают ключевые проблемы безопасности: расхождения в выполнении, нарушения монотонности, топологические дефекты и проверку цифровых подписей. Результаты исследования показывают, что такие популярные крупные языковые модели, как GPT-5.2 и Claude 4.5, не выявили аналогичных уязвимостей на уровне протоколов при одинаковых условиях тестирования.
Как сообщается, Agora использует гипотезо-ориентированное тестирование (Hypothesis-Driven Testing) и механизм совместной работы нескольких агентов, обеспечивая углублённый анализ безопасности сложных распределённых систем за счёт автоматической генерации сценариев атак, выполнения тестов и динамической корректировки процесса. Помимо протоколов консенсуса, данная платформа в перспективе может быть применена также в областях управления параллельным доступом к базам данных, анализа ядер операционных систем и аудита смарт-контрактов Web3.
