Давняя уязвимость RoboForm вернула доступ к BTC-кошельку ценой в 3 миллиона

Давняя уязвимость RoboForm вернула доступ к BTC-кошельку ценой в 3 миллиона

Давняя уязвимость RoboForm вернула доступ к BTC-кошельку ценой в 3 миллиона

Обнаружив уязвимость в менеджере паролей RoboForm выпуска 2013 года, исследователи смогли восстановить ключ доступа к биткоин-кошельку. Его владелец рад вдвойне: за 11 лет его 43,6 BTC подорожали с $5,3 тыс. до $3 миллионов.

Двадцатизначный пароль, который он сгенерировал с помощью RoboForm, хранился в отдельном файле, зашифрованном с помощью TrueCrypt. В какой-то момент файл побился, и доступ к кошельку был потерян.

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

Специалист по взлому вместе с приятелем несколько месяцев занимался реверс-инжинирнгом, хотя знатоки убеждали его в безнадежности затеи. Наконец, было найдено то, что искали: как оказалось, генератор случайных чисел, который использовала версия RoboForm заказчика, привязывал результаты к дате и времени компьютера, что делало их предсказуемыми.

Нужно было также знать, из чего состоял пароль: заглавных / строчных букв, цифр, спецсимволов. При наличии всех этих параметров можно было, подменив дату и время, заставить RoboForm выдать нужный вариант ключа.

К сожалению, владелец криптокошелька плохо помнил, когда именно он поставил пароль и какие символы использовал. Просмотр журнала показал, что первые биткоины появились в кошельке 14 апреля 2013 года; исследователи также изучили другие пароли, созданные заказчиком с помощью RoboForm, и начали экспериментировать.

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

 

RoboForm разработки Siber Systems одним из первых появился на рынке менеджеров паролей; в настоящее время на его счету более 6 млн пользователей. Генератор случайных чисел, слабостью которого воспользовались исследователи, подкрутили или заменили в 2015 году, с выпуском сборки 7.9.14 продукта.

Энтузиаст запустил чат-бот на процессоре Z80 1976 года

Легендарный процессор Zilog Z80, которому в этом году почти 50 лет, внезапно получил собственный «ИИ». Разработчик под ником HarryR представил проект Z80-μLM — крошечную «разговорную модель», которая реально работает на 8-битном Z80 с 64 КБ памяти.

Сразу расставим точки над i: тест Тьюринга этот ИИ не пройдёт, мир не захватит и цены на Z80 из-за него не взлетят. Сам автор честно говорит, что это эксперимент и «развлечение для души». Но эксперимент крайне изящный, именно этим он и цепляет.

Z80-μLM — это минималистичная «разговорная ИИ-модель», которая генерирует ответы посимвольно. Вся система, включая инференс и простой чат-интерфейс, уместилась примерно в 40 КБ. Для наглядности: это обычный .COM-файл, который спокойно запускается в CP/M и помещается в стандартную область памяти TPA.

Внутри сплошная инженерная магия старой школы. Никаких чисел с плавающей точкой, только целочисленная арифметика, заточенная под возможности Z80. Веса квантованы до 2 бит (значения от −2 до +1), четыре веса упакованы в один байт.

Входной текст кодируется через хеширование триграмм в 128 «корзин» — это делает модель устойчивой к опечаткам и нечувствительной к порядку слов. Всё максимально просто, жёстко и эффективно.

HarryR подчёркивает, что его цель была не «ум», а минимальный размер при сохранении ощущения характера. И, как ни странно, это работает. Ответы у чат-бота короткие, иногда нарочито сухие или уклончивые:

  • OK — нейтральное подтверждение,
  • WHY? — сомнение в вашем вопросе,
  • R U? — философский ответ с намёком,
  • MAYBE — честная неопределённость,
  • AM I? — вопрос в ответ.

Из-за этой лаконичности общение превращается в своеобразную игру: приходится угадывать, «понял» ли бот вопрос, и достраивать смысл самому. И тут невольно ловишь себя на мысли, что мозг начинает приписывать этой кучке байтов некую личность. Или это просто классическая человеческая склонность к антропоморфизму — вопрос открытый.

В проекте есть два готовых примера. Первый — Tinychat, простой чат-бот, который отвечает на приветствия и вопросы о себе. Второй — Guess, вариация игры «20 вопросов», где модель загадывает нечто, а пользователь пытается это угадать. Оба варианта доступны в виде готовых бинарников: для CP/M — стандартные .COM-файлы, для ZX Spectrum — .TAP-образы кассет, которые можно загрузить в эмулятор или даже на реальное железо.

Отдельная ирония ситуации в том, что Z80 как раз недавно официально отправили «на пенсию». В апреле 2024 года Zilog объявила о прекращении поддержки чипа (PDF) из-за закрытия производства на стороне фабрики. Правда, почти сразу энтузиасты взялись за замену, и в рамках проекта Tiny Tapeout появился рабочий совместимый клон.

RSS: Новости на портале Anti-Malware.ru