Preuve de Fraude : L'étalon-or technique
Un mécanisme pour produire des preuves vérifiables qu'une transaction ou une entrée de données n'est pas frauduleuse, basé sur l'intégrité des données, l'immuabilité, la vérifiabilité, l'auditabilité et le consensus distribué, avec des options de préservation de la vie privée.
Une preuve de fraude est un mécanisme cryptographique conçu pour fournir une preuve irréfutable qu'une transaction ou un état de données spécifique n'est pas frauduleux, assurant ainsi l'intégrité des données et la fiabilité du système. Dans les systèmes décentralisés, en particulier les blockchains, l'immuabilité et la vérifiabilité sont des principes fondamentaux. Une preuve de fraude exploite ces propriétés pour permettre à tout participant de contester la validité d'une transition d'état ou d'une transaction proposée. Le principe fondamental repose sur la capacité à démontrer cryptographiquement qu'un élément de donnée ou une transaction donné viole les règles prédéfinies ou les mécanismes de consensus. Ceci est souvent réalisé grâce à une combinaison de vérifications d'intégrité des données, de signatures numériques et potentiellement de techniques cryptographiques avancées comme les preuves à divulgation nulle de connaissance (zero-knowledge proofs) ou le calcul vérifiable. Le processus implique généralement un mécanisme de résolution des litiges où un contestataire présente des preuves de fraude. Si les preuves sont valides, l'état frauduleux est rejeté, et le contestataire peut être récompensé, tandis que la partie soumettant les données frauduleuses est pénalisée. L'aspect « étalon-or » fait référence au haut degré d'assurance fourni par de telles preuves, ce qui en fait une défense robuste contre les acteurs malveillants tentant de modifier des enregistrements ou d'introduire des données invalides. Les caractéristiques clés incluent la vérifiabilité (tout le monde peut vérifier la preuve), l'immuabilité (la preuve elle-même ne peut pas être falsifiée), l'auditabilité (une piste claire des contestations et des résolutions) et le consensus distribué (accord sur la validité de la preuve à travers le réseau). Des options de préservation de la vie privée sont explorées pour permettre des preuves de fraude sans révéler les données sensibles sous-jacentes.
graph LR
Center["Preuve de Fraude : L'étalon-or technique"]:::main
Pre_cryptography["cryptography"]:::pre --> Center
click Pre_cryptography "/terms/cryptography"
Rel_advanced_propulsion_systems["advanced-propulsion-systems"]:::related -.-> Center
click Rel_advanced_propulsion_systems "/terms/advanced-propulsion-systems"
Rel_data_availability["data-availability"]:::related -.-> Center
click Rel_data_availability "/terms/data-availability"
Rel_optimistic_rollup["optimistic-rollup"]:::related -.-> Center
click Rel_optimistic_rollup "/terms/optimistic-rollup"
classDef main fill:#7c3aed,stroke:#8b5cf6,stroke-width:2px,color:white,font-weight:bold,rx:5,ry:5;
classDef pre fill:#0f172a,stroke:#3b82f6,color:#94a3b8,rx:5,ry:5;
classDef child fill:#0f172a,stroke:#10b981,color:#94a3b8,rx:5,ry:5;
classDef related fill:#0f172a,stroke:#8b5cf6,stroke-dasharray: 5 5,color:#94a3b8,rx:5,ry:5;
linkStyle default stroke:#4b5563,stroke-width:2px;
🧒 Explique-moi comme si j'avais 5 ans
C'est comme un reçu super solide et infalsifiable qui prouve qu'une [transaction](/fr/terms/transaction) est honnête et peut être vérifiée par n'importe qui.
🤓 Expert Deep Dive
Les preuves de fraude dans les technologies de registres distribués (DLT) constituent une pierre angulaire pour atteindre une tolérance aux pannes et une sécurité robustes, en particulier dans les modèles de consensus optimistes. Dans de tels systèmes, les transitions d'état sont considérées comme valides par défaut (exécution optimiste), et les preuves de fraude sont le mécanisme de vérification asynchrone et de résolution des litiges. Une preuve de fraude implique généralement que le contestataire fournisse des données spécifiques (par exemple, une transaction, une racine d'état) et une trace computationnelle qui démontre une violation des invariants du système ou des règles de consensus. Par exemple, dans le contexte d'une blockchain, une preuve de fraude pourrait impliquer la présentation de la transition d'état proposée d'un bloc spécifique et d'une seule étape de calcul incorrecte qui conduit à une racine d'état invalide. Le vérificateur (ou le réseau) peut alors réexécuter uniquement cette étape spécifique, identifiant rapidement la fraude sans avoir besoin de traiter l'intégralité du bloc. Ceci contraste avec les preuves de validité (comme les ZK-SNARKs) qui prouvent la correction à l'avance. L'efficacité des preuves de fraude découle de la capacité à identifier une seule computation erronée. Les compromis impliquent la complexité de la mise en œuvre du protocole de résolution des litiges et le potentiel de problèmes de disponibilité (liveness) si les contestataires ne sont pas suffisamment incités ou si la latence du réseau entrave la soumission rapide des preuves. Les vulnérabilités peuvent découler de transitions d'état complexes ou de logiques de contrats intelligents élaborées qui rendent la construction d'une preuve de fraude précise difficile, ou d'attaques par déni de service ciblant la fenêtre de soumission des preuves.