Витік у Coldcard — це не невдача bitcoin. Протокол робить саме те, що йому наказано. Те, що він виявляє, — це те, наскільки ми хочемо мати одну річ, на яку можна вказати, коли щось ламається. Приблизно 594 BTC, близько $38 млн, зникли з близько 500 гаманців з однією підписовою ключовою парою за 25 хвилин. Усі вказують на один рядок прошивки: `#ifndef MICROPY_HW_ENABLE_RNG` перевіряє, чи існує макрос, а не чи він дійсно увімкнений. Макрос визначений як нуль, тому пристрій тихо переходить на програмне «випадкове» значення, побудоване з його серійного номера та реєстру годинника. Сіди, які повинні містити 128 біт ентропії, містять лише близько 40. Передбачувані. Існують з березня 2021 року, і за власними оцінками Coinkite, їх виявили за допомогою огляду коду з підтримкою ШІ, при цьому нападники використовували ті ж інструменти, що й захисники. Зараз я читаю Стюарта Гленнана «Каузальність: Основи», і він перетворює всю цю ситуацію. Цей `#ifndef` — не «причина». Це INUS-умова: недостатня, але не надлишкова частина ненецієнної, але достатньої сукупності. Сама по собі помилка не викрадає кошти. Викрадає вас помилка плюс відсутність пароля плюс одиночний підпис плюс xpub, виставлений у блокчейні плюс тихий резервний механізм, що не зупиняє роботу, а плюс п’ять років аудитів, які ніколи не дивилися. Кожен елемент несе вагу. Видаліть будь-який один — і крадіжка не відбудеться. Отже, галузь виправляє RNG, дякує виробнику й закриває тікет. Це і є тунельне бачення, яке залишає «виправлену» систему завантаженою. Справжнє питання ніколи не полягає в тому, який елемент був причиною. Воно полягає в тому, який з цих не надлишкових елементів найдешевше видалити. Пароль коштує нуль і повністю знищує всю сукупність. Наша вся етика — перевіряй, не довіряй. Єдине, на чому це ґрунтується — чи походять ваші сіди з справжньої випадковості — це саме те, чого майже ніхто з нас НЕ МОЖЕ перевірити. Ми відмовилися від довіри — і потім довірили RNG. Якщо ви створювали сіди на вразливій прошивці — перенесіть свої кошти. Додайте пароль. NFA