谷歌DeepMind用AI数学验证Signal协议核心安全性

Google DeepMind研究人员利用自研AI框架AlphaProof Code，在四周内完成了对Signal协议关键加密特性的数学形式化验证，未发现新漏洞，并成功识别旧版本中已知缺陷。此举同时验证了Signal协议...