WhatsApp, Signal ve Google Messages mesajlarını koruyan Signal protokolünün temel güvenceleri, Google DeepMind'ın AlphaProof Code aracıyla matematiksel olarak kanıtlandı. Dört haftalık çalışmada yeni bir açık bulunmadı; ancak uygulamanın tamamı henüz doğrulanmış değil.
Stories on this topic, gathered from every source.