ZDNet Cloud· Radhika Rajkumar·· 11 小时前AI 评分65
Google DeepMind 用 AI 工具 AlphaProof Code 形式化验证 Signal 加密代码
Google’s new AI tool just proved Signal encryption really works – here’s how
AI 导读
Google DeepMind 研究人员使用 AlphaProof Code 和 Gemini Carbon 模型，对 Signal 加密协议的部分底层代码进行了形式化验证。
来源：ZDNet Cloud · zdnet.com