Он алты әзірлеуші отыз сағаттың ішінде биткоин кодын түгел тексеріп, шамамен бес мың ықтимал осалдықты тапты. Солардың сексен бесі — сын дәрежелі, яғни теория жүзінде әмиян иесінің ешбір қатесінсіз ақшасын әкетуге мүмкіндік беретін ақаулар.
Тексерудің басталуына Coldcard Mk3 аппараттық әмияндарымен болған оқиға түрткі болды. Шілденің соңында 2021 жылдан бері микробағдарламада кездейсоқ сандар генераторының қатесі жасырынып жатқаны анықталды: құрылғы энтропияны аппараттық көзден алудың орнына кейде болжауға болатын бағдарламалық генераторға ауысатын болып шықты. Осал кілт кеңістігін есептеп шыққан шабуылшылар құрылғыға физикалық қол жеткізбей-ақ зардап шеккен әмияндардан $100 млн-нан астам қаражат әкетті.
Осыдан кейін Bitcoin Red Team деп аталатын еріктілер тобы бастамашылық танытты. Топты Cashu хаттамасының Calle лақап атты әзірлеушісі мен AnchorWatch компаниясының басшысы Роб Гамильтон басқарды. Олар кодты қолмен жол-жолымен тексеру орнына жасанды интеллект үлгілерін 390 ашық репозиторийге — әмияндар, криптографиялық кітапханалар, инфрақұрылым коды — бағыттады. Сағатына орта есеппен 180 табылым, яғни әр адамға сағатына шамамен бір сын дәрежелі қате келді. Есептеу қуатына кеткен шығын тәулігіне 10 000 долларға дейін жеткен.
Жылдамдықтың кері жағы да болды. Жарияланған сәтте табылымдардың небәрі 21,4%-ы ғана қайта тексеріліп, расталды. Бұл қалғаны жалған дегенді білдірмейді — көбі жауапты мейнтейнерге әлі жеткен жоқ, — бірақ 4962 жазбаның бәрі нақты осалдық дегенді де білдірмейді. Calle тіке жазды: «жағдай өте нашар», және апаттан зардап шеккен жобалардың әзірлеушілерінен есептер ағынына кешірім сұрады. Топ алдымен сын дәрежелі табылымдарды құпия түрде жеткізуге тырысты, бірақ көлем соншалық көп болды, кейбір мейнтейнерлер оны физикалық түрде үлгертпей отыр.
Бұл — жасанды интеллект құралдарының ескі кодтан адам аудиторлар жылдар бойы байқамаған нәрсені таба алатынының нақты дәлелі: Coldcard-тағы қате бес жыл байқалмай жатты. Бірақ сол жылдамдықтың өзі жаңа тар жерді туғызды: енді осалдықты табу емес, оны тексеруге мейнтейнерлердің үлгеруі баяу буынға айналды.
