AI, doğrulayıcıları çevrimdışına alabilecek bir Ethereum hatası buldu, ancak bu hatayı kanıtlamak insanlar tarafından gerekiyordu.

Ethereum Vakfı'ndaki geliştiriciler, en son yapay zeka ajanlarını Ethereum'un çalıştığı yazılıma saldı, en büyük blok zincirini değeri kilitli olanları güçlendirmeye devam etme çabasıyla hataları keşfetmeyi umarak.
Ve hatalar bulunmasına rağmen, gerçek olan ile yanlış pozitif olanı ayırt etmek için titiz insan yargısı hala gerekiyordu - Protocol Güvenlik ekibi, daha geniş ekosistemin kendi yapay zeka iş akışlarında takip etmesi gereken ipuçlarını içeren alan notları yayınladı.
Ethereum, zincirin bir kopyasını tutan ve komşularına mesajlar gönderen binlerce düğüm veya normal bilgisayarlar üzerinde çalışır.
Ether stake eden ve hangi blokların geçerli olup olmadığına oy veren doğrulayıcılar, bu katmanın üzerinde yer alır. Sadece mesajlar onlara ulaşırsa çalışırlar.
Bu mühendislere göre bulunan hata, gossipsub içinde yatıyordu. Kusur, uzak bir sistemin bir çöküşü tetiklemesine izin verdi — node'un yazılımı imkansız bir hesaplama yapar, pes eder ve kendini kapatır, bir doğrulayıcıyı çevrimdışı bırakır ve operatör yeniden başlatana kadar onu devre dışı bırakır.
Bu hızla düzeltildi ve ekibe teşekkür edilerek 'CVE-2026-34219' olarak duyuruldu. Ancak daha geniş endişe, ajanların gerçek hatalarını güvenle maskeleyenlerle gerçek hatalarını ayırmaktı.
Nikós Baxevanis yaptığı paylaşımda, "Sürpriz, bunları bulmaya harcanan işin çok az olması ve gerçek hataları gerçekmiş gibi gösterenlerle ayırt etmeye çok zaman harcanmasıydı" diye yazdı.
Zorluk, bir ajanın ne ürettiğiyle başladı. Standart araç olan fuzzing, düzgün olmayan verileri yazılıma fırlatarak bir şeylerin kırılmasını sağlar ve bu, mühendislerin dakikalar içinde doğrulayabileceği bir çökmeye neden olur.
Ancak, bir ajan oluşturulan hikayeyi geri getirir. Kusura nasıl ulaşılabileceğini izler, neden önemli olduğunu savunur, bir önem sıralaması önerir ve saldırıyı gösteren çalışan kod sağlar. Tüm bunlar akıcı bir metin halinde gelir; hatanın gerçek mi yoksa uydurma mı olduğuna bakılmaksızın aynıdır.
Vakıf'a göre, üç türlü yanlış pozitif sürekli tekrar ederdi.
Bunlardan ilki, yalnızca test yapısında meydana gelen bir çöküştü, burada derleyici, gönderilen yazılımın taşıdığı güvenlik kontrollerini devreye sokar, böylece gerçek kullanıcılar için hiçbiri kırılmaz.
İkincisi, yalnızca tehlikeli değeri elle programa yerleştirildiğinde çalışan bir saldırıydı, çünkü bir dışarıdan gelenin ona ulaşmak için kullanabileceği her yol ilk olarak değeri reddeder. Üçüncüsü, kodun doğru davrandığını matematiksel olarak kanıtlamayı amaçlayan resmi doğrulama, burada kanıt, önemsiz görünen bir şeyi göstererek geçer ve yazılım hakkında hiçbir şey anlatmaz.
Her biri, aslında hiçbir şey test etmeyen ve ajan, gerçek gibi görüneni kadar hızlı ve ikna edici bir şekilde o boş versiyonu yazar.
Başka bir endişe, ajanların tek bir anı düşünme konusunda güçlü, ancak yanlışların sadece sıralı indirilebilir adımlarını kapsayan hatalara karşı zayıf olmasıydı. Burada bir sorun yoksa, şeylerin sırası bozuk olmadan sadece adımlar doğru sırayla gerçekleşir.
Bu, bu yıl kripto protokolleri sömüren saldırıların çoğunu tanımlar; saldırı yöntemleri, teknik araçlar kullanır ki, bunlar tek başına sorun değil, ancak kötü niyetli bir sonuç doğurmak için birkaç adımı bir araya getirirken hırsızlığı gizler.
Son saldırılar bu modele uyuyor. Bu ayın başında gerçekleşen Edel Finans sömürüsü, doğru Chainlink fiyat beslemesini aşırı katman üzerinden atladı ve BONK yönetim saldırısında, token satın alma, oy kullanma ve teklifin yürürlüğe konması her biri sıradan işlemlerdi.
Vakfın çözümü, ajanın hangi dizilerin test edilmesi gerektiğini önermesini sağlamak ve testleri yine de çalıştırmaktır.
Vargı Ekonomi Haberleri