發生什麼事
検証対象は、Signalが毎日数十億件のプライベートメッセージを守る暗号システムです。DeepMindによると、独自のAlphaProof Codeフレームワークを使って検証しました（@GoogleDeepMind）。
01出典
証拠：🗣 公式の説明。本サイトでは未検証。
- @GoogleDeepMind：Google DeepMind公式アカウントが2026年11月11日11:50 UTCに投稿。AlphaProof Codeを用い、Signalプロトコルのコード上の安全性を検証したと説明