Anthropic kondigde FlashProve op 2 november 2026 aan als open-source onderzoeksprototype voor een gerichte controle: komt een geselecteerde uitvoertoken overeen met de uitvoer van een model waarvan de gewichten vooraf cryptografisch zijn vastgelegd? De proef gaat over de herkomst van die uitvoer onder een specifieke berekening, niet over de juistheid van het antwoord. Anthropic beschrijft FlashProve als tussentijdse onderzoeksvoortgang.

Wat FlashProve moet aantonen

Een commitment legt één specifieke versie van de modelgewichten cryptografisch vast. Daarna kan een bewijzer een bewijs maken voor een prompt en de bijbehorende uitvoer. Een verifier controleert dat bewijs met de commitment, de prompt en het antwoord, zonder zelf de gewichten te ontvangen.

FlashProve gebruikt daarvoor zkSNARKs: compacte cryptografische bewijzen waarmee een controleur een berekening kan verifiëren zonder alle onderliggende gegevens te zien. Volgens Anthropic verbergt het bewijs de gewichten en bepaalde tussenwaarden, maar niet de architectuur van het model. Het bewijst ook niet dat een antwoord feitelijk juist of veilig is.

Wat Anthropic heeft gemeten

Anthropic testte FlashProve met Llama 4 Maverick, een mixture-of-expertsmodel met 400 miljard parameters en ongeveer 17 miljard actieve parameters per token. De test gebruikte publiek beschikbare 4-bitgewichten van een derde partij. De gewichten zelf zijn niet opgenomen in de FlashProve-release.

Met één H100-GPU en 24 CPU-cores duurde het volgens Anthropic ongeveer 223 seconden om een batch van 24 verzoeken te bewijzen. Het bedrijf rapporteerde een bewijssnelheid van circa 110 tokens per seconde. Elk bewijs was 18,78 MB groot en controleerde één token. De verificatie draaide op een CPU: Anthropic rapporteerde 17 seconden met 24 threads en 21 seconden met één thread. Een client downloadde daarnaast een modelcommitment van ongeveer 6,5 MB.

Anthropic rapporteerde ook een voorbereidende commitmentfase van ongeveer 39 minuten per model. Die commitment zou bruikbaar zijn voor circa 16 miljoen verzoeken voordat vernieuwing nodig is.

De vergelijking met gewone inferentie laat de kosten van het bewijs zien. Anthropic vergeleek het bewijzen van een batch van 24 verzoeken met vLLM-verwerking van dezelfde batch, met de FP8-versie van hetzelfde model op acht H100-GPU’s. Het bedrijf rapporteerde ongeveer 72 keer zoveel GPU-tijd per GPU voor het bewijzen, met uitkomsten van 66 tot 77 keer tussen runs. Bij de hoogste geteste vLLM-belasting liep dat op tot ongeveer 94 keer. Die cijfers horen bij de beschreven modellen, hardware en belasting.

Waar de bewijsclaim ophoudt

De beschreven proef betreft een integer-versie van het model onder greedy decoding: telkens kiest het model het token met de hoogste score. De huidige contextlimiet is volgens Anthropic 1.024 tokens. De claim betreft dus uitvoer onder die specifieke berekening, niet een algemene controle van instellingen zoals temperatuur of zoekinspanning.

FlashProve werkt achteraf. Het maakt bewijzen voor een selectie tokens nadat tekst is gegenereerd, in plaats van elk token direct tijdens het genereren te bewijzen. Anthropic noemt extra herberekeningen, vertraagde zekerheid en non-determinisme als gevolgen van die aanpak. Een gebruiker krijgt de controle daardoor niet noodzakelijk tegelijk met de uitvoer.

Ook de formele onderbouwing kent een grens. Lean, een proof assistant waarmee wiskundige stellingen formeel worden vastgelegd, formaliseert volgens Anthropic de eigenschappen volledigheid, soundness en zero knowledge. Het bedrijf garandeert echter niet formeel dat de snelle uitvoerbare code, het technische rapport en het Lean-protocol precies overeenkomen. Anthropic meldt dat de C++-verifier in de eigen tests dezelfde uitkomsten gaf als de Lean-verifier.

Wat Anthropic heeft uitgebracht

De release bevat een prover, een snelle C++-verifier, een Lean-verifier, een protocolspecificatie, Lean-bewijzen en een interactieve visualisatie van de stellingen. Anthropic stelt dat de code, Lean-bewijzen en documentatie onder de Apache 2.0-licentie vallen. De Llama-gewichten maken geen deel uit van de release; daarvoor is een aparte 4-bitconversie beschikbaar onder de licentie van Meta voor Llama 4.