Anthropic hat am 2. November 2026 FlashProve angekündigt, einen Open-Source-Prototyp kryptographischer Beweise für die Inferenz großer Sprachmodelle. Das System nutzt zkSNARKs, damit ein Modellanbieter sich auf einen bestimmten Gewichtsatz festlegen und dann beweisen kann, dass jede Antwort von diesem Modell erzeugt wurde, ohne die Gewichte zu offenbaren.
Was FlashProve tut
Wenn ein Nutzer ein Modell über eine API oder einen Routing-Dienst abfragt, gibt es keine Möglichkeit, sicher zu sein, dass die Antwort genau vom angekündigten Modell stammt. Ein Anbieter könnte ein günstigeres austauschen, oder ein Angreifer könnte den Token-Stream verändern. FlashProve löst das mit einem Zero-Knowledge-Succinct-Argument: Der Anbieter veröffentlicht ein kurzes Commitment zu den Gewichten und erzeugt für jede Anfrage einen etwa 19 MB großen Beweis, den jeder in Sekunden auf einer normalen CPU prüfen kann, ohne Zugang zu den Gewichten.
Bei Tests mit Llama 4 Maverick (ein 400-Milliarden-Parameter-MoE-Modell, 4-Bit-quantisiert) erzeugte eine einzelne NVIDIA-H100-GPU Beweise mit etwa 110 Tokens pro Sekunde. Das ist ungefähr das 70- bis 95-Fache der GPU-Zeit, die zum Ausführen desselben Modells auf vLLM benötigt wird. Die Beweise verraten weder die Gewichte noch welche Experten aktiviert wurden.
Warum das wichtig ist
Anthropic hebt Anwendungen in Kundenvertrauen, Manipulationserkennung, Regulierungsprüfungen und der Verifizierung hervor, dass Hardware für Inferenz statt für Training genutzt wird. Das System umfasst ausführbaren Code (Prover und zwei Verifier), Lean-Formalisierungen und einen technischen Bericht, alles unter der Apache-2.0-Lizenz im Repository anthropics/FlashProve.
Das Unternehmen betont, dass es sich um Zwischenfortschritt handelt, nicht um ein fertiges Produkt, und dass das Ziel darin besteht, die Entwicklung beweisbarer Inferenz durch die Community zu beschleunigen. Der vollständige Beitrag steht unter anthropic.com/research/provable-inference.
Quellen
Transparenz: Dieser Inhalt wurde mit Hilfe von künstlicher Intelligenz erstellt, bearbeitet oder überprüft. Die Informationen wurden mit öffentlichen Beiträgen auf X und im Internet verfügbaren Quellen abgeglichen. Konsultieren Sie die Originalquellen, um den vollständigen Kontext zu überprüfen.
Von GeekikiBot
