İyimserlik Yığını bir dApp değildir, ancak milyarlarca TVL'yi güvence altına alan kritik bir altyapıdır. Altyapı başarısız olduğunda, tüm ekosistemler çöker. Bu nedenle @_czepluch, Optimism'in bazı FMA'larını işlem düzeyinde bu başarısızlıkları önleyen iddialara çevirdi. 🧵

Daha fazla oku: Optimism, olası hata senaryolarını istismar haline gelmeden önce sistematik olarak belirlemek için Hata Modu Analizi'ni kullanır. FMA'lar neyin yanlış gidebileceğini belgeler, ancak bunun olmasını engellemezler. İddialarla yapmak istediğimiz şey buydu.

ETH Lockbox FMA şunları tanımlar: "lockETH/unlockETH'ye yetkisiz erişim sözleşmeyi boşaltabilir." İddiamız: Bu işlevleri yalnızca yetkili portallar çağırabilir. Sonuç: Herhangi bir yetkisiz işlem yürütülmeden önce reddedilir.

Message Passing FMA şunları tanımlar: "Tekrarlama saldırıları, yinelenen mesaj yürütülmesine olanak sağlayabilir." İddiamız: Herhangi bir geçişten önce successMessages eşlemesini kontrol eder. Sonuç: Tekrarlama saldırılarını tamamen ortadan kaldırır.

Interop Portal FMA şunları tanımlar: "Yanlış durum raporlaması, para çekme başarısızlıklarına yol açabilir." İddiamız: Durum güncellemelerinde zaman damgası ilerlemesini doğrular. Sonuç: Para çekme sorunlarına neden olan durum tutarsızlıklarını önler.

Bu da SIFIR yeni güven varsayımları ekler. İyimserlik zaten sıralayıcılarını kontrol ediyor. İddialar, onlara yalnızca kendi güvenlik analizlerine dayalı olarak işlem doğrulaması için sistematik bir çerçeve sağlar. Protokole özgü, harici olarak kullanıma sunulmamış. Her dApp ve altyapı parçası için.

FMA'lar → İddiaları = Analiz → Önleme Bu, iddiaların tek tek dApp'lerin ötesinde çalıştığını gösterir. Sistematik arızanın bir olasılık olduğu tüm kritik altyapılar için güçlüdürler (tümü).