Techmeme·· 1 小时前AI 评分58
Google DeepMind 用 AlphaProof Code 验证 Signal 协议密码学保证
Google DeepMind researchers used agentic AI framework AlphaProof Code to verify the Signal protocol's cryptographic guarantees, in a four-week proof-of-concept (Lily Hay Newman/Wired)
AI 导读
据 Wired 的 Lily Hay Newman 报道，Google DeepMind 研究人员用智能体 AI 框架 AlphaProof Code 验证了 Signal 协议的密码学保证，该项目为期四周，属于概念验证。
来源：Techmeme · techmeme.com