La pila de Optimism no es una dApp, pero es una infraestructura crítica que asegura miles de millones en TVL. Cuando la infraestructura falla, los ecosistemas enteros colapsan. Por eso, @_czepluch tradujo algunas de las FMAs de Optimism en afirmaciones que previenen estas fallas a nivel de transacción. 🧵

Lee más: Optimism utiliza el Análisis de Modos de Fallo para identificar sistemáticamente posibles escenarios de fallo antes de que se conviertan en exploits. Los AMFs documentan lo que podría salir mal, pero no lo previenen de suceder. Eso es lo que queríamos hacer con las afirmaciones.

ETH Lockbox FMA identifica: "El acceso no autorizado a lockETH/unlockETH podría agotar el contrato." Nuestra afirmación: Solo los portales autorizados pueden llamar a estas funciones. Resultado: Cualquier transacción no autorizada es rechazada antes de la ejecución.

El paso de mensajes FMA identifica: "Los ataques de repetición podrían permitir la ejecución duplicada de mensajes." Nuestra afirmación: Verifica el mapeo de successfulMessages antes de cualquier retransmisión. Resultado: Elimina por completo los ataques de repetición.

El Portal de Interoperabilidad FMA identifica: "Un informe de estado incorrecto podría llevar a fallos en los retiros." Nuestra afirmación: Valida la progresión de la marca de tiempo en las actualizaciones de estado. Resultado: Previene las inconsistencias de estado que causan problemas de retiro.

Y esto no añade NINGUNA nueva suposición de confianza. Optimism ya controla su secuenciador. Las afirmaciones simplemente les proporcionan un marco sistemático para la validación de transacciones basado en su propio análisis de seguridad. Nativo del protocolo, no expuesto externamente. Para cada dApp y pieza de infraestructura.

FMAs → Afirmaciones = Análisis → Prevención Esto muestra que las afirmaciones funcionan más allá de las dApps individuales. Son poderosas para cualquier infraestructura crítica donde la falla sistemática es una posibilidad (todas).