Anthropic FlashProve: Kryptografischer Identitätsnachweis für KI-Modelle

Wer mit einem Chatbot spricht, sieht selten, welches Modell wirklich antwortet. Anbieter könnten ein günstigeres Modell unterschieben, Angreifer Server manipulieren – und Aufsichtsbehörden hätten kaum ein Werkzeug, das Versprechen nachzuprüfen. Anthropic stellt mit FlashProve einen offenen Forschungsprototypen vor, der genau diese Lücke schließen soll.

Was FlashProve macht

Das Verfahren setzt auf Zero-Knowledge-Beweise: Zuerst entsteht ein kryptografischer Fingerabdruck der Modellgewichte. Für jede Antwort erzeugt der Anbieter dann einen Beweis, dass genau dieses Modell gerechnet hat – ohne die Gewichte selbst preiszugeben. Dritte können den Beweis auf einer normalen CPU in etwa 17 bis 21 Sekunden prüfen. Wesentliche Optimierungen soll laut Anthropic Claude beigesteuert haben; zentrale Sicherheitsaussagen sind zusätzlich in Lean formal belegt.

Getestet wurde FlashProve mit Metas Llama 4 Maverick (400 Milliarden Parameter, 4-Bit-quantisiert). Auf einer Nvidia H100 dauerte die Beweiserzeugung für 24 gebündelte Anfragen 223 Sekunden; ein Beweis war rund 19 MByte groß. Der Aufwand liegt allerdings bei etwa dem 70- bis 95-Fachen der normalen Inferenz.

Noch nicht alltagstauglich

Gegenüber älteren Verfahren wie VerInf ist das ein klarer Fortschritt – für Chatbots taugt der Prototyp trotzdem noch nicht. Das Kontextfenster ist auf 1024 Token begrenzt, und Anthropic selbst spricht von einem nicht gewarteten Forschungsprototypen auf GitHub. Ob sich das auf längere Gespräche und kommerzielle Modelle skalieren lässt, bleibt offen.

Warum mich das interessiert

Als jemand, der KI-Tools täglich nutzt, will ich wissen, ob ich das Modell bekomme, für das ich bezahle. FlashProve ist noch Labor, aber die Richtung stimmt: Vertrauen nicht nur durch Markenversprechen, sondern durch nachprüfbare Mathematik. Details und Zahlen stehen bei heise online.