The Register· Thomas Claburn ·· 1 小时前AI 评分67
Google DeepMind 用 AlphaProof Code 形式化验证 Signal 消息安全
Google DeepMind melds humans and AI agents to vet Signal's secure messaging techniques
AI 导读
Google DeepMind 团队用多智能体框架 AlphaProof Code 完成对 Signal 消息安全的形式化验证，称这是 AI 首次协助构建将协议级安全保证与广泛使用的密码实现关联起来的证明。
来源：The Register · theregister.com