DeepMind用AI形式化验证Signal协议

Google DeepMind研究人员借助AlphaProof Code，在四周内对Signal协议的多项关键密码学保证进行了数学形式化验证，为Signal及其他采用相关协议的平台提供独立验证。该项目也展示了AI辅助形式化验证的能力，但其规模化实用性仍待观察。

事件进展（1 篇报道）

1. 2026-11-11 22:08
   Ars Technica Google DeepMind just mathematically verified key parts of Signal

← 返回首页