LATIDIA · Investigación

Verificar el código de Signal era un reto que llevaba años de trabajo de expertos. DeepMind dice que su IA lo ha hecho en un mes

Google DeepMind dice que sus agentes de IA han demostrado matemáticamente que partes clave del código que está detrás del protocolo de cifrado de Signal hacen lo que se supone que deben hacer. El protocolo protege las co

La noticia

Google DeepMind dice que sus agentes de IA han demostrado matemáticamente que partes clave del código que está detrás del protocolo de cifrado de Signal hacen lo que se supone que deben hacer. El protocolo protege las conversaciones privadas en Signal y Google Messages, y también sustenta el cifrado de WhatsApp, tal y como comparten en Wired. La compañía lo describe como un hito en la seguridad del software, aunque los propios investigadores recalcan que es un paso en un proceso más largo. Comprobado, el protocolo funciona . La verificación formal significa usar matemáticas, en lugar de pruebas, para demostrar que el software se comporta como se pretende. Se considera