Ethereum (ETH) Ortağı Vitalik Buterin AI'ın Siber Güvenlik Kıyameti Çıkarımına Karşı Çıkıyor, Servetinin Yüzde 90'ı Kriptoda

Kıyamet Değil, Formel Doğrulama

Ethereum (ETH) kurucu ortağı Vitalik Buterin, yetenekli yapay zekanın (AI) siber güvenliği kazanılamaz hale getireceği yönünde giderek yaygınlaşan görüşe karşı çıktı. 17 Eylül tarihli X paylaşımında tam tersinin daha olası olduğunu savunan Buterin, sözlerini şöyle kurdu: “AI'lı hacking'in siber güvenliği mahkum ettiği giderek yaygın bir görüş. Katılmıyorum.” Ona göre yapay zeka savunuculara, baştan sömürülmesi çok daha zor yazılımlar üretebilmeleri için gereken araçları verebilir. Argümanın çekirdeği formel doğrulama — yani bir programın, bir akıllı sözleşmenin dahi, belirli özellikleri karşıladığının matematiksel olarak kanıtlanması. Buterin, matematiğin meşhur iki zor problemini işaret ederek “AI, Navier-Stokes'u ve FLT'yi kanıtlayabiliyorsa, 'bu program güvenlidir' ifadesini matematiksel bir teorem olarak kanıtlayabilir” dedi. Tanım sorununu da sahiplendi: Signal gibi bir mesajlaşma uygulaması için “güvenli”nin ne anlama geldiğini sabitlemek bile, sahte ve tekrar oynatılan mesajlardan zararlı derleyicilere ve donanım sızıntılarına uzanan saldırı yüzeyleri nedeniyle binlerce satırlık bir şartnameye taşabilir. Buterin bu tezi kişisel maruziyetle de bağladı: servetinin yaklaşık yüzde 90'ının hâlâ kriptoda durduğunu açıkladı — yeterince güvenli dijital sistemlerin sofistike saldırganlara karşı bile inşa edilebileceğine dair, kendi ifadesiyle örtük bir bahs.

17 Eylül tarihli X paylaşımındahttps://x.com/VitalikButerin/status/2100337594722890145

Dizüstünde 125 Milyar Parametre

Aynı gün yaptığı ikinci X paylaşımında Ethereum kurucu ortağı güvenlikten yerel yapay zekaya geçti ve Alibaba'nın Qwen3.8-Flash-Next modelini kendi dizüstü bilgisayarında çalıştırarak elde ettiği hız sonuçlarını paylaştı. ChatGPT'nin aksine bu kurulum hiçbir bulut sunucusuna bağlanmıyor: model makinenin üzerinde duruyor ve makine soruyu kendisi yanıtlıyor. Donanım burada belirleyici; dizüstü, işlemciyi ve grafik yarısını tek bir silikon parçasında birleştiren ve 128 gigabayta kadar ortak bellek havuzu sunan AMD'nin Strix Halo yongasını kullanıyor. Oysa ayrık bir ekran kartında tipik bellek 8 ile 24 gigabayt arasında değişiyor. İşte bu birleşik tasarım, kısa süre öncesine kadar sunucu donanımı gerektiren bir modelin tek bir dizüstünde çalışmasını mümkün kılıyor. Alibaba açık ağırlıkları 26 Ağustos'ta yayımladı; model 125 milyar parametre barındırıyor ama bir anda yalnızca 6 milyarını devreye sokuyor, böylece bellek talebi mütevazı kalıyor. Buterin modeli “gerçekten etkileyici” diye nitelendirdi ve llama.cpp'nin bu modeli işlemekte hızla iyileştiğini belirtti. Paylaşılan hızlar günlük iş için pratikti: kısa komutlar rahat bir okuma hızında dönerken, çıktı komutlar on binlerce kelimeye ulaştığında yavaşladı — çok uzun belgeler zayıf nokta olarak kaldı. Yerel AI'ın ticari kullanımına dair konuşanlar için yapay zeka ticaret botu gibi araçların benzer bir yerel-first dönüşümü izleyip izlemeyeceği ise ayrı bir merak konusu.

ikinci X paylaşımındahttps://x.com/VitalikButerin/status/2100388909410885974

Bulut Olmadan Gizlilik

Ham hızın ötesinde Buterin, yerel çıkarımı (inference) bir gizlilik kalkanı olarak çerçevelendirdi. Yerel model cihaz üzerinde yanıt verdiğinden sağlayıcı hiçbir şekilde talebi görmüyor. Daha zorlu işler için bir iş bölümü önerdi: “sorgularınız kişisel bilgilerinizi sızdırmasın diye güçlü modellere giden sorguları yerel modelinizle orkestre edin.” Uygulamada yerel model, isimleri, cüzdan adreslerini veya özel kodu komuttan ayıklayıp yalnızca kalan soruyu iletir — cihazdan çıkanı kısaltır, ama hassas bir şeyin sızmayacağını garanti etmez. Bu yaklaşım onun geçmiş tutarlılığıyla da örtüşüyor: AB sohbet denetimi (chat control) mücadelesinde gözetim konusunda uyarıda bulunmuştu; kripto kullanıcıları da benzer nedenlerle otomatik ajanlara sıkı sınırlar getirilmesi için bastırdı. Mayıs'ta açılan bir toplu dava, OpenAI'ı ChatGPT kullanıcı sorgularını Meta ve Google ile paylaşmakla suçluyor. yapay zeka kripto cüzdanı kullananların de düşündüğü gibi, 7,8 milyon dolarlık Ethereum (ETH) Safe cüzdan sömürüsü (exploit) gibi zincir üstü güvenlik olayları bu ihtiyatı pekiştiriyor; buna karşılık .ETH alan adları gibi kendi kendine yeterli araçlar, kullanıcıların kimliğini merkezi platformların dışında tutmayı bugün bile mümkün kılıyor. Bulut sağlayıcıları hâlâ cephe hattında, ama yerel performanstaki her kazanç rutin işi onların sunucularından çekiyor. Piyasayı anlık izlemek isteyen okurlar, spot ve vadeli fiyatları Bitget üzerinden canlı takip edebilir.

Ortak Payda: Güvenlik

17 Eylül'de Buterin'in kendi X hesabından yayımlanan iki birincil paylaşımı okumamız şudur: ikisi tek bir argüman oluşturuyor. Yapay zeka çift kullanımlıdır ve muhakemesini önce formelleştiren taraf kazanır. Formel doğrulama, doğrulayıcı yazılımını ve sözleşme kodunu, daha geniş Ethereum ekosistemi boyunca kanıtlanabilir biçimde sağlam hale getirebilir; yerel modeller ise hassas veriyi üçüncü taraf sunucuların dışında tutar. Servetinin yaklaşık yüzde 90'ını kriptoda tutan Buterin için proof-of-stake güvenliğine duyulan güven akademik bir tavırdan ibaret değil — fiyatlanmış bir kanaat.