Anthropic запускает FlashProve для проверки выводов AI-моделей с использованием нулевых доказательств

2 ноября 2026 года компания Anthropic представила FlashProve — инновационную систему, предназначенную для повышения доверия к выводам AI-моделей с помощью нулевых доказательств (zkSNARKs). Эта технология позволяет пользователям проверять, что вывод, сгенерированный AI-моделью, действительно принадлежит заявленной модели, а не потенциально более дешевому аналогу.

Понимание FlashProve

FlashProve работает в два этапа. Сначала, на оффлайн-этапе, поставщик модели фиксирует определенный набор весов нейронной сети, что занимает примерно 39 минут и приводит к размеру фиксации около 6,5 МБ. Для каждого запроса на вывод система генерирует сжатое доказательство, подтверждающее, что модель действительно произвела заявленный вывод в ответ на заданный запрос, при этом сохраняя конфиденциальность весов модели.

Производительность и вызовы

Нацеливаясь на языковые модели с смешанной экспертизой (MoE), FlashProve продемонстрировала впечатляющие показатели производительности на модели Llama 4 Maverick от Meta. Однако накладные расходы на доказательства значительны, составляя около 70-95 раз больше времени GPU, необходимого для стандартного вывода. Это делает FlashProve скорее доказательством концепции, чем жизнеспособной бизнес-моделью на данный момент.

Разработка и перспективы

Проект, возглавляемый Роем Ринбергом и Алексом Алленом, включает вклад известных специалистов в области прикладной криптографии. Хотя текущая реализация еще не готова к производству, она открывает двери для будущих разработок в области безопасной проверки AI-моделей. Следующей задачей станет снижение накладных расходов и размеров доказательств, чтобы сделать технологию практичной для широкого использования.