Новый инструмент FlashProve от Anthropic призван решить проблему верификации ответов ИИ, позволяя пользователям убедиться, что запрос обработала именно заявленная модель, а не более дешевый или скомпрометированный аналог. Система использует криптографический метод zkSNARK для создания цифрового отпечатка весов модели и генерации доказательства подлинности ответа. Согласно отчету, на одном графическом процессоре H100 для модели Llama 4 Maverick (400 млрд параметров) прототип генерирует доказательства со скоростью около 110 токенов в секунду, при этом проверка занимает 17 секунд на обычном процессоре. Несмотря на прогресс по сравнению с предыдущими методами, Anthropic подчеркивает, что FlashProve является лишь исследовательским прототипом с рядом ограничений. Система поддерживает контекст только до 1024 токенов и работает исключительно при выборе моделью наиболее вероятного следующего токена, что исключает использование случайности, характерной для обычных чат-ботов. Кроме того, процесс генерации доказательств создает значительные вычислительные накладные расходы, превышающие стандартную скорость вывода в 70–95 раз.