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.
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.
Sources vérifiables
Contenu pédagogique indépendant, relu à partir de documentation primaire. Aucune recommandation personnalisée ni promesse de rendement. Revu le 25 septembre 2026
