Hoskinson: Buterin'in yapay zeka uyarısı internetin kuantum savunmalarını geciktirebilir

Cardano'nun kurucusu Charles Hoskinson, Ethereum'un kurucu ortağı Vitalik Buterin'i, yapay zekanın matematikte çığır açan keşifler yapabileceğine ilişkin spekülatif uyarılarıyla kuantuma dayanıklı kriptografiyi zayıflatmakla suçladı. Hoskinson, 9 Ekim tarihli bir paylaşımında Buterin'in kafes tabanlı kriptografiye yönelik şüpheciliğine karşı çıktı. Hoskinson, onlarca yıllık güvenlik araştırmasının teknolojinin bilinen zayıflıklarını zaten hesaba kattığını savundu. Hoskinson, geliştiricileri yerleşik yaklaşımları terk etmeye teşvik etmenin internet altyapısında halihazırda devreye alınan korumaları yavaşlatabileceği ve sistemleri gelecekteki kuantum saldırılarına açık bırakabileceği uyarısında bulundu.

Buterin, yapay zeka destekli matematiksel keşiflerin kuantum bilgisayarlara karşı koymak üzere tasarlanmış kriptografiyi zayıflatabileceği uyarısını yaptı. Buterin, Ethereum'un uzun vadeli “yalın” yol haritasının kafes tabanlı tasarımlardan kaçınarak hash tabanlı imza ve kanıtlara yöneldiğini söyledi. Hoskinson bu gerekçeyi reddetti ve Buterin'i, yaklaşımı yeniden değerlendiremeyecek kadar Ethereum'un mevcut araştırma yönelimine bağlı olmakla suçladı. Anlaşmazlık, Bitcoin ve Ethereum'un kullandığı eliptik eğri imzalarına alternatif kuantum sonrası çözümlerle ilgili.

Buterin'in endişesi kısmen, genel sayı cismi eleği (general number field sieve) gibi matematiksel ilerlemelerin RSA şifrelemesine yönelik saldırı tekniklerini önemli ölçüde geliştirdiği tam sayı çarpanlarına ayırma problemine dayanıyor. Buterin, yapay zekanın benzer matematiksel ilerlemeleri onlarca yıldan çok daha kısa bir süreye sığdırarak kafes tabanlı sistemlere karşı beklenmedik kestirme yollar ortaya çıkarabileceğini öne sürdü. Hoskinson, kafeslere karşı öne sürülen savı, genel sayı cismi eleğinin geçmişine dayalı matematiksel yapı hakkındaki bir tahmin olarak nitelendirdi. Hoskinson, sayı cismi eleğinin aritmetik ilişkiler ve düzgün sayıları içeren tekniklerden doğduğunu söyledi. Hoskinson, modern kuantum sonrası standartların temelini oluşturan kafes problemlerine karşı benzer bir mekanizmanın gösterilmediğini belirtti.

Hoskinson, kafes indirgeme ve eleme algoritmalarındaki ilerlemeler de dahil 40 yılı aşkın araştırmaya atıfta bulundu. Hoskinson, bu ilerlemelerin saldırıları kademeli olarak geliştirdiğini ancak doğru şekilde yapılandırılmış sistemleri alt edebilecek genel bir atılım sağlamadığını söyledi. ABD Ulusal Standartlar ve Teknoloji Enstitüsü, 2024'te anahtar kapsülleme için ML-KEM'i, dijital imzalar içinse ML-DSA'yı standartlaştırdı. Hoskinson, standartların güvenlik parametrelerinin bilinen saldırıları hesaba kattığını söyledi.

Hoskinson ayrıca Buterin'in, açık anahtarlı şifrelemeyi yapay zeka kaynaklı matematiksel gelişmelere karşı korumak için anahtar boyutlarının on katına çıkarılabileceğine ilişkin örnek niteliğindeki önerisini de reddetti. Hoskinson bu çarpanı “sayı mistisizmi” olarak nitelendirdi ve güvenlik parametrelerinin saldırı algoritmalarındaki ölçülebilir gelişmelere göre ayarlanması gerektiğini savundu. Saldırı verimliliğindeki bir değişiklik, parametrelerin makul ölçüde artırılmasını gerektirebilir. Temel bir matematiksel atılım ise algoritmanın tamamen değiştirilmesini gerektirebilir.

Hoskinson, hash tabanlı kriptografinin öngörülmeyen matematiksel keşiflere karşı daha fazla koruma sağladığı varsayımına karşı çıktı. Hoskinson, hash fonksiyonlarının istismar edilebilir yapılar içerebildiğini göstermek için MD5 ve SHA-1'in geçmişteki zayıflıklarına atıfta bulundu. Ancak bu başarısızlıklar, SHA-256 gibi modern yapıların güvenlik açıkları olduğunu göstermiyor. Hoskinson ayrıca sıfır bilgi kanıtlarında verimli kullanım için tasarlanan ve Ethereum'un uzun vadeli kriptografi araştırmaları açısından önem taşıyan Poseidon ve Poseidon2 hash fonksiyonlarını eleştirdi. Ethereum Vakfı, Gröbner bazları ve diğer kriptanaliz yöntemlerini kullanan incelemeler de dahil Poseidon'un cebirsel saldırılara karşı direncine yönelik araştırmaları finanse etti. Hoskinson, bu tasarımların da yapay zeka destekli matematiksel keşifler için potansiyel hedefler oluşturduğunu savundu ve kafes tabanlı sistemlerin neden daha fazla şüpheyle karşılanması gerektiğini sorguladı.

Hash tabanlı imzalar, kuantuma dayanıklı işlem yetkilendirmesi sağlayabilir. Kafes teknikleri, şifreleme için anahtar kapsüllemeyi ve diğer gelişmiş kriptografik yapıları da destekliyor. Bu nedenle kafes araştırmalarından vazgeçilmesi, geliştiricilerin gizlilik sistemleri, güvenli iletişim ve bu yetenekleri gerektiren diğer uygulamalara yönelik seçeneklerini kısıtlayabilir.