Anthropic 2 ноября представила FlashProve — открытый исследовательский прототип криптографической проверки вычислений языковых моделей. Поставщик фиксирует веса модели и затем предоставляет проверяемое доказательство соответствия ответа этим весам, не раскрывая их. Код опубликован под лицензией Apache 2.0
В опытах с четырёхбитной версией модели Llama 4 Maverick создание доказательств потребовало в 70–95 раз больше времени графических ускорителей, чем обычный запуск через библиотеку vLLM. Это замеры разработчиков. Пока поддерживаются контексты до 1024 токенов, целочисленные вычисления и выбор наиболее вероятного следующего токена. Обычная генерация со случайной выборкой может не соответствовать проверяемым вычислениям
Но что именно получает такую гарантию: происхождение ответа или его достоверность? Подтверждение того, какая модель выполнила вычисления, полезно для аудита и проверки посредников. Само по себе оно не удостоверяет истинность написанного и не гарантирует сохранность переданных данных
Первоисточник — Anthropic
Сообщите редакции. Существенные исправления мы отмечаем в материале