2026年11月10日 0:01 ET 发布 · 更新于 4 天前 · 1 个来源
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
Wired
·
原始报道
INFERY
DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”
原文