Odaily Planet Daily rapporte qu'Anthropic a lancé FlashProve, un système open source de vérification d'inférence IA basé sur les preuves à connaissance nulle (zkSNARK), avec la participation de Alessandro Chiesa, cofondateur de StarkWare. Ce système utilise des méthodes cryptographiques issues des technologies ZK de la blockchain, permettant aux utilisateurs de vérifier si une sortie IA a été générée par un modèle spécifique, sans avoir à accéder aux poids du modèle ni à le réexécuter.
Anthropic indique que Claude a participé à l'optimisation du système, et que le code associé ainsi que la preuve formalisée sous forme Lean sont désormais open source. Le système reste à l'étape de prototype de recherche, avec une charge GPU pour la génération de preuves équivalente à 70 à 95 fois celle d'une inférence classique.
Les tests montrent que FlashProve peut générer des preuves pour le modèle Llama 4 Maverick de Meta, comportant 400 milliards de paramètres, à une vitesse d'environ 110 tokens par seconde sur une seule GPU H100, chaque preuve faisant environ 19 Mo.