Ethereum(ETH) EIP-8282 doğrulaması, builder sözleşmelerindeki uyumsuzluğu ortaya çıkardı

Ethereum Vakfı (Ethereum Foundation) ve Verity, Ethereum(ETH) bloklarını oluşturan builder’ların para yatırma ve çıkış sözleşmelerinin yürütülebilir bayt kodunu biçimsel olarak doğrulayarak üç davranış güvencesini kanıtladı. Ekip ayrıca araştırmacıların çözmesi gereken uyumsuzluklar buldu.

Crypto Briefing, Verity’nin doğrulamayı Eylül 2026’da tamamladığını ve kullanıcıların gönderdiği çağrılar ile protokolün SYSTEM çağrılarına ilişkin yürütme yollarında üç güvenceyi kanıtladığını bildirdi. Verity de kamuya açık araştırma açıklamasında EIP-8282’deki builder para yatırma ve çıkış sözleşmelerinin özelliklerini makineyle doğruladığı örneği paylaştı.

Biçimsel doğrulama, kodun belirlenen koşullara uyup uymadığını matematiksel yöntemlerle inceleyen bir süreçtir. Bu çalışmada teklifin tamamı değil, zincirde çalışacak sözleşmelerin çalışma zamanı bayt kodu ve belirli davranışları incelendi.

Doğrulama ekibi, belirlediği özelliklerin kod değişikliklerini yakalayıp yakalayamadığını görmek için bayt kodunun altı farklı varyasyonunu uyguladı. Crypto Briefing, inceleme sırasında araştırmacıların çözmesi gereken uyumsuzlukların da ortaya çıktığını aktardı. Haberde bu uyumsuzlukların ayrıntıları yer almadı.

EIP-8282, 22 Mayıs 2026’da yazıldı. Teklif, blok builder’larını ayrı bir depozito temelli katılımcı olarak ele alan EIP-7732’nin kullandığı mevcut doğrulayıcı kayıt ve çıkış süreçlerini builder’lara özel taleplerle değiştirmeyi öngörüyor.

Teklifte builder kaydı ve depozito ekleme işlemlerini yürüten bir sözleşme ile çıkış taleplerini işleyen ayrı bir sözleşme bulunuyor. İlk kayıt ve ek depozito işlemlerini para yatırma sözleşmesi yönetiyor. Çıkış sözleşmesi ise builder’ın belirlenmiş yürütme adresinden gelen talepleri işlemek üzere tasarlandı.

Yürütme kodunda, kullanıcıların ücret ödeyerek gönderdiği taleplerin yanı sıra protokolün kendisinin gönderdiği SYSTEM çağrıları da yer alıyor. SYSTEM çağrısı, her blok tamamlandığında taleplerin toplanıp uzlaşma katmanına iletilmesi sürecini ifade ediyor.

Tek bir para yatırma talebi hem yeni bir builder kaydını hem de mevcut bir builder’a ek depozito yatırılmasını sağlayabiliyor. Sözleşme talebi alıp kaydediyor ancak ilk kayıt için gereken imzayı doğrudan doğrulamıyor.

İlk depozitoya ait imza uzlaşma katmanında kontrol ediliyor. İmza geçersizse ilk depozito işleme alınmıyor ve para sözleşmede kalıcı olarak kilitli kalabiliyor. Bu nedenle teklif, gönderenlere işlemi iletmeden önce imzayı doğrulamalarını öneriyor.

Önceden kayıtlı bir builder’a ek depozito yatırıldığında tutar hesaba yansıyor; talepteki çekim yetkisi bilgileri ve imza ise dikkate alınmıyor. Böylece ilk kayıt ve ek depozito aynı sözleşmeyi kullansa da uzlaşma katmanında farklı biçimde işleniyor.

Çıkış talebi geldiğinde sözleşme, talebi gönderen adresi kaydediyor. Uzlaşma katmanının çıkışı işleme alabilmesi için bu adresin builder’a atanmış yürütme adresiyle eşleştiğini doğrulaması gerekiyor.

Crypto Briefing, araştırmacıların bulunan uyumsuzlukları teklifle karşılaştırıp çözmesi gerektiğini bildirdi. Habere göre çözüm, yürütme kodunun değiştirilmesi, teklifin güncellenmesi veya amaçlanan davranışın açıkça anlatılması olabilir.

Teklifte belirtilen Last Call süresi 1 Kasım 2026’da sona erdi. Verity’nin doğrulaması ise bu tarihten önce, eylülde tamamlandı.

11 Kasım 2026 itibarıyla EIP sayfası, EIP-8282’yi ‘Last Call’ aşamasında ve akran incelemesi devam eden bir teklif olarak gösteriyor. Teklifin nihai içeriğinin bu inceleme sürecinde netleşmesi bekleniyor.