Google DeepMind 形式驗證 Signal 協議　確認端到端加密安全

Google DeepMind 的一項分析已對 Signal 協議的安全性完成「形式驗證」。該協議長期被視為端到端加密通訊的黃金標準，Edward Snowden 是知名支持者；除了 Signal 應用，WhatsApp 和 Google Messages 亦採用同一協議，這項工作被形容為「里程碑式發展」。