Cardano Leios Modelleri Analiz Edilen Hacmin Yalnızca %2,6'sında MEV Maruziyeti Buldu

Input Output Research, Cardano'nun önerilen Layer 1 ölçekleme protokolü Ouroboros Leios'un arkasındaki güvenlik ve performans modellemesine ilişkin yeni bulgular sundu. Araştırma görevlisi Giorgos Panagiotakos sonuçları 16 Temmuz 2026 tarihindeki bir Cardano Ar Ge oturumunda paylaştı.

Sunum, daha yüksek verim için Leios'u ve daha hızlı işlem kesinleşmesi için Ouroboros Peras'ı kapsayan bir araştırma paketi olan WP1.1 Consensus için yıl ortası güncellemesinin bir parçasını oluşturdu. Çalışma, yük altında ağ modellemesi, biçimsel güvenlik analizi, oylama sertifikası optimizasyonu ve mühendislik uygulaması için parametre seçimini içeriyor.

Leios Modelleri Yük Altında Sınırlı MEV Maruziyeti Buluyor

Araştırma ekibi, Leios için planlanan daha yüksek işlem kapasitesinin mempool parçalanmasını, işlem sıralamasını ve front running fırsatlarını nasıl etkileyebileceğini analiz etti.

MEV, ya da maximal extractable value, işlemler onaylanmadan önce sıralamasını, dahil edilmesini ya da hariç tutulmasını değiştirerek yakalanabilecek değeri ifade eder. Front running, bir saldırganın bekleyen bir işlemi gözlemleyip onun önüne rekabet eden bir işlemi yerleştirmeye çalıştığı bir MEV türüdür.

Panagiotakos'un sunumuna göre, araştırmada incelenen hacmin yaklaşık %2,6'sı MEV yoluyla potansiyel olarak istismar edilebilir durumdaydı. Front running test edilen senaryolarda genel olarak kârsızdı; bu sonuç Cardano'nun EUTXO mimarisi ile Leios'un işlem işleme süreçlerini dağıtma biçimiyle ilişkilendirildi.

Bu tahmin, araştırmada yer alan modellere ve koşullara uygulanır. Kamuya açık Post-CIP Ar Ge bulguları, işlemlerin yalnızca bir kısmının front running'e açık olduğu yönündeki daha geniş sonucu destekliyor; ancak yüzde 2,6 rakamının arkasındaki veri kümesini ya da hesaplamayı içermiyor.

Kamuya açık bulgular ayrıca saldırı yüzeyinin büyüklüğünün tekil merkeziyetsiz uygulama tasarımına bağlı olduğunu belirtiyor. Mempool tabanlı bir saldırı, aktarıcı altyapısı üzerinde kontrol ve hızlıca rekabetçi bir işlem oluşturma yeteneği gerektirirken, bir blok üreticisinin başarı olasılığı hissesiyle orantılı olacaktır.

Leios mempool simülasyonları, Cardano'nun yüksek bağlantılı ağ topolojisinin hızlı işlem yayılımını desteklediğini ve parçalanmayı sınırladığını buldu. Talep ağ kapasitesi içinde kaldığında, modeller küresel mempool eşzamanlılığının yüzde 90'ın üzerinde ve parçalanmanın yüzde 10'un altında olduğunu bildiriyor. Daha ağır talep altında, yayılım yavaşlayabilir ve parçalanma yüke orantılı olarak artar.

Markov ve Kaynak Modelleri Leios Parametrelerine Rehberlik Ediyor

Ouroboros Leios, sıralama bloklarının daha büyük işlem kümelerini temsil eden onaylayıcı bloklara yönelik sertifikalı referansları içermesine izin vererek Cardano'nun verimini artırmak üzere tasarlandı. Bu bloklar için sertifikalarının deftere dahil edilebilmesinden önce komiteler oy kullanır.

Araştırma, sıralama blokları üretilirken onaylayıcı blok sertifikasyonunun olasılığını tahmin eden bir Markov modelini içeriyor. Model, blok üretimini, sertifika bulunabilirliğini ve bir sonraki ilgili blok üretim fırsatından önce yeterli oyun toplanıp toplanmadığını izler.

Bu sonuçlar, araştırmacıların Leios verimliliğini değerlendirmesine ve modellenmiş ağ davranışına göre protokol parametreleri seçmesine yardımcı olur.

Ayrı bir kısıt modeli işlemci ve bant genişliği gereksinimlerini ölçer. Yayınlanan bulgulara göre işlem gövdelerini beklemek ve işlemleri deftere uygulamak gecikmenin iki en büyük kaynağıdır. İmza doğrulama ve Plutus yürütmesi daha az kısıtlayıcıdır çünkü bu işin büyük bölümü paralel olarak gerçekleştirilebilir.

Modeller, tipik bir 12 MB'lık onaylayıcı blok için üç CPU çekirdeğinin yeterli olduğunu gösteriyor. İşlem gövdelerini kasten geç yayımlayan bir saldırgan, tepe işlemci talebini iki katına çıkarabilir.

Bu sonuçlar, her onaylayıcı blok başına azami işlem sayısı, azami blok boyutu ve Plutus yürütme sınırları dahil olmak üzere sınırlara bilgi sağlar. Böylece hedeflenen verim ve donanım gereksinimleri, üretim parametreleri seçilmeden önce ölçülen kaynak davranışına karşı değerlendirilebilir.

Güvenlik çalışması ayrıca düşmanca koşullar altında onaylayıcı blokların zamanında yayılımının modellenmesini, Agda'da emniyet ve canlılık özelliklerinin biçimsel ispatlarını ve bir iz doğrulayıcısını içerir. Doğrulayıcı, üretilen bloklar, sertifikalar ve defter durumlarındaki sapmaları belirlemek için uygulama davranışını biçimsel protokol belirtimiyle karşılaştırır.

resmi Leios deposu, biçimsel belirtimi, simülasyonları, ağ görselleştiricilerini, maliyet analizini ve iz doğrulama araçlarını içerir. Proje artık protokol araştırmasını gelecekteki Cardano düğüm uygulamaları için etkin tasarım ve prototipleme çalışmalarıyla birleştiriyor.

Yeni Oylama Sertifikaları Leios ile Peras'ı Birbirine Bağlıyor

Input Output Research, hem Leios hem de Peras için tasarlanan optimize edilmiş bir oylama sertifikası tasarımı da geliştiriyor. Amaç, daha güçlü hasmane modellere karşı dayanıklılığı artırırken sertifika boyutunu ve oylama trafiğini azaltmaktır.

Leios'ta sertifikalar, onaylayıcı blokların gerekli komite desteğini aldığını teyit eder. Peras'ta oylama sertifikaları, yeterince desteklenmiş bir zincire ilave ağırlık veren ve kesinleşmeyi hızlandıran bir mekanizma olan blok güçlendirmeyi destekler.

Tasarım, Mithril'in hisseye dayalı eşik çoklu imzaları ve komite seçimine yönelik Fait Accompli yaklaşımı dahil olmak üzere önceki Input Output Research çalışmalarının üzerine inşa ediliyor. Optimize edilmiş sertifikaları tanımlayan bir araştırma makalesinin 2026 sonuna kadar tamamlanması planlanıyor.

Yılın ikinci yarısına ilişkin araştırma planı ayrıca Leios ve Peras arasında paylaşılabilecek bileşenlere dair teknik bir raporun yanı sıra saldırı altında onaylayıcı blokların zamanında yayılımına ilişkin ayrı bir analiz içeriyor. Andre Knispel, Brian Bush, Matthias Fitzi, William Wolff, Yves Hauser, David Rosales ve Sandro Coretti-Drayton katkıda bulunan araştırmacılar arasında yer aldı.

Planlanan üç çıktı, mühendislik ekiplerine önerilen bir sertifika biçimi, Leios ile Peras arasındaki belgelenmiş bağlantılar ve onaylayıcı blok yayılımı için bir güvenlik modeli sağlayacak. Birlikte, her iki protokol uygulamasının bir sonraki aşaması için gereken çeşitli parametreleri ve hasmane varsayımları tanımlayacaklar.