Fraud proof : définition

Fraud proof : comment ça marche ?

Un rollup optimiste publie régulièrement sur la couche principale le résultat de ses transactions, sans prouver immédiatement qu'il est correct. Il est dit optimiste parce que ce résultat est présumé valide. Une fenêtre de contestation s'ouvre alors, pendant laquelle tout observateur qui détecte une erreur peut soumettre une preuve de fraude. Une fois la fenêtre écoulée sans contestation réussie, l'état devient définitif.

Pour éviter de rejouer tout un lot de transactions on-chain, ce qui serait très coûteux, la plupart des systèmes utilisent une preuve interactive. Le contestataire et l'auteur de l'état se répondent tour à tour en découpant le calcul en étapes de plus en plus petites, jusqu'à isoler une seule instruction sur laquelle ils sont en désaccord. La couche principale n'exécute alors que cette instruction pour trancher. La sécurité repose sur une hypothèse simple : il suffit d'un seul vérificateur honnête et actif pour empêcher une fraude, à condition que les données du rollup soient disponibles.

À ne pas confondre avec

• Validity proof : Une preuve de validité démontre à l'avance que l'état est correct, alors qu'une preuve de fraude n'intervient qu'en cas de contestation.
• Période de contestation : La période de contestation est le délai pendant lequel une preuve de fraude peut être soumise, pas la preuve elle-même.
• Rollup optimiste : Le rollup optimiste est l'architecture complète, dont la preuve de fraude est le mécanisme de sécurité.

Questions fréquentes sur Fraud proof

Pourquoi les retraits des rollups optimistes prennent-ils plusieurs jours ?

Parce qu'il faut laisser le temps à quiconque de soumettre une preuve de fraude avant de considérer l'état comme définitif.

Faut-il beaucoup de vérificateurs pour qu'une preuve de fraude fonctionne ?

En théorie, un seul vérificateur honnête et actif suffit, à condition qu'il ait accès aux données du rollup et puisse soumettre sa preuve à temps.