Stos Optimism nie jest dApp, ale jest kluczową infrastrukturą zabezpieczającą miliardy w TVL. Gdy infrastruktura zawodzi, całe ekosystemy upadają. Dlatego @_czepluch przetłumaczył niektóre FMAs Optimism na asercje, które zapobiegają tym awariom na poziomie transakcji. 🧵

Przeczytaj więcej: Optimism wykorzystuje analizę trybów awarii (FMA), aby systematycznie identyfikować potencjalne scenariusze awarii, zanim staną się one exploitami. FMA dokumentują, co może pójść źle, ale nie zapobiegają temu, aby się wydarzyło. To właśnie chcieliśmy osiągnąć dzięki asercjom.

ETH Lockbox FMA identyfikuje: "Nieautoryzowany dostęp do lockETH/unlockETH może wyczerpać kontrakt." Nasze twierdzenie: Tylko autoryzowane portale mogą wywoływać te funkcje. Wynik: Każda nieautoryzowana transakcja jest odrzucana przed wykonaniem.

Przekazywanie wiadomości FMA identyfikuje: "Ataki powtórkowe mogą umożliwić duplikację wykonania wiadomości." Nasze twierdzenie: Sprawdza mapowanie successfulMessages przed jakimkolwiek przekazaniem. Wynik: Całkowicie eliminuje ataki powtórkowe.

Interop Portal FMA identyfikuje: "Nieprawidłowe raportowanie stanu może prowadzić do niepowodzeń w wypłatach." Nasze stwierdzenie: Waliduje postęp znaczników czasowych w aktualizacjach stanu. Wynik: Zapobiega niespójnościom stanu, które powodują problemy z wypłatami.

I to nie wprowadza ŻADNYCH nowych założeń dotyczących zaufania. Optymizm już kontroluje swój sekwencer. Asercje po prostu dają im systematyczny framework do walidacji transakcji oparty na ich własnej analizie bezpieczeństwa. Natywne dla protokołu, nie wystawione na zewnątrz. Dla każdej dApp i elementu infrastruktury.

FMAs → Asercje = Analiza → Zapobieganie To pokazuje, że asercje działają poza pojedynczymi dAppami. Są potężne dla każdej krytycznej infrastruktury, gdzie systemowa awaria jest możliwa (wszystkie).