Glossary
Prueba de Fraude
Un desafío presentado al contrato de L1 de un rollup optimista que reejecuta una transición de estado en disputa para probar que fue inválida, revirtiendo el lote y penalizando al proponente.
Una prueba de fraude es lo que mantiene honesto a un rollup optimista. Como el contrato de L1 acepta por defecto el estado publicado como válido, la seguridad depende de que cualquier observador pueda impugnar un lote inválido durante la ventana de desafío. La prueba reejecuta en L1 la transición de estado en disputa — o la reduce interactivamente a un único paso impugnado — y si el resultado difiere de lo que afirmó el secuenciador, el lote se revierte y se penaliza la fianza del proponente.
Esta es la suposición de confianza que hace funcionar a los rollups optimistas: no necesitas que todos verifiquen cada bloque, solo que al menos una parte honesta esté observando y dispuesta a presentar una prueba. Los esquemas se dividen en diseños de una sola ronda (no interactivos) y de varias rondas interactivos como el que usa Arbitrum.