Buterin, AI Resmi Doğrulamanın Kripto Güvenliğini Artırdığını Söyledi

Buterin, AI ve kod güvenliği üzerine yeni bir yazı yayınladı

Ethereum'un kurucu ortağı Vitalik Buterin, 18 Mayıs 2026'da vitalik.eth.limo adresinde bir blog yazısı yayınladı. Yazısında, AI destekli resmi doğrulamanın siber güvenliğin en önemli araçlarından biri haline geleceğini savunuyor. Resmi doğrulama, yazılımın tam olarak istenildiği gibi davrandığını doğrulamak için matematiksel kanıtlar kullanan bir yöntemdir. Buterin, AI ile resmi doğrulamanın birleştirilmesinin geliştiricilerin zafiyetleri, saldırganlardan önce bulmalarına yardımcı olacağını belirtiyor.

Claude Mythos, AI gücünün örneği olarak adlandırıldı

Buterin, Anthropic tarafından geliştirilen bir AI modeli olan Claude Mythos'u, giderek güçlenen AI sistemlerinin bir örneği olarak gösteriyor. Bu tür sistemlerin zafiyet keşfini ve istismarını hızlandırabileceğini savunuyor. Claude Mythos gerçek bir modeldir. Anthropic, Mart 2026'daki kazara bir veri sızıntısından sonra varlığını doğruladı. Modelin bir önizlemesi, Nisan 2026'da seçilen ortaklara sunuldu.

Buterin, resmi doğrulamanın sınırlarını sıralıyor

Buterin, resmi doğrulamanın tüm riski ortadan kaldırmadığını vurguluyor. Kanıt sistemleri, kritik varsayımları gözden kaçırabilir veya donanım zafiyetlerini ve bitişik saldırı yüzeylerini kapsayamayabilir. Ayrıca, AI'nın büyük hacimlerde yazılım üretme engelini azalttığını da uyarıyor. Bu, güvensiz veya kötü anlaşılan kodun üretim sistemlerine girmesi riskini artırıyor. Bu sınırlara rağmen, Buterin bu yaklaşımın geleneksel yazılım geliştirmeye kıyasla felaket riskini azalttığını savunuyor.

Arklib projesi, doğrulanmış STARK uygulamasını hedefliyor

Buterin, Arklib'i Ethereum'a uygulanan resmi yöntemlerin somut bir örneği olarak vurguluyor. Arklib, tamamen resmi olarak doğrulanmış bir STARK kanıt sistemi uygulaması inşa etmeyi amaçlayan açık kaynaklı bir projedir. STARK, Ethereum'un ölçeklenebilir altyapısında kullanılan bir tür kriptografik kanıttır. Ethereum Vakfı, Arklib'i FRI protokolünün Lean kanıt asistanında formelleştirilmesi için Nethermind'i finanse etti. Buterin ayrıca, doğrudan RISC-V montaj dilinde yazılmış Ethereum Sanal Makinesi'nin resmi olarak doğrulanmış uygulamalarına da atıfta bulunuyor.