标签 > 谷歌DeepMind用AI完成Signal协议安全验证

谷歌 DeepMind 发布新成果，借助自研多智能体 AI 框架 AlphaProof Code，完成 Signal 协议 libsignal 核心代码的形式化安全验证