Google DeepMind hat mit dem System AlphaProof Code den Kern der Signal-Verschlüsselung formal geprüft. Bis zu 80 KI-Agenten arbeiteten vier Wochen auf den Rechnern von fünf Forschern. Laut der Quelle erfüllt der Code seine zentralen Sicherheitsgarantien. Es sei das erste Mal, dass dies bei so verbreiteter Software gelingt, der Ansatz habe aber Grenzen.
Inhalt 7 Abschnitte
Bis zu 80 KI-Agenten haben vier Wochen am Signal-Code gearbeitet. Das Ergebnis: Der Kern der Verschlüsselung hält seine wichtigsten Sicherheitsversprechen, und zwar laut Google DeepMind nachweisbar.
Auf einen Blick
- Neuer Beweis: Agenten von Google DeepMind haben gezeigt, dass der Code im Herzen der Signal-Verschlüsselung seine zentralen Garantien erfüllt.
- Grosser Aufwand: Teams aus bis zu 80 KI-Agenten liefen vier Wochen lang ohne Pause auf den Rechnern von fünf Forschern.
- Premiere: Laut der Quelle ist es das erste Mal, dass dies bei so verbreiteter Software gelingt.
- Mit Grenzen: Die Quelle nennt Einschränkungen. Welche das genau sind, geht aus dem vorliegenden Auszug nicht hervor.
Was DeepMind zum Signal-Code veröffentlicht hat
Das System trägt den Namen AlphaProof Code. Google DeepMind hat das Resultat am 10. November 2026 vorgestellt. Das französische Magazin Numerama berichtete einen Tag später darüber. Eine spätere Aktualisierung der Meldung ist nicht erkennbar.
Die Arbeit lief nach Angaben des Berichts über vier Wochen. Dabei waren bis zu 80 Agenten gleichzeitig im Einsatz. Sie liefen auf den Maschinen von fünf Forschern bei DeepMind. Der Auftrag war klar: Sie sollten belegen, dass der Kern des Signal-Codes hält, was Signal verspricht.
Warum ein Beweis mehr ist als ein Test
Ein klassischer Test prüft einzelne Fälle. Ein formaler Beweis will dagegen zeigen, dass eine Eigenschaft immer gilt, ohne Ausnahme. Das ist deutlich anspruchsvoller. Deshalb kann ein solcher Beweis Fehler aufspüren, die Tests übersehen. Als Ziel nennt der Bericht die zentralen Sicherheitsgarantien von Signal. Welche das im Einzelnen sind, steht im vorliegenden Auszug nicht.
Damit ist der Rahmen bekannt: Es geht um den Code, der das Chiffrieren im Messenger trägt. Genau hier entscheidet sich, ob Nachrichten wirklich privat bleiben.
| Kennzahl | Wert | Bedeutung |
|---|---|---|
Dauer |
4 Wochen |
Die Agenten arbeiteten ohne Unterbruch |
Agenten pro Team |
bis zu 80 |
Viele Helfer teilen sich die Beweisarbeit |
Forscher |
5 |
Ihre Rechner stellten die Rechenleistung |
Gegenstand |
Kern der Signal-Verschlüsselung |
Der Teil, der die Privatsphäre sichert |
Was beim Signal-Beweis offen bleibt
Die Meldung spricht von einer Premiere für Software mit so grosser Verbreitung. Zugleich weist sie darauf hin, dass der Ansatz Grenzen hat. Der vorliegende Auszug bricht ab, bevor diese erklärt werden. Daher lässt sich hier nicht belegen, was der Beweis nicht abdeckt.
Gesichert ist nur der Kern der Aussage:
- Der geprüfte Teil ist der Code im Zentrum der Signal-Verschlüsselung.
- Die Prüfung betraf die zentralen Sicherheitsgarantien.
- Ein Beweis über den Kern sagt nicht automatisch etwas über die ganze App aus. Das ist eine Vorsicht, keine Aussage der Quelle.
Einordnung: Was das für Entwickler und Sicherheitsteams heisst
Für Entwickler und Sicherheitsteams lautet die wichtigste Nachricht: KI-Agenten beweisen Sicherheitscode formal. Ein Beweis dieser Art ergänzt Audits und Tests, ersetzt sie aber nicht. Zudem können Teams, die kryptografische Software bauen, daraus ableiten, dass formale Verfahren mit KI-Hilfe in greifbare Nähe rücken. Eine Frist oder Pflicht zum Handeln ergibt sich aus der Meldung nicht. Zu Kosten oder zum Rechenaufwand über die genannten vier Wochen hinaus liefert der Auszug keine Angaben. Wer Signal nutzt, muss nichts tun. Der Beweis betrifft den Code, nicht die Einstellungen der Nutzer.
Fazit
Du weisst jetzt: Der Kern des Signal-Codes gilt als formal geprüft, und das Verfahren stammt aus der KI-Forschung. Deshalb lohnt sich als nächster Schritt die Originalmeldung von Google DeepMind, um die genauen Grenzen des Beweises zu klären. Den Bericht von Numerama findest du hier.
Quellen: Numerama. Foto: Pexels / Pixabay. Stand: 12. November 2026.
Geschrieben von der Redaktion · Freigegeben von Andreas Brauckmann · So arbeitet die Redaktion
Änderungshistorie
- — Artikel veröffentlicht.