---
title: "Anthropic stellt FlashProve vor: KI-Ergebnisse verifizieren, ohne Modellgewichte offenzulegen"
description: "Anthropic hat mit FlashProve einen Forschungsprototypen vorgestellt, der Zero-Knowledge-Techniken nutzt, um KI-Berechnungen anhand festgelegter Modellgewichte zu verifizieren. Die Beweiserstellung erfordert allerdings bis zu 95-mal mehr GPU-Zeit als die Standard-Inferenz."
author: "Blockblatt Redaktion"
published: "2026-11-05T12:34:08.159Z"
updated: "2026-11-05T12:34:08.160Z"
category: "KI"
language: "de"
content_type: "editorial"
canonical: "https://blockblatt.com/artikel/anthropic-stellt-flashprove-vor-ki-ergebnisse-verifizieren-ohne-modell"
tags: ["Anthropic", "Künstliche Intelligenz", "Zero-Knowledge", "FlashProve", "Ethereum", "Kryptografie"]
---

# Anthropic stellt FlashProve vor: KI-Ergebnisse verifizieren, ohne Modellgewichte offenzulegen

> Redaktioneller Inhalt von Blockblatt.

Anthropic hat mit FlashProve einen Forschungsprototypen vorgestellt, der Zero-Knowledge-Techniken nutzt, um KI-Berechnungen anhand festgelegter Modellgewichte zu verifizieren. Die Beweiserstellung erfordert allerdings bis zu 95-mal mehr GPU-Zeit als die Standard-Inferenz.

Anthropic hat FlashProve veröffentlicht, einen experimentellen Forschungsprototypen, der bestätigen soll, dass ein KI-Modell eine bestimmte Antwort tatsächlich berechnet hat – ohne dass der Anbieter gezwungen ist, seine privaten Modellgewichte offenzulegen.

Das am 2. November veröffentlichte Projekt nutzt Methoden für Zero-Knowledge-Beweise, ähnlich wie sie in Ethereum-Layer-2-Netzwerken eingesetzt werden. Anstatt Nutzern Zugriff auf proprietäre Parameter zu gewähren, teilt ein Anbieter ein kryptografisches Commitment zu seinen Modellgewichten. Sobald eine Antwort generiert wurde, liefert der Anbieter einen Beweis mit, der zeigt, dass genau das hinterlegte Modell diese Ausgabe erzeugt hat. Dies ermöglicht es jedem, der über das Commitment verfügt, die Berechnung zu überprüfen, ohne das Modell erneut ausführen oder dessen Gewichte herunterladen zu müssen.

Anthropic testete das System anhand einer öffentlichen 4-Bit-Konvertierung von Metas Llama 4 Maverick mit 400 Milliarden Parametern, anstatt es für Claude-Nutzer einzuführen. Der Benchmark zeigte, dass die Beweiserstellung rechenintensiv bleibt: Sie erfordert etwa das 70- bis 95-Fache der GPU-Zeit einer herkömmlichen FP8-Inferenz über vLLM auf acht Nvidia H100-GPUs.

Die Generierung eines Beweises läuft auf einer H100-GPU und erzeugt pro Anfrage eine rund 19 MB große Datei. Die Verifizierung erfordert deutlich weniger Hardware und läuft vollständig auf einer CPU – in 17 Sekunden über 24 Threads oder in 21 Sekunden auf einem einzelnen Thread. Der Benchmark-Durchsatz von 110 Token pro Sekunde misst alle über eine 1.024-Token-Anfrage hinweg verarbeiteten Token, wobei jeder Beweis ein einzelnes nachfolgendes Ausgabe-Token verifiziert.

Das System hat deutliche betriebliche Grenzen. FlashProve arbeitet nachträglich durch das Neuberechnen abgeschlossener Transkripte. Das bedeutet, dass es Manipulationen erst nach der Auslieferung erkennen, eine veränderte Antwort jedoch nicht daran hindern kann, den Nutzer zunächst zu erreichen. Zudem werden Kontextlängen nur bis zu 1.024 Token unterstützt, und es validiert exakte ganzzahlige Greedy-Entscheidungen, die von normalen Gleitkommaberechnungen oder gesampelten Ausgaben abweichen können.

FlashProve lässt zudem mehrere Vertrauens- und Sicherheitsfaktoren ungelöst. Das Repository des Projekts warnt davor, dass die Commitment-Kennung von einer vertrauenswürdigen Entität stammen muss und nicht von dem zu verifizierenden Server selbst, da ein beliebiger Fingerprint keine Garantie dafür bietet, dass er mit dem behaupteten Modell übereinstimmt. Darüber hinaus garantiert der Beweis der mathematischen Ausführung nicht, dass die Antwort sachlich korrekt, nützlich oder sicher ist.

Anthropic bezeichnete FlashProve als eine nicht gepflegte Forschungsveröffentlichung. Zwar liefert das Projekt formale Sicherheitsdefinitionen im Lean-Beweisassistenten, der ausführbare Code wurde jedoch noch nicht als äquivalent zu diesem formalen Protokoll bewiesen, und Zero-Knowledge bleibt für gebündelte Anfragen unbewiesen.

---

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

Veröffentlicht von Blockblatt. Originalfassung: https://blockblatt.com/artikel/anthropic-stellt-flashprove-vor-ki-ergebnisse-verifizieren-ohne-modell