KI weist Signal-Verschlüsselung mathematisch nach
Formale Verifikation, die sonst Jahre braucht, gelingt laut Google Deepmind nun in vier Wochen.
Gegenprüfung dieser Ausgabe: 2 Karten vor der Veröffentlichung korrigiert. Wie die Gegenprüfung arbeitet
Symbolbild, KI-generiert.
Google Deepmind hat mit AlphaProof Code den kryptografischen Kerncode des Messengers Signal in vier Wochen formal verifiziert, eine Prüfung, die sonst Jahre dauert. KI-Agenten auf Basis von Gemini Carbon schrieben dafür über sechs Millionen Zeilen Beweiscode, nur rund ein Prozent davon musste menschlich nachkontrolliert werden.
Die Belege
- Verifikation in vier Wochen statt der sonst üblichen Jahre
- Über sechs Millionen Zeilen Beweiscode von KI-Agenten erstellt
- Nur rund ein Prozent des Codes von Menschen nachkontrolliert
- Methode soll künftig auch Stromnetze und Medizingeräte absichern
Der Zusammenhang
Formale Verifikation beweist mathematisch, dass ein Programm exakt die spezifizierten Eigenschaften erfüllt, etwa dass eine Verschlüsselung keine Umgehung zulässt. Solche Beweise galten bislang als extrem aufwendig und wurden daher nur selten für kommerzielle Software erstellt. Google Deepmind hat dies nun erstmals für den Kerncode von Signal mit KI-Unterstützung umgesetzt.
Warum das zählt
Für Sicherheits- und Compliance-Teams in regulierten Branchen sinken potenziell die Kosten formaler Prüfungen kritischer Software deutlich. Wer Verschlüsselung oder sicherheitskritische Systeme betreibt, sollte beobachten, ob die Methode für eigene Systeme verfügbar wird.
Die Aussage stammt direkt von Google Deepmind und ist bislang nicht unabhängig geprüft worden. Sollte sich die Methode bestätigen, verschiebt sich die Kostenbasis für Sicherheitsaudits in regulierten Branchen spürbar.
Beobachten, ob Anbieter formaler Verifikation vergleichbare Dienste für eigene kritische Softwarekomponenten kommerziell anbieten.
Was diese Meldung nicht belegt: Die Angaben zu Dauer und Umfang stammen allein von Google Deepmind, eine unabhängige Prüfung des Beweises liegt nicht vor.
Text KI-erstellt und am 12.11.2026 automatisch von einer zweiten KI-Instanz gegen den erfassten Quelltext geprüft, ohne Einzelfreigabe durch einen Menschen. Redaktionell verantwortlich: Ali Reza Karwandian. Fehler gefunden? Korrektur melden · Unsere Grundsätze