Microsoft создала программу для поиска брешей типа Meltdown/Spectre

Microsoft создала программу для поиска брешей типа Meltdown/Spectre

Microsoft создала программу для поиска брешей типа Meltdown/Spectre

Microsoft создала отдельную программу вознаграждений за найденные уязвимости, предназначенную для поиска брешей класса Meltdown и Spectre. Уточняется, что действие этой программы продлится до 31 декабря 2018 года.

Если экспертам удастся продемонстрировать атаку, эксплуатирующую speculative execution, они будут вправе рассчитывать на получение максимальной предусмотренной суммы вознаграждения — 250 000 долларов США.

Демонстрация обхода существующих мер безопасности Windows (например, раскрытие информации в полностью пропатченной системе) или Azure будет вознаграждаться суммой до 200 000 долларов.

Эксперт, обнаруживший новый пример атак Meltdown или Spectre в Windows 10 или Microsoft Edge, может заработать до 25 000 долларов, однако необходимо будет продемонстрировать свой эксплойт, который позволит раскрыть конфиденциальную информацию.

«Мы рассчитываем на то, что подобные исследования уже проводятся, что эксперты пытаются обнаружить новые методы атак такого же класса, как Meltdown и Spectre», — пишет Филлип Миснер из Microsoft Security Response Center (MSRC).

С полным списком условий этой программы можно ознакомиться по этой ссылке. Компания Microsoft опубликовала подробный разбор уязвимостей Meltdown и Spectre здесь.

Также и мы писали про эти нашумевшие бреши.

Энтузиаст запустил чат-бот на процессоре 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