Anthropic veröffentlicht FlashProve: KI-Ausgaben kryptografisch verifizieren
Das Open-Source-System mit Zero-Knowledge-Beweis belegt, dass ein authentisches Modell eine Antwort erzeugt hat, ohne die proprietären neuronalen Gewichte offenzulegen.
Automatisch aus dem englischen Original übersetzt Original lesen
Anthropic hat FlashProve veröffentlicht, ein quelloffenes kryptografisches System, das überprüft, ob ein KI-Modell eine bestimmte Antwort erzeugt hat, ohne seine proprietären Gewichte offenzulegen. Das Werkzeug ermöglicht Kunden, Prüfern und Aufsichtsbehörden zu bestätigen, dass ein Anbieter genau das zugesagte Modell ausgeführt hat und nicht einen billigeren Ersatz, und adressiert damit eine zentrale Herausforderung des geistigen Eigentums im Cloud-Computing.
Mathematische Beweise ersetzen blindes Vertrauen
Entwickler greifen zunehmend über APIs und Routing-Dienste von Drittanbietern auf leistungsfähige KI-Modelle zu. Heute haben Nutzer keinen technischen Mechanismus, um zu bestätigen, ob ein Anbieter tatsächlich das angeforderte System ausgeführt oder ein kleineres, kostengünstigeres Modell eingesetzt hat, um Betriebskosten zu senken. Interesting Engineering berichtet, dass Anthropic FlashProve entwickelt hat, um dieses Authentizitätsdilemma zu lösen, ohne Modellinhaber zu zwingen, proprietäre Parameter öffentlich preiszugeben.
Das System beruht auf zkSNARK, einem kryptografischen Zero-Knowledge-Beweisverfahren, das bestätigt, dass eine Berechnung korrekt ausgeführt wurde, während die zugrunde liegenden Werte verborgen bleiben. FlashProve arbeitet in zwei Stufen. Zuerst veröffentlicht der Anbieter eine kryptografische Verpflichtung (Commitment), die einen eindeutigen digitalen Fingerabdruck der Gewichte des neuronalen Netzwerks darstellt. Wenn dann eine Anfrage eingeht, gibt das System den Text zusammen mit einem mathematischen Beweis aus, der an diese ursprüngliche Verpflichtung gebunden ist. Jeder, der den Prompt, die Ausgabe und die Verpflichtung besitzt, kann den Beweis auf gewöhnlicher Hardware überprüfen.
Benchmark-Leistung bei einem Modell mit 400 Milliarden Parametern
Anthropic testete die Software mit Llama 4 Maverick, einem Mixture-of-Experts-Modell mit 400 Milliarden Parametern. Im Test auf einer einzelnen NVIDIA H100 GPU erzeugte FlashProve laut Interesting Engineering kryptografische Beweise mit einer Rate von etwa 110 Token pro Sekunde.
Jeder erzeugte Beweis umfasst rund 19 MB für einen Prompt mit 1.024 Token. Die Überprüfung dieses Beweises erfordert keine speziellen Beschleuniger. Eine Standard-CPU mit 24 Kernen erledigt die Verifikationsberechnung in etwa 17 Sekunden, sodass die Validierung clientseitig auf gewöhnlicher Rechenhardware möglich ist.
Technischer Overhead und Open-Source-Veröffentlichung
Der Prototyp steht derzeit vor erheblichen rechnerischen Hürden, bevor er kommerziell eingesetzt werden kann. Die Erzeugung von FlashProve-Beweisen erfordert 70 bis 95 Mal so viel GPU-Laufzeit wie bei Standard-Inferenz-Engines wie vLLM, wie Interesting Engineering anmerkt. Die Software verarbeitet Kontextfenster von bis zu 1.024 Token, setzt auf Greedy Decoding und wertet Ganzzahl-Darstellungen statt vollständiger Gleitkomma-Operationen aus.
Während der Code spezifische Parametergewichte maskiert, bleibt die übergeordnete Architektur sichtbar. Um weitere technische Innovation anzuregen, veröffentlichte Anthropic FlashProve unter der Apache-2.0-Lizenz und stellte den ausführbaren Code, die Protokollspezifikation, formale Verifikationsbeweise und den technischen Bericht zur unabhängigen Prüfung bereit.
Lesen Sie auch bei The Patent: Gerüche über das Internet mit Scentronic übertragen · Penn-Ingenieure beschleunigen Event-Camera-Vision auf 440 Mal pro Sekunde
