Vitalik Buterin, yapay zekânın siber güvenliği çıkmaza sürükleyeceği görüşünü reddetti. Ethereum’da AI ve formel doğrulama çalışmaları hız kazanıyor.
Ethereum kurucu ortağı Vitalik Buterin, yapay zekânın giderek daha güçlü siber saldırılar gerçekleştirmesinin siber güvenliği “kazanılamaz” bir mücadeleye dönüştüreceği görüşüne karşı çıktı. Buterin’e göre gelişmiş yapay zekâ sistemleri, saldırganların yanı sıra savunma tarafında da kullanılabilir ve özellikle formel doğrulama teknolojileri güvenliği güçlendirebilir.
Buterin, 17 Eylül’de yaptığı paylaşımda, “Yapay zekâ ile hacking gelişiyor, dolayısıyla siber güvenlik sona erdi.” şeklindeki yaklaşımı doğru bulmadığını belirtti. Kripto varlıklarını korumaya devam eden kişilerin aslında güvenli dijital sistemlerin gelişmiş saldırılara karşı ayakta kalabileceğine inandığını ifade eden Buterin, kendi servetinin yaklaşık yüzde 90’ının hâlâ kriptoda olduğunu da söyledi.
Yapay zekâ savunmacılara avantaj sağlayabilir
Buterin’in yaklaşımının merkezinde formel doğrulama bulunuyor. Bu yöntem, bir yazılımın önceden belirlenmiş güvenlik ve davranış kurallarına uyup uymadığını matematiksel olarak kanıtlamayı amaçlıyor.
Geleneksel testlerde yazılımın belirli koşullardaki davranışı incelenirken, formel doğrulama uygun şekilde tanımlanmış bir spesifikasyon kapsamında matematiksel güvence sağlayabiliyor. Buterin, yeterince gelişmiş yapay zekânın karmaşık yazılımlar için bu tür kanıtları üretmeye yardımcı olabileceğini düşünüyor.
Ancak yöntemin önemli bir sınırı bulunuyor: Bir yazılımın yalnızca tanımlanan kurallara uyduğu kanıtlanabiliyor. Güvenlik spesifikasyonu eksik veya yanlış hazırlanırsa sistemdeki bazı saldırı yolları doğrulamanın dışında kalabiliyor.
Buterin de bu noktaya dikkat çekerek güvenliği yalnızca birkaç kritik modülle sınırlandırmanın yeterli olmayabileceğini belirtiyor. Protokoller, sunucular, veritabanları, ağ katmanı ve önbellekler gibi destekleyici bileşenlerin de kapsamlı şekilde incelenmesi gerektiğini savunuyor.
Ethereum’da yapay zekâ ile güvenlik testleri başladı
Ethereum ekosisteminde yapay zekânın güvenlik çalışmalarında kullanılması şimdiden başladı. Ethereum Foundation’ın Protokol Güvenliği ekibi, Temmuz ayında koordineli yapay zekâ ajanlarının Ethereum altyapısında gerçek güvenlik açıkları tespit ettiğini açıkladı. Bunlardan biri, Rust tabanlı libp2p Gossipsub ağ bileşeninde uzaktan tetiklenebilen bir çökme açığıydı. CVE-2026-34219 olarak kayda geçen sorun, kötü amaçlı hazırlanmış bir PRUNE mesajıyla aritmetik taşmaya neden olabiliyordu. Açık, 0.49.4 sürümüyle giderildi.
Bununla birlikte Ethereum araştırmacıları, yapay zekânın ürettiği her güvenlik raporunun doğru kabul edilemeyeceğini vurguluyor. Ajanlar zaman zaman erişilemeyen kod yollarını, yalnızca hata ayıklama ortamında ortaya çıkan sorunları veya gerçekte hedeflenenden daha zayıf özellikleri kanıtlayan sonuçları güvenlik açığı olarak sunabiliyor.
Bu nedenle insan incelemesi ve bağımsız doğrulama hâlâ kritik önem taşıyor.
Formel doğrulama Ethereum yol haritasında
Ethereum Foundation, 7 Eylül’de yayımladığı protokol öncelikleri güncellemesinde formel doğrulamayı uzun vadeli araştırmaların ortak araçlarından biri olarak konumlandırdı. Çalışmalar; gizlilik, zkEVM, durum yönetimi ve kuantum sonrası güvenlik gibi alanları kapsıyor.
Foundation ayrıca yapay zekâ ile makine tarafından kontrol edilen matematiksel kanıtları birleştiren projeler üzerinde çalışıyor. Bu çalışmalar, yapay zekânın ürettiği sonuçların sabit matematiksel kurallar üzerinden doğrulanmasını hedefliyor.
Öte yandan yapay zekânın saldırı tarafındaki kapasitesi de artıyor. Anthropic’in 2026 tarihli araştırmaları, yapay zekânın açık araştırması, exploit geliştirme ve çok hedefli siber operasyonların farklı aşamalarında kullanıldığını ortaya koyuyor.
Dolayısıyla mevcut tablo, yapay zekânın siber güvenliği otomatik olarak çözeceğini değil, hem saldırganların hem de savunmacıların kapasitesini artırdığını gösteriyor. Buterin’in yaklaşımı ise uzun vadede matematiksel doğrulama ve yapay zekâ destekli araçların savunma tarafına yapısal bir avantaj sağlayabileceği fikrine dayanıyor.
