Bitcoin Optech'in 425 numaralı bülteni; Eclair'in eski sürümlerini etkileyen iki kritik hizmet engelleme (DoS) açığını, paylaşılan güvensiz depolar üzerinden cüzdan etiketi senkronizasyon teklifini ve BIP54 zaman bükülmesi düzeltmelerine ilişkin matematiksel sınırları ele alıyor.
Bitcoin altyapı gelişmelerini ve protokol tartışmalarını derleyen Bitcoin Optech, 425 numaralı bültenini yayınladı. Yeni bültende, Lightning Network ekosisteminin popüler istemcilerinden Eclair'de tespit edilen iki kritik hizmet engelleme (DoS) açığı, cüzdan etiketlerinin güvenli ve güvenilir olmayan depolar aracılığıyla senkronize edilmesine yönelik yeni bir teklif ve Bitcoin konsensüs kurallarına dair yürütülen güncel araştırmalar detaylandırıldı.
Eclair İstemcisinde Tespit Edilen Kritik DoS Açıkları
Araştırmacı Matt Morehouse, Delving Bitcoin platformu üzerinden Eclair v0.13.1 ve önceki sürümleri etkileyen iki farklı DoS açığını sorumlu bir şekilde kamuoyuna açıkladı. Söz konusu açıkları hedef alan saldırıların bir kanal açılmasına gerek duymadan, yalnızca tamamlanmış bir BOLT8 el sıkışması (handshake) ile gerçekleştirilebildiği belirtildi.
İlk güvenlik açığı, özellik biti (feature bit) ayrıştırma mekanizmasında yer alıyor. Eclair'in init mesajındaki özellik bitlerini tek tek ayrıştırırken bit başına birkaç nesne tahsis etmesi nedeniyle, azami uzunluktaki tek bir init mesajı yaklaşık 300 MB bellek tüketimine yol açıyor ve bir ayrıştırma iş parçacığını 300 milisaniyeye kadar meşgul ediyordu. Morehouse'un testlerinde, bu mesajı tekrarlayan birkaç düzine bağlantıya sahip bir saldırganın, düğümün tüm eş bağlantılarını bir dakika içinde kestiği ve beş dakika içinde bellek kaynaklarını tamamen tükettiği gözlemlendi. Söz konusu açık, Mart ayında Eclair #3264 numaralı PR kapsamında özellik ayrıştırma mantığının yeniden düzenlenmesiyle kapatıldı.
İkinci güvenlik açığı ise gossip sorgularında ortaya çıktı. BOLT7 protokolünün Nisan 2022'de query_short_channel_ids mesajları için zlib kodlamasını kaldırmasına rağmen Eclair, bu formatı göndermeyi durdurmuş ancak kabul etmeye devam etmişti. Zlib açma (decompression) işleminde herhangi bir çıktı sınırı bulunmadığından, 64 kB boyutundaki bir mesaj şişerek 64 MB'a ve yaklaşık 17 milyon nesneye dönüşebiliyordu. Bu tür mesajlardan oluşan bir sel, bir düğümü saniyeler içinde çevrimdışı bırakmaya yeterliydi. İkinci açık, Eclair #3263 numaralı yama ile giderildi. Her iki açığın da Mayıs ayında yayınlanan Eclair v0.14.0 sürümünde çözüldüğü vurgulanırken, hâlâ eski sürümleri kullanan düğüm operatörlerinin acilen güncelleme yapması istendi.
Güvensiz Depolar Üzerinden Cüzdan Etiketi Senkronizasyonu
Bitcoin-Dev e-posta listesinde bir teklif paylaşan Jakub, aynı çıktı tanımlayıcısını (descriptor) kullanan cüzdanlar (örneğin bir koordinatör cüzdan ile yalnızca izleme yetkisine sahip - watch-only - cüzdan) arasındaki etiket senkronizasyonunun standartlaştırılmasını gündeme getirdi. BIP329 standardı etiket dışa aktarma formatını belirlemiş olsa da, etiketlerin cüzdanlar arasında taşınması süreci hâlâ manuel bir dışa aktarma ve içe aktarma döngüsüne dayanıyor; bu durum da coin seçimi kararlarının ilişkili etiketler olmadan alınmasına neden oluyor.
Önerilen modele göre cüzdanlar, herhangi bir özel anahtara ihtiyaç duymadan, tanımlayıcının kanonik formundan türetilen bir depolama konumu ve şifreleme anahtarları oluşturuyor. Böylece aynı tanımlayıcılığı paylaşan cüzdanlar, ek bir yapılandırma gerektirmeden aynı verilere ulaşabiliyor. Değiştirilmemiş BIP329 kayıtları, kimlik doğrulamalı şifreleme zarfları içerisinde taşınıyor. Her kayıt yazıldığı zaman damgasıyla birlikte saklandığı için, iki cüzdan aynı etiketi değiştirdiğinde en güncel değişiklik geçerli sayılıyor. BIP329 standardında silme mekanizması bulunmadığından, bir etiketin kaldırılması diğer cüzdanlarda da silinmesini sağlayan bir işaretleyici ile kaydediliyor. Jakub referans taşıma protokolü olarak Nostr ağını önerse de, mimari yalnızca veri saklayıp döndürebilen herhangi bir servisle çalışabiliyor. Bitcoin Safe cüzdanı hâlihazırda bu yöntemi Nostr üzerinden uyguluyor.
Bitcoin Konsensüs Kuralları ve PQC Tartışmaları
Bültenin konsensüs değişiklikleri bölümünde, kuantum dirençli (PQC) çıktı türleri ve blok zinciri güvenliği üzerine yürütülen tartışmalar özetlendi:
* PQC Çıktı Türleri: Pieter Wuille'ün başlattığı tartışmalarda Antoine Riard, kuantum tehdidine karşı savunmasız harcama yollarının yalnızca o çıktı türü içinde devre dışı bırakılabildiği bir P2TRv2 çıktısının kabul edilebilir olduğunu belirtti. Kullanıcıların bu çıktıya fon alarak sürece rıza göstermesi, mevcut çıktıların genel olarak dondurulmasını engelliyor. Öte yandan Antoine Poinsot, CISA ile P2TRv2'nin zıt yönlerde hareket ettiğini, kuantum sonrası harcama yolu barındırmayan bir P2TRv2 benimsenmesinin gelecekteki güvenlik geçişlerini zayıflatabileceğini ifade etti. * SNARK Tabanlı İmza Birleştirme: Conduition, bir blok içerisindeki çok sayıda kuantum sonrası imzayı tek bir SNARK kanıtında sıkıştırmaya yönelik bir tasarım taslağı paylaştı. Tasarım, genel amaçlı sanal makineler yerine özel bir devre mimarisi ve WOTS+C içeren bir SPHINCS varyantını kullanıyor. * BIP54 Zaman Bükülmesi Düzeltmeleri: Pieter Wuille, BIP54 konsensüs temizleme teklifindeki iki zaman damgası kuralının (klasik zaman bükülmesi ve Murch–Zawy kuralları), belirli bir iş yüküne sahip zincirde kaç blok kazılabileceğini matematiksel olarak sınırlandığını kanıtladı. Lean dilinde makine denetiminden geçirilen bu kanıt, 966,270 yüksekliğindeki bir zincir için maksimum blok sınırını önemli ölçüde daraltarak üst sınır getirdi. * Kasa (Vault) Sözleşme Teklifleri Karşılaştırması: Lillian Wang; önceden imzalanmış işlemler, CTV, APO/APOAS, OP_TXHASH, CCV (BIP443) ve OP_CAT tabanlı Purrfect Vault yapılarını karşılaştıran kapsamlı bir rapor yayınladı.
