Google DeepMind AI beweist zentrale Sicherheitsgarantien von Signal

Forscher von Google DeepMind, einer Tochtergesellschaft von Alphabet Inc. ↘ 0.21%, haben mithilfe eines neuen KI-Frameworks namens AlphaProof Code mehrere grundlegende kryptografische Garantien des Signal-Protokolls mathematisch bewiesen. Das vierwöchige Proof-of-Concept-Projekt fand in den untersuchten Teilen des Protokolls keine neuen Schwachstellen, wie WIRED am 10. November berichtete.wired.com

Das Ergebnis ist über die Signal-App hinaus von Bedeutung. Da das Protokoll auch Nachrichten in Google Messages und WhatsApp von Meta Platforms, Inc. ↗ 0.22% absichert, stellt die Analyse laut WIRED eine weitere unabhängige Überprüfung der Verschlüsselung dar, die einen Großteil der weltweiten Kommunikation schützt. Zudem zeigt sie, dass KI-Agenten die formale Verifikation beschleunigen können, eine lang ersehnte, aber zeitaufwendige Methode, um mathematisch nachzuweisen, dass Software wie beabsichtigt funktioniert.wired.com

Was die Analyse ergab

Die Forscher testeten AlphaProof Code an älteren Versionen von Signal, die bekannte, längst behobene Schwachstellen enthielten. Das Tool erkannte diese Fehler korrekt und zeigte auf, dass diese Versionen nicht formal verifiziert werden konnten, so WIRED. DeepMind veröffentlicht die Spezifikation und den erstellten Beweis, damit sie für andere Verifizierungsbemühungen genutzt werden können.wired.com

Der Umfang war begrenzt. Die Arbeit verifizierte nicht die gesamte mobile Signal-App, und die Forscher bezeichneten sie als einen Meilenstein in einem längeren Prozess. "Wir sind sehr begeistert von diesem Ergebnis, aber es ist noch ein weiter Weg, bis wir dies auf die gesamte Software der Welt skalieren können, und genau das wollen wir erreichen", sagte DeepMind-Forschungswissenschaftler Swarat Chaudhuri gegenüber WIRED.wired.com

Das Team erklärte, dass frühere Arbeiten von Signal zur formalen Verifikation einen Vorsprung verschafft hätten. "Während sich frühere formale Verifikationen auf kleinere Teile des Codes konzentrierten, ermöglicht der Ansatz von Google DeepMind eine signifikante Erweiterung", sagte Ehren Kret, Chief Technology Officer bei Signal, in einer Stellungnahme und fügte hinzu, dass die Verifikation dem Unternehmen "noch größeres Vertrauen" gebe, während KI-gestützte Sicherheitsbedrohungen zunehmen.wired.com

Ein umkämpftes Feld

Die Arbeit von DeepMind erfolgt zu einer Zeit, in der auch andere Gruppen ähnliche Ziele verfolgen. Im April 2026 starteten Signal, die Beneficial AI Foundation und Lean FRO das Projekt Signal Shot, eine öffentliche Initiative zur Verifizierung des Signal-Protokolls und seiner Rust-Implementierung mithilfe des Lean-Beweisassistenten. Ziel des Projekts ist es, den tatsächlichen Code von Signal in Lean zu übersetzen und zu beweisen, dass er mit einem verifizierten Modell des Protokolls übereinstimmt, so die Stiftung. Das Ergebnis von DeepMind ist von diesem Projekt unabhängig, wie Startup Fortune anmerkte.beneficialaifoundation.org+2

Offene Fragen zu den Kosten

Ob eine KI-automatisierte Verifizierung zu vertretbaren Kosten skalierbar ist, bleibt unklar. DeepMind führte die Signal-Analyse als kostenloses Forschungsprojekt durch. Google lehnte es ab, sich zu den Kosten oder zu Plänen für ein kommerzielles Verifizierungsprodukt zu äußern, berichtete WIRED.wired.com

Chaudhuri betonte, ein entscheidender Fortschritt sei ein Prozess, bei dem KI-Agenten ihre eigene Arbeit einbringen und korrigieren, während Menschen sie an wichtigen Punkten überprüfen. "Wir wollen keine Welt, in der die KI die Ziele vorgibt, die Beweise erstellt und im Grunde Tests absolviert, die sie selbst geschrieben hat", sagte er. "Es gibt einen Mittelweg."wired.com