Ne oldu?
Google DeepMind araştırmacıları, Signal uygulamasının temelindeki şifreleme protokolünün tasarlandığı gibi çalıştığını biçimsel olarak doğruladı. Biçimsel doğrulama, bir yazılımın belirli kurallara her koşulda uyduğunu matematiksel yöntemlerle kanıtlamak anlamına geliyor; testlerden farklı olarak "şu senaryoda çalışıyor" değil, "çalışmaması mümkün değil" demeyi amaçlıyor.
Neden önemli?
Signal protokolü, milyonlarca kişinin mesajlaşma trafiğini koruyan uçtan uca şifrelemenin temelinde yer alıyor. Böyle bir protokolün güvenliğinin kanıtlanması, hem kullanıcılar hem de protokolü kendi ürünlerine uyarlayan geliştiriciler için güven artırıcı bir adım.
Sıradaki hedef
DeepMind ekibi, bu yaklaşımı yalnızca tek bir protokolle sınırlı tutmayı düşünmüyor. Araştırmacıların iddialı hedefi, aynı yöntemi "dünyanın tüm yazılımı" için uygulanabilir hale getirmek. Bu, yapay zekânın yazılım güvenliğinde denetim aracı olarak kullanılmasının önünü açabilir.
