O Optimism Stack não é um dApp, mas é uma infraestrutura crítica que protege bilhões em TVL. Quando a infraestrutura falha, ecossistemas inteiros caem. É por isso que @_czepluch traduziu alguns dos FMAs da Optimism em afirmações que evitam essas falhas no nível da transação. 🧵

Leia mais: O Optimism usa a Análise do Modo de Falha para identificar sistematicamente possíveis cenários de falha antes que eles se tornem explorações. Os FMAs documentam o que pode dar errado, mas não impedem que isso aconteça. Isso é o que queríamos fazer com as afirmações.

ETH Lockbox FMA identifica: "O acesso não autorizado ao lockETH/unlockETH pode drenar o contrato." Nossa afirmação: Somente portais autorizados podem chamar essas funções. Resultado: Qualquer transação não autorizada é rejeitada antes da execução.

O FMA de passagem de mensagens identifica: "Ataques de repetição podem permitir a execução de mensagens duplicadas". Nossa asserção: Verifica o mapeamento de mensagens bem-sucedido antes de qualquer retransmissão. Resultado: Elimina totalmente os ataques de repetição.

O Interop Portal FMA identifica: "Relatórios de estado incorretos podem levar a falhas de retirada". Nossa afirmação: valida a progressão do carimbo de data/hora nas atualizações de estado. Resultado: evita as inconsistências de estado que causam problemas de retirada.

E isso adiciona ZERO novas suposições de confiança. O otimismo já controla seu sequenciador. As asserções apenas fornecem uma estrutura sistemática para validação de transações com base em sua própria análise de segurança. Nativo do protocolo, não exposto externamente. Para cada dApp e pedaço de infra.

FMAs → Asserções = Análise → Prevenção Isso mostra que as asserções funcionam além dos dApps individuais. Eles são poderosos para qualquer infraestrutura crítica em que a falha sistemática é uma possibilidade (todas).