Blockaid, 5 Kasım'da uyarısında bulundu; reth yürütme istemcisinde ve bunun üzerine inşa edilen yazılımlarda, op-reth dahil olmak üzere, bir hata düğümlerin yanlış durum köklerini hesaplamasına neden olabilir. Şirket, düğümlerin düzeltildiğinde duraksayabileceğini veya yanlış durum kanıtları döndürebileceğini belirtti.
“Bu bir düzeltme hatası, bir istismar değil,” dedi Blockaid ve bilinen herhangi bir fon kaybı olmadığını bildirdi. Uyarısı, birçok OP Stack zincirini de içeren birkaç Ethereum uyumlu ağda reth tabanlı istemcileri kapsıyor.
https://x.com/i/status/2118405438291198020
Risk, işlemlerini yürüten ve node'un blok zinciri görünümünü koruyan yazılımı ilgilendirir. Optimism'ın op-reth belgeleri, istemcinin Layer 2 bloklarını yürüttüğünü, zincir durumunu koruduğunu ve uygulamalardan gelen isteklere cevap verdiğini belirtmektedir. Yanlış kanıtlar, bu uygulamaların güvenildiği doğrulama sürecini zayıflatabilir.
Düzeltilmiş sürümler mevcut
Blockaid üç düzeltme sürümünü tespit etti:
Üst akış reth onarımı 3 Kasım'da birleştirildi. Base'in sürüm notları, güncellemenin bir durum-kök uyuşmazlığını önlediğini açıkça belirtiyor ve Base Ana Ağı ile Sepolia operatörlerinin en erken müsait oldukları zamanlarda yükseltme yapmalarını öneriyor.
Celo ve Mantle geliştiricileri, düzeltmeyi eski yazılım sürümlerine uygulamak için geriportlar birleştirdi. Mantle'in düzeltmesi, v1.6.2 üretim hattını hedefliyor. Blockaid'in uyarısı, hassas sürümlerin tam aralığını belirtmedi.
Blockaid, node operatörlerini ve RPC sağlayıcılarını yükseltmeye ve protokolleri ile köprüleri, sağlayıcılarının düzeltildiğinden emin olmaya çağırdı.
Neden Yanlış Kanıtlar Önemli
Celo'nun düzeltme açıklaması, bir durum kökünü hesaplamak için kullanılan veri yapısını güncellerken hatanın yeni eklenen bir girdiyi atlayabileceğini açıklar—bu, hesap ve sözleşme deposu verilerinin kontrol edilebildiği kriptografik özetdir.
eth_getProof spesifikasyonu, uygulamaların bir bloğun durum köküne göre hesap ve depo değerlerini doğrulamasını sağlayan kanıtları tanımlar. Bu, böyle kanıtlara dayanan köprüler, hafif istemciler ve sözleşmeler için bir node'un yanıtı ile güvenilir bir kök arasındaki farkı kritik hale getirir: yanlış bir yanıt, fonların taşınması için otomatik olarak geçerli bir yetki değildir.
Örneğin, Optimism'in çekim spesifikasyonu, bir çekim mesajı için dahil etme kanıtı gerektirir ve kanıt doğrulaması başarısız olursa işlemin geri alınacağını belirtir. Böylece kötü kanıt verisi, başarılı bir hırsızlığı kurmak yerine doğrulamayı engelleyebilir.
Önlemler zaten DeFi kullanıcılarına ulaşmış durumda. Gauntlet, V1 kasa tedarik sıralarını kapatıp, tahsisleri durdurup LayerZero köprülenmiş varlıklara maruziyeti azalttığını söyledi, çünkü The Defiant daha önce bildirmişti. Frax, varlıkları ve sözleşmelerinin etkilenmediğini ve normal şekilde işlediğini, ancak bazı LayerZero rotalarının geçici olarak durdurulduğunu söyledi.
Blockaid, LayerZero'nun etkilenen bazı zincirlerde çevrimdışı altyapıyı durdurduğunu söyledi ve mesajların “gecikmiş, kaybolmamış” olduğunu açıkladı.