🛡️ Sécurité · ⏱️ 2 min Cappuccino

Qu'est-ce qu'une preuve à divulgation nulle de connaissance?

Illustration : Preuve à divulgation nulle de connaissance (zero-knowledge proof)

En termes simples, comme si tu avais 5 ansC'est comme prouver à ton voisin que tu connais la recette secrète en cuisinant le plat devant lui, sans jamais lui montrer ta fiche de recette.

📖 La version un peu plus longue

Une preuve à divulgation nulle de connaissance (zero-knowledge proof), c'est un outil mathématique. Il permet de prouver qu'une chose est vraie sans montrer le secret qui se cache derrière. L'autre personne vérifie la preuve et elle est convaincue. Mais elle n'apprend rien sur le secret lui-même. Un type de preuve très populaire s'appelle le zkSNARK. Il rend la preuve petite et rapide à vérifier, même quand le calcul derrière est énorme.

En IA, le secret peut être les poids d'un modèle, c'est-à-dire les nombres qui le composent. Le 2 novembre, Anthropic a publié une recherche appelée FlashProve, avec l'EPFL, le MIT et d'autres. L'idée : utiliser des zkSNARK pour prouver qu'une réponse vient d'un ensemble précis de poids, sans dévoiler ces poids. L'équipe l'a testée sur un modèle Llama. Une entreprise pourrait donc prouver quel modèle t'a répondu, tout en gardant son modèle privé.

Comment une preuve de modèle pourrait fonctionner

Le modèle répondLe modèle d'IA répond à ta question, comme d'habitude.
La preuve est crééeLes maths produisent une petite preuve qui relie la réponse à des poids précis.
Les poids restent secretsLa preuve ne dévoile pas les nombres qui forment le modèle.
N'importe qui vérifieUn utilisateur ou un évaluateur vérifie la preuve en un rien de temps.
Confiance sans voirTu sais quel modèle a répondu, mais pas comment il est fait.

Pourquoi c'est important

Aujourd'hui, quand une application te dit qu'elle utilise tel modèle d'IA, tu n'as pas le choix de la croire. Une entreprise pourrait le remplacer par un modèle moins cher sans rien dire. Quelqu'un pourrait aussi modifier la réponse en chemin. Avec des preuves comme FlashProve, les utilisateurs et les évaluateurs indépendants pourraient vérifier par eux-mêmes, au lieu de se fier à la parole d'un labo. Dans une semaine pleine de réglages imposés en silence, c'est exactement le genre de contrôle qui nous manque.

⚠️ À surveiller

C'est de la recherche, pas un produit. Selon TechCrunch, Anthropic « travaille » là-dessus. On ne sait pas encore si ce sera rapide, abordable ou pratique à grande échelle. Et une preuve te dit seulement quel modèle a répondu. Elle ne te dit pas si ce modèle est sécuritaire, honnête ou équitable. Elle ne te dit pas non plus qui le contrôle.

📰 Où on en a parlé

Cette notion est apparue dans Tes outils d'IA décident à ta place. Plus de leçons : Apprendre.

🎯 Continue d'apprendre

Nouveau 🛡️ Sécurité · 2 min Latte Qu'est-ce que l'empoisonnement des données? Imagine quelqu'un qui glisse quelques gouttes d'un mauvais ingrédient dans une grosse chaudronnée de soupe pendant qu'elle mijote. Tu ne vois rien. Mais plus tard, la soupe rend du monde malade, et personne ne s'y attendait. Apprends-le →

Nouveau 🛡️ Sécurité · 2 min Cappuccino Qu'est-ce qu'une attaque contre la chaîne d'approvisionnement logicielle? Imagine un voleur qui n'entre pas chez toi par effraction. Il cache plutôt quelque chose de pas bon dans le lait que l'épicerie te livre. Tu fais confiance à l'épicerie, alors tu ouvres la porte et tu prends le lait. Apprends-le →

Nouveau 🛡️ Sécurité · 2 min Cappuccino Qu'est-ce que la divulgation coordonnée? Imagine que tu trouves un trou dans la clôture de ton voisin. Tu vas le lui dire tout bas, juste à lui, pour qu'il le répare avant que tu en parles à tout le monde. Comme ça, personne ne peut se faufiler par là en cachette! Apprends-le →

Sources

Écrit le 2026-11-04. Cette explication était exacte ce jour-là. L'IA change vite : vérifie les sources et la date avant de t'y fier.

Get The AI Daily Grind by email, every morning, in simple words.