Una nueva herramienta de IA de Google DeepMind demostró que el protocolo Signal es seguro.

Investigadores de Google DeepMind utilizaron IA con capacidad de agencia para demostrar matemáticamente, o "verificar formalmente", varias de las garantías criptográficas clave del protocolo Signal, un avance trascendental para la criptografía y la IA en general.

Realizado como una especie de proyecto de prueba de concepto en tan solo cuatro semanas, este trabajo es significativo por dos razones. Sirve como una validación independiente adicional de la criptografía que protege grandes cantidades de comunicaciones en plataformas como Signal, Google Messages y WhatsApp. Además, demuestra las capacidades de verificación formal de Google DeepMind mediante un nuevo marco de IA llamado AlphaProof Code.

En términos generales, la verificación formal asistida por IA está en auge, pero aún no está claro cuán práctica será para su uso generalizado ni cuán efectiva será para proteger grandes cantidades de código. Los defensores de la verificación formal la han considerado durante mucho tiempo como una especie de santo grial en la seguridad del software, ya que utiliza las matemáticas para comprobar y validar que el software funcione según lo previsto; en otras palabras, que no tenga vulnerabilidades críticas.