DeepMind用AI形式化验证Signal协议代码

Google DeepMind 发布多 LLM 智能体框架 AlphaProof Code，由研究人员引导 AI 智能体配合人类专家，对 Signal 协议的实际代码做形式化验证，数学证明其关键安全属性。DeepMind 称这是软件安全领域长期被视为重大挑战的一次里程碑，并将形式化验证产物开源供社区使用。 Wired 的 Lily Hay Newman 此前报道该项目为期四周、属于概念验证。公开信息未说明验证覆盖哪些具体密码学属性、是否经过独立复核，也未说明结果能否直接用于 Signal 的实际部署。

AI 根据报道生成 · 31 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。