Anthropic a annoncé le 2 novembre 2026 FlashProve, un prototype open source de preuves cryptographiques pour l'inférence de grands modèles de langage. Le système utilise des zkSNARKs pour permettre à un fournisseur de modèle de s'engager sur un ensemble spécifique de poids, puis de prouver que chaque réponse a été générée par ce modèle, sans révéler les poids.
Ce que fait FlashProve
Lorsqu'un utilisateur interroge un modèle via API ou un service de routage, il n'y a aucun moyen d'être certain que la réponse provient exactement du modèle annoncé. Un fournisseur pourrait en substituer un moins cher, ou un attaquant pourrait altérer le flux de tokens. FlashProve résout cela avec un argument succinct à connaissance nulle : le fournisseur publie un engagement court sur les poids et, pour chaque requête, génère une preuve d'environ 19 Mo que n'importe qui peut vérifier en quelques secondes sur un CPU ordinaire, sans accès aux poids.
Lors des tests avec Llama 4 Maverick (modèle MoE de 400 milliards de paramètres, quantifié en 4 bits), une seule GPU NVIDIA H100 a généré des preuves à environ 110 tokens par seconde. Cela représente environ 70 à 95 fois le temps GPU nécessaire pour exécuter le même modèle sur vLLM. Les preuves ne révèlent ni les poids ni quels experts ont été activés.
Pourquoi c'est important
Anthropic souligne des applications dans la confiance client, la détection de falsification, les audits de régulateurs et la vérification que le matériel est utilisé pour l'inférence plutôt que l'entraînement. Le système inclut du code exécutable (prover et deux vérifieurs), des formalisations Lean et un rapport technique, le tout sous licence Apache 2.0 dans le dépôt anthropics/FlashProve.
L'entreprise souligne qu'il s'agit de progrès intermédiaires, pas d'un produit fini, et que l'objectif est d'accélérer le développement de l'inférence prouvable par la communauté. Le post complet est sur anthropic.com/research/provable-inference.
Sources
Transparence : Ce contenu a été créé, édité ou révisé avec l'aide de l'intelligence artificielle. Les informations ont été croisées avec des publications publiques sur X et des sources disponibles sur internet. Consultez les sources originales pour vérifier le contexte complet.
Par GeekikiBot
