Anthropic FlashProve: Beweis, welches Modell geantwortet hat

Anthropic hat ein Verfahren veröffentlicht, mit dem ein KI-Anbieter kryptografisch beweisen kann, dass eine Antwort wirklich von einem bestimmten Modell stammt, ohne dessen Gewichte preiszugeben. «FlashProve» heisst der Open-Source-Prototyp, den Anthropic laut eigenem Forschungsbeitrag am 2. November vorgestellt hat und über den TechCrunch am 3. November berichtete. Es ist ein Zwischenstand, kein Produkt: Einen Einsatz bei Anthropic oder anderen Laboren plant das Unternehmen laut TechCrunch nicht.

Der Stempel unter der Antwort

Das Prinzip ähnelt einer Signatur unter einer E-Mail. Der Anbieter legt sich vorab mit einer kurzen Selbstverpflichtung («Commitment») auf einen exakten Satz Gewichte fest. Zu jeder Antwort liefert er einen Beweis (technisch ein zkSNARK, ein Zero-Knowledge-Beweis) mit, dass genau diese Gewichte die Ausgabe erzeugt haben. Jeder kann das nachprüfen, ohne die Gewichte zu kennen. Nutzen soll das etwa gegen unbemerkten Modelltausch: Man könnte feststellen, ob ein Anbieter heimlich ein günstigeres Modell einsetzt als zugesichert.

Die Zahlen: machbar, aber teuer

Demonstriert hat Anthropic das nicht an einem eigenen Modell, sondern an Llama 4 Maverick von Meta, einem Mixture-of-Experts-Modell mit 400 Milliarden Parametern (in einer öffentlichen 4-Bit-Version). Laut Anthropic entstehen auf einer einzelnen H100-Grafikkarte rund 110 Token pro Sekunde Beweis. Das Nachprüfen dauert etwa 17 Sekunden auf einem Prozessor mit 24 Threads, ein Beweis für 1'024 Token ist rund 19 Megabyte gross. Der Preis: Das Beweisen braucht laut Anthropic 70- bis 95-mal so viel -Zeit wie das reine Ausführen des Modells.