LATIDIA · Tecnología

Una IA de DeepMind demuestra matemáticamente que el protocolo de Signal es seguro

Una IA de Google DeepMind verifica formalmente la seguridad del protocolo de Signal en cuatro semanas con AlphaProof Code. Un hito de alcance limitado. La noticia Una IA de DeepMind demuestra matemáticamente que el proto

La noticia

Investigadores de Google DeepMind han usado inteligencia artificial para «verificar formalmente» —demostrar matemáticamente— varias de las garantías criptográficas clave del protocolo de Signal, el cifrado que protege las comunicaciones de Signal, Google Messages y WhatsApp. Lo hicieron como prueba de concepto en apenas cuatro semanas, con una nueva herramienta llamada AlphaProof Code. Lo cuenta Wired . La verificación formal lleva años considerándose una especie de santo grial de la seguridad: usar las matemáticas para probar que un programa hace exactamente lo que debe y no esconde vulnerabilidades críticas. ¿Qué ha demostrado exactamente la IA de DeepMind? Que las garantías criptográficas analizadas del protocolo de Signal se cumplen, con una prueba