ZKP : prouver sans révéler

Pourquoi les preuves zero-knowledge parlent naturellement de persistance de structure.

Vulgarisé

L’idée

Une preuve zero-knowledge permet de convaincre quelqu’un qu’on sait quelque chose sans révéler ce quelque chose.

Vu par la PT, c’est presque une image parfaite : on transmet une trace persistante suffisante pour prouver, sans transmettre toute la structure.

preuve sans révélation

Standard

Lecture standard

Le vérificateur reçoit un invariant, pas l’objet complet. La preuve conserve la persistance de la propriété, mais dissipe l’information inutile sur le témoin.

Cette séparation entre propriété persistante et contenu caché est exactement dans l’esprit GFT.

À retenir

Un ZKP transmet une persistance sans tout révéler.
Bon pont entre preuve, information et cryptographie.
À présenter comme application exploratoire.

Technique

Formulation technique

Le projet PT_ZKP peut être présenté comme application math-info : protocoles, contraintes, témoins, vérification et budget informationnel.

Statut : application exploratoire de la lecture PT, pas remplacement de la théorie cryptographique standard des ZKP.

Dépôt GitHub à publier : Igrekess/PT_ZKP ; monographie ch04_gft.

Formules

$\text{témoin caché}\quad w$

$\text{preuve publique}\quad \pi\Rightarrow V(x,\pi)=1$

$\text{persistance de propriété}\ne\text{révélation du témoin}$

code public

Code et scripts

Les liens ci-dessous pointent vers des ressources publiques ou vers les dépôts GitHub prévus. Aucun chemin local de travail n’est exposé au lecteur.

GitHub

Igrekess/PT_ZKP

Dépôt GitHub à publier avant de rendre ce lien téléchargeable.

Pyodide non chargé.

Preuve jouet sans révélation

Montre la différence entre propriété vérifiable et témoin caché dans un protocole jouet.

Voir le script en attente