【Alerta del mercado】DeepMind demuestra en cuatro semanas la seguridad del código de Signal
Google DeepMind lanzó AlphaProof Code, que utiliza agentes de IA para demostrar que el código que ejecuta el protocolo de cifrado Signal cumple propiedades de seguridad. Por primera vez, la verificación formal se aplica al código compilado. La verificación solo tomó cuatro semanas y generó seis millones de líneas de demostraciones en Lean; los humanos solo tuvieron que revisar el 1 %. Ahora que los protocolos de cifrado se verifican a nivel de código, ¿seguirán el ejemplo los proyectos Web3?
$BTC $ETH $BNB
#币安广场 #Signal #ciberseguridad
（Fuente: ABMedia）
⚠️Aviso de riesgo: La información anterior se comparte con fines informativos sobre el mercado y no constituye asesoramiento de inversión. Toda inversión implica riesgos; invierta con cautela.
Google DeepMind lanzó AlphaProof Code, que utiliza agentes de IA para demostrar que el código que ejecuta el protocolo de cifrado Signal cumple propiedades de seguridad. Por primera vez, la verificación formal se aplica al código compilado. La verificación solo tomó cuatro semanas y generó seis millones de líneas de demostraciones en Lean; los humanos solo tuvieron que revisar el 1 %. Ahora que los protocolos de cifrado se verifican a nivel de código, ¿seguirán el ejemplo los proyectos Web3?
$BTC $ETH $BNB
#币安广场 #Signal #ciberseguridad
（Fuente: ABMedia）
⚠️Aviso de riesgo: La información anterior se comparte con fines informativos sobre el mercado y no constituye asesoramiento de inversión. Toda inversión implica riesgos; invierta con cautela.
