Anthropic ускорил zkSNARK для LLM: 110 токенов/с на H100
Система FlashProve генерирует криптографические доказательства для модели Llama 4 Maverick (400B MoE) со скоростью ~110 токенов/с на одном H100, размер доказательства ~19 МБ на 1024 токена. Это в 70-95x медленнее прямого инференса, но на порядки быстрее предыдущих открытых систем. Код и Lean-верификация опубликованы под Apache 2.0.