Cardano Leios Prototipi, Endorser Block Duyurularındaki Zamanlama Saldırısını Düzeltiyor

Cardano’nun Leios prototipi, geliştiricilerin Endorser Block duyurularını içeren bir zamanlama saldırısını belirlemesinin ardından bir ağ düzeltmesi aldı. Belirli koşullar altında, geçerli operasyonel kimlik bilgilerine sahip bir stake havuzu, zincire dair görüşü biraz geride olan başka bir dürüst eşten bir dürüst düğümün bağlantısının kesilmesine neden olan, dikkatle zamanlanmış bir duyuru gönderebiliyordu.

Düzeltme, 18 Ağustos’ta Ouroboros Consensus’un leios-prototype dalına birleştirildi ve 25 Ağustos’ta Intersect’in Consensus ekibi tarafından vurgulandı. Blink Labs bunu takiben Dingo’da karşılık gelen korumayı uyguladı.

Leios Zamanlama Farkı Dürüst Eşlerin Bağlantısını Kesebilir

Ouroboros Leios, işlem çıktısını artırırken altta yatan mutabakat protokolünün güvenlik özelliklerini korumak üzere tasarlanmış, Cardano’nun planlanan ölçekleme mimarisidir.

Tasarımın bir kısmı, Cardano’nun sıralama bloklarının yanında ek işlem verisi taşıyan Endorser Blocks kullanır. Düğümler, tam blok verisi ulaşmadan önce bir Endorser Block duyurabilir, bu da bilginin ağ genelinde daha verimli yayılmasına yardımcı olur.

Belirlenen sorun, bu duyurulara ekli operasyonel sertifika sürüm numarası yani OCIN ile ilgiliydi.

İki dürüst düğüm geçici olarak farklı değişmez zincir uçlarına sahip olabilir. Daha ileride olan bir düğüm daha eski bir OCIN’i iptal edilmiş kabul edebilirken, henüz aynı değişmez noktaya ulaşmamış bir üst akış eşi onu hâlâ meşru biçimde geçerli sayabilir.

Önceki prototip mantığı, söz konusu eski OCIN’i kullanan bir duyuruyu geçersiz davranış olarak yorumlayıp üst akış eşinin bağlantısını kesebiliyordu.

Orijinal GitHub konusu, saldıran bir stake havuzunun OCIN’i değişmez hale gelmeden hemen önce bir duyuru göndererek bu zamanlama farkını nasıl kötüye kullanabileceğini anlatıyor. Havuz zincire yeni bir başlık yerleştirirken OCIN’ini artırabildiğinden, bu sıralama dürüst düğümler arasında bağlantı kopmalarını tetiklemek için kullanılabiliyordu.

Konu, duyuru mantığının ana ağ için uygun sayılabilmesi için bu davranışın düzeltilmesi gerektiğini belirtiyordu.

Yeni Leios Mantığı Bağlantı Kopmasını Durduruyor

Birleştirilen düzeltme, bir Leios düğümünün, kendi değişmez ucu tarafından zaten iptal edilmiş sayılan bir OCIN kullanan bir duyuru aldığında nasıl tepki verdiğini değiştiriyor.

Eş bağlantısını sonlandırmak yerine, düğüm mesajı ağ protokolü seviyesinde kabul ediyor. Alıcı düğüm OCIN’in eski olduğunu zaten bildiği için, duyuru işlenmek ya da daha ileriye iletilmek yerine yok sayılıyor.

Bu değişiklik, dürüst bir eşin kötü niyetli olarak sınıflandırılmadan geçici olarak geride kalmasına olanak tanıyor.

Geliştiriciler ayrıca sızdırılmış tarihsel KES anahtarlarını içeren daha dar bir artık durumu da belgeledi. Sızdırılan bir anahtar, iptal sonrasında doğrudan aşağı akış eşlerine az sayıda ek sahte Endorser Block duyurusu göndermek için hâlâ kullanılabilir.

Bu duyurular bağlantı kopmalarını tetiklemez ve daha ileriye yayılmaz. Geliştirme tartışması ek işleme maliyetini asgari olarak, kalan davranışı ise istenmeyen ama mevcut prototip için engelleyici olmayan bir durum olarak tanımlıyor.

Bu saldırı vektörünün Cardano ana ağını etkilediğine dair birincil kaynak kanıt yok. Etkilenen duyuru mekanizması Leios prototipine ait ve düzeltme üretim mutabakat dalı yerine onun özel geliştirme dalına birleştirildi.

Dingo Aynı Leios Korumasını Benimsiyor

Blink Labs, bağımsız Cardano düğüm uygulaması Dingo’ya da eski OCIN işleme modelini uyguladı.

Geliştiriciler düzgün imzalanmış ancak eski bir duyurunun hâlâ kaydedilip iletilebileceğini belirledikten sonra Dingo konusu 26 Ağustos’ta açıldı. 27 Ağustos’ta #3563 numaralı birleştirme isteği birleştirildi.

Güncellenen uygulama kapsamında, eski ya da bilinmeyen yayıcı duyuruları eş bağlantısını kapatmadan kabul ediliyor ancak kaydedilmiyor, işlenmiyor ya da iletilmiyor. Yeni duyurular normal işlemeye devam ediyor, gerileme testleri ise birden çok OCIN durumunu kapsıyor.

Intersect’in Ağustos geliştirme güncellemesi ayrıca Leios zincirleri için genişletilmiş db-analyser desteğini de bildirdi. Araç artık Leios zincir verisini yeniden oynatabiliyor ve sertifikalı Endorser Block işlemlerini, onların boyutunu ve okunup uygulanmaları için gereken süreyi ölçebiliyor. Bu, testleri çıktı hızının ötesine, defter işleme maliyetlerine ve kaynak davranışına genişletiyor.

Eski duyurulara yönelik düzeltme artık iki uygulamayı kapsıyor. Ouroboros Consensus, 18 Ağustos’ta orijinal Leios prototipinde davranışı değiştirdi, Dingo ise dokuz gün sonra karşılık gelen uygulamayı benimsedi. Böylece Leios üretim dağıtımına ulaşmadan önce her iki kod tabanı da aynı ağ sınır durumunu ele alış biçiminde hizalanmış oldu.