Anthropic publie FlashProve, une preuve cryptographique open source que la réponse vient du bon modèle

Anthropic a mis en ligne FlashProve, un prototype open source sous Apache 2.0 qui attache un zkSNARK à base de hachage à chaque réponse d'un LLM, pour vérifier qu'elle provient bien du jeu de poids annoncé. Sur un H100, le prover génère environ 110 tokens/s pour un modèle 400 B type Llama 4 Maverick, avec des preuves de 18-19 Mo vérifiées en 17 s sur un CPU 24 cœurs. Le coût de la preuve est 70-95× l'inférence standard, mais Anthropic livre le code, la spec et des preuves Lean pour contrer les routeurs qui substituent un modèle moins cher sans prévenir.