- 谁
- Google DeepMind
- 时间
- 引文
Using our breakthrough AlphaProof Code framework, we verified the messaging app’s cryptographic system – which protects billions of private messages every day.
发生了什么
人工智能首次从数学上证明，@signalapp 的协议在代码层面也是安全的。 我们使用突破性的 AlphaProof Code 框架，验证了这款消息应用的加密系统——它每天保护数十亿条私人消息。
接下来读什么
查看这件事的完整进展Google DeepMind 正式验证 Signal 协议的部分安全保证5 家信源报道
正文 · 中文版本尚未就绪（原文）
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 使用 AlphaProof Code，对 Signal 协议底层编译代码中的部分密码学保证进行了形式化验证。这项为期四周的概念验证生成了超过 600 万行 Lean 证明，均由 Lean 自动检查；人类专家审查了每项规范，并检查了约占代码库 1% 的、被标记为需要再次审查的代码。检查的部分未发现新的漏洞。 使用两个此前已修复的漏洞进行的测试，生成了机器检查的证明，表明较早的含漏洞版本并不安全。DeepMind 正在发布其规范和证明，以支持进一步的形式化验证工作。
这件事的进展 · 2
查看完整事件- 11月11日 19:58
人工智能首次从数学上证明，@signalapp 的协议在代码层面也是安全的。我们使用突破性的 AlphaProof Code 框架，验证了这款消息应用的加密系统——它每天保护数十亿条私人消息。 本条
- 11月10日 20:55Google DeepMind 使用 AlphaProof Code 验证 Signal 协议代码Google DeepMind