Anthropic startet FlashProve zur Verifizierung von KI-Modellausgaben mit Zero-Knowledge-Proofs
Am 2. November 2026 stellte Anthropic FlashProve vor, ein innovatives System, das darauf abzielt, das Vertrauen in die Ausgaben von KI-Modellen durch den Einsatz von Zero-Knowledge-Proofs (zkSNARKs) zu erhöhen. Diese Technologie ermöglicht es den Nutzern, zu überprüfen, dass die von einem KI-Modell generierte Ausgabe tatsächlich von dem angegebenen Modell stammt und nicht von einer potenziell günstigeren Alternative.
Verständnis von FlashProve
FlashProve funktioniert in zwei Phasen. Zunächst verpflichtet sich der Modellanbieter in einem Offline-Schritt zu einem bestimmten Satz von neuronalen Netzwerkgewichten, was etwa 39 Minuten in Anspruch nimmt und zu einer Verpflichtungsgröße von etwa 6,5 MB führt. Für jede Anfrage zur Inferenz generiert das System einen kompakten Beweis, der bestätigt, dass das Modell die angegebene Ausgabe als Antwort auf ein bestimmtes Eingangsdatum produziert hat, während die Gewichte des Modells vertraulich bleiben.
Leistung und Herausforderungen
Mit dem Fokus auf Mixture-of-Experts (MoE) Sprachmodelle zeigte FlashProve beeindruckende Leistungsbenchmarks am Llama 4 Maverick Modell von Meta. Allerdings ist der Nachweisaufwand erheblich und liegt bei etwa 70 bis 95 Mal der GPU-Zeit, die für eine Standardinferenz erforderlich ist. Dies macht FlashProve derzeit eher zu einem Konzeptnachweis als zu einem tragfähigen Geschäftsmodell.
Entwicklung und Zukunftsperspektiven
Das Projekt wird von Roy Rinberg und Alex Allain geleitet und umfasst Beiträge von namhaften Persönlichkeiten aus der angewandten Kryptographie. Obwohl die aktuelle Implementierung noch nicht für die Produktion bereit ist, eröffnet sie Perspektiven für zukünftige Entwicklungen in der sicheren Verifizierung von KI-Modellen. Die nächste Herausforderung wird darin bestehen, die Kosten und die Größe der Beweise zu reduzieren, um die Technologie für eine breite Anwendung praktikabel zu machen.
FAQ
Was ist FlashProve?
FlashProve ist ein innovatives System, das von Anthropic eingeführt wurde und das Vertrauen in die Ausgaben von KI-Modellen erhöht, indem es Zero-Knowledge-Proofs (zkSNARKs) verwendet, um zu verifizieren, dass die von einem KI-Modell generierte Ausgabe tatsächlich von dem angegebenen Modell stammt.
Wie funktioniert FlashProve?
FlashProve funktioniert in zwei Phasen: Zuerst verpflichtet sich der Modellanbieter in einem Offline-Schritt zu einem bestimmten Satz von neuronalen Netzwerkgewichten, was etwa 39 Minuten dauert und zu einer Verpflichtungsgröße von etwa 6,5 MB führt. Dann wird für jede Anfrage eine prägnante Bestätigung generiert, die bestätigt, dass das Modell die behauptete Ausgabe produziert hat, während die Gewichte des Modells vertraulich bleiben.
Was sind die Leistungsbenchmarks von FlashProve?
FlashProve hat beeindruckende Leistungsbenchmarks am Llama 4 Maverick-Modell von Meta gezeigt, insbesondere bei der Zielsetzung von Mixture-of-Experts (MoE) Sprachmodellen.
Was sind die aktuellen Herausforderungen für FlashProve?
Die Hauptprobleme umfassen einen erheblichen Nachweisaufwand, der etwa 70 bis 95 Mal so viel GPU-Zeit benötigt wie die Standardinferenz, was es derzeit eher zu einem Konzeptnachweis als zu einem tragfähigen Geschäftsmodell macht.
Was sind die zukünftigen Perspektiven für FlashProve?
Obwohl die aktuelle Implementierung noch nicht für die Produktion bereit ist, eröffnet sie Möglichkeiten für zukünftige Entwicklungen in der sicheren Verifizierung von KI-Modellen. Die nächste Herausforderung wird darin bestehen, die Kosten und die Größe der Nachweise zu reduzieren, um die Technologie für eine breite Anwendung praktikabel zu machen.
Kommentare
Kommentare werden vor der Veröffentlichung geprüft.
Noch keine Kommentare — schreiben Sie den ersten.