DeepMind usó agentes de IA para verificar formalmente partes del protocolo de cifrado de Signal

El trabajo tomó cuatro semanas, no halló fallas nuevas y sí detectó las ya corregidas en versiones viejas. Google no dijo cuánto costó ni si lo convertirá en producto.

Investigadores de Google DeepMind demostraron con matemáticas, lo que se conoce como verificación formal, varias de las garantías criptográficas del protocolo de Signal, informó Wired el 10 de noviembre de 2026. Ese protocolo protege mensajes en la app Signal, en Google Messages y en WhatsApp. Para hacerlo usaron AlphaProof Code, un nuevo sistema de agentes de IA.

El proyecto duró cuatro semanas y no cubrió toda la app móvil de Signal, solo partes del protocolo. No encontró vulnerabilidades nuevas. Cuando los investigadores lo probaron con versiones antiguas que tenían fallas conocidas y ya corregidas, AlphaProof Code las identificó y mostró que esas versiones no podían verificarse. DeepMind publicará la especificación y la prueba para que otros equipos las usen.

Ehren Kret, director de tecnología de Signal, dijo que el método de DeepMind permite ampliar mucho lo que antes se verificaba en porciones pequeñas del código. Swarat Chaudhuri, científico de DeepMind, aclaró que falta «mucha distancia» para escalarlo «a todo el software del mundo». Según Wired, la duda del sector es si este tipo de verificación puede crecer a un costo razonable. DeepMind hizo el análisis gratis, como investigación, y Google no quiso decir cuánto costó ni si piensa venderlo como servicio.

Fuente: Wired: «A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure», 10 de noviembre de 2026.