Bitcoin Riski, OpenAI Atılımına Rağmen Kanıtlanmadı

OpenAI, yapay zekâ sisteminin belirli mantık problemlerini çözmenin zorluğuna ilişkin uzun süredir kabul gören Üstel Zaman Hipotezi'ni çürüttüğünü söylüyor. 26 Ekim tarihli açıklama, araştırmacıları bağımsız bir inceleme düzenlemeye yöneltirken açıklanan sonuç Bitcoin'e yönelik pratik bir saldırı ortaya koymuyor.

17 Ekim tarihli ve 25 Ekim'de revize edilen makale, sabit genişlikli Boolean formüllerindeki tatmin edici atamaları alt üstel zamanda ve polinom uzay kullanarak tam olarak sayan deterministik bir algoritma öne sürüyor. Problem, bilgisayarın mantık kurallarını sağlayan doğru veya yanlış atamaları aradığı 3-SAT'ı kapsıyor. OpenAI, çalışmanın Lean ile doğrulandığını söylüyor, ancak formelleştirmenin kapsam notu makaledeki en güçlü iddiadan daha zayıf bir alt üstel sınırı kapsıyor.

Neden önemli

Alt üstel bir sonuç, günümüz makinelerinde pratik bir algoritmayla aynı şey değil. Bu sonuç, polinom zamanda çalışan bir algoritmanın varlığını da ortaya koymuyor ve P=NP sorusunu çözmüyor. İncelemeyi düzenleyen araştırmacılar, çalışmalarının sertifika olarak değerlendirilmemesi gerektiğini belirtiyor ve inceleme ilerledikçe bulgularını yayımlamayı planlıyor.

Bitcoin açısından önem, iki güvenlik sorusunun birbirinden ayrılmasına bağlı. Madencilik, hedefin altında kalan bir blok başlığı hash'i bulmayı gerektirirken harcama yetkilendirmesi secp256k1 eğrisi üzerindeki ECDSA ve Schnorr imzalarına dayanıyor. Bu sistemler yalnızca SAT'ın en kötü durumdaki zorluğuna değil, eliptik eğri ayrık logaritma direncine ve hash işlevlerinin güvenliğine dayanıyor.

Piyasa etkisi

İddia tek başına bir saldırganın Bitcoin özel anahtarlarını ele geçirebileceğini, imza sahteleyebileceğini veya pratik bir madencilik avantajı sağlayabileceğini göstermiyor. Somut bir saldırı için uygun bir kodlama, bir uygulama ve maliyet karşılaştırması gerekir. Bir SAT formülündeki değişken sayısı da doğrudan bir kriptografik anahtarın veya hash bit uzunluğunun yerine konamaz.

Bitcoin'in zorluk ayarı her 2.016 blokta bir madencilik hedefini yeniden hesaplıyor, ancak bu mekanizma imza yetkilendirmesinden çok blok üretimini yönetiyor. Piyasalar açısından mevcut sinyal, Bitcoin'in güvenlik varsayımlarında kanıtlanmış bir değişiklik değil, sonucun incelemeye tabi tutulmaya devam etmesi.