KI-Berichte · Google DeepMind · 2026-11-10 · Blog / Kommentar
Formale Verifikation des Signal-Protokolls mit Gemini
Originaltitel: Formal Verification of Signal’s Protocol with Gemini
Forscher von Google DeepMind nutzten AlphaProof Code, ein neues agentisches Framework, um KI-Agenten dabei anzuleiten, zentrale Sicherheitseigenschaften des Codes hinter dem Signal-Protokoll mathematisch zu beweisen. Menschliche Experten entschieden, was bewiesen werden sollte, und prüften die Sicherheitsspezifikationen, während KI-Agenten die Beweise in Lean durchführten. Die Agenten prüften die Beweise außerdem und markierten Bereiche, die eine erneute Überprüfung durch einen Menschen erforderten.