Команда Bitcoin Red Team, добровольная инициатива по безопасности, выявила 4,962 потенциальных проблем безопасности в 390 проектах, связанных с Bitcoin, за первые 29,8 часов проверок кода с помощью ИИ. Согласно разработчику Bitcoin Калле, 720 из этих проблем классифицируются как высокий или критический уровень серьезности.
Анализ безопасности
Кампания по проверке была запущена после недавних атак на кошелек Coldcard, которые побудили разработчиков и исследователей интенсифицировать проверки программного обеспечения Bitcoin. В инициативе участвуют CEO AnchorWatch Роб Гамильтон и другие участники Bitcoin, которые используют инструменты с помощью ИИ вместе с ручной верификацией для выявления уязвимостей программного обеспечения.
Результаты
Команда завершила автоматизированные и ручные проверки по 390 репозиториям, при этом 21,4% зарегистрированных проблем уже воспроизведены, что указывает на то, что часть первоначальных результатов, сгенерированных ИИ, была независимо подтверждена. Кампания охватывает криптографические библиотеки, программное обеспечение кошельков, компоненты инфраструктуры и другие проекты, которые являются частью экосистемы Bitcoin.
Затраты и поддержка
Усилия по проверке потребляют примерно $10,000 в день на вычислительные затраты, при этом OpenSats покрывает расходы. Kimi Moonshot предоставила учетные записи ИИ и доступ к своей модели Kimi K3 для поддержки проверок. Группа обратилась к членам сообщества с просьбой внести вклад в вычислительные учетные записи или цифровые токены для поддержания инициативы.



