Buterin: Yapay zeka destekli doğrulama kripto ağlarını koruyabilir
Vitalik Buterin, yapay zekâ destekli formal doğrulama'nın akıllı sözleşmeleri ve kripto protokollerini AI kaynaklı açıklar karşısında daha güvenli kılabileceğini savundu.
Ethereum kurucusu Vitalik Buterin, matematiksel olarak doğrulanmış yazılımların yapay zekâ destekli saldırılara karşı Ethereum ve genel olarak kripto altyapılarını korumada giderek daha önemli hale geldiğini yazdı.
Buterin, blog yazısında formal doğrulama olarak adlandırılan yöntemin blok zincir ağları, akıllı sözleşmeler ve kriptografik sistemlerdeki yazılım hatalarını tespit edip düzeltmede yararlı olduğunu belirtti. Bu yaklaşım, yazılımın doğru davrandığını matematiksel olarak sınamaya dayanıyor ve kökenleri 1950–1960’lara uzanıyor.
Yazıda, son yapay zekâ gelişmelerinin formal doğrulamayı yazılım mühendisliği ve güvenlik araştırmaları için daha uygulanabilir hale getirdiğine dikkat çekildi. Buterin, doğru uygulandığında bunun hem son derece verimli kod üretebileceğini hem de geleneksel programlamadan daha güvenli olabileceğini söyledi.
Buterin ayrıca uçtan uca formal doğrulama yapılırsa yalnızca protokolün teoride güvenli olduğunun değil, kullanıcının çalıştırdığı belirli kod parçasının pratikte de güvenli olduğunun kanıtlanmış olacağını vurguladı. Bu durumun, kullanıcının tüm kodu baştan sona incelemesine gerek kalmadan güvenin artmasına yardımcı olduğunu belirtti.
Buterin’in tespiti, gelişmiş yapay zekâ modellerinin yazılım açıklarını keşfetme ve istismar etme yeteneklerinin hızla arttığı uyarılarıyla çakışıyor. Bazı testlerde ileri düzey modellerin otonom şekilde çok sayıda güvenlik açığını tespit ettiği ve hatta donanım korumasına yönelik istismarlar geliştirilmesine katkı sağladığı bildirildi.
Buterin, bu tehdit ortamında formal doğrulamanın yalnızca güvenliği artırmakla kalmayıp aynı zamanda güvenlikten ödün vermeden verimli kod üretme potansiyeline de sahip olduğunu belirterek, yöntemin kripto ekosistemleri için giderek daha elzem hâle geldiğini savundu.