Yeni bir teorik makale, Ethereum araştırmacıları arasında dolaşıma girdi ve temel iddiası oldukça net: Ethereum üzerindeki Bizans Hata Toleranslı mutabakatın arkasındaki güvenlik matematiği ve DeFi oracle’larının fiyat raporlama biçimi, doğrulayıcı davranışı gerçekten ölçüldüğünde geçerli olmayan varsayımlara dayanıyor. Ağustos 2026’da Ethereum araştırma forumu ethresear.ch’te yayımlanan araştırmacı Hudu Yusuf’un analizi, doğrulayıcı davranışındaki korelasyon hesaba katıldığında Ethereum’un dürüst-çoğunluk güvenlik marjının ders kitaplarındaki %33 rakamına hiç yaklaşmadığını öne sürüyor — ve Chainlink’ten Pyth’e kadar tüm büyük oracle sağlayıcılarının, makalenin matematiksel olarak optimal olmadığını söylediği bir stratejiyle çalıştığını savunuyor.
Summary
Öne çıkan noktalar
- “Koordinasyon Çöküşü” adlı yeni bir teorem, aynı şekilde davranan doğrulayıcıların, ne kadar büyük bir nominal payı kontrol ederlerse etsinler, etkin oy ağırlıklarının neredeyse tamamını kaybettiklerini gösteriyor.
- Ethereum’un gerçek doğrulayıcı setine uygulandığında, en büyük 3 varlık yaklaşık %60 nominal pay tutuyor ancak davranış çeşitliliği hesaba katıldığında yalnızca yaklaşık %15,7 etkin ağırlığa sahip oluyor.
- Sadece %22,3 nominal paya sahip solo doğrulayıcılar, davranışları çok daha az korele olduğu için etkin oy gücünün %60’ından fazlasını kontrol eder hale geliyor.
- İkinci bir teorem, belirsizlik durumunda veriyi saklayan oracle’ların, her zaman yayın yapan tasarımlardan daha iyi performans gösterdiğini savunuyor; 30 büyük DeFi istismarı üzerinde yapılan geriye dönük test, sessiz yaklaşımın bunların tamamını durduracağını ve tahmini 3,315 milyar doları koruyacağını ortaya koyuyor.
- İncelenen tüm dağıtıma alınmış oracle ağları — Chainlink, Pyth, UMA, Band, API3 ve RedStone — şu anda makalenin yapısal olarak savunmasız olarak etiketlediği her zaman-yayınla modelini kullanıyor.
Koordinasyon Çöküşü: Davranışsal Korelasyon Oy Gücünü Aşındırıyor
Makalenin ilk ve en önemli sonucu, bir doğrulayıcının mutabakat üzerindeki gerçek etkisinin, ne kadar pay tuttuğundan çok ne kadar bağımsız davrandığına bağlı olması. Ethereum’un hisse ispatı sistemi şu anda her oyu yalnızca nominal paya göre ağırlıklandırıyor — daha fazla ETH’ye sahip bir doğrulayıcı basitçe daha fazla söz hakkı alıyor. DW-BFT (Çeşitlilik Ağırlıklı BFT) adı verilen yeni çerçeve, bunun tamamen yanlış metrik olduğunu savunuyor.
Ağırlıklı BFT ve DW-BFT’nin Ardındaki Çeşitlilik Formülü
Model, her doğrulayıcı için, davranış kalıbını — onaylama zamanlaması, MEV-boost röle tercihleri, blok inşa alışkanlıkları, yeniden örgü (reorg) katılımı — ağın ortalama davranışıyla karşılaştırarak hesaplanan bir “çeşitlilik ağırlığı” tanıtıyor. Oy veren ve blok inşa eden davranışları herkesinkine neredeyse özdeş olan doğrulayıcılar, ne kadar ETH stake etmiş olurlarsa olsunlar bu çeşitlilik metriğinde sıfıra yakın puan alıyor. Ortaya çıkan “Koordinasyon Çöküşü” olarak adlandırılan Teorem 1, davranış vektörleri neredeyse özdeş olan bir doğrulayıcı kartelinin, iç korelasyon 1’e yaklaştıkça etkin oy ağırlığının, nominal paydan bağımsız olarak sıfıra yakınsadığını ifade ediyor.
Bu, Ethereum’un şu anda %33 hata toleransı sınırını nasıl çerçevelediğine doğrudan bir meydan okuma. Makale, korele davranış fiyatlandığında, yapısal olarak dürüst kabul edilen güvenlik marjının aslında hiç de %33 olmadığını — büyük stake varlıklarının uyum içinde davrandıklarında bağımsız güvenlik eklemedikleri, sadece aynı oyu çoğalttıkları için tek haneli rakamlara daha yakın olduğunu savunuyor.
DW-BFT Merceğinden Ethereum’un Doğrulayıcı Seti
Teoriyi test etmek için araştırmacı, Mayıs ve Temmuz 2026 arasında yaklaşık 4,2 milyon epoku kapsayan, mevduat payına göre en büyük 50 Ethereum doğrulayıcı varlığından davranış verisi topladı. Rakamlar çarpıcı. Lido %28,4 nominal paya sahip ancak davranış çeşitliliği düşük; Coinbase ve Binance sırasıyla %15,1 ve %13,7 nominal payla benzer şekilde korele davranış kalıplarına sahip. Birlikte, en büyük 3 varlık yaklaşık %57,2 nominal payı kontrol ediyor ancak DW-BFT modeline göre yalnızca yaklaşık %15,7 etkin ağırlığa sahip — bu rakam, ham pay oranlarının aksine hata toleransı eşiğinin rahatlıkla altında kalıyor.
Dağıtık solo doğrulayıcılar ise tam tersi hikâyeyi anlatıyor. Yalnızca %22,3 nominal paya sahipler, ancak davranışları ağ ortalamasıyla çok daha az korele olduğu için yaklaşık %60,2 etkin oy gücünü komuta eder hale geliyorlar. Başka bir deyişle, standart pay-ağırlıklı BFT altında, birkaç büyük varlık teorik olarak geçersiz blokları finalize etmek için koordinasyon sağlayabilir. DW-BFT altında ise aynı koordinasyon, etkilerini artırmak yerine çökertiyor.
Bu neden matematiğin ötesinde önemli? Çünkü Ethereum’daki stake merkezileşmesi tartışmasının tamamını yeniden çerçeveliyor. Düzenleyiciler, araştırmacılar ve topluluk, Lido, Coinbase ve Binance’in birleşik paylarının tehlikeli eşikleri aşmasından yıllarca endişe etti. DW-BFT çerçevesi, daha acil değişkenin bu varlıkların ne kadar pay tuttuğu değil, ne kadar benzer davrandıkları olduğunu öne sürüyor — ki mevcut mutabakat tasarımı bu faktörü hiç ölçmüyor.
Simülasyon sonuçları bu noktayı güçlendiriyor. Farklı korelasyon seviyelerinde sybil doğrulayıcılarla 10.000 saldırı senaryosu çalıştıran makale, standart Bizans Hata Toleranslı mutabakatın, iç korelasyon mükemmel 1,00’a ulaştığında %100 oranında koordineli kartel saldırısına yenik düştüğünü buldu. DW-BFT altında ise aynı mükemmel korele kartel saldırısı %0 başarı oranına sahip. Daha ılımlı korelasyon seviyelerinde bile — 0,75 ve 0,90 — standart BFT’nin saldırı başarı oranı sırasıyla %41,7 ve %75,8’e tırmanırken, DW-BFT tek haneli düşük oranlarda çizgiyi koruyor. Makalenin ifadesiyle, sistemin bir saldırının geldiğini bilmesine gerek yok; kartelin kendi tekdüzeliği onu ele veriyor.
Oracle Tasarımında Yapılandırılmış Sessizlik Savı
Makalenin ikinci teoremi, DeFi altyapısının farklı bir köşesini ele alıyor: fiyat oracle’ları. Sonuç, sektör için aynı derecede rahatsız edici. Veriler şüpheli göründüğünde hiçbir şey yayınlamaya razı olan oracle’lar, her koşulda bir sayı üretmek üzere tasarlanmış oracle’lardan manipülasyona karşı daha iyi performans gösteriyor ve makale bunun, bugünün baskın oracle tasarımını yapısal olarak demode hale getirdiğini savunuyor.
Veri Saklamak Neden Her Zaman Yayınlamayı Geride Bırakıyor?
Her dağıtıma alınmış oracle ağı — Chainlink, Pyth, UMA, Band, API3 ve RedStone — her zaman-yayınla modelinde çalışıyor ve bayat ya da manipüle edilmiş bir fiyatı, hiç fiyat olmamasına tercih ediyor. Makalenin “Yapılandırılmış Sessizliğin Optimalitesi” adını verdiği Teorem 2, kötü bir değer yayınlamanın kaybı, kısa bir gecikmenin maliyetinden büyük olduğunda, ölçülebilir belirsizlik altında veriyi saklayan bir oracle’ın, her zaman yayın yapan bir oracle’dan kesin olarak daha düşük beklenen kayıp üreteceğini kanıtlıyor — yeter ki saldırganın sonlu bir saldırı bütçesi olsun.
Mekanizma, mevcut bir fiyat gözleminin, bir varlığın birikmiş davranış geçmişiyle — borsalar arası akış tutarlılığı ve cüzdan düzeyinde istikrar gibi unsurlarla — ne kadar iyi eşleştiğini puanlayan bir tutarlılık metriğine dayanıyor. Tutarlılık belirli bir eşik değerin altına düştüğünde, oracle hiçbir şey yayınlamıyor ancak yine de meta veri paylaşıyor: hangi sinyalin başarısız olduğu, ne kadar saptığı ve toparlanma için tahmini süre. Bu, makalenin gerçek bir sessiz oracle stratejisi olarak çerçevelediği şeyin pratik temeli ve bugünün her zaman açık beslemelerinin sunmadığı doğrudan bir oracle manipülasyon savunması biçimi olarak konumlandırılıyor.
30 DeFi İstismarına Karşı Sessizliğin Geriye Dönük Testi
Teoriyi gerçek dünya risklerine karşı test etmek için araştırmacı, 2020’den bu yana kaydedilen her büyük oracle-manipülasyon istismarına — toplam 3,315 milyar dolar kayıpla sonuçlanan 30 ayrı olaya — karşı her iki stratejiyi de geriye dönük test etti. Chainlink ve Pyth tarzı oracle’ların davranışını yansıtan her zaman-yayınla yaklaşımı, 30 istismarın hiçbirini engelleyemedi. 0,62 eşiği kullanan sessiz oracle stratejisi ise 30’un tamamını engelledi.
Bu koruma, gerçek ödünler içeriyordu. Sessiz strateji, gerçek saldırı olmayan yüksek oynaklık dönemlerinde %100 yanlış pozitif oranı üreterek, test dönemi boyunca 2.147 gereksiz sessizliğe yol açtı. Ortalama sessizlik yalnızca 2,4 blok sürdü ve makale, ortaya çıkan gecikmenin tüketicilere yaklaşık 11 milyon dolar tasfiye sürtünmesi maliyeti getirdiğini tahmin ediyor — stratejinin koruyacağı 3,315 milyar doların küçük bir kısmı. Araştırmacının çerçevesine göre, belirsizlik sırasında kısa süreli duraklamaya razı olan bir oracle, çok az bir verimlilik kaybı yaşıyor ancak kullanıcı fonlarının neredeyse tamamını koruyor; her zaman açık bir oracle ise mükemmel şekilde erişilebilir ve mükemmel şekilde istismar edilebilir kalıyor.
Sonra Ne Olacak: Uygulama Engelleri ve Açık Sorular
Her iki sonuç da aynı sonuca işaret ediyor: Bunlardan yararlanmak için kısa vadede protokol değişiklikleri gerekecek ve birkaç ciddi risk hâlâ çözülmemiş durumda. Makale, bunların bitmiş mühendislik değil, öneri olduğunu açıkça belirtiyor ve bulgularının yanında kendi şüphelerini de listeliyor.
Mutabakat ve Oracle Protokollerini Yeniden Kablolamak
Mutabakat tarafında makale, Ethereum’un finalize etme mekanizmasının oyları yalnızca pay s_j ile değil, çeşitlilik faktörü d_j ile birlikte ağırlıklandırması gerektiğini savunuyor — yani kalabalıkla her zaman aynı şekilde oy veren büyük bir doğrulayıcı varlığının, birçok bağımsız doğrulayıcıya denk değil, tek bir bağımsız doğrulayıcıya daha yakın bir etkiye sahip olması gerektiği anlamına geliyor. Dikkat çekici biçimde analiz, aynı davranış çeşitliliği merceğinin, MEV-Boost blok inşa edici merkezileşmesi etrafındaki endişeleri de organik olarak hafifleteceğini öne sürüyor; çünkü korele inşa ediciler, teklifçi etkisini otomatik olarak kaybedecek ve teklifçi-inşa edici ayrımının baştan tasarlanmasını gerektirmeyecek.
Oracle tarafında ise sessiz bir stratejiyi benimsemek, DeFi protokollerinin “değer yok” çıktısını sistem hatası değil, meşru ve beklenen bir çıktı olarak ele alması gerektiği anlamına geliyor. Bu yapısal bir değişim: Bugün çoğu borç verme piyasası, perpetual borsası ve tasfiye motoru, fiyat beslemesinin her zaman canlı olduğunu varsayıyor ve kullanıcı pozisyonlarını bozmadan boşlukları zarifçe idare edebilmek için anlamlı şekilde yeniden mühendisliğe ihtiyaç duyacak.
Hâlâ Çözülmemiş Saldırı Vektörleri
Makale, yanlış olabileceği noktalar konusunda açık. Araştırmacıların, bu fikirlerden herhangi biri üretime ulaşmadan önce ele alması gereken birkaç açık problemi işaret ediyor:
- Bir saldırganın çoğu zaman farklı davranan, ancak yalnızca saldırı anında koordinasyon sağlayan birçok varlığa bölündüğü ve çeşitlilik ağırlığını manipüle edebileceği sybil-dekorelasyon saldırıları.
- DW-BFT’nin, normal mutabakat sırasında doğru şekilde aynı yönde oy veren dürüst doğrulayıcıları cezalandırma riski; çünkü korelasyon tek başına koordinasyonu meşru uzlaşıdan tam olarak ayırt edemiyor.
- Tutarlılık metriğinin, makalenin doğrudan bir fiyat beslemesine saldırmaktan yaklaşık 40 ila 60 kat daha fazla sermaye gerektirdiğini tahmin ettiği, iyi finanse edilmiş bir saldırgan tarafından manipüle edilebilmesi.
- Davranışsal özellik çıkarım sürecinin şu anda tamamen merkeziyetsiz bir hesaplama yerine merkezi, yarı güvenilir bir bileşene dayanması.
Bu çekinceler önemli, çünkü ilgi çekici bir teorem ile sevk edilebilir bir protokol değişikliği arasında ne kadar iş olduğunu tanımlıyor. Ethereum’un doğrulayıcı çeşitliliği bulguları ve sessiz oracle stratejisi, sağlam simülasyon ve geriye dönük test verilerine dayanıyor, ancak makalenin kendisi bunları yerleşik mühendislikten ziyade topluluk incelemesi için başlangıç noktaları olarak çerçeveliyor ve teoremlerin geçerli olmayabileceği çürütmeler, alternatif simülasyonlar ve inşalar davet ediyor.
SSS
DW-BFT’de doğrulayıcı davranış korelasyonu neden etkin oy ağırlığını azaltır?
Çünkü davranış vektörleri neredeyse özdeş olan doğrulayıcılar güçlü şekilde koreledir; çeşitlilik ağırlıkları sıfıra yaklaşır ve bu da nominal paydan bağımsız olarak etkin oy güçlerini azaltır.
Sessiz oracle stratejisi fiyat manipülasyonuna karşı savunmayı nasıl iyileştirir?
Tutarlılık metrikleri belirsizlik gösterdiğinde yayını durdurarak, sessiz oracle’lar manipüle edilmiş değerleri yayınlamaktan kaçınır ve savunmasız verileri her zaman yayınlamaya kıyasla beklenen kaybı azaltır.
DW-BFT ve sessiz oracle stratejilerini uygulamanın başlıca zorlukları nelerdir?
Zorluklar arasında mutabakat protokollerini oyları davranış çeşitliliğine göre ağırlıklandıracak şekilde uyarlamak, DeFi protokollerini eksik oracle verisini idare edebilecek hale getirmek ve sybil-dekorelasyon ile tutarlılık manipülasyonu gibi yeni saldırı vektörlerine karşı savunmak yer alır.
Her zaman-yayınla oracle’lar yaygın dağıtıma rağmen neden savunmasız kalıyor?
Her zaman-yayınla oracle’lar, veri bütünlüğü yerine erişilebilirliği önceliklendirir; düşmanca manipülasyon sırasında bile veriyi saklamazlar ve bu da saldırganların bayat veya manipüle edilmiş beslemeleri istismar etmesine imkân tanır.
{“@context”:”https://schema.org”,”@type”:”FAQPage”,”mainEntity”:[{“@type”:”Question”,”name”:”DW-BFT’de doğrulayıcı davranış korelasyonu neden etkin oy ağırlığını azaltır?”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”Çünkü davranış vektörleri neredeyse özdeş olan doğrulayıcılar güçlü şekilde koreledir; çeşitlilik ağırlıkları sıfıra yaklaşır ve bu da nominal paydan bağımsız olarak etkin oy güçlerini azaltır.”}},{“@type”:”Question”,”name”:”Sessiz oracle stratejisi fiyat manipülasyonuna karşı savunmayı nasıl iyileştirir?”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”Tutarlılık metrikleri belirsizlik gösterdiğinde yayını durdurarak, sessiz oracle’lar manipüle edilmiş değerleri yayınlamaktan kaçınır ve savunmasız verileri her zaman yayınlamaya kıyasla beklenen kaybı azaltır.”}},{“@type”:”Question”,”name”:”DW-BFT ve sessiz oracle stratejilerini uygulamanın başlıca zorlukları nelerdir?”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”Zorluklar arasında mutabakat protokollerini oyları davranış çeşitliliğine göre ağırlıklandıracak şekilde uyarlamak, DeFi protokollerini eksik oracle verisini idare edebilecek hale getirmek ve sybil-dekorelasyon ile tutarlılık manipülasyonu gibi yeni saldırı vektörlerine karşı savunmak yer alır.”}},{“@type”:”Question”,”name”:”Her zaman-yayınla oracle’lar yaygın dağıtıma rağmen neden savunmasız kalıyor?”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”Her zaman-yayınla oracle’lar, veri bütünlüğü yerine erişilebilirliği önceliklendirir; düşmanca manipülasyon sırasında bile veriyi saklamazlar ve bu da saldırganların bayat veya manipüle edilmiş beslemeleri istismar etmesine imkân tanır.”}}]}
Yapay zekâ desteğiyle hazırlanmış ve editör ekibi tarafından gözden geçirilmiştir.
