¿Cerrar sesión?
Vas a salir de tu cuenta en este dispositivo.
DeepMind verificó con IA garantías clave del cifrado de Signal
El sistema AlphaProof Code analizó partes de la implementación criptográfica de Signal. Generó pruebas matemáticas comprobadas por software, pero no evaluó toda la aplicación.
Imagen obtenida de internet o redes sociales públicas. No constituye un registro fotográfico propio de La Guía ni del hecho informado.
Google DeepMind anunció este 10 de noviembre que utilizó inteligencia artificial para verificar matemáticamente propiedades esenciales de seguridad del código criptográfico de Signal. El trabajo se centró en la implementación del protocolo, no en toda la aplicación de mensajería.
La herramienta, llamada AlphaProof Code, combina especialistas humanos con agentes de IA que generan demostraciones en el lenguaje formal Lean. Un verificador matemático comprueba esas pruebas contra especificaciones previamente revisadas por investigadores.
Según el artículo técnico del equipo, el análisis abarcó componentes como PQXDH y Triple Ratchet, vinculados con autenticación y protección de mensajes incluso ante determinados compromisos de dispositivos. Los agentes produjeron aproximadamente 6,5 millones de líneas de código de demostración matemática.
DeepMind informó que el trabajo llevó cuatro semanas. Para contrastar la herramienta, los investigadores reintrodujeron dos errores antiguos y ya corregidos en versiones aisladas del código: el sistema comprobó que esas variantes no cumplían las garantías evaluadas.
La publicación original y la cobertura de Wired coinciden en que se trata de un avance prometedor, aunque todavía queda investigar su aplicación a programas más grandes y el costo de replicarlo.
Referencias
Comentarios (0)
Todavía no hay comentarios. Sé el primero.
Para comentar tenés que estar registrado. La nota se lee sin login.
Entrar con Google Seguir en el tablón