Définition
Une preuve de validité est une preuve cryptographique qui démontre mathématiquement la correction d'un ensemble de transitions d'état (transactions) sans que le vérificateur ait à les réexécuter. Dans le contexte de la mise à l'échelle des blockchains, les preuves de validité constituent la technologie fondamentale des ZK-Rollups (regroupements à divulgation nulle de connaissance). Des milliers de transactions sont exécutées hors chaîne, compressées en une seule preuve et soumises à la couche de base (généralement Ethereum) pour vérification. La principale caractéristique d'une preuve de validité est sa simplicité de vérification, malgré une complexité de calcul importante pour sa génération : un vérificateur sur Ethereum peut confirmer la correction de la preuve en quelques millisecondes, tandis que le prouveur peut y consacrer plusieurs minutes, voire plusieurs heures. Les deux principaux types de preuves de validité utilisés dans les blockchains sont les zk-SNARKs (arguments de connaissance succincts non interactifs à divulgation nulle de connaissance) et les zk-STARKs (arguments de connaissance transparents, évolutifs et à divulgation nulle de connaissance). Les preuves de validité offrent une finalité immédiate : une fois vérifiée et acceptée sur la couche de base, les transactions correspondantes sont confirmées de manière irrévocable. Ceci contraste avec les preuves de fraude (utilisées par les Optimistic Rollups), qui présument de la validité des transactions et ne les contestent que si une fraude est détectée pendant une période de litige. Le principe de « connaissance nulle » permet aux preuves de vérifier les calculs sans révéler les données de transaction sous-jacentes, rendant ainsi possible le développement d’applications préservant la confidentialité. Les preuves de validité sont considérées comme l’une des technologies les plus prometteuses pour la mise à l’échelle des blockchains, tout en conservant les garanties de sécurité de la chaîne de couche 1 sous-jacente.
Origine & Histoire
| Date | Espaces |
| 1985 | Goldwasser, Micali et Rackoff introduisent le concept de preuves à divulgation nulle de connaissance dans leur article fondateur « La complexité des connaissances des systèmes de preuves interactifs ». |
| 1992 | Les fondements théoriques des preuves succinctes sont posés par le théorème PCP (preuves vérifiables probabilistiquement). |
| 2012 | Bitansky et al. définissent formellement les SNARK (Succinct Non-Interactive Arguments of Knowledge). |
| 2016 | Zcash est lancé comme la première cryptomonnaie majeure utilisant les zk-SNARKs pour les transactions privées. |
| 2018 | Eli Ben-Sasson et son équipe chez StarkWare présentent les zk-STARKs — une configuration transparente et des preuves de validité résistantes à l'informatique quantique |
| 2019 | Le concept de ZK-Rollups émerge : utiliser des preuves de validité pour faire évoluer Ethereum en vérifiant les calculs hors chaîne par lots. |
| 2020 | Loopring et zkSync lancent les premières implémentations de ZK-Rollup sur le réseau principal Ethereum pour les transferts de jetons. |
| 2021-2023 | StarkNet (utilisant les STARKs) et zkSync Era (utilisant les SNARKs) lancent des ZK-Rollups à usage général compatibles avec les contrats intelligents. |
| 2023 | Polygon lance zkEVM, Scroll et Linea, rendant ainsi possibles les ZK-Rollups équivalents à l'EVM. |
| 2024-2025 | Les preuves de validité s'étendent au-delà des regroupements pour inclure la vérification inter-chaînes, prouvant ainsi le calcul sur différentes blockchains. |
« Les preuves de validité nous permettent de condenser des semaines de calcul en une seule affirmation mathématique instantanément vérifiable. C'est l'avenir du passage à l'échelle de la blockchain. » — Eli Ben-Sasson, cofondateur de StarkWare
Fonctionnement
« Preuve de validité dans un ZK-Rollup ================================
HORS CHAÎNE (Séquenceur/Prouveur Rollup) ┌──────────────────────────────────────────┐ │ │ │ 1. Collecte des transactions (TX1…TX5000)│ │ │ │ 2. Exécution de toutes les transactions │ │ État_ancien ──► État_nouveau │ │ │ │ 3. Génération de la preuve de validité │ │ ┌──────────────────────┐ │ │ │ DÉMONSTRATION (traitement complexe) │ │ │ │ │ │ │ │ Entrées : │ │ │ │ – État_ancien │ │ │ │ – Transactions │ │ │ │ – État_nouveau │ │ │ │ │ │ │ │ Sortie : │ │ │ │ π (preuve) │ │ │ │ ~200-500 octets │ │ │ └───────────────────────┘ │ │ │ │ 4. Soumettre à L1 : {State_new, π} │ └─────────────────────────────────────────┘ │ ▼ ON-CHAIN (Ethereum L1) ┌──────────────────────────────────────────┐ │ │ │ 5. Vérifier la preuve │ │ ┌──────────────────────┐ │ │ │ VÉRIFICATEUR (travail rapide) │ │ │ │ │ │ │ │ Vérification : π prouve que │ │ │ │ État_ancien + TXs = │ │ │ │ État_nouveau correctement │ │ │ │ │ │ │ │ Coût : ~200 000 à 500 000 unités de gaz │ │ │ │ Temps : millisecondes │ │ │ └──────────────────────┘ │ │ │ │ 6. Si valide → Accepter État_nouvel │ │ DÉCISION DÉFINITIVE IMMÉDIATE │ └───────────────────────────────────────────┘
Preuve de validité vs. preuve de fraude :
Preuve de validité (ZK-Rollup) ─────────────────────────── Lot de transactions ──► Vérifier l'exactitude ──► Soumettre la preuve ──► Validation immédiate Délai : Génération de la preuve (environ 10 à 30 min) + Confirmation de niveau 1
Protection contre la fraude (Regroupement optimiste) ──────────────────────────────── Lot de transactions ──► Supposition correcte ──► Délai de contestation : 7 jours (sauf contestation)
| Fonctionnalité | ZK-snarks | zk-STARK |
| Taille de l'épreuve | Très petit (~200 octets) | Plus volumineux (~50-200 Ko) |
| Heure de vérification | Très rapide (~10 ms) | Rapide (~50-100 ms) |
| Temps de l'Épreuve | Modéré à élevé | Haute |
| Configuration de confiance | Obligatoire (cérémonie) | Non requis (transparent) |
| Résistance quantique | Non (repose sur des courbes elliptiques) | Oui (basé sur le hachage) |
| Utilisé par | zkSync, Polygon zkEVM, Défilement | StarkNet, StarkEx |
| Fondations mathématiques | Appariements de courbes elliptiques | Fonctions de hachage, protocole FRI |
En termes simples
- Une recette mathématiqueImaginez que vous ayez résolu un puzzle de 10 000 pièces. Au lieu de demander à quelqu’un de le reconstituer entièrement (en refaisant toutes les opérations), vous lui remettez un petit reçu qui prouve mathématiquement que le puzzle est terminé. Ce reçu constitue la preuve de validité : minuscule, mais irréfutable.
- Réduire des milliers en un seulUne preuve de validité condense la vérification de milliers de transactions en une seule et courte preuve qui Ethereum La vérification peut se faire en une seule opération. Au lieu de traiter 5 000 transactions individuellement, Ethereum vérifie une seule preuve et part du principe que les 5 000 étaient correctes.
- Prouver sans montrerLa propriété de « connaissance nulle » signifie qu'il est possible de prouver qu'un calcul a été effectué correctement sans révéler les données elles-mêmes. Par exemple, on peut prouver que l'on dispose des fonds nécessaires pour une transaction sans dévoiler son solde exact, tout comme on peut prouver que l'on a plus de 21 ans sans révéler sa date de naissance.
- Décision définitive immédiate vs. délai d'attenteAvec les preuves de validité, une fois la preuve vérifiée sur Ethereum, les transactions sont immédiatement définitives. Cela contraste avec les Optimistic Rollups, qui nécessitent un délai de 7 jours pour la validation. Les preuves de validité remplacent la confiance par des calculs mathématiques.
- Difficile à créer, facile à vérifierGénérer une preuve de validité exige des ressources de calcul considérables (serveurs puissants, plusieurs minutes voire plusieurs heures de traitement). En revanche, vérifier cette preuve est extrêmement simple : un contrat intelligent Ethereum peut la vérifier en une fraction de seconde. C’est cette asymétrie qui fait la force de cette technologie.
Exemples du monde réel
| Scénario | Mise en œuvre | Résultat |
| Mise à l'échelle ZK-Rollup | zkSync Era traite les transactions Ethereum hors chaîne et soumet des preuves de validité au réseau principal Ethereum. | Les utilisateurs paient des frais 5 à 10 fois inférieurs à ceux d'Ethereum L1 tout en bénéficiant des garanties de sécurité d'Ethereum grâce à des preuves mathématiques. |
| Transactions privées | Zcash utilise les zk-SNARK pour prouver la validité des transactions sans révéler l'expéditeur, le destinataire ni le montant. | Des transactions en cryptomonnaie entièrement privées mais toujours vérifiables par les nœuds du réseau, résolvant ainsi le compromis entre confidentialité et transparence. |
| Ponts transversaux | Succinct Labs et Polymer utilisent des preuves de validité pour vérifier l'état d'une blockchain sur une autre. | Communication inter-chaînes sans confiance, sans recourir à des signatures multiples ni à des comités — la preuve garantit mathématiquement l'état de la chaîne source |
| Identité décentralisée | Les utilisateurs génèrent des preuves de validité attestant qu'ils répondent à certains critères (âge, score de crédit) sans révéler de données personnelles. | KYC préservant la confidentialité et une vérification d'identité qui satisfait aux exigences de conformité sans exposer d'informations sensibles |
Avantages
| Avantage | Description |
| Finalité immédiate | Les transactions sont définitives dès que la preuve est vérifiée sur L1 — pas de période de contestation de 7 jours comme pour les Optimistic Rollups. |
| Sécurité mathématique | La sécurité repose sur des principes mathématiques (hypothèses cryptographiques), et non sur des incitations économiques ou sur l'hypothèse de la majorité honnête. |
| Compression de données | Les preuves de validité permettent de vérifier les calculs sans que le vérificateur ait besoin de toutes les données de transaction sous-jacentes, ce qui autorise une compression extrême. |
| Capacité de confidentialité | La propriété à divulgation nulle de connaissance permet des transactions privées et une divulgation sélective : prouver la véracité d’une chose sans en révéler la raison. |
| Évolutivité | Une seule preuve peut attester de millions de transitions d'état, permettant théoriquement un débit hors chaîne illimité. |
Inconvénients et risques
| Analyse | Description |
| Centralisation du démonstrateur | La génération de preuves de validité nécessite un matériel coûteux et spécialisé, ce qui conduit à la centralisation des nœuds de preuve. |
| Coût de calcul | La génération de preuves est extrêmement gourmande en ressources, ce qui augmente la latence et les coûts d'infrastructure pour les opérateurs de rollup. |
| Configuration de confiance (SNARKs) | Les zk-SNARK nécessitent une procédure d'initialisation unique et sécurisée ; en cas de compromission, de fausses preuves pourraient être générées de manière indétectable. |
| Complexité et risque d'audit | Les circuits ZK et les systèmes de preuve sont mathématiquement complexes, ce qui rend l'audit difficile et augmente le risque de bogues subtils. |
| Défis de compatibilité EVM | Générer des preuves de validité pour des objets arbitraires EVM La mise en œuvre est techniquement difficile ; de nombreux ZK-Rollups ne sont pas encore totalement équivalents à l'EVM. |
Conseils de gestion des risques :
- Lors de l'utilisation de plateformes ZK-Rollup, vérifiez que le système de preuve a fait l'objet de plusieurs audits de sécurité indépendants.
- Déterminez si le cumul utilise SNARKs (installation de confiance requise) ou STARKs (transparent, aucune installation de confiance requise).
- Surveiller la décentralisation des prouveurs — une entité de preuve unique engendre des risques de censure et de disponibilité.
- Sachez que la technologie ZK évolue rapidement ; les premières implémentations peuvent présenter des limitations qui seront corrigées dans les versions ultérieures.
QFP
Q : Quelle est la différence entre une preuve de validité et une preuve de fraude ?
A : Une preuve de validité démontre mathématiquement qu'un lot de transactions a été exécuté correctement avant son acceptation. Une preuve de fraude part du principe que le lot est correct et accorde à toute personne concernée un délai de 7 jours pour fournir des preuves de fraude. Les preuves de validité offrent une finalité instantanée, mais leur génération est coûteuse en ressources de calcul. Les preuves de fraude sont moins onéreuses, mais nécessitent un long délai et reposent sur la présence d'au moins une partie honnête qui surveille la chaîne.
Q : Les preuves de validité sont-elles identiques aux preuves à divulgation nulle de connaissance ?
A : Pas exactement. Toutes les preuves à divulgation nulle de connaissance sont des preuves de validité (elles prouvent que le calcul est correct), mais toutes les preuves de validité ne sont pas à divulgation nulle de connaissance. La propriété « divulgation nulle de connaissance » signifie précisément que la preuve ne révèle rien sur les données sous-jacentes, si ce n'est que l'énoncé est vrai. Une preuve de validité peut vérifier l'exactitude tout en révélant les données de la transaction.
Q : Pourquoi les zk-SNARK ont-ils besoin d'une configuration de confiance, contrairement aux zk-STARK ?
A : Les zk-SNARKs reposent sur la cryptographie à courbes elliptiques, qui nécessite la génération de paramètres secrets lors d'une « cérémonie » initiale. Si ces paramètres secrets sont sauvegardés, il est possible de falsifier les preuves. Les cérémonies de calcul multipartites atténuent ce risque. Les zk-STARKs utilisent des fonctions de hachage et des techniques algébriques qui ne requièrent aucun paramètre secret, ce qui les rend « transparents » : aucune hypothèse de confiance n'est nécessaire.
Q : Combien de temps faut-il pour générer une preuve de validité ?
A : Le temps de génération des preuves varie selon le système et la taille du lot. Pour un ZK-Rollup traitant quelques milliers de transactions, la génération des preuves prend généralement entre 5 et 30 minutes avec du matériel GPU ou FPGA spécialisé. La recherche s'efforce activement de réduire ce temps à quelques secondes grâce à de meilleurs algorithmes et à des accélérateurs matériels dédiés.
Q : Les preuves de validité peuvent-elles être appliquées en dehors de la blockchain ?
R : Oui. Les preuves de validité (en particulier les preuves à divulgation nulle de connaissance) ont des applications dans la vérification d'identité (prouver l'âge sans révéler la date de naissance), l'intégrité de la chaîne d'approvisionnement (prouver l'authenticité d'un produit sans révéler les secrets commerciaux), les systèmes de vote (prouver qu'un vote a été comptabilisé correctement sans révéler le vote) et l'apprentissage automatique (prouver qu'un modèle a été correctement entraîné sur des données valides).
Références
- Goldwasser, Micali, Rackoff — « La complexité des connaissances des systèmes de preuve interactifs » (1985)
- Ben-Sasson et al. — « Intégrité computationnelle évolutive, transparente et post-quantique sécurisée » (Document zk-STARKs, 2018)
- Fondation Ethereum — Feuille de route axée sur le rollup et spécifications de preuve de validité
- Vitalik Buterin — « Guide incomplet des roulés » (2021)
- L2Beat — Analyse du système de sécurité et de preuve ZK-Rollup
Conseil UPay : Pour choisir une solution de couche 2 , les rollups basés sur la preuve de validité (ZK-Rollups) offrent des retraits plus rapides vers Ethereum que les rollups optimistes, qui nécessitent une période de validation de 7 jours. Si vous transférez fréquemment des actifs entre les couches 1 et 2, la finalité instantanée des preuves de validité peut vous faire gagner un temps précieux et optimiser l’utilisation de votre capital.
Avertissement : Ce contenu est fourni à titre informatif uniquement et ne constitue pas un conseil financier. Veuillez toujours effectuer vos propres recherches et consulter des conseillers financiers qualifiés avant de prendre des décisions d’investissement.
UPay — Rendre la crypto encyclopédique
