Anthropic lance FlashProve pour vérifier les sorties des modèles d'IA à l'aide de preuves à divulgation nulle

Le 2 novembre 2026, Anthropic a présenté FlashProve, un système innovant conçu pour renforcer la confiance dans les sorties des modèles d'IA en utilisant des preuves à divulgation nulle (zkSNARKs). Cette technologie permet aux utilisateurs de vérifier que la sortie générée par un modèle d'IA provient bien du modèle revendiqué, plutôt que d'une alternative potentiellement moins coûteuse.

Comprendre FlashProve

FlashProve fonctionne en deux phases. Dans un premier temps, lors d'une étape hors ligne, le fournisseur du modèle s'engage sur un ensemble spécifique de poids de réseau de neurones, ce qui prend environ 39 minutes à traiter et aboutit à une taille d'engagement d'environ 6,5 Mo. Pour chaque demande d'inférence, le système génère une preuve succincte qui confirme que le modèle a produit la sortie revendiquée en réponse à une invite donnée, tout en gardant les poids du modèle confidentiels.

Performance et défis

Visant les modèles de langage à mélange d'experts (MoE), FlashProve a démontré des performances impressionnantes sur le modèle Llama 4 Maverick de Meta. Cependant, le coût de la preuve est significatif, atteignant environ 70 à 95 fois le temps GPU requis pour une inférence standard. Cela fait de FlashProve davantage une preuve de concept qu'un modèle commercial viable à l'heure actuelle.

Développement et perspectives d'avenir

Dirigé par Roy Rinberg et Alex Allain, le projet bénéficie des contributions de figures notables dans le domaine de la cryptographie appliquée. Bien que l'implémentation actuelle ne soit pas prête pour la production, elle ouvre la voie à de futurs développements dans la vérification sécurisée des modèles d'IA. Le prochain défi sera de réduire les coûts de surcharge et les tailles de preuve pour rendre la technologie pratique pour une utilisation généralisée.