Lightning Network ‘çaresizce bozuk’ değil

'den bir gönderiUdi Wertheimer birkaç hafta önce kripto medyasında çarpıcı bir iddia ile manşetlere çıktı: Lightning Network, kuantum sonrası bir dünyada "çaresizce kırılmış" durumda ve geliştiricileri bunun için hiçbir şey yapamıyor. Manşet hızla yayıldı. Lightning üzerinde gerçek ödeme altyapısı kurmuş ya da bunu değerlendiren işletmeler için bu durumun sonuçları rahatsız ediciydi.

Dengeli bir yanıtı hak ediyor.

Wertheimer, saygın bir Bitcoin geliştiricisidir ve temel endişesi meşrudur: Kuantum bilgisayarlar, eğer yeterince güçlü hale gelirlerse, Bitcoin ve Lightning’in dayandığı kriptografik sistemler için uzun vadeli gerçek bir tehdit oluşturur. Bu kısım doğrudur ve Bitcoin geliştirme topluluğu zaten bunun üzerinde ciddi şekilde çalışmaktadır. Ancak Lightning’i "çaresizce kırılmış" olarak tanımlamak, ortaya çıkandan çok daha fazlasını gizlemektedir ve altyapı kararları alan işletmeler daha net bir tabloyu hak etmektedir.

Wertheimer'ın Doğru Tespitleri

Lightning kanalları, ödeme kanalı açılırken katılımcıların karşı taraflarıyla açık anahtarlarını paylaşmalarını gerektirir. Kriptografik olarak önemli kuantum bilgisayarların (CRQC'ler) var olduğu bir dünyada, bu açık anahtarlara erişen bir saldırgan teorik olarak Shor algoritmasını kullanarak ilgili özel anahtarı türetebilir ve buradan fonları çalabilir.

Bu, Lightning'in nasıl çalıştığının gerçek bir yapısal özelliğidir. Başlığın atladığı nokta

Tehdit, "Lightning bakiyeniz çalınabilir" ifadesinden çok daha spesifik ve çok daha şartlara bağlıdır.

Öncelikle, kanallar açıkken bir karma ile korunur. Fon işlemleri P2WSH (Witness-Script-Hash’e Ödeme), yani 2-of-2 çoklu imza düzeni içindeki ham genel anahtarlar, kanal açık kaldığı sürece zincir üzerinde gizlidir. Lightning ödemeleri aynı zamanda hash tabanlıdır ve HTLC'ler (Hash'lenmiş Zaman-Kilitli Sözleşmeler) aracılığıyla yönlendirilir; bu yöntem, açıkta kalan genel anahtarlara değil, hash ön görüntüsünün açıklanmasına dayanır. Zinciri pasif olarak izleyen kuantum saldırganı, ihtiyaç duyacağı anahtarları göremez.

Gerçekçi saldırı penceresi çok daha dardır: zorla kapatma. Bir kanal kapatıldığında ve bir taahhüt işlemi zincirde yayınlandığında, kilitleme betiği ilk kez herkese açık hale gelir; bu betik local_delayedpubkey dahil olmak üzere standart bir eliptik eğri açık anahtarı içerir. Tasarım gereği, işlemi yayınlayan düğüm fonlarını hemen talep edemez: genellikle 144 blok (yaklaşık 24 saat) süren bir CSV (CheckSequenceVerify) zaman kilidi önce sona ermelidir.

Kuantum sonrası bir senaryoda, mempool’u izleyen bir saldırgan, bir taahhüt işleminin onaylandığını görebilir, artık ortaya çıkan genel anahtarı çıkarabilir, özel anahtarı türetmek için Shor algoritmasını çalıştırabilir ve zaman kilidinin süresi dolmadan çıkışı harcama girişiminde bulunabilir. Zorla kapatma durumundaki HTLC çıktıları, bazıları yaklaşık altı ila yedi saat olan 40 blok kadar kısa ek süre pencereleri oluşturur.

Bu gerçek ve spesifik bir güvenlik açığıdır. Ancak, bu, her bir çalmak istedikleri çıktı için saldırganın mevcut en zor matematik problemlerinden birini, belirli bir zaman dilimi içinde aktif olarak çözmesi gereken zaman sınırlı bir yarıştır. Bu, her Lightning cüzdanından eşzamanlı olarak pasif ve sessiz bir şekilde kaynak çekilmesi değildir.

Kuantum donanımı gerçeklik kontrolü

İşte nadiren manşetlere yansıyan kısım: Kriptografik açıdan anlamlı kuantum bilgisayarlar bugün mevcut değildir ve bulunduğumuz nokta ile olması gereken nokta arasındaki fark büyüktür.

Bitcoin’in eliptik eğri kriptografisini kırmak, yaklaşık 78 basamaklı 256 bitlik bir anahtarda ayrık logaritmayı çözmeyi gerektirir; bu da milyonlarca stabil, hata düzeltmeli mantıksal kubitin uzun süreli çalıştırılması anlamına gelir. Shor algoritması kullanılarak gerçek kuantum donanımı üzerinde faktörize edilen en büyük sayı 21 (3 × 7) olup, 2012 yılında önemli ölçüde klasik sonrası işlem desteğiyle gerçekleştirilmiştir. En güncel rekor ise, hibrit kuantum-klasik yöntemle faktörize edilen 90 bitlik RSA sayısıdır; önemli bir ilerleme olmakla birlikte, Bitcoin’i kırmak için gerekenin yaklaşık 2⁸³ kat daha küçüktür.

Google'ın kuantum araştırmaları gerçektir ve takip edilmeye değerdir. Zaman çizelgeleri tarafından tartışıldı ciddi araştırmacılar, 2020'lerin sonları için iyimser tahminlerden 2030'lar veya sonrasına yönelik daha muhafazakar projeksiyonlara kadar değişmektedir. Bunların hiçbiri "bugün Lightning bakiyeniz risk altında" anlamına gelmemektedir.

Gelişim topluluğu hareketsiz kalmıyor

Wertheimer'in Lightning geliştiricilerinin "çaresiz" olduğu yönündeki çerçevesi, gerçekte yaşananlarla da uyumlu değil. Sadece Aralık ayından bu yana, Bitcoin geliştirme topluluğu beşten fazla ciddi post-kuantum önerisi üretti: SHRINCS (324 bayt durumsal hash tabanlı imzalar), SHRIMPS (birden fazla cihazda 2,5 KB imzalar, NIST standardının yaklaşık üçte biri boyutunda), BIP-360, Blockstream’in hash tabanlı imzalar makalesi ve tapscript'teki OP_SPHINCS, OP_XMSS ve STARK tabanlı opkodlar için öneriler.

Doğru çerçeveleme, Lightning'in bozuk ve düzeltilemez olduğu değildir. Lightning'in, Bitcoin'in tamamı gibi ve internetin kriptografik altyapısının çoğu gibi, kuantum direncine sahip olması için bir temel katman yükseltmesine ihtiyaç duyduğu ve bu çalışmanın devam etmekte olduğu gerçeğidir.

Bugün Lightning üzerinde inşa eden işletmeler için bunun anlamı

Lightning bugün gerçek işletmeler için gerçek ödeme hacimlerini işliyor; iGaming platformları, kripto borsaları, neobankalar ve ödeme hizmeti sağlayıcıları, parayı küresel çapta anlık kesinlikle ve sentin çok küçük bir kısmı karşılığında taşıyor. İşletmelerin sorması gereken soru, teorik bir gelecekteki tehdit temelinde Lightning'den vazgeçip vazgeçmemek değil, Lightning altyapısını kuran ekiplerin yaklaşmakta olan gelişmelere dikkat edip etmeyip ona göre plan yapıp yapmadığıdır.

Şu anda Bitcoin geliştirme topluluğunda gerçekleşen post-kuantum araştırmalarının hacmi ve kalitesine dayanarak, cevap evettir.

Lightning Network çaresizce kırılmış durumda değil. Tüm dijital finans sisteminin karşılaştığı aynı uzun vadeli kriptografik zorlukla karşı karşıya ve bunu çözmek için aktif olarak çalışan bir geliştirme topluluğuna sahip. Bu, manşetin anlattığından farklı bir hikaye.