Vitalik Buterin, yapay zekanın kripto dünyasının güvenliğini güçlendirebileceğini söylüyor. Geliştiriciler, yalnızca insan denetçilere güvenmek yerine, kodun doğru davrandığını matematiksel olarak kanıtlamak için giderek daha fazla yapay zeka kullanabilirler.
Ethereum’un kurucu ortağı Vitalik Buterin, yapay zekânın kripto sektöründe güvenlik açıklarını artıracağı yönündeki endişelere dikkat çeken yeni açıklamalarda bulundu. Ancak Buterin’e göre tablo sanıldığı kadar karanlık değil. Hatta tam tersine, yapay zekâ gelecekte blokzincir güvenliğini bugünkünden çok daha sağlam hale getirebilir.
Son dönemde kripto ekosisteminde peş peşe yaşanan büyük saldırılar, “AI destekli hacker’lar sektörü savunmasız mı bırakacak?” sorusunu yeniden gündeme taşırken, Buterin bu korkulara farklı bir perspektiften yaklaşıyor.
“Kodlar matematiksel olarak kanıtlanabilir”
Buterin’in dikkat çektiği temel konu formal verification yani resmi doğrulama sistemi oldu. Bu yöntem, bir yazılımın tam olarak amaçlandığı gibi çalıştığını matematiksel kanıtlarla doğrulamayı hedefliyor. Aslında bu teknoloji yeni değil. Yıllardır teorik olarak kullanılan yöntem, geliştiriciler açısından oldukça zahmetli olduğu için yaygınlaşamamıştı. Çünkü yazılımcıların hem kodu yazması hem de bu kodun matematiksel ispatlarını manuel olarak hazırlaması gerekiyordu. Ancak Buterin’e göre yapay zekâ oyunun kurallarını değiştiriyor.
Yeni dönemde geliştiriciler yalnızca kodu değil, o kodun doğrulama ispatlarını da doğrudan yapay zekâya yazdırabilecek. İnsanların görevi ise yalnızca ortaya çıkan sonucun gerçekten hedeflenen güvenlik koşullarını sağlayıp sağlamadığını kontrol etmek olacak.
Buterin, gelecekte yapay zekâ modellerinin mevcut yazılımlardaki açıkları otomatik olarak tespit edebilecek kadar güçlü hale geleceğini düşünüyor. Ancak ona göre bu durum kaçınılmaz olarak felaket anlamına gelmiyor. Çünkü uçtan uca doğrulanmış bir sistemde, yapay zekâ güvenlik açığı arasa bile karşısında matematiksel olarak doğrulanmış kod bulacak. Yani teorik olarak kritik açıkların önemli bölümü daha saldırı gerçekleşmeden ortadan kaldırılmış olacak.
Ethereum ekosisteminde çalışmalar başladı
Buterin, Ethereum altyapısında bu yaklaşımı hayata geçirmeye çalışan bazı projelere de dikkat çekti. Bunlardan biri olan Arklib, tamamen resmi doğrulamadan geçmiş bir STARK altyapısı geliştirmeye çalışıyor.
Bir diğer proje olan evm-asm ise düşük seviyeli RISC-V assembly diliyle yazılmış bir EVM geliştiriyor ve bunu insan tarafından okunabilir referans sistemlerle doğrulamayı hedefliyor.
Buterin’e göre şu anda bazı AI modelleri bu alanda ciddi şekilde işe yarıyor. Özellikle Anthropic tarafından geliştirilen Claude ile DeepSeek 4 Pro modellerinin “Lean proofs” üretme konusunda yeterli seviyeye ulaştığını söyledi. Ayrıca resmi doğrulama işlemleri için özel olarak optimize edilen açık kaynaklı Leanstral modelinin de yerel cihazlarda çalışabildiğini ve bazı testlerde çok daha büyük modelleri geride bıraktığını belirtti.
Buterin, resmi doğrulamanın sihirli bir çözüm olmadığını da özellikle vurguladı. Geçmişte doğrulanmış derleyicilerde ortaya çıkan hatalar, yalnızca kodun belirli bölümlerinin doğrulanması nedeniyle oluşan açıklar ve teknik olarak doğru görünen ancak geliştiricinin gerçek amacını yansıtmayan spesifikasyonlar bu sistemin zayıf noktaları arasında gösteriliyor.
Yine de Buterin’in genel görüşü net:
“Yapay zekâ, doğru kullanıldığında kripto sektörünü daha kırılgan değil, daha güvenli hale getirebilir.”
Kripto dünyası saldırılarla sarsılıyor
Buterin’in açıklamalarının zamanlaması da dikkat çekti. Çünkü paylaşımın yapıldığı günlerde kripto piyasası üst üste gelen dev saldırılarla çalkalanıyordu.
Cross-chain altyapısı sunan Echo Protocol’de yaşanan saldırıda hacker’lar 76 milyon dolardan fazla kripto varlığı ele geçirdi. Bundan birkaç gün önce ise THORChain saldırıya uğramış ve platform yaklaşık 10 milyon dolar kaybetmişti. Son olarak Verus-Ethereum Bridge’e yapılan saldırıda doğrulama kontrolündeki eksiklik nedeniyle 11.58 milyon dolarlık varlık çalındı.
Uzmanlara göre tam da bu tür küçük ama ölümcül kod hataları, AI destekli resmi doğrulama sistemleri sayesinde gelecekte saldırı gerçekleşmeden tespit edilebilir.
