Anthropic publie FlashProve, un prototype de preuve cryptographique d'inférence
Anthropic publie en open source FlashProve, un système de preuves zkSNARK permettant de vérifier qu'une réponse provient bien du modèle d'IA annoncé.
🎧 Écouter le résumé
0:00 / 0:00Sur Llama 4 Maverick (400 milliards de paramètres, quantification 4 bits), un seul GPU H100 génère des preuves à environ 110 jetons par seconde, pour 19 Mo de preuve par requête de 1024 jetons. Le coût atteint 70 à 95 fois le temps GPU de l'inférence sous vLLM. Les poids restent masqués. Le code, des preuves Lean et la documentation sont publiés sous licence Apache 2.0, comme travail intermédiaire.
Source : Anthropic, publié le 2 novembre 2026.