🔒 AlphaProof 🤖 de Google DeepMind ha verificado matemáticamente el protocolo de cifrado de Signal en tan solo cuatro semanas. Esta rápida verificación formal refuerza la seguridad de la popular aplicación de mensajería.

El proyecto destaca la creciente influencia de DeepMind en la investigación criptográfica. El proceso de verificación completado para Signal, una herramienta clave para las comunicaciones privadas, podría aumentar la confianza de los usuarios y los reguladores en sus protocolos de seguridad.