【Flash marché】DeepMind prouve en quatre semaines la sécurité du code de Signal
Google DeepMind a présenté AlphaProof Code, qui utilise des agents d’IA pour prouver que le code exécutant le protocole de chiffrement de Signal respecte les propriétés de sécurité. C’est la première fois que la vérification formelle est appliquée au code après compilation. La vérification n’a pris que quatre semaines et a produit six millions de lignes de preuves en Lean ; les humains n’ont eu qu’à en vérifier 1 %. La vérification des protocoles de chiffrement au niveau du code : les projets Web3 vont-ils suivre ?
$BTC $ETH $BNB
#币安广场 #Signal #Cybersécurité
（Source : ABMedia）
⚠️Avertissement sur les risques : les informations ci-dessus sont partagées à titre informatif et ne constituent pas un conseil en investissement. Tout investissement comporte des risques ; la prudence est de mise.
Google DeepMind a présenté AlphaProof Code, qui utilise des agents d’IA pour prouver que le code exécutant le protocole de chiffrement de Signal respecte les propriétés de sécurité. C’est la première fois que la vérification formelle est appliquée au code après compilation. La vérification n’a pris que quatre semaines et a produit six millions de lignes de preuves en Lean ; les humains n’ont eu qu’à en vérifier 1 %. La vérification des protocoles de chiffrement au niveau du code : les projets Web3 vont-ils suivre ?
$BTC $ETH $BNB
#币安广场 #Signal #Cybersécurité
（Source : ABMedia）
⚠️Avertissement sur les risques : les informations ci-dessus sont partagées à titre informatif et ne constituent pas un conseil en investissement. Tout investissement comporte des risques ; la prudence est de mise.
