DeepMind用AI验证Signal加密代码

Google DeepMind公布AlphaProof Code研究，称其研究人员借助多LLM智能体框架和Lean，对Signal协议实际代码的关键安全属性完成数学证明，并已开源形式化验证产物供社区使用。 该研究针对保护Signal、Google Messages等应用私人通信的核心密码协议代码，结论限于此次已证明的关键安全属性。

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

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