OpenAI'ın 722 Matematik Makalesi Bitcoin (BTC) İmza Güvenliğini Tartışmaya Açtı

OpenAI'ın 722 Matematik Makalesi Kriptografi Tartışması Başlattı

Yapay zekanın matematiksel akıl yürütmedeki hızlı ilerleyişi dijital varlık camiasını telaşlandırdı ve alarmın odağı, manşetlerin ima ettiğinden çok daha dar bir alan: eliptik eğri ayrık logaritma problemi, yani Bitcoin (BTC) ve Ethereum imzalarını güvence altına tutan o meşhum matematik bilmece. Sektör araştırmacıları son günlerde, bu problemin çözülmesi ihtimaline karşı acil durum kurtarma önerilerini birbirine aktarıyor. Kıvılcımı OpenAI'ın yayımladığı, bir zamanlar erişilmez sayılan problemlere dokunan yapay zeka destekli matematik makaleleri attı. Şirketin ürettiği malzeme 722 yapay zeka makalesinden oluşuyor ve bunların içinde, modern açık anahtarlı kriptografinin üzerine kurulduğu teorinin iki temel direği olan Riemann hipotezi ile P=NP problemine değinen çalışmalar da var. Yalnız şu iki nokta net: Ne söz konusu problemler tam anlamıyla çözüldü, ne de OpenAI malzemesi çalışan bir saldırı anlamına geliyor. 722 makaleden yalnızca 162'si, matematikçilerin kanıtları satır satır denetlemek için kullandığı Lean adlı biçimsel doğrulama aracından geçti; araştırmacılar sonuçların ne ölçüde tekrarlanabilir olduğu konusunda da anlaşamıyor. Endişe bu yüzden anlık değil, yapısal. Blockchain mimarisinde hem Bitcoin (BTC) hem de Ethereum eliptik eğri dijital imzalarını kullanıyor ve sahiplik modeli, açık anahtardan özel anahtarın türetilmesinin hesaplama açısından olanaksız olduğu varsayımına yaslanıyor. Yeterli işlem gücüyle bu varsayımı yıkan bir saldırgan, ifşa olmuş açık anahtarlardan özel anahtarları türetip borsa saklamasından kendi kendine saklanan donanım cüzdanı'na kadar her katmanda meşru sahip imzasıyla işlem çıkarabilir. Bu varsayıma karşı yıllardır adı anılan tehdit kuantum bilişimdi. Yapay zeka ise riskin şeklini değiştiriyor, çünkü bir modelin bulacağı verimli bir algoritma sıradan donanım üzerinde koşar; kuantum makinesi gerekmez. Şimdilik tehlike hipotez kalıyor: ECDLP için bağımsız olarak doğrulanmış hiçbir algoritma yok ve topluluktaki gerginlik kanıtlanmış bir kırılmadan değil, gidişatın yönünden kaynaklanıyor. Bitcoin fiyatı ise tartışmaya bugüne kadar tepki bile vermedi.

Hash Tabanlı Yedek Anahtarlar ve Bir Kill Switch

Kriptografi katmanının kırılması bankaları değil blockchain ağlarını çok daha sert vurur ve şimdi yürüyen tartışma tam da bu asimetriden besleniyor. Merkezi bir finans kurumu müşteri kimliğini yeniden doğrulayıp kimlik doğrulama sistemlerini değiştirebilir; bir zincirde ise her hesabın sahipliğini birden doğrulayabilecek bir yönetici yoktur. Özel anahtarları tehlikeye giren kullanıcıların nasıl korunacağı ve meşru sahipliğin nasıl geri verileceği, açık kalan asıl soru budur. Kamplar ikiye ayrıldı. Ethereum araştırmacısı Justin Drake, varlıkları proaktif olarak açık anahtar maruziyetini en aza indiren adreslere taşımayı öneriyor; kazadan sonra değil, kazadan önce yapılan bir tahliye bu. Ethereum ortak kurucusu Vitalik Buterin geri adım attı ve aceleyle yapılan varlık göçünün kendisinin kullanıcı hataları ürettiği görüşünü savundu. Dragonfly'nin yönetici ortağı Hashib Qureshi de tahliye tezini savaşmak yerine saklanmak olmakla suçladı ve daha geniş bir tasarım masaya koydu: protokol düzeyinde acil kriptografik kurtarma modu. Planına göre kullanıcılar, mevcut adreslerine önceden hash tabanlı bir yedek anahtar kaydedecek. Hash tabanlı kriptografi, büyük zincirlerin kullandığı eliptik eğri şemasından daha yalın ve yapay zeka çıkarımına dirençli; çünkü hiçbir matematiksel örüntüye dayanmaz, kırılması için neredeyse sonsuz ölçekte kaba kuvvet denemesi gerekir. Basit yapı, yüksek savunma değeri. Eliptik eğri imzalarında ciddi bir zafiyet doğrulanırsa validatorlar konsensüsle bir kill switch devreye alacak, yapay zekanın çözdüğü imzalar duracak ve her cüzdan hash tabanlı korumaya sığınarak zaman kazanacak. Şema yavaş ve pahalı; savunucuları onu bir alternatif değil, acil durum freni olarak sunuyor. Yedek anahtar kaydetmemiş kullanıcılar için ayrı bir yol var: tohum ifadelerinin sıfır bilgi kanıtı, eski varlıkların sahipliğini kanıtlayıp yeni bir adres verecek. Tartışılan üçüncü rote ise iş kanıtı (proof-of-work) bilmecelerinin zorluğunu yükseltiyor; varlık geri alma için gereken hesap, varlığın büyüklüğüyle ve geçen sürenin uzunluğuyla birlikte ölçeklenecek.

Kimsenin Kapatamadığı Nokta

Bizim okumamız şu: alarm bir kırılma olarak değil, bir tartışma olarak işlem görüyor. Hikayenin yük taşıyan rakamı Lean doğrulama sayısı, 722'de 162. Ortaya konan tek objektif ölçü bu ve yeni matematiğin çoğunun, kriptografinin talep edeceği kanıt standardına henüz ulaşmadığını söylüyor. Argüman trafiği hiçbir şeyi kapatmıyor. Drake'in önleyici göçü bireysel güvenlik sorusuna, Qureshi'nin protokol düzeyindeki kurtarma şeması zincir genelinde kurtarma sorusuna cevap veriyor; Buterin'in itirazı birincisine uyar, ikincisine uymaz. Konuyu kapatacak tek şey var: ECDLP için verimli ve bağımsız olarak doğrulanmış bir algoritma. Ortada böyle bir algoritma gösterilmedikçe, anlaşmazlığın kendisi hikaye olarak kalmaya devam ediyor.