Vitalik Buterin, yapay zekânın kripto sistemlerinin nasıl saldırıya uğrayıp savunulacağını 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 Anlatıyor
Ethereum’un kurucu ortağı, giderek güçlenen yapay zekâ modellerinin karmaşık yazılımlardaki açıkları keşfetmeyi ve istismar etmeyi çok daha kolaylaştıracağını öne sürdü.
Buterin, yapay zekâ araçları zafiyet keşfini otomatikleştirmeye başladığında kripto altyapısındaki hataların daha da endişe verici hâle geleceğini belirtti; bu kaygı güvenlik araştırma topluluğu genelinde de yankı buluyor.
Öncelikli olarak Ethereum (ETH) altyapısını, mutabakat mekanizmalarını ve post-kuantum kriptografiyi daha güçlü savunmalar gerektiren hedefler olarak öne çıkardı.
Geleneksel denetimlere bel bağlamak yerine, Buterin geliştiricilerin belirli koşullar altında kodun amaçlandığı gibi davrandığını matematiksel olarak kanıtlayan bir yaklaşım olan resmî (formal) 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 Resmî Doğrulama
“Yapay zekâ size doğruluk pahasına büyük miktarda kod yazma yeteneği verir, resmî doğrulama ise doğruluğu size geri kazandırır,” diye yazdı Buterin.
Yapay zekâ tarafından üretilen yazılımların artık tam olarak güvenilemeyecek kadar karmaşık hâle geldiğini savunan araştırmacılara karşı çıkarak, bunun yerine daha iyimser bir tablo sundu.
Buterin, yapay zekâ destekli kodlamanın doğrulama araçlarıyla eşleştirilmesinin, sonunda insanların tek başına yazdığından daha güçlü yazılım üretebileceğ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.
Makale, yine de resmî doğrulamanın her derde deva olmadığı konusunda uyarıyor. Matematiksel olarak kanıtlanmış sistemler bile, geliştiriciler yanlış varsayımları doğruladığında veya istismarlar doğrulanan kod yolunun dışında kaldığında 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” sistemlerinde toplandığı; daha az kritik uygulamaların ise sınırlı izinlerle çalıştığı bir gelecek tasvir etti.
Ethereum’un kurucu ortağı bu yıl yapay zekâ güvenliği temasına defalarca geri döndü. Şubat ayında, yapay zekâ verimlilik kazanımlarının hız ve güvenlik arasında bölünmesini önerdi ve Mayıs ayında yüksek güvenceli geliştirme için Lean gibi resmî doğrulama araçlarını destekledi. Son yazısı, bu argümanları daha geniş bir iddiaya taşıyarak matematiksel ispatı, blok zinciri ve geleneksel internet sistemlerinde yapay zekâ destekli saldırı araçlarına karşı en inandırıcı yanıt olarak çerçeveliyor.
Sıradaki Haber: Iran Settles Hormuz Shipping Cover In Bitcoin, Eyes $10B Haul