WORLDTECHAnthropic veröffentlicht FlashProve für kryptografische Nachweise bei KI-Inferenz
Was passiert ist
Anthropic hat am 2. November 2026 FlashProve veröffentlicht, einen Open-Source-Forschungsprototyp, der mit kryptografischen Beweisen arbeitet, um zu zeigen, dass eine Antwort eines Sprachmodells aus festgelegten Gewichten stammt, ohne diese offenzulegen. Eine qualitativ hochwertige Antwort belegt noch nicht, welches Modell sie erzeugt hat: Ein Routing-Dienst könnte ein anderes System einsetzen, ein Prüfer könnte ein anderes Modell erhalten als das vorgesehene, oder ein Angreifer könnte den Token-Strom verändern. Anthropic ist ein Unternehmen für künstliche Intelligenz mit Sitz in San Francisco.
In einer Offline-Phase veröffentlicht der Anbieter eine kurze Verpflichtung, die genau einen Satz von Gewichten identifiziert, diese selbst aber geheim hält. Für abgeschlossene Paare aus Prompt und Antwort erzeugt das System einen Beweis, dass die Ausgabe-Token (die kleinen Textstücke, die ein Modell liest und schreibt) die Ausgabe des verpflichteten Modells sind.
Die Überprüfung eines Beweises soll weder die Gewichte noch Zwischenwerte der Berechnung offenlegen. Das Unternehmen gibt an, dass die Beweiserzeugung für Metas Llama 4 Maverick 110 Token pro Sekunde erreicht.
Die Arbeit schließt eine Verifikationslücke bei gehosteter KI. Eine Überprüfung durch erneutes Ausführen des Modells ist für Nutzer unpraktikabel, wenn die Gewichte privat sind und die Hardwareanforderungen erheblich sind.
Bindung von Antworten an verborgene Gewichte: FlashProve arbeitet mit einem zero-knowledge succinct argument of knowledge, kurz zkSNARK, in einem rein softwarebasierten Design, statt auf vertrauenswürdige Hardware angewiesen zu sein. Wer die Verpflichtung, den Prompt und die Antwort kennt, kann den Beweis ohne Zugriff auf die Gewichte prüfen.
Die vorgesehenen Eigenschaften sind Vollständigkeit, Korrektheit (Soundness), Zero-Knowledge und Succinctness. Ein ehrlicher Beweis soll akzeptiert werden, während das Bestätigen einer falschen Aussage das Brechen allgemein anerkannter kryptografischer Annahmen erfordern soll.