Odaily Planet Daily сообщает, что Anthropic выпустила открытую систему верификации AI-выводов FlashProve на основе нулевого знания (zkSNARK), в исследовании которой участвовал сооснователь StarkWare АLESSANDRO CHIESA. Система использует криптографические методы, происходящие из технологий ZK блокчейна, позволяя пользователям проверять, были ли выходные данные AI сгенерированы указанным моделью, не получая веса модели и не запуская её повторно.
Anthropic сообщила, что Claude участвовал в оптимизации системы, и соответствующий код и формальное доказательство в формате Lean уже опубликованы как открытые. Система всё ещё находится на стадии исследовательского прототипа, и затраты времени на GPU для генерации доказательств составляют примерно 70–95 раз больше, чем при обычном выводе.
Тесты показали, что FlashProve может генерировать доказательства для модели Llama 4 Maverick с 400 миллиардами параметров от Meta со скоростью около 110 токенов в секунду на одном GPU H100, при этом каждое доказательство составляет около 19 МБ.




