Forschung
Google Deepminds AlphaProof Code beweist mathematisch, dass Signals Verschlüsselung sicher ist
The Decoder · Von Manuel Uth ·
Das Wichtigste
- Google Deepmind hat laut The Decoder mit AlphaProof den kryptografischen Kerncode des Signal-Protokolls mathematisch verifiziert.
- Die Arbeit dauerte nach Angaben des Berichts vier Wochen; solche Verifikationen brauchen sonst üblicherweise Jahre.
- KI-Agenten auf Basis von Gemini Carbon schrieben dafür über sechs Millionen Zeilen Beweiscode.
Warum es wichtig ist
Mit einem formalen Beweis lässt sich zeigen, dass die Verschlüsselung eines weit verbreiteten Messengers bestimmte Eigenschaften zuverlässig erfüllt. Für Nutzerinnen und Nutzer verschlüsselter Kommunikation ist das ein Hinweis auf Vertrauenswürdigkeit, für die Forschung ein Beispiel für KI-gestützte Verifikation.
Wen es betrifft
- Nutzerinnen und Nutzer verschlüsselter Messenger wie Signal
- Kryptografinnen, Kryptografen und Sicherheitsforschende
- Gemini Carbon
- #kryptografie
- #signal
- #ki
- #formale-verifikation
- #deepmind
Google Deepmind hat mit AlphaProof Code in vier Wochen statt der sonst üblichen Jahre erstmals den kryptografischen Kerncode von Signal mathematisch verifiziert. KI-Agenten auf Basis von Gemini Carbon schrieben dafür über sechs Millionen Zeilen Beweiscode und markierten nur rund…