密码学协议 に関するニュース

DeepMind AlphaProof Code、4週間でSignalの機械語コード検証を完了——プロトコル形式検証の初事例

Google DeepMindは2026年11月10日にAlphaProof Codeフレームワークを発表し、4週間で600万行超のLean証明を生成。SignalプロトコルのARMマシンコードレベルまでの形式検証を実現し、プロトコル実装に