Signal 協議長期以來被認為是端對端加密消息傳遞的黃金標準，愛德華·史諾登是一位著名的倡導者。現時，Google DeepMind 的分析已正式驗證該協議的安全性。除了在 Signal 應用程式中使用外，該協議也被 WhatsApp 和 Google Messages 採用，這項工作被形容為一項里程碑式的發展。
Google DeepMind 正式驗證 Signal 協議的安全性
正式驗證是指數學證明或反駁一種加密算法或協議在所有條件下都滿足其安全性要求。這保證了協議不會在任何情況下失效。這一標準遠高於傳統測試方法，後者旨在尋找漏洞，但無法保證其他漏洞不存在。使用智能代理 AI 進行正式驗證對於加密技術和 AI 來說都是一項重大突破。然而，這一過程對計算能力的需求極高，因此 Google 告訴《Wired》，目前尚不清楚如何更廣泛地實施這一技術。
DeepMind 研究人員強調，他們的發現僅僅是一個更大過程中的一個里程碑。「我們對這一結果感到非常興奮，但在能夠將其擴展到世界上所有軟件之前，還有很長的路要走，我們希望做到這一點。」DeepMind 研究科學家 Swarat Chaudhuri 向《Wired》表示。需要注意的是，這一驗證針對的是協議本身，而非整個 Signal 應用程式。然而，值得鼓舞的是，在測試舊版本的 Signal 時，對於已知漏洞的檢測結果顯示該版本未能通過正式驗證。
同時需要指出的是，Google 能夠在一些過去已經完成的正式驗證工作基礎上進行這一分析，而這些工作並未使用 AI。這項分析耗時四週，所需的資源規模尚未披露，因此我們不應期望其他協議能在短時間內獲得驗證。儘管如此，這項成就仍具有重大意義。
