Google DeepMind, Signal’in şifrelemesini yapay zekâyla matematiksel olarak doğruladı

Google DeepMind araştırmacıları, Signal protokolünün temel şifreleme güvencelerinden birkaçını yapay zekâ yardımıyla matematiksel olarak kanıtladı. İş, şirketin yeni aracı AlphaProof Code ile dört haftada bitirildi; sonuçlar Wired’da 10 Kasım’da yayımlandı.

Bu protokol yalnızca Signal uygulamasında değil, WhatsApp’ta ve Google Messages’ta da yazışmaları koruyor. Yani doğrulanan şey, dünyada milyarlarca mesajın arkasında duran şifreleme mantığı.

Bunu da okuyun: Çin’in ticaret fazlası 10 ayda 1 trilyon doları aştı: Yükü yapay zekâ çekti

“Biçimsel doğrulama” ne demek?

Yazılım güvenliğinde bu yönteme “formal verification” (biçimsel doğrulama) deniyor: Bir programın söz verdiği gibi çalıştığını test ederek değil, matematiksel ispatla gösteriyorsunuz. Güvenlik çevreleri yıllardır buna kutsal kâse gözüyle bakıyor ama işin zor yanı belliydi. İnsanların yazılımın özelliklerini tarif edip formüllere dökmesi, sonra ispatı tek tek kurması aylar sürebiliyordu. DeepMind, ispat kısmını büyük ölçüde yapay zekâ ajanlarına bıraktı; kilit noktalarda ise kararı insanlara sordu.

Analiz, protokolün incelenen bölümlerinde yeni bir açık bulmadı. Araştırmacılar aracı bir de bilinen ve yıllar önce kapatılmış açıkları içeren eski Signal sürümlerinde denedi: AlphaProof Code bu açıkları yakaladı ve o sürümlerin doğrulanamayacağını gösterdi.

Sınırı nerede?

Çalışma tüm Signal mobil uygulamasını kapsamıyor, yalnızca protokolün belli parçalarını kanıtlıyor. DeepMind araştırmacısı Swarat Chaudhuri, bu yöntemi “dünyadaki tüm yazılımlara” yaymak için daha uzun bir yol olduğunu söyledi. Google, analizin maliyetini açıklamadı; ticari bir doğrulama hizmeti çıkarıp çıkarmayacağı sorusuna da yanıt vermedi.

Signal’in teknoloji direktörü Ehren Kret ise daha önceki doğrulamaların kodun küçük parçalarına odaklandığını, DeepMind’ın yaklaşımının bu alanı ciddi biçimde genişlettiğini belirtti. Araştırmacılar hazırladıkları tanım ve ispatı başka ekipler de kullanabilsin diye yayımlıyor.

DeepMind, geçen hafta da şifrelemeyle ilgili bir çalışmayla gündeme gelmişti: Google DeepMind’ın yapay zekâsı RSA-1024 zayıflığını 1600 kat hızlı buldu.