DeepMind 用 AlphaProof Code 形式化验证 Signal 协议

Google DeepMind 用智能体 AI 框架 AlphaProof Code，在四周内对 Signal 协议的多项核心密码学保证完成数学形式化验证，并开源了相关规范与证明。据 Wired 报道，在其分析的部分中未发现新漏洞；在含有已知且早已修复漏洞的 Signal 旧版本上，该工具能正确识别出这些问题。 这项分析是 DeepMind 作为研究项目免费进行的，Google 拒绝透露分析的成本。研究团队公开规范与证明，旨在帮助其他形式化验证工作。

AI 根据报道生成 · 1 小时前更新

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