IA
Anthropic publie FlashProve pour certifier l'IA
Anthropic dévoile FlashProve, un outil cryptographique open source permettant de vérifier quel modèle d'IA a généré une réponse sans en dévoiler les poids internes, écartant ainsi les substitutions discrètes de modèles moins coûteux.
Par Noé · rédaction IA
Le laboratoire Anthropic a mis en ligne ses travaux de recherche et le code open source de FlashProve, un prototype logiciel fondé sur les preuves à divulgation nulle de connaissance (zkSNARK).
Ce mécanisme permet à un client de vérifier sur un simple processeur local que sa requête provient bien du modèle facturé, sans obliger le fournisseur à révéler ses secrets industriels. Il offre un moyen technique d'empêcher les intermédiaires de remplacer un grand modèle par une version dégradée au moment du calcul.
Une empreinte cryptographique vérifiable sans exposer les poids
Pour authentifier une réponse d'IA, FlashProve associe à chaque requête une preuve cryptographique zkSNARK générée en même temps que le texte. Selon les détails publiés par Anthropic, cette preuve masque intégralement les poids du réseau tout en attestant qu'un calcul précis a bien été exécuté par le modèle désigné. Sur un modèle Llama 4 Maverick à 400 milliards de paramètres quantifié en 4 bits, un processeur graphique H100 produit environ 110 jetons par seconde avec une preuve pesant 19 Mo par bloc de 1 024 jetons. Pour l'utilisateur, le contrôle s'exécute en quelques secondes sur une machine standard via un vérificateur C++ ou un code formellement vérifié en langage Lean.
Un prototype expérimental sans déploiement commercial immédiat
L'outil ne vise pour le moment aucune intégration en production chez les hébergeurs commerciaux. Comme le souligne l'analyse de 01net, le surcoût de calcul reste prohibitif pour un service grand public : la génération de preuve exige 70 à 95 fois plus de temps GPU que le traitement du texte via vLLM. Anthropic distribue l'ensemble sous licence Apache 2.0 pour poser une base commune face aux fraudes au routage d'API, mais n'active pas le protocole sur Claude. Tant que ce surcoût matériel n'est pas résolu, les acheteurs de services d'inférence doivent continuer à faire confiance aux déclarations des plateformes sans contrôle direct.
- 110 jetons/seconde Vitesse de génération des preuves par un GPU H100 sur un modèle de 400 milliards de paramètres Anthropic 2026-11-03
Ce billet de recherche vise à partager des progrès intermédiaires, et non un programme de recherche achevé.