# DeepMind usa IA para verificar partes del protocolo de Signal

> AlphaProof Code, de Google DeepMind, demostró garantías de seguridad clave de Signal en un proyecto de prueba de concepto de cuatro semanas.

Oossa · 2026-11-10 · https://oossa.com/es/deepmind-uses-ai-to-formally-verify-parts-of-signal-protocol

Investigadores de Google DeepMind demostraron que un sistema de IA puede probar matemáticamente importantes propiedades de seguridad del protocolo de mensajería Signal. El equipo utilizó un nuevo marco llamado AlphaProof Code para verificar formalmente varias garantías criptográficas. El trabajo duró unas cuatro semanas y se realizó como proyecto de investigación, no como producto comercial. No se encontraron errores nuevos en las secciones examinadas, y la IA detectó correctamente fallos antiguos que ya se habían corregido cuando se aplicó a versiones anteriores del protocolo.

La verificación formal consiste en usar las matemáticas para comprobar que el software se comporta exactamente como se espera, sin dejar margen para vulnerabilidades ocultas. Históricamente, este proceso requería que especialistas redactaran especificaciones detalladas, las tradujeran a fórmulas y luego construyeran la demostración: una tarea laboriosa que podía llevar meses. Al permitir que una IA agéntica (una IA capaz de fijarse y perseguir sus propios subobjetivos) se ocupara de buena parte del trabajo pesado, DeepMind redujo el plazo a semanas. Los investigadores afirman que la IA aún necesitó supervisión humana en etapas clave, pero podía proponer demostraciones y corregirlas por sí sola.

Ehren Kret, director de tecnología de Signal, señaló que los trabajos de verificación anteriores solo abarcaban pequeños fragmentos de código. El enfoque de DeepMind, dijo, permite “ampliar significativamente” lo que se puede comprobar. El equipo publicará la especificación y la demostración que desarrolló para que otros grupos puedan aprovecharlas. Aunque el resultado es prometedor, DeepMind advierte que aplicar este método a aplicaciones enteras o a cadenas de suministro de software completas sigue siendo un desafío, y no ha revelado el costo de esta verificación impulsada por IA.

## Por qué importa

Si la IA puede demostrar de forma fiable la seguridad de los protocolos criptográficos, los usuarios de Signal, Google Messages, WhatsApp y aplicaciones similares podrían tener más confianza en que sus mensajes siguen siendo privados. Para las empresas que dependen de comunicaciones cifradas —bancos, proveedores de atención médica y periodistas—, esta tecnología podría ofrecer algún día garantías verificables por ley de que su software no tiene fallos críticos.

## Los hechos

- El proyecto de DeepMind duró unas cuatro semanas, según los investigadores.
- AlphaProof Code detectó correctamente vulnerabilidades conocidas y ya corregidas en versiones antiguas de Signal.
- El director de tecnología de Signal, Ehren Kret, dijo que el nuevo enfoque de IA permite “ampliar significativamente” el alcance respecto de los trabajos de verificación anteriores.
- Los investigadores publicaron la especificación y la demostración que crearon para que otros puedan usarlas.
- Google no quiso revelar el costo del análisis y no ha anunciado ningún producto comercial.

## Por qué importa

Para la persona promedio, la noticia significa que el cifrado que protege sus chats cuenta ahora con una comprobación matemática adicional, lo que reduce la posibilidad de que haya errores ocultos. Para las empresas que deben demostrar que cumplen con las normas de privacidad, la verificación asistida por IA podría convertirse en una nueva forma de acreditar la seguridad sin recurrir a largas auditorías manuales.

## Fuentes y referencias

1. [A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure](https://www.wired.com/story/a-new-ai-tool-from-google-deepmind-formally-verified-the-signal-protocol/) – Wired, 2026-11-10

Última actualización: 2026-11-10