Google DeepMind, Signal'ın şifreleme protokolünün derlenmiş kodunu AI ajanlarıyla resmi olarak doğruladı

Yapay zeka destekli sistem, altı milyondan fazla satır Lean kanıtı üretip dört haftada protokolün derlenmiş kodunun cihaz geçici olarak ele geçirildikten sonra bile mesajları koruduğunu kanıtladı.

Güncellendi: 11 Kasım 2026

Google DeepMind araştırmacıları, Signal'ın kriptografik protokolünün gerçek derlenmiş kodunu resmi olarak doğrulamak için AlphaProof Code adlı yeni bir çoklu model ajan sistemi kullandı. Bu çalışma, yalnızca tasarım düzeyinde yapılan kontrollerin ötesine geçiyor.

Önce insan uzmanlar güvenlik hedeflerini resmi spesifikasyonlara dönüştürdü. Ardından yapay zeka ajanları yaklaşık dört haftada altı milyondan fazla satır Lean kanıtı üretti. Uzman ekiplerin bu işi bitirmesi geçmişte yıllar almıştı. Ajanlar kod tabanının yaklaşık yüzde birini insan incelemesi için işaretledi. Sistem, derlenmiş kodun cihaz geçici olarak ele geçirildikten sonra bile mesajları korumaya devam ettiğini kanıtladı.

Yaklaşımı sınamak için ekip daha önce düzeltilmiş iki hatayı yeniden devreye soktu. Sistem, hatalı sürümlerin güvensiz olduğunu gösteren makine tarafından doğrulanmış kanıtlar üretti.

Çalışma, yaygın biçimde kullanılan bir protokolün uygulamasının herhangi bir yöntemle yapılmış ilk resmi doğrulaması olarak sunuluyor. Aynı zamanda yapay zeka destekli doğrulamanın büyük ölçekte uygulanabileceğine dair bir kanıt niteliği taşıyor.