---
title: "Anthropic enthüllt FlashProve zur Verifizierung von KI-Ausgaben mittels Zero-Knowledge-Beweisen"
description: "Anthropic hat FlashProve veröffentlicht, einen Open-Source-Prototyp, der hashbasierte zkSNARKs nutzt, um nachzuweisen, welches Modell eine Antwort generiert hat, ohne proprietäre Gewichte preiszugeben."
author: "Blockblatt Redaktion"
published: "2026-11-04T21:31:38.555Z"
updated: "2026-11-04T21:31:38.556Z"
category: "KI"
language: "de"
content_type: "editorial"
canonical: "https://blockblatt.com/artikel/anthropic-enthu-llt-flashprove-zur-verifizierung-von-ki-ausgaben-mitte"
tags: ["Anthropic", "FlashProve", "Zero-Knowledge", "zkSNARKs", "Künstliche Intelligenz", "Kryptografie"]
---

# Anthropic enthüllt FlashProve zur Verifizierung von KI-Ausgaben mittels Zero-Knowledge-Beweisen

> Redaktioneller Inhalt von Blockblatt.

Anthropic hat FlashProve veröffentlicht, einen Open-Source-Prototyp, der hashbasierte zkSNARKs nutzt, um nachzuweisen, welches Modell eine Antwort generiert hat, ohne proprietäre Gewichte preiszugeben.

Anthropic hat FlashProve vorgestellt, ein Open-Source-Forschungstool, das darauf ausgelegt ist, die Ausgaben großer Sprachmodelle kryptografisch zu verifizieren, ohne die zugrunde liegenden Modellgewichte offenzulegen. Der am 2. November 2026 veröffentlichte Prototyp nutzt ein hashbasiertes zkSNARK, um zu bestätigen, dass ein bestimmtes Modell eine Antwort generiert hat, wodurch Nutzer KI-Anbietern oder Routing-Diensten nicht mehr blind vertrauen müssen.

Bislang haben Nutzer keine direkte Möglichkeit zu überprüfen, ob eine Antwort tatsächlich vom versprochenen Modell generiert, von einem Zwischenhändler durch eine günstigere Alternative ausgetauscht oder von einem Angreifer manipuliert wurde. FlashProve setzt an diesem Problem an und nutzt Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge, um eine mathematische Verifizierung zu bieten, anstatt sich auf sichere Hardware-Chips zu verlassen.

Das System arbeitet in zwei Phasen. Zunächst erfordert ein Offline-Setup, dass sich der Anbieter auf einen bestimmten Satz von Gewichten festlegt, wodurch in etwa 39 Minuten eine Commitment-Datei von ungefähr 6,5 MB erzeugt wird. In der zweiten Phase generiert FlashProve für jede einzelne Inferenz einen prägnanten Beweis, der die Ausgabe-Token mit dem Prompt abgleicht, während Gewichte, Aktivierungen und Routing-Entscheidungen verborgen bleiben. Die Architektur ist speziell auf Mixture-of-Experts-Modelle ausgelegt, die Anfragen über spezialisierte Teilnetzwerke leiten.

Anthropic hat FlashProve an Metas 4-Bit-quantisiertem Llama 4 Maverick getestet, einem Modell mit 400,7 Milliarden Parametern. Angetrieben von einer einzelnen NVIDIA H100 GPU erreichte das Setup rund 110 Token pro Sekunde und verarbeitete einen Batch von 24 Anfragen in etwa 223 Sekunden. Die Generierung von Beweisen für Anfragen mit 1.024 Token lieferte Dateien von etwa 19 MB, die eine Standard-CPU in 17 bis 21 Sekunden verifizierte, ohne die Modellgewichte einzusehen.

Der Rechenaufwand bleibt das Haupthindernis für einen produktiven Einsatz. Das Beweisen erfordert etwa die 70- bis 95-fache GPU-Zeit einer herkömmlichen vLLM-Inferenz, was die Verifizierung deutlich ressourcenintensiver macht als das Generieren der ursprünglichen Antwort. Aus diesem Grund betrachtet Anthropic FlashProve eher als einen intermediären Forschungsprototypen und nicht als ein unternehmensreifes System.

Das Projekt wurde von Roy Rinberg und Alex Allain von Anthropic geleitet, mit Beiträgen von Forschern aus der Wissenschaft und dem Krypto-Engineering. Zu den Koautoren gehören Alessandro Chiesa, der mit der EPFL und StarkWare verbunden ist, sowie Giacomo Fenzi und Guy Weissenberg von der EPFL, Miranda Christ vom MIT und RESI, Rahul Dalal aus Anthropics STEM-Fellows-Programm und von Succinct sowie Ben Mayer vom MIT und Anthropic. Die formalen Sicherheitseigenschaften von FlashProve wurden mit dem Lean-Beweisassistenten maschinell überprüft, und der Code wurde unter der Apache-2.0-Lizenz auf GitHub veröffentlicht.

---

Keine Anlageberatung. Kryptowerte sind hochvolatil; ein Totalverlust ist möglich.

Veröffentlicht von Blockblatt. Originalfassung: https://blockblatt.com/artikel/anthropic-enthu-llt-flashprove-zur-verifizierung-von-ki-ausgaben-mitte