Уязвимость RNG Coldcard вызывает дебаты об AI‑ассистированных проверках безопасности
Генеральный директор Coinkite NVK защищает AI‑управляемый аудит после эксплойта Coldcard на $116 млн, в то время как разработчик Bitcoin Люк Дашджр утверждает, что уязвимости могли быть обнаружены людьми.
Перевод с английского. Читать оригинал
Главное
- Coinkite утверждает, что модель ИИ обнаружила дефект генератора случайных чисел, который человеческие аудиты пропустили.
- Разработчик Bitcoin Core Люк Дашджр опубликовал девять конкретных проблем, ранее сообщённых Coinkite, опровергая версию об исключительно AI‑обнаружении.
- Уязвимость, связанная с изменением прошивки 2021 года, позволила украсть около $140 млн в биткоинах и привела к судебному иску.
Аппаратные кошельки Coldcard имели критический дефект генератора случайных чисел (RNG), позволяющий злоумышленникам восстановить приватные ключи и украсть примерно $140 млн в биткоинах. Генеральный директор Coinkite Родольфо «NVK» Новак защищал процесс безопасности компании, заявив, что новая модель ИИ выявила дефект после того, как несколько человеческих проверок не смогли этого сделать. Разработчик Bitcoin Люк Дашджр публично оспорил это утверждение, выпустив список из девяти пунктов проблем RNG, которые он ранее передал Coinkite в личных сообщениях.
BTC / USD
AI‑управляемый аудит против человеческой проверки
NVK разместил в X сообщение, что как минимум 15 внешних проверок, включая платные аудиты моделей Mk4 (2022) и Q (2024), изучали аппаратную часть, прошивку и код генерации энтропии Coldcard. Он сослался на основанный на OpenAI «Cybersecurity Harness», который сгенерировал 85 потенциальных находок, утверждая, что только эта сложная модель обнаружила дефект генерации семени. По данным crypto.news, NVK написал: «Неудобная правда в том, что новый ИИ‑модель понадобилась, чтобы найти то, чего не смогли люди».
Девять пунктов возражения Дашджра
В ветке в X Люк Дашджр перечислил девять конкретных проблем, которые, по его мнению, компетентный рецензент мог бы заметить. Пункты варьируются от комментария TODO в инициализации RNG до игнорируемых битов ошибок семени и часов на чипе STM32, а также недостаточной пост‑обработки для криптографического использования. Он также отметил, что проверка random_buffer не охватывает прямые вызовы rng_get, и что заменяющий RNG в прошивке не имел проверок во время выполнения. Дашджр подчеркнул, что его находки были переданы Coinkite конфиденциально до публикации и что он не утверждал, что каждый пункт эксплуатируемый.
Технические детали уязвимости
Уязвимость возникла из изменения прошивки в марте 2021 года, когда генерация семени была перенесена из аппаратного RNG в программный инструмент (Yasmarang), инициализируемый серийным номером чипа и таймером. Это снизило эффективную энтропию до 40 бит на старых устройствах Mk2/Mk3, что значительно ниже 128‑битной безопасности, предполагаемой BIP‑39. Злоумышленники смогли восстановить приватные ключи офлайн, что привело к серии краж, начавшихся 30 июля 2026 года, когда было украдено около 1 816 BTC (примерно $38 млн) с более чем 5 200 адресов, согласно TRM Labs и Galaxy Research.
Юридический и ремедиационный ответ
Пользователям Coldcard рекомендовано генерировать новые семена, надёжно их резервировать и мигрировать средства с помощью последних версий прошивки (5.6.3 для Mk4/Mk5 и 1.5.3Q для Q). Coinkite отмечает, что обновления прошивки не могут исправить уже сгенерированные слабые семена. В Онтарио подан коллективный иск владельцем кошелька Амиром Реза Надери, утверждающий, что Coinkite знала о проблеме RNG с мая 2025 года и не предупредила клиентов. Coinkite отрицает обвинения и сообщает, что подробный технический пост‑мортем ещё готовится.

Обсуждение 0