Anthropic veröffentlicht FlashProve, ein mit Claude gebautes System, das beweist, welches Modell eine Antwort erzeugt hat
Der zkSNARK-Prototyp beweist Ausgaben von Llama 4 Maverick mit rund 110 Token pro Sekunde auf einer H100, etwa das 70- bis 95-Fache der normalen GPU-Zeit; Code und technischer Bericht sind veröffentlicht.
Warum es wichtig ist
Nutzer können heute nicht prüfen, ob eine Antwort vom angegebenen Modell stammt statt von einem billigeren Ersatz oder einem manipulierten Tokenstrom. Laut Anthropic lösen kryptografische Inferenzbeweise das, ohne die Gewichte offenzulegen, und könnten helfen, die Einhaltung von KI-Tempovorgaben zu überprüfen. Das System ist deutlich schneller als frühere Open-Source-Beweiser; Claude übernahm einen Großteil der Optimierung, die Sicherheitsaussagen sind in Lean formuliert und damit prüfbar. Offen ist, ob der Mehraufwand weit genug sinkt für den Alltagseinsatz.
Die wichtigsten Fakten
- Rund 110 Token pro Sekunde auf einer H100 für Llama 4 Maverick (400B-MoE)
- Beweisgröße etwa 19 MB pro Anfrage mit 1.024 Token
- Etwa das 70- bis 95-Fache der GPU-Zeit unter vLLM
- Sicherheitsaussagen in Lean formuliert
- Fünf Artefakte veröffentlicht, darunter Code und technischer Bericht