【DeepMind用AlphaProof Code四周内形式化验证Signal协议】金色财经报道，11月10日，据WIRED报道，Google DeepMind研究人员使用名为AlphaProof Code的新AI框架，在四周内形式化验证了Signal协议按预期运行。该分析未在已检查的协议部分发现新漏洞，但在含已知旧漏洞的旧版Signal上正确识别出已知问题，并显示该版本无法通过形式化验证。DeepMind研究科学家Swarat Chaudhuri表示，这是把形式化验证扩展至全球所有软件目标的一个里程碑，仍有很长的路要走。研究人员同时公开了为此次分析开发的规范与证明，以协助其他形式化验证工作。

原文链接：https://www.wired.com/story/a-new-ai-tool-from-google-deepmind-formally-verified-the-signal-protocol

声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。