WuBlockchain
Ethereum kurucu ortağı Vitalik Buterin, yapay zekâ destekli hacker'ların siber güvenliği fiilen çözülemez hale getireceği görüşüne katılmadığını söylüyor. Karşı argümanı şu: olgunlaşmış yapay zekâ araçları, avantajı sonuçta saldırganlardan çok savunuculara kaydırabilir.
Buterin, kişisel olarak da bahsi masaya yatırdı; net değerinin yaklaşık %90'ının kriptoda kaldığını belirtti. Tutmayı sürdürmenin, savunma güvenliğinin saldırgan yapay zekâ kapasitesinden daha hızlı ölçeklenmesine yapılan bir bahis olduğunu savundu.
Neden önemli
İyimser senaryo bir simetriye dayanıyor: yapay zekâ sistemleri karmaşık matematik teoremlerini ispatlayabiliyorsa, aynı kapasite yazılımın tanımlı güvenlik özelliklerini karşılayıp karşılamadığını biçimsel olarak doğrulamaya da yardımcı olabilir. Saldırganlardan önce hata bulmak için bitmek bilmeyen bir yarış yerine, geleceğin savunmaları veritabanları, ağlar, önbellekler ve tedarik zincirleri dahil tüm sistemleri doğrulayacak.
Bu, yapay zekâ güvenlik tartışmasını felaket söyleminden mühendisliğe taşıyor. Biçimsel doğrulama tarihsel olarak yaygın biçimde uygulanamayacak kadar pahalıydı; bu maliyeti düşüren yapay zekâ, kullanıcı fonlarını yöneten her protokol için dengeleri değiştirir.
Piyasa etkisi
Özellikle kripto için güvenlik sorusu varoluşsal. Borsalar, köprüler ve cüzdanlar birincil hedef olmaya devam ediyor; saldırgan yapay zekânın savunmaları alt ettiği bir dünyada zincir üstünde varlık tutmak sürdürülebilir olmaktan çıkar. Buterin'in konumu açık: ekosistemi kırmak yerine sertleştiren yapay zekâ sonucuna uzun pozisyon alıyor.
İzlenecek olan, yapay zekâ modelleri üzerine kurulu biçimsel doğrulama araçlarının Ethereum altyapısında üretim sistemlerine girmeye başlayıp başlamadığı ve tezi uygulanabilir bir savunmaya dönüştürüp dönüştürmediği.
Sıkça sorulan sorular
-
Vitalik Buterin neden yapay zekânın siber güvenliği kazanılamaz hale getireceğine katılmıyor?
Yapay zekâ karmaşık matematik teoremlerini ispatlayabiliyorsa, yazılımın tanımlı güvenlik özelliklerini karşılayıp karşılamadığını da biçimsel olarak doğrulayabileceğini, bunun da uzun vadeli avantajı saldırganlardan çok savunuculara kaydıracağını savunuyor.
-
Vitalik Buterin'in net değerinin ne kadarı kriptoda?
Buterin, net değerinin yaklaşık %90'ının kriptoda kaldığını ve tutmayı sürdürmeyi, yapay zekânın siber güvenlik savunmalarını alt etmek yerine sonuçta güçlendireceğine bir bahis olarak tanımladığını söyledi.
-
Bu bağlamda yazılımın biçimsel doğrulanması ne anlama geliyor?
Saldırganlardan daha hızlı hata bulmaya güvenmek yerine, sistemin tanımlı güvenlik özelliklerini karşıladığını yapay zekâ ile matematiksel olarak ispatlamak anlamına geliyor.
-
Buterin'e göre yapay zekâ destekli savunmalar hangi sistemleri doğrulayacak?
Saldırganlar istismar etmeden önce yalnızca tek tek hataları avlamak yerine, veritabanları, ağlar, önbellekler ve tedarik zincirleri dahil tüm sistemlerin doğrulanmasına işaret etti.
-
Yapay zekâ siber güvenlik tartışmasında kripto için ne tehlikede?
Borsalar, köprüler ve cüzdanlar hacker'lar için birincil hedef olmaya devam ediyor; dolayısıyla yapay zekânın savunuculardan mı yoksa saldırganlardan mı yana olduğu, varlıkların zincir üstünde ne kadar güvenli tutulabileceğini doğrudan etkiliyor.
WatcherGuru
Crypto News
TheBlock
CoinTelegraph
CoinDesk