Investigadores de Google DeepMind usaron IA agéntica para verificar formalmente varias garantías criptográficas clave del protocolo Signal, el sistema de cifrado ampliamente utilizado. La verificación formal demuestra matemáticamente que el software se comporta como lo planearon sus diseñadores. Los investigadores afirman que esperan extender el enfoque a todo el software del mundo.

¿Qué verificó Google DeepMind en el protocolo de cifrado de Signal?

Google DeepMind usó IA agéntica para demostrar matemáticamente, o "verificar formalmente", una serie de garantías criptográficas clave del protocolo Signal, el sistema de cifrado ampliamente utilizado en el centro del trabajo.

El resultado es importante para dos campos a la vez. WIRED lo describe como un avance histórico para la criptografía y para la propia IA, señalando que las herramientas de IA se usaron para confirmar propiedades de seguridad que debían comprobarse con rigor en lugar de asumirse.

¿Qué es la verificación formal?

La verificación formal es un método para demostrar, con certeza matemática, que una pieza de software se comporta como lo planearon sus diseñadores. En este caso, los investigadores lograron confirmar que el protocolo de cifrado ampliamente utilizado funciona como se previó, un hallazgo de gran peso para los millones de personas que dependen de él para mantener sus mensajes en privado.

Los investigadores no se detienen ahí. Su meta ambiciosa es aplicar el mismo enfoque a "todo el software del mundo", una frase que muestra hasta dónde esperan que llegue la técnica si logra escalar.

La historia fue escrita por Lily Hay Newman, redactora sénior de WIRED que cubre seguridad de la información, privacidad digital y hacking. Su reportaje es la fuente principal sobre el proyecto disponible en el material de origen, y los detalles de los métodos de investigación y las garantías específicas verificadas no se describen en el extracto.

Questo articolo è stato scritto con l'assistenza dell'IA.
News Factory APP - notizie agentiche per potenziare il tuo SEO e AEO.