Osegi
Yapay zekâ·1 dk okuma

Signal şifrelemesi DeepMind'ın AlphaProof Code'u ile test edildi

Google DeepMind, Signal protokolünün bazı bölümlerini matematiksel olarak kanıtlamak için yapay zekayı dört hafta çalıştırdı. İncelenen kodda yeni bir açık bulunmadı.

A smartphone showing the Signal messaging app beside a abstract padlock graphic and lines of mathematical proof code.
Görsel: The Indian Express
SUMODialoediviewergiftdetect

Dünyanın en güvenli mesajlaşma uygulamalarından biri sayılan Signal, bu kez yapay zekanın önüne konuldu. Google DeepMind araştırmacıları, AlphaProof Code adlı yeni çerçeveyle Signal şifreleme protokolünün bazı bölümlerini biçimsel olarak doğruladı. İncelenen kısımlarda yeni bir güvenlik açığı çıkmadı.

Dört hafta süren çalışma bir kavram kanıtı projesiydi ve Signal'e hiçbir maliyeti olmadı. Araştırmacılar, kendi başına adım planlayıp uygulayan yapay zeka araçları (ajan tabanlı yapay zeka) kullandı. Bu araçlar protokolün temel kriptografik garantilerini doğruladı. AlphaProof Code, Signal'in eski sürümlerini incelediğinde ise güvenlik kusurları buldu ve o sürümlerin biçimsel olarak doğrulanamayacağını gösterdi. Ancak bu kusurlar zaten biliniyordu ve çoktan yamalanmıştı.

Bu sonuç WhatsApp ve Messenger için ne anlama geliyor?

Signal protokolü açık kaynaklı. WhatsApp, Facebook Messenger ve Google Messages da aynı şifreleme protokolünü kullanıyor. Yani sonuç, dünyada çok sayıda kişinin mesajlarını koruyan kriptografiyi ilgilendiriyor. Signal'in teknoloji direktörü Ehren Kret, önceki doğrulama çalışmalarının kodun daha küçük bölümlerine odaklandığını, DeepMind yaklaşımının bunu ciddi biçimde genişlettiğini söyledi.

Elle doğrulama yavaş bir iş: yazılımın özelliklerini tarif etmek, bunu formüllere dökmek, sonra kanıtı geliştirmek gerekiyor. DeepMind'dan Pushmeet Kohli, bankaların ve başka şirketlerin artık “bu özellikleri kanıtlayabilirim” diyebileceğini söyledi.

Analizin sınırları neler?

Analiz dar kapsamlıydı ve Signal mobil uygulamasının tamamını kapsamıyor. Ayrıca uygulamanın arkasındaki kâr amacı gütmeyen kuruluş Signal Foundation'ın daha önceki biçimsel doğrulama çalışmalarına dayanıyor. Bu işin yapay zekayla büyük ölçekte ve makul maliyetle otomatikleştirilip otomatikleştirilemeyeceği de belirsiz.

DeepMind'dan Swarat Chaudhuri, bunu dünyadaki tüm yazılımlara ölçeklemek için uzun bir yol olduğunu söyledi. Ona göre gelecek, hedefleri ve kanıtları yapay zekanın tek başına ürettiği bir düzen değil, insan ile yapay zekanın birlikte çalıştığı bir süreç. DeepMind, diğer araştırmacılara yardım etmek için Signal analizinde geliştirdiği spesifikasyonu ve kanıtı yayımlayacak. Şirketin ticari bir doğrulama ürünü planlayıp planlamadığı belli değil.

Göz atmaya değer uygulamalar

SUMO: sayı bulmacası

Doğru kareleri seçin, toplayın, hedefe ulaşın. Öğrenmesi kolay, ustalaşması zor. Ücretsiz, her yaşa uygun.

Dialo: konuşarak dil öğrenin

Yapay zekâ sohbet partneriyle konuşun; her cümleniz düzeltilip kendi dilinizde açıklanarak geri gelsin. 9 dil, A1'den C2'ye.

Etiketler:google deepmindsignalalphaproof codeencryptionformal verification

Aynı günden diğer haberler

Tümünü gör →

Daha fazla: Yapay zekâ

Tümünü gör →