A Optimism Stack não é uma dApp, mas é uma infraestrutura crítica que assegura bilhões em TVL. Quando a infraestrutura falha, ecossistemas inteiros colapsam. É por isso que @_czepluch traduziu algumas das FMAs da Optimism em afirmações que previnem essas falhas a nível de transação. 🧵

Leia mais: A Optimism utiliza a Análise de Modos de Falha para identificar sistematicamente cenários de falha potenciais antes que se tornem explorações. As AMFs documentam o que pode correr mal, mas não impedem que isso aconteça. Era isso que queríamos fazer com as afirmações.

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

A passagem de mensagens FMA identifica: "Ataques de repetição podem permitir a execução duplicada de mensagens." A nossa afirmação: Verifica o mapeamento de mensagens bem-sucedidas antes de qualquer retransmissão. Resultado: Elimina completamente os ataques de repetição.

O Portal Interop FMA identifica: "Relatórios de estado incorretos podem levar a falhas de retirada." A nossa afirmação: Valida a progressão do timestamp nas atualizações de estado. Resultado: Previne as inconsistências de estado que causam problemas de retirada.

E isso não adiciona NENHUMA nova suposição de confiança. A Optimism já controla o seu sequenciador. As afirmações apenas lhes dão uma estrutura sistemática para a validação de transações com base na sua própria análise de segurança. Nativo do protocolo, não exposto externamente. Para cada dApp e peça de infraestrutura.

FMAs → Afirmativas = Análise → Prevenção Isto mostra que as afirmativas funcionam além de dApps individuais. Elas são poderosas para qualquer infraestrutura crítica onde a falha sistemática é uma possibilidade (todas).