Google DeepMind· @GoogleDeepMind · X·· 2 小时前同事件AI 评分68
AI 导读
Google DeepMind 宣布，AI 首次在数学上证明 Signal 的协议在代码层面是安全的。其使用 AlphaProof Code 框架验证了这款每天保护数十亿条私密消息的通讯应用的加密系统。
同一件事，精选收录的是《Google DeepMind 推出 AlphaProof Code，形式化验证 Signal 协议代码》
正文 · 原文
For the first time, AI has mathematically proven @signalapp’s protocol is secure down to the code level.
Using our breakthrough AlphaProof Code framework, we verified the messaging app’s cryptographic system – which protects billions of private messages every day.
来源：Google DeepMind · x.com