Distinguez validité d’un calcul et confidentialité des entrées. Examinez le système de preuve, les données rendues publiques, les paramètres de confiance et l’accessibilité des données.
Nommer ce qui est prouvé
Validité ne veut pas dire secret
Voir paramètres et code
Définir la proposition
Une preuve relie une déclaration publique à des données privées ou à un calcul. Elle n’atteste que les règles encodées dans le circuit, pas la véracité d’une source extérieure.
Séparer les garanties
Une preuve de validité peut confirmer un changement d’état sans refaire tout le calcul. Un rollup utilisant ce type de preuve ne rend pas automatiquement les transferts confidentiels.
Examiner les hypothèses
Le niveau de confiance varie selon le protocole, la mise en place initiale, le contrat de vérification et la sécurité du code générant les preuves.
Contrôler les données
Pour reconstruire un état ou sortir d’un réseau, la preuve seule peut être insuffisante : les données nécessaires doivent aussi rester accessibles.
Savoir ce que prouve la preuve
Une preuve de validité vérifie une assertion précisément définie, pas toute la sécurité du système. Examinez données d’entrée, disponibilité, circuit, mises à jour et hypothèses cryptographiques.
- Demandez si une configuration initiale de confiance est nécessaire.
- La confidentialité dépend aussi des données publiques et de l’application.
Cas pratique : décision et limites
Une application affiche « ZK » et laisse entendre que tout est confidentiel. Demandez précisément quelle information est cachée, à qui, et quelles données restent publiques. Une preuve de validité peut vérifier un calcul sans masquer les montants ou les adresses du système. La preuve ne garantit pas non plus l’exactitude d’une donnée externe initiale. Séparez propriétés cryptographiques, disponibilité des données, gestion des clés et pouvoirs de mise à jour.
Une vérification concrète
Écrivez l’affirmation prouvée : un calcul correct ne démontre pas la véracité d’une donnée externe.
Points de contrôle
| Sujet | À vérifier |
|---|---|
| Définir la proposition | Nommer ce qui est prouvé |
| Séparer les garanties | Validité ne veut pas dire secret |
| Examiner les hypothèses | Voir paramètres et code |
| Contrôler les données | Vérifier la disponibilité |
Questions fréquentes
Une preuve prouve-t-elle tout le système ?
Non. Elle couvre une affirmation définie par le circuit et ses entrées.
Un ZK rollup cache-t-il tous les paiements ?
Non. Validité et confidentialité sont deux propriétés distinctes.
Peut-on sortir d’un rollup avec la preuve seule ?
Pas nécessairement. Une preuve valide atteste des règles encodées ; reconstruire votre état et préparer une sortie peut aussi exiger les données correspondantes. Vérifiez où elles sont publiées, qui les conserve et la procédure de sortie en cas d’indisponibilité de l’opérateur.
Sources vérifiables
Contenu pédagogique indépendant, relu à partir de documentation primaire. Aucune recommandation personnalisée ni promesse de rendement. Mis à jour le 6 octobre 2026
