Optimism Stack ei ole dApp, mutta se on kriittinen infrastruktuuri, joka turvaa miljardeja TVL:ää. Kun infrastruktuuri epäonnistuu, kokonaiset ekosysteemit kaatuvat. Siksi @_czepluch kääntänyt osan Optimismin FMA:ista väitteiksi, jotka estävät nämä epäonnistumiset transaktiotasolla. 🧵

Lue lisää: Optimism käyttää vikatila-analyysiä tunnistaakseen järjestelmällisesti mahdolliset vikaskenaariot ennen kuin niistä tulee hyväksikäyttöjä. FMA:t dokumentoivat, mikä voi mennä pieleen, mutta ne eivät estä sitä tapahtumasta. Sitä halusimme tehdä väitteillä.

ETH Lockbox FMA tunnistaa: "Luvaton pääsy lockETH/unlockETH:hen voi tyhjentää sopimuksen." Väitteemme: Vain valtuutetut portaalit voivat kutsua näitä toimintoja. Tulos: Kaikki luvattomat tapahtumat hylätään ennen suorittamista.

Message Passing FMA tunnistaa: "Toistohyökkäykset voivat mahdollistaa päällekkäisen viestin suorittamisen." Väitteemme: Tarkistaa successfulMessages-kartoituksen ennen välitystä. Tulos: Eliminoi uusintahyökkäykset kokonaan.

Interop Portal FMA tunnistaa: "Virheellinen tilaraportointi voi johtaa nostovirheisiin." Väitteemme: Vahvistaa aikaleiman etenemisen tilapäivityksissä. Tulos: Estää vieroitusongelmia aiheuttavat tilan epäjohdonmukaisuudet.

Ja tämä lisää NOLLA uutta luottamusoletusta. Optimismi hallitsee jo heidän sekvensseriänsä. Väitteet antavat heille vain systemaattisen kehyksen tapahtumien validoinnille, joka perustuu heidän omaan tietoturva-analyysiinsä. Protokolla-natiivi, ei ulkoisesti altistunut. Jokaisesta dAppista ja infrasta.

FMA:t → väitteet = analyysi → ennaltaehkäisy Tämä osoittaa, että väitteet toimivat yksittäisten dAppien ulkopuolella. Ne ovat tehokkaita mille tahansa kriittiselle infrastruktuurille, jossa systemaattinen epäonnistuminen on mahdollista (kaikki).