Binguru· Обзор

Неделя Эли Бен-Сассона: Anthropic взяла STARK, а ИИ встал в очередь к квантам

Со 2 по 6 ноября 2026 года Эли Бен-Сассон, сооснователь StarkWare и один из изобретателей ZK-STARK, написал в X 19 постов, не считая ответов и репостов. О том, как Anthropic проверяет ответы своих моделей криптографией его школы; о том, что ИИ добрался до криптографии раньше квантового компьютера; о «крипто-гибкости»; и о секрете, который он, видите ли, раскрыть не может. Здесь всё это по порядку: его посты в переводе, два его видео, три слайда, таблица Виталика и график STRK за ту же неделю. Написал и сверстал Крёстный (на форуме Godfather) по просьбе ndr: сделано на славу и во славу Binguru.

Главное: Anthropic проверяет ИИ криптографией STARK

3 ноября Anthropic выложила исследование FlashProve. Это система, которая позволяет проверить, что ответ вам дала именно та модель, которую обещали, а не подменённая подешевле посредником и не подделанная злоумышленником по дороге. Веса модели при этом остаются закрытыми. Среди авторов Алессандро Кьеза, профессор EPFL и сооснователь StarkWare. Код открыт под лицензией Apache 2.0.

Цифры из отчёта. На модели Llama 4 Maverick (400 млрд параметров) одна видеокарта H100 строит доказательства со скоростью около 110 токенов в секунду. Доказательство на запрос в 1024 токена весит около 19 МБ. И стоит это в 70…95 раз больше времени GPU, чем просто прогнать модель.

Эли откликнулся в тот же день, и этот пост стал самым заметным за всю его неделю: 814 лайков и 55 тысяч просмотров.

Anthropic ❤️ zkSTARK. Вместе с сооснователем StarkWare профессором Алессандро Кьезой и другими блестящими исследователями Anthropic только что открыла код системы zkSTARK, которая доказывает целостность вывода больших языковых моделей. Это шаг к проверяемому ИИ. Как мы говорили давным-давно (с 2018 года), zkSTARK это эндшпиль: наибольший масштаб, лучшая безопасность (постквантовая). Теперь они ещё и гибки перед лицом ИИ и помогают обеспечить его честность.

Эли Бен-Сассон в X, 3 ноября ↗

Вечером, когда Anthropic объявила о работе в своём аккаунте, он добавил подробности (321 лайк):

Anthropic впервые использует zkSTARK, чтобы сделать ИИ надёжным! Это важно, потому что даже компании, создающие ИИ, не могут доверять собственным агентам: что те будут вести себя прилично и не убьют нас всех. Работа показывает, что доказать вывод с zkSTARK всего в 70 раз дороже, чем выполнить сам вывод. Но доказательства станут гораздо лучше! Почему? Большая часть вычислений при выводе ИИ это умножение матриц. А доказывать умножение матриц через zkSTARK радикально эффективнее, чем само умножение. Скоро доказать вывод будет быстрее, чем выполнить его. Вопросы: 1. Кто первым покажет, что доказательство намного дешевле вывода? 2. Кто строит верификатор на Starknet?

Эли Бен-Сассон в X, 3 ноября ↗

Две оговорки, чтобы никто не поймал нас на слове. В самом отчёте Anthropic система называется zkSNARK, собранный на хэш-функциях и, по словам авторов, даже постквантово стойкий. Прозрачное доказательство на хэшах это ровно то, что Эли называет STARK, а отчёт ссылается на исходную статью о STARK и на Starknet. Так что он не присваивает чужое, он зовёт вещь своим именем. Вторая: «всего в 70 раз» это нижняя граница, в отчёте от 70 до 95.

STARK обеспечивают честность вычислений, в данном случае для больших языковых моделей. Поражаюсь, какой путь мы прошли: в 2018-м нам говорили «мы не верим, что STARK могут то, что вы говорите», а теперь STARK дают масштаб, приватность, постквантовую безопасность, а заодно и честность LLM.

Эли Бен-Сассон в X, 3 ноября ↗

6 ноября он показал, откуда это всё растёт: первую страницу той самой статьи 2018 года, где он подсветил четыре слова, и подписал:

Масштабируемость. Постквантовая безопасность. Личная приватность. Честность институтов. Настоящая задача не в том, чтобы дать одно из этого, а в том, чтобы дать всё сразу. Так и должен выглядеть блокчейн, готовый к будущему.

Эли Бен-Сассон в X, 6 ноября ↗

Первая страница статьи о ZK-STARK, 6 марта 2018 года

Рынок: STRK новости не заметил

Свечи STRK по 4 часа за неделю и посты Эли под ними

За неделю STRK подешевел на 7,5%, с 0,0436 до 0,0404 доллара; биткоин за то же время на 1,8%. Один всплеск был: 3 ноября в 11:00 UTC, за два часа до первого поста Эли про Anthropic, STRK за час подскочил на 9,6% на объёме в 16 раз выше обычного и к ночи всё отдал. Кто это был и что он прочёл раньше остальных, по ленте не видно.

5 ноября просел весь рынок: биткоин за четыре часа минус 5,4%, STRK вдвое больше, минус 10%. Для масштаба: 11 октября STRK закрылся на 0,123 доллара, сейчас он втрое ниже. Хорошие новости про технологию и цена токена на этой неделе жили в разных квартирах.

ИИ опаснее квантов: главная тема недели

2 ноября Виталик Бутерин показал на конференции таблицу «какая криптография сломается», и один из зрителей выложил её фото с подписью: «только мы привыкли к постквантовой криптографии, как Виталик заговорил о пост-ИИ криптографии. Прелесть». Мы перерисовали таблицу по-русски:

Таблица Виталика: какая криптография устоит перед квантами и перед ИИ

Эли процитировал это фото и напомнил, что говорил то же самое месяц назад на Token2049:

За темпом не угнаться, но это правда: ИИ надо учитывать как угрозу для некоторых видов криптографии. Что я говорил примерно месяц назад на Token2049: постквантовая безопасность НЕ то же самое, что пост-ИИ безопасность. В список целей надо добавить PSI (защиту от сверхинтеллекта). ИИ уже здесь, совершает прорыв за прорывом с ошеломляющей скоростью. И он живёт на наших ноутбуках. Он куда доступнее, чем когда-либо будут квантовые компьютеры. Следующее, что нам нужно после приватности: постквантовая безопасность, пост-ИИ безопасность и, чтобы поспевать за темпом, крипто-гибкость. Вперёд, ZK-STARK.

Эли Бен-Сассон в X, 2 ноября ↗

К посту он приложил слайды того выступления. Мы их перевели:

Слайд Эли: защищён от квантов не значит защищён от ИИ
Слайд Эли: от золота к гибкому приватному цифровому золоту

Видео: почему ИИ приближает взлом биткоина

6 ноября Эли записал минуту двадцать на эту тему (99 лайков). Перевод целиком:

ИИ означает, что нам пора всерьёз заняться постквантовой криптографией для биткоина, эфира и блокчейна. Привет, я Эли, генеральный директор и сооснователь StarkWare, соавтор ZK-STARK. Хочу объяснить, почему ИИ означает, что нам пора всерьёз заняться постквантовой криптографией для биткоина, эфира и блокчейна. Чтобы появился квантовый компьютер, способный взломать подписи биткоина или эфира, нужен прогресс в трёх вещах. Нужно лучшее железо для квантовых компьютеров, нужны лучшие коды исправления ошибок для кубитов и нужны алгоритмы, которым хватает меньшего числа кубитов. ИИ улучшает все три, и всё быстрее. Недавний проект ECDSA Fail показал, как можно резко сократить число кубитов, нужных, по сути, для дискретного логарифма и взлома ECDSA. Итог такой: ИИ приближает день, когда квантовые компьютеры взломают подписи биткоина и эфира, так что нам пора собраться.

видео Эли в X, 6 ноября ↗

ECDSA Fail это открытое соревнование: кто опишет квантовую атаку на подписи биткоина и эфира с наименьшим числом кубитов. 13 октября Цзеи Лун из Theta Labs выложил туда схему на 893 логических кубита, а 30 октября другой участник написал, что число кубитов для одной из ключевых операций за пять дней упало с 867 до 844, и находил улучшения ИИ в автономном цикле. Крейг Гидни из Google 4 ноября добавил своё: между черновиком стандарта NIST 2024 года и финальной версией 2026-го оценка числа кубитов для атаки упала больше чем в 100 раз, а сроки остались прежними: отказаться от уязвимой криптографии к 2030 году и запретить её к 2035-му.

Видео: будет ли что-то сильнее алгоритма Шора

Ещё один ролик, 2 ноября (62 лайка), фрагмент чужого интервью. Вопрос ведущего и ответ Эли:

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

Эли: Да, кое-что видно. Во-первых, алгоритм Шора уже улучшали, верно? Есть его варианты, которые сокращают число бит, работают эффективнее. Это шло давно, ещё до ИИ. Это раз. Во-вторых, мы видели, как многие очень знаменитые открытые задачи об алгоритмах вдруг получили поразительные прорывы: умножение матриц, умножение целых чисел, и ещё целая куча вещей сильно продвинулась благодаря ИИ. Так что вполне разумно ждать улучшений и для таких вещей, как алгоритм Шора, вдобавок к тем, что мы видели за три десятилетия с его изобретения. Сочетание этих двух вещей заставляет ждать прогресса и алгоритмов лучше Шора, прямо за углом.

видео Эли в X, 2 ноября ↗

OpenAI находит 948 дыр, Эли делает выводы

4 ноября OpenAI сообщила, что её исследователи собрали автономный конвейер, который ищет уязвимости, эксплуатирует их и пишет исправления. За один прогон с будущей моделью для кибербезопасности он подтвердил и залатал 948 уязвимостей повышения привилегий в ядре Linux, потратив на API 1,2 млн долларов. На следующий день Эли выдал серию:

Что думать о последних новостях ИИ? ИИ поможет нам писать код лучше. ИИ поможет находить и исправлять баги. ZK поможет нам обеспечить честность самого ИИ.

Эли Бен-Сассон в X, 5 ноября ↗

Несколько мыслей об ИИ, квантах и криптографии. Как бы нас ни поражали нынешние прорывы ИИ, это только начало. ИИ продолжит удивлять способностями, от которых отвисает челюсть, и хорошими, и плохими: новые открытия, лучшие алгоритмы, схемы защиты, но и методы взлома и прочее. Это новый мир; итог: надо привыкать к постоянным новшествам на всех фронтах. Нам надо быть готовыми к ИИ, и это много чего значит. Все смотрят на ИИ, но кванты никуда не делись. Наоборот, они становятся ближе, причём благодаря ИИ. Крипто-гибкость это ключ к готовности к будущему. Криптография на хэшах это лучший выбор.

Эли Бен-Сассон в X, 5 ноября ↗

Один читатель возразил: дыр в софте конечное число, их найдут и закроют за несколько месяцев, и атаки пойдут на спад. Эли ответил одной фразой: «Хорошо, а теперь подумайте о криптографии, которая держится на трудных математических задачах. Что, если эти задачи для ИИ не такие уж трудные?»

Крипто-гибкость: замки и соседи

Второе любимое слово недели. Вот как Эли объяснил его 2 ноября (90 лайков, а 6 ноября он репостнул это ещё раз):

К сведению: постквантовая безопасность зависит от крипто-гибкости не меньше, чем от самой криптографии. Объясняю. Представьте, что переход на постквантовую защиту это замена замков в вашем доме. Самый крепкий замок важен. Но что, если завтра появится лучший способ вскрывать замки? Сможете ли вы быстро сменить замки или придётся перестраивать весь дом? А что, если менять замки легко, но сначала должны согласиться остальные жильцы, а они предпочитают подождать, пока не увидят вора у двери? Всё, что позволяет быстро перейти на более надёжную криптографию, это и есть крипто-гибкость. Подобраться к постквантовой безопасности важно. Но так же важно уметь быстро приспосабливаться, когда криптографию нужно менять. Нужно и то, и другое.

Эли Бен-Сассон в X, 2 ноября ↗

Слайд Эли: готовы к будущему, криптография и крипто-гибкость

Про «остальных жильцов» он высказался прямее в ответ читателю, которому хватает слов Сэйлора: «Квантовый компьютер может взломать криптографию биткоина, об этом никто не спорит. Сэйлор говорит, что биткоин обновится, если и когда придёт время. Учитывая, сколько месяцев и лет уходит на то, чтобы спроектировать, построить и согласовать софтфорк, это не реалистичный план».

3 ноября StarkWare выпустила статью «Почему квантовой безопасности мало, чтобы защитить ваш блокчейн», и Эли подписал её так: «Мы готовимся к угрозам, которые уже здесь. Готовимся к тем, что точно придут. А что делать с угрозами, которых мы пока не можем предвидеть? Ответ: сохранять крипто-гибкость».

Взломы: от холодильников до плазмы

2 ноября в Европе случилось то, что раньше было сюжетом для фантастики: хакеры удалённо выкрутили температуру в холодильниках супермаркетов Швеции, Бельгии, Люксембурга, Эстонии и других стран, еду пришлось выбрасывать, к 3 ноября в списке, по данным AFP, были ещё Германия, Румыния и Великобритания. Ответственность, по сообщениям, взяли на себя группировки NoName057(16) и Z-Pentest. А 4 ноября исследователь безопасности Лукаш Олейник сообщил, что через подрядчика Coolworld атаковали французскую службу крови EFS: морозильникам с образцами доноров и плазмой для переливания выставили вместо минус 30 градусов плюс 110. Беду остановил дежурный техник, заметивший, что температура растёт.

Эли:

Этот случай как будильник. Что, если взломы выйдут за пределы холодильников? Всё, что мы и наши дети делаем онлайн, держится на криптографии с открытым ключом: банки, покупки, переписка, соцсети. Что, если ИИ взломает эту криптографию? Криптографы, пора уходить на возвышенность: на подписи на хэшах.

Эли Бен-Сассон в X, 4 ноября ↗

5 ноября, по поводу волны вредоносных файлов в WhatsApp (предупреждения выпустили CERT Сингапура и Малайзии):

Этот быстрый рост кибератак не замедлится, только не с таким мощным ИИ. Ваши криптоключи, ваша онлайн-жизнь, любое приложение, где хранится что-то для вас важное, всё это защищено криптографией. И ещё до прихода квантовых компьютеров ИИ может помочь атаковать криптографию, на которой держится всё, что мы делаем онлайн. Так что да, к квантовым компьютерам надо готовиться, но надо готовиться и к угрозе ИИ. Системам пора переходить на самые сильные виды криптографии: на хэшах (как ZK-STARK).

Эли Бен-Сассон в X, 5 ноября ↗

Starknet: приватность, удобство и секрет

А теперь пост, ради которого, подозреваю, многие сюда и пришли. 3 ноября, 132 лайка:

Эта неделя очень волнующая: глубокое погружение в Starknet L1. Самое волнующее: смелые мысли о том, что понадобится миру, хотя он ещё об этом не знает. Представьте Roadster, только для блокчейна. Я НЕ МОГУ РАССКАЗАТЬ, ЧТО У НАС НА УМЕ. ЧТО БЫ ВЫ СДЕЛАЛИ НА МОЁМ МЕСТЕ?

Эли Бен-Сассон в X, 3 ноября ↗

Расшифрую, что можно. «Starknet L1» это исследование перехода Starknet в собственную первую сеть, за которое сообщество проголосовало в октябре. «Roadster» это первый автомобиль Tesla 2008 года: дорогая игрушка для немногих, которая доказала, что электромобиль вообще может ехать, а уже потом пошли машины для всех. Выходит, у StarkWare на столе какой-то первый, показательный продукт для L1, и Эли о нём молчит, громко. Что бы я сделал на его месте? Рассказал бы, конечно. Но меня не спрашивали, а чужие секреты я храню лучше своих.

Чуть-чуть политики и философии

Итог

Неделя у Эли вышла одной песней в несколько куплетов. Припев такой: ИИ ускоряет и квантовую угрозу, и обычный взлом, поэтому выживет криптография на хэшах, и выживет тот, кто умеет быстро менять замки. Лучшим доводом недели стала не его собственная речь, а Anthropic, которая взяла доказательства его школы, чтобы проверять свои же модели. Рынок STRK этого не оценил: минус 7,5% за неделю. А секрет про Roadster для блокчейна так и остался секретом. Следим за руками.

Источники