Google DeepMind Yapay Zekâsı, WhatsApp’ı da Koruyan Signal Şifrelemesini Kanıtladı

WhatsApp, Signal ve Google Messages’ta mesajlarınızı koruyan şifreleme sisteminin temel güvenceleri, yapay zekâ yardımıyla matematiksel olarak kanıtlandı. WIRED’ın 10 Kasım tarihli haberine göre Google DeepMind araştırmacıları, AlphaProof Code adlı yeni araçla Signal protokolünü dört hafta boyunca inceledi ve yeni bir güvenlik açığına rastlamadı.

Signal protokolü neden bu kadar önemli?

Signal protokolü, mesajların yalnızca gönderen ve alıcı tarafından okunabilmesini sağlayan uçtan uca şifreleme sistemlerinin en yaygın kullanılanı. Bu protokol yalnızca Signal uygulamasında değil, milyarlarca kullanıcısı olan WhatsApp’ta ve Google Messages’ta da çalışıyor. Türkiye’de de en çok kullanılan mesajlaşma uygulamasının WhatsApp olduğu düşünülürse, sonuç doğrudan büyük bir kullanıcı kitlesini ilgilendiriyor. DeepMind’ın çalışması, protokolün belirli kriptografik güvencelerinin kâğıt üzerinde değil, matematiksel kanıtla doğru olduğunu gösteriyor. WIRED, bunun dünya iletişiminin önemli bir kısmını koruyan bu şifrelemeye bağımsız bir doğrulama daha eklediğini vurguluyor.

Yapay zekâ kusurları nasıl yakaladı?

Çalışmanın merkezinde “biçimsel doğrulama” var. Bu yöntem, bir yazılımın tasarlandığı gibi çalıştığını testlerle değil, matematiksel ispatla göstermeyi amaçlıyor; ancak genellikle çok uzun ve zahmetli bir süreç. Araştırmacılar AlphaProof Code’u önce bilinen açıkları içeren ve bu açıkları çoktan kapatılmış eski Signal sürümleri üzerinde denedi. Araç bu kusurları doğru şekilde tespit etti ve söz konusu sürümlerin doğrulanamayacağını gösterdi. DeepMind araştırmacısı Swarat Chaudhuri’ye göre süreçte yapay zekâ ajanları işi üretip düzeltirken, insanlar kritik noktaları denetledi. DeepMind, hazırladığı spesifikasyonu ve kanıtı başka çalışmalarda kullanılabilmesi için yayımlıyor.

Sınırlar ve açık sorular

Araştırmacılar sonucun sınırlı olduğunu kabul ediyor. Signal mobil uygulamasının tamamı doğrulanmadı; çalışma, protokolün incelenen bölümleriyle sınırlı kaldı. Chaudhuri, bunu tüm yazılımlara ölçeklendirmek için önlerinde uzun bir yol olduğunu söyledi. Maliyet de belirsiz: DeepMind analizi ücretsiz bir araştırma projesi olarak yaptı, Google ise maliyeti ya da ticari bir doğrulama ürünü planlayıp planlamadığını açıklamadı. Alanda başka çalışmalar da var. Signal, Beneficial AI Foundation ve Lean FRO, Nisan 2026’da protokolün gerçek kodunu Lean kanıt asistanıyla doğrulamayı hedefleyen Signal Shot projesini başlatmıştı. DeepMind’ın sonucu bu projeden bağımsız.