Vitalik Buterin, yapay zekânın kripto sistemlerinin nasıl saldırıya uğradığını ve savunulduğunu yeniden şekillendirebileceğini ve altyapıyı matematiksel olarak doğrulanmış yazılıma doğru itebileceğini söyledi.
Buterin’in Makalesi Yapay Zekâ Tehdidini Özetliyor
Ethereum kurucu ortağı, giderek güçlenen yapay zekâ modellerinin karmaşık yazılımlardaki güvenlik açıklarını keşfetmeyi ve istismar etmeyi çok daha kolaylaştıracağını savundu.
Buterin, yapay zekâ araçları açık keşfini otomatikleştirmeye başladığında kripto altyapısındaki hataların daha da endişe verici hale geldiğini, bu kaygının güvenlik araştırma topluluğunda yaygın biçimde paylaşıldığını belirtti.
Öncelikli olarak daha güçlü savunmalara ihtiyaç duyan alanlar olarak Ethereum (ETH) altyapısını, mutabakat mekanizmalarını ve post‑kuantum kriptografiyi işaret etti.
Geleneksel denetimlere güvenmek yerine, geliştiricilerin, kodun belirlenmiş koşullar altında amaçlandığı gibi davrandığını matematiksel olarak kanıtlayan bir yaklaşım olan biçimsel doğrulamayı benimsemeleri gerektiğini söyledi.
Ayrıca Oku: Crypto Funds Bleed $1.07B As Iran Tensions End Six-Week Inflow Run
Savunma Olarak Biçimsel Doğrulama
"Yapay zekâ sana doğruluk pahasına büyük miktarda kod yazma imkânı veriyor, biçimsel doğrulama ise doğruluğu sana geri veriyor," diye yazdı Buterin.
Yapay zekâ tarafından üretilen yazılımlara artık tam olarak güvenilemeyeceğini savunan araştırmacılara karşı çıkarak, bunun yerine daha iyimser bir tablo çizdi.
Buterin, yapay zekâ destekli kodlamanın doğrulama araçlarıyla birleştirilmesinin, nihayetinde insanların tek başına yazdığından daha güçlü yazılımlar ortaya çıkarabileceğine inanıyor.
Ayrıca kriptografik altyapıyı ve Ethereum Sanal Makinesi yazılımını güvence altına almaya odaklanan Arklib ve evm-asm gibi aktif projelere de dikkat çekti.
Ancak makale, biçimsel doğrulamanın her derde deva olmadığı konusunda da uyarıda bulundu. Geliştiriciler yanlış varsayımları doğruladığında ya da istismarlar doğrulanan kod yolunun dışında kaldığında, matematiksel olarak kanıtlanmış sistemler bile başarısız olabilir.
Buterin’in Güvenlik Geçmişi
Buterin, hassas dijital altyapının, izole edilmiş ve yoğun biçimde doğrulanmış daha küçük “güvenli çekirdek” sistemlerde yoğunlaştığı, buna karşılık daha az kritik uygulamaların sınırlı izinlerle çalıştığı bir gelecek tasarladı.
Ethereum kurucu ortağı bu yıl yapay zekâ güvenliği temasına defalarca geri döndü. Şubat ayında, yapay zekâdan kaynaklanan verimlilik artışının hız ve güvenlik arasında bölünmesini önermiş, Mayıs ayında ise yüksek güvenceli geliştirme için Lean gibi biçimsel doğrulama araçlarını desteklemişti. Son gönderisi, bu argümanları daha geniş bir iddiaya taşıyarak, matematiksel ispatı, blokzinciri ve geleneksel internet sistemleri genelinde yapay zekâ destekli saldırı araçlarına verilebilecek en inandırıcı yanıt olarak çerçeveliyor.
Sıradaki Haber: Iran Settles Hormuz Shipping Cover In Bitcoin, Eyes $10B Haul