IASeguridad de la IA8 medios · actualizado hace 9 h

Google DeepMind verifica con IA partes clave del cifrado de Signal en cuatro semanas

Según la empresa, el trabajo habría llevado años a equipos expertos; la cobertura coincide en que fue una prueba de concepto y no un análisis completo de la aplicación.

Por Redacción loquesea.aiPublicado Actualizado

Qué cambióArs Technica señala que el trabajo fue un proyecto de prueba de concepto de cuatro semanas y que aporta una validación independiente adicional a la criptografía que protege mensajes en Signal, Google Messages y WhatsApp.

Google DeepMind just mathematically verified key parts of SignalArs TechnicaIntroducing AlphaProof Code: a breakthrough in verifying complex software at depthGoogleA New AI Tool From Google DeepMind Proved the Signal Protocol Is SecureWIREDGoogle Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of yearsThe Decoder

Resumen

  • Google DeepMind afirma que su sistema AlphaProof Code, un conjunto de agentes de IA, escribió tres millones de líneas de pruebas en Lean para verificar el cifrado central de Signal.
  • Según Wired, el proyecto duró cuatro semanas y no encontró vulnerabilidades nuevas en las partes analizadas; la verificación formal demuestra matemáticamente que un programa cumple lo que debe cumplir.
  • Según Infobae, el análisis no abarcó toda la aplicación móvil de Signal, sino ciertas garantías criptográficas del protocolo, que es el mismo que usan WhatsApp y Google Messages.
  • Ars Technica describe el trabajo como una prueba de concepto de cuatro semanas que aporta una validación independiente adicional a la criptografía de esas plataformas, y ve el enfoque como un avance con utilidad aún incierta a gran escala.
  • Google DeepMind planea publicar AlphaProof Code como código abierto y extender el método a infraestructuras críticas como redes eléctricas y dispositivos médicos, según ZDNET y The Decoder.

Cronología

  1. Ars Technica describe el alcance

    Ars Technica señala que el trabajo fue un proyecto de prueba de concepto de cuatro semanas y que aporta una validación independiente adicional a la criptografía que protege mensajes en Signal, Google Messages y WhatsApp.

    • Google presenta AlphaProof Code

      Google anuncia AlphaProof Code, un sistema de agentes que, según la empresa, escribió tres millones de líneas de pruebas en Lean para verificar el cifrado central de Signal.

      Resumen generado automáticamente a partir de la cobertura de 8 medios verificados. Los enlaces llevan siempre a la nota original. Las citas de fuentes en inglés son traducciones nuestras. Cómo funciona

      Esta historia se actualiza a medida que llega nueva cobertura. Primera publicación: 11 de noviembre de 2026.

      Más en IA