Inferenz & Kryptografie · Anthropic
Beweisbare Inferenz: Anthropics FlashProve verifiziert Modell-Identitäten ohne Preisgabe von Gewichten
Wer heute eine Programmierschnittstelle zu einem großen Sprachmodell aufruft, steht vor einem fundamentalen Vertrauensproblem: Es gibt keinerlei technische Garantie dafür, dass die empfangenen Tokens tatsächlich von dem Modell stammen, für das man bezahlt hat. In einer Zeit, in der Anbieter aus Kostengründen Anfragen klammheimlich an kleinere Varianten routen („Silent Downgrading“) oder Zwischenschichten die Systemprompts manipulieren, bleibt Nutzern nur das blinde Vertrauen in die Reputation des Providers. Am 3. November 2026 hat das Forschungsteam von Anthropic eine Lösung vorgestellt, die dieses Problem an der Wurzel packt: ein quelloffenes Framework für beweisbare Inferenz namens FlashProve.
Die gemeinsam mit Forschern der EPFL, StarkWare, dem MIT und Succinct entwickelte Bibliothek basiert auf kryptografischen Beweissystemen (Succinct Non-Interactive Arguments of Knowledge, kurz SNARKs). Das Verfahren ermöglicht es einem Modellanbieter, für jede generierte Antwort einen mathematischen Beweis zu erstellen, der zwei Dinge unwiderlegbar belegt: Erstens, dass die Antwort exakt aus der Vorwärtsberechnung eines spezifischen, kryptografisch festgelegten Modell-Checkpoints resultiert; und zweitens, dass weder Gewichte noch System-Prompts im Inferenzpfad ausgetauscht oder kompromittiert wurden. Der Clou: Das verifizierende System — etwa der Client eines Unternehmens — benötigt zur Prüfung lediglich eine CPU und wenige Millisekunden, ohne jemals Einblick in die geschützten Modellgewichte zu erhalten.
Bisherige akademische Ansätze zur beweisbaren Inferenz (wie zkML) galten in der Praxis als unbrauchbar langsam: Der kryptografische Beweis-Overhead verlangsamte Berechnungen oft um den Faktor 10.000 bis 100.000. FlashProve löst dieses Dilemma durch eine spezialisierte Architektur für moderne Mixture-of-Experts-Netze (MoE). Statt jeden einzelnen Matrix-Multiplikationsschritt im Beweis abzubilden, nutzt FlashProve probabilistische Bindungen über Hash-Bäume und Batch-Verifikationen entlang der aktiven Expertenpfade. Dadurch sinkt der Beweis-Overhead so drastisch, dass eine beweisbare Inferenz erstmals in Reichweite produktiver Enterprise-Workloads rückt.
Die Tragweite für regulierte Branchen wie Finanzwesen, Gesundheitswirtschaft und Behörden ist enorm. In Audits nach dem EU AI Act oder strengen Compliance-Richtlinien reichte die Behauptung eines Dienstleisters, ein bestimmtes zugelassenes Modell eingesetzt zu haben, bislang formal kaum aus. Mit kryptografisch signierten Inferenz-Traces können Unternehmen nun lückenlos und manipulationssicher nachweisen, welches Modell welche Entscheidung getroffen hat. FlashProve schließt damit die Vertrauenslücke zwischen Modellbetreibern und professionellen Anwendern.
Für Entscheider und Architekten im SaaS-Umfeld markiert FlashProve den Beginn einer neuen Ära: Trusted Compute für Künstliche Intelligenz. Wer heute hochsensible Workflows — von juristischen Prüfungen bis zu autonomen Zahlungsfreigaben — an externe Agenten delegiert, wird künftig nicht mehr nur nach Preis pro Million Tokens fragen, sondern nach kryptografischer Provenienz. Anthropic stellt FlashProve unter eine Open-Source-Lizenz, um einen offenen Standard zu etablieren, bevor proprietäre Gatekeeper-Lösungen den Markt fragmentieren.
- Anthropic Research (3. November 2026) — Progress on provable inference for large language models
- Anthropic Technical Report — FlashProve: an open-source library for provable inference
- TechCrunch AI (3. November 2026) — Anthropic is working on a system to prove AI models’ identity
- TAO Media — Anthropic Releases FlashProve to Verify AI Model Outputs Without Revealing Weights