Una prueba de fraude es evidencia que permite a un sistema de verificación de blockchain impugnar una afirmación incorrecta sobre un cálculo o cambio de estado. Los rollups optimistas usan estas impugnaciones para rechazar resultados inválidos presentados a la cadena base. También se llama prueba de fallos: demuestra un error, no necesariamente fraude intencional de una persona.
De la afirmación a la disputa
Un proponente presenta un compromiso criptográfico sobre el estado resultante del rollup. Los verificadores pueden reconstruir la ejecución con datos disponibles e impugnar errores dentro del plazo. Algunos sistemas reducen la discrepancia mediante un proceso interactivo hasta un cálculo pequeño que el contrato de la cadena base puede revisar.
Una impugnación exitosa impide aceptar el resultado según las reglas. Depósitos de garantía y penalizaciones dependen de la implementación. Demostrar que un retiro se incluyó en el rollup es distinto de impugnar una afirmación sobre su estado.
Importa el sistema completo
Una prueba de validez demuestra el cálculo correcto para aceptar el resultado. El diseño optimista permite cuestionar errores y necesita datos disponibles y verificadores capaces de responder a tiempo.
Plazos, permisos, facultades de actualización y controles de emergencia varían. Contar con estas pruebas no elimina automáticamente censura, errores de contratos o dependencia de administradores, ni garantiza retiros inmediatos.