Glossary
Fraud Proof
Une contestation soumise au contrat L1 d'un optimistic rollup qui réexécute une transition d'état disputée pour prouver son invalidité, annulant le batch et slashant le proposeur.
Une fraud proof est ce qui garde un optimistic rollup honnête. Comme le contrat L1 accepte par défaut l'état posté comme valide, la sécurité repose sur la capacité de tout observateur à contester un batch invalide pendant la fenêtre de contestation. La preuve réexécute sur la L1 la transition d'état disputée — ou la réduit interactivement à une seule étape contestée — et si le résultat diffère de ce qu'a annoncé le séquenceur, le batch est annulé et la caution du proposeur est slashée.
C'est l'hypothèse de confiance qui fait fonctionner les optimistic rollups : il n'est pas nécessaire que tout le monde vérifie chaque bloc, seulement qu'au moins une partie honnête surveille et soit prête à soumettre une preuve. Les schémas se divisent en conceptions à une seule ronde (non interactives) et à plusieurs rondes interactives comme celle qu'utilise Arbitrum.