Signal-Verschlüsselung: DeepMinds KI prüft das Protokoll

Warum ist das Signal-Protokoll so wichtig?

Das Protokoll ist Open Source und steckt auch in WhatsApp, Facebook Messenger und Google Messages. Ein Beweis für Signals Code betrifft also viele private Chats. Signal verschlüsselt Nachrichten und Anrufe standardmäßig Ende-zu-Ende, anders als Telegram. Seit 2023 rüstet Signal das Protokoll außerdem gegen künftige Quantencomputer auf.

Von Hand ist das mühsam. Forscher müssen beschreiben, was die Software garantieren soll, daraus Formeln machen und dann den Beweis schreiben. Laut DeepMind kann agentische KI diese Zeit deutlich verkürzen. Signals Technikchef Ehren Kret sagt, frühere Verifikation habe nur kleinere Codeteile abgedeckt, DeepMinds Ansatz erlaube eine deutlich größere Reichweite.

Wo liegen die Grenzen der Verifikation?

Der Umfang war eng. Die komplette Signal-App ist nicht abgedeckt, und die Arbeit baut auf früheren Verifikationsprojekten der Signal Foundation auf, der gemeinnützigen Organisation hinter der App. Offen ist zudem, ob sich das automatisiert, im großen Maßstab und zu vernünftigen Kosten machen lässt.

DeepMind-Forscher Swarat Chaudhuri sagt, bis zur gesamten Software der Welt sei es noch ein weiter Weg. Er erwartet eine Zusammenarbeit von Mensch und KI, keine Welt, in der die KI Ziele und Beweise selbst schreibt. Spezifikation und Beweis veröffentlicht DeepMind für andere Forscher. Für Signal fielen keine Kosten an. Ob DeepMind ein kommerzielles Produkt plant, ist unklar.