【DeepMind用AlphaProof Code四周内形式化验证Signal协议】金色财经报道，11月10日，据WIRED报道，Google DeepMind研究人员使用名为AlphaProof Code的新AI框架，在四周内形式化验证了Signal协议按预期运行。该分析未在已检查的协议部分发现新漏洞，但在含已知旧漏洞的旧版Signal上正确识别出已知问题，并显示该版本无法通过形式化验证。DeepMind研究科学家Swarat Chaudhuri表示，这是把形式化验证扩展至全球所有软件目标的一个里程碑，仍有很长的路要走。研究人员同时公开了为此次分析开发的规范与证明，以协助其他形式化验证工作。
-
PIXEL
$0.00409
-0.51%
-
SCRT
$0.003321
-1.57%
-
FUEL
$0.0007302
0.05%
-
LMWR
$0.008148
0.33%
-
RING
$0.000214
-5.3%
-
TUSD
$0.9991
-0.01%
-
MAG7SSI
$0.4729
-1.96%
-
DTEC
$0.003262
1.84%
-
MSTRON
$120.24
-4.64%
-
OXT
$0.007895
-3.09%
-
CLORE
$0.0017262
-0.61%
-
CSCOON
$98.31
-0.63%
-
BUY
$0.00197
-27.57%
-
QUBIC
$0.0000003378
-4.38%
-
DEEP
$0.013605
-3.7%