Взлом Coldcard: NVK упоминает 15 аудитов, Люк Дашджр говорит о лжи

Пятнадцать проверок безопасности, и ни одной тревоги. Три месяца спустя после кражи около 1800 BTC с кошельков Coldcard, глава Coinkite вновь открывает дело в X, чтобы защитить свои прошлые аудиты и указывает на искусственный интеллект как единственный способ выявить уязвимость. Несколько разработчиков Bitcoin отвечают ему, что они предупреждали.

Если вы создали свой seed на Coldcard до лета, этот спор для вас ничего не меняет. Вам все равно нужно мигрировать на новую фразу восстановления.

Ключевые моменты:

• 9 ноября NVK перечислил как минимум пятнадцать внешних проверок, которые не заметили дефект.
• По его словам, только новая модель ИИ могла бы обнаружить этот баг, внедренный в код в марте 2021 года.
• Люк Дашджр утверждает, что передал в частном порядке Coinkite девять замечаний по генератору случайных чисел.
• Coinkite признает, что на сегодняшний день не существует полного независимого аудита исправленных прошивок.
• Обновление устройства не спасает старый seed.

Coldcard: защита NVK основана на пятнадцати аудитах

9 ноября Родольфо Новак, также известный как NVK, опубликовал длинную нить в X. Он утверждает, что по крайней мере 15 внешних работ по обзору или исследованию безопасности касались оборудования Coldcard, его прошивки, связанных с ней инструментов генератора случайных чисел или его процедур публикации до обнаружения дефекта. В их числе две оплаченные проверки: одна для Mk4 в 2022 году и одна для Q в 2024 году. Нить NVK от 9 ноября. Источник: X

Он также упоминает проверку, проведенную разработчиком Робом Хэмом с использованием инструмента кибербезопасности OpenAI. В результате было выявлено 85 потенциальных проблем и несколько исправлений, но ни одной следы дефекта генерации seed. << Удручающая правда в том, что потребовалась новая модель ИИ, чтобы найти то, что люди не смогли обнаружить >>, пишет NVK.

Баг датируется мартом 2021 года. Для создания seed (последовательности из 12 или 24 слов, позволяющей восстановить все ключи кошелька) прошивка вызывала программный генератор MicroPython вместо предусмотренного аппаратного генератора случайных чисел. Ключи, которые должны были быть недоступны, становились предсказуемыми с помощью грубой силы. 30 июля первая волна опустошила 1196 адресов за 41 минуту.

Уязвимость Coldcard: Люк Дашджр и Джеймс О'Бейрн говорят, что предупреждали

Ответ пришел в тот же день. Разработчик Bitcoin Core Люк Дашджр опубликовал девять замечаний по генератору случайных чисел Coldcard, которые он утверждает, что сначала передал в частном порядке Coinkite. Он указывает на инициализацию генератора, управление ошибками чипов STM32 и обнаружение повторяющихся значений. Он уточняет, что лишь мельком взглянул и не утверждает, что каждая точка является уязвимой. Однако по поводу ИИ он не стесняется: представлять эти уязвимости как обнаруженные исключительно гениальным ИИ — это, по его словам, чистая ложь.

Джеймс О'Бейрн уже в начале августа рассказывал, что начал изучать прошивку в мае 2025 года. Он задавался вопросом о библиотеке libngu и о жестко закодированных константах в программном генераторе резервного копирования. Ему ответили, что конфигурация была правильной на физических устройствах. Он признает, что не настаивал.

Тон быстро накаляется. Алекс Уолтц обвиняет Coinkite в том, что они отговорили от проверки своего кода, в то время как Шиноби защищает NVK, напоминая, что рецензенты действительно проверили систему энтропии и ничего не заметили. И NVK, в свою очередь, повторяет, что личное сообщение с выражением беспокойства не равно раскрытию воспроизводимой уязвимости.

Кошелек Coldcard: посмертный анализ все еще в разработке

Обе стороны сталкиваются с одной и той же слепой зоной. Уже 3 августа Ник Перко, руководитель безопасности Kraken, объяснял, что аудиторы проверяли наличие правильного генератора в коде, не контролируя, что производственная прошивка его вызывает. В конце августа Trezor добавил, что оплаченный аудит в марте 2022 года, который как раз охватывал генерацию случайных чисел, не заметил этого.

Сторона Coinkite обновила страницу статуса безопасности 1 октября, в которой перечислены четыре независимые проверки, нацеленные на исправленные прошивки. Она уточняет, что не существует полного независимого аудита каждого бинарного файла. Технический посмертный анализ, ожидаемый с лета? Все еще << в разработке >>. Статус безопасности Coldcard, обновленный 1 октября. Источник: Coinkite

Для вас указания не изменились ни на йоту. Рекомендуемые версии — 5.6.3 для Mk4 и Mk5 и 1.5.3Q для Q, но обновление не мигрирует seed. Единственное признанное исключение — seed, созданный с помощью как минимум 50 честных бросков кубиков, которые никогда не были раскрыты, дает около 128 бит энтропии. Для всех остальных — новая фраза восстановления на обновленном устройстве, а затем перевод средств.

Небольшая часть добычи уже сменила владельца в правильном направлении. 21 сентября белые шляпы собрали 52,37 BTC, связанных с взломом Coldcard, в трасте Вайоминга, который должен вернуть их жертвам, что составляет всего 3% от примерно 1800 BTC, украденных.