Google DeepMind yapay zekası Signal şifreleme garantilerini kanıtladı

Google DeepMind ↘ 0.21% araştırmacıları, Signal protokolünün temel kriptografik garantilerinin birkaçını matematiksel olarak kanıtlamak için AlphaProof Code adlı yeni bir yapay zeka çerçevesi kullandı. WIRED'ın 10 Kasım tarihli haberine göre, dört haftalık kavram kanıtlama projesi, protokolün incelenen kısımlarında yeni bir güvenlik açığı bulmadıwired.com.

Sonuç, Signal uygulamasının ötesinde bir öneme sahip. Protokol aynı zamanda Google Messages ve WhatsApp (Meta Platforms, Inc. ↗ 0.22%) üzerindeki mesajları da güvence altına alıyor, bu nedenle analiz, dünya iletişiminin büyük bir kısmını koruyan şifreleme üzerinde bağımsız bir kontrol sağlıyor. Ayrıca, yapay zeka ajanlarının, yazılımın amaçlandığı gibi davrandığını göstermek için kullanılan yavaş ama uzun süredir aranan bir yöntem olan biçimsel doğrulamayı kısaltabileceğini gösteriyorwired.com.

Analiz ne buldu

Araştırmacılar AlphaProof Code'u, Signal'in uzun süre önce düzeltilmiş bilinen güvenlik açıklarını içeren eski sürümleri üzerinde test etti. WIRED'ın haberine göre araç, bu kusurları doğru bir şekilde buldu ve bu sürümlerin biçimsel olarak doğrulanamayacağını gösterdi. DeepMind, diğer doğrulama çalışmalarının kullanabilmesi için oluşturduğu spesifikasyonu ve kanıtı yayınlıyorwired.com.

Kapsam sınırlıydı. Çalışma, Signal mobil uygulamasının tamamını doğrulamadı ve araştırmacılar bunu daha uzun bir sürecin bir aşaması olarak tanımladı. DeepMind araştırma bilimcisi Swarat Chaudhuri, WIRED'a verdiği demeçte, "Bu sonuçtan çok heyecan duyuyoruz, ancak bunu dünyanın tüm yazılımlarına ölçeklendirebilmemiz için daha gidilecek çok yol var ve bunu yapmak istiyoruz" dediwired.com.

Ekip, Signal tarafından daha önce yapılan biçimsel doğrulama çalışmalarının kendilerine avantaj sağladığını belirtti. Signal Baş Teknoloji Sorumlusu Ehren Kret yaptığı açıklamada, "Önceki biçimsel doğrulamalar kodun daha küçük kısımlarına odaklansa da, Google DeepMind'ın yaklaşımı önemli bir genişlemeye olanak tanıyor" dedi ve doğrulamanın, yapay zeka destekli güvenlik tehditleri arttıkça şirkete "daha da büyük bir güven" verdiğini eklediwired.com.

Kalabalık bir alan

DeepMind'ın çalışması, diğer grupların da benzer hedefler peşinde koştuğu bir dönemde geldi. Nisan 2026'da Signal, Beneficial AI Foundation ve Lean FRO, Signal protokolünü ve onun Rust uygulamasını Lean kanıt asistanını kullanarak doğrulamak için halka açık bir çaba olan Signal Shot'ı başlattı. Vakfa göre proje, Signal'in gerçek kodunu Lean'e çevirmeyi ve protokolün doğrulanmış bir modeliyle eşleştiğini kanıtlamayı amaçlıyor. Startup Fortune, DeepMind'ın sonucunun bu projeden ayrı olduğunu belirttibeneficialaifoundation.org+2.

Maliyetle ilgili açık sorular

Yapay zeka destekli doğrulamanın uygulanabilir bir maliyetle ölçeklenip ölçeklenemeyeceği hala belirsiz. DeepMind, Signal analizini bir araştırma projesi olarak ücretsiz yaptı. WIRED'ın haberine göre Google, maliyetin ne olduğunu veya ticari bir doğrulama ürünü planlayıp planlamadığını açıklamayı reddettiwired.com.

Chaudhuri, temel ilerlemenin, yapay zeka ajanlarının kendi çalışmalarına katkıda bulunduğu ve düzelttiği, insanların ise kilit noktalarda inceleme yaptığı bir süreç olduğunu söyledi. "Yapay zekanın hedefleri belirlediği, kanıtları oluşturduğu ve temelde kendi yazdığı testleri çözdüğü bir dünya istemiyoruz" dedi. "Bir orta yol var."wired.com