Аудит не выявил серьезных уязвимостей в Bitcoin Core

Bitcoin Core впервые прошел независимый аудит безопасности, подтвердивший высокую надежность программного обеспечения. Проверку выполнила французская компания Quarkslab по заказу OSTIF от имени Brink. Специалисты изучали наиболее важные компоненты системы, включая одноранговую архитектуру P2P и логику проверки блоков. Аудит длился более 100 дней.

Согласно отчету, кодовая архитектура Bitcoin Core является одной из наиболее надежных в индустрии. Она включает в себя более 200 тыс. строк кода C++ и свыше 1200 тестов. В ходе анализа не было обнаружено уязвимостей высокой или средней критичности. Найдены лишь 2 проблемы низкого уровня, выдано несколько рекомендаций, связанных с улучшением фаззинга и расширением тестового покрытия. Отмечается, что выявленные недочеты не затрагивают механизмы консенсуса, устойчивость сети или корректность проверки транзакций.

Особое внимание аудиторы уделили сетевому уровню P2P, обеспечивающему передачу блоков, транзакций и взаимодействие узлов, которые поддерживают в среднем около 125 соединений. Проверка не выявила потенциальных способов обхода механизмов фильтрации или блокировок, предназначенных для защиты от некорректных данных. Безопасными признаны логика мемпула, обработка реорганизаций цепочки.

В отчете подчеркивается, что серьезных рисков безопасности обнаружено не было. Большинство рекомендаций направлено на дальнейшее совершенствование инструментов автоматизированного поиска ошибок, что еще больше укрепит устойчивость проекта.

Публикация результатов появилась на фоне продолжающейся дискуссии в сообществе относительно обновления Bitcoin Core v30. Также есть системные разногласия между сторонниками классической реализации и разработчиками Bitcoin Knots.

Автор

Андрей Александров