L'Optimism Stack non è un dApp, ma è un'infrastruttura critica che protegge miliardi in TVL. Quando l'infrastruttura fallisce, interi ecosistemi crollano. Ecco perché @_czepluch ha tradotto alcune delle FMA di Optimism in asserzioni che prevengono questi fallimenti a livello di transazione. 🧵

Leggi di più: Optimism utilizza l'Analisi dei Modi di Fallimento per identificare sistematicamente i potenziali scenari di fallimento prima che diventino exploit. Le AMF documentano cosa potrebbe andare storto, ma non lo impediscono. Questo è ciò che volevamo fare con le asserzioni.

ETH Lockbox FMA identifica: "L'accesso non autorizzato a lockETH/unlockETH potrebbe prosciugare il contratto." La nostra affermazione: Solo i portali autorizzati possono chiamare queste funzioni. Risultato: Qualsiasi transazione non autorizzata viene rifiutata prima dell'esecuzione.

Il Message Passing FMA identifica: "Gli attacchi di replay potrebbero consentire l'esecuzione di messaggi duplicati." La nostra affermazione: Controlla il mapping dei successfulMessages prima di qualsiasi relay. Risultato: Elimina completamente gli attacchi di replay.

Interop Portal FMA identifica: "La segnalazione di stato errata potrebbe portare a fallimenti nei prelievi." La nostra affermazione: Valida la progressione dei timestamp negli aggiornamenti di stato. Risultato: Previene le incoerenze di stato che causano problemi nei prelievi.

E questo non aggiunge ALCUNA nuova assunzione di fiducia. Optimism controlla già il proprio sequencer. Le affermazioni forniscono loro solo un quadro sistematico per la validazione delle transazioni basato sulla propria analisi di sicurezza. Nativo del protocollo, non esposto esternamente. Per ogni dApp e pezzo di infrastruttura.

FMAs → Affermazioni = Analisi → Prevenzione Questo dimostra che le affermazioni funzionano oltre le singole dApp. Sono potenti per qualsiasi infrastruttura critica dove è possibile un fallimento sistematico (tutte).