Em 2 de novembro de 2026, a Anthropic publicou o FlashProve, um protótipo de pesquisa de código aberto que busca verificar se determinados tokens de uma resposta correspondem a um modelo fixado por um compromisso criptográfico com seus pesos. A prova trata da origem da saída sob um cálculo específico; não avalia se a resposta está correta. A Anthropic descreve o projeto e seus resultados.

O que a prova do FlashProve atesta

O FlashProve usa zkSNARKs, um tipo de prova criptográfica sucinta de conhecimento zero. Com o compromisso do modelo, o prompt e a resposta, um verificador pode conferir se os tokens selecionados correspondem à saída daquele modelo, sem receber os pesos.

Esse compromisso fixa uma escolha exata de pesos antes da verificação. A prova, portanto, vincula a saída verificada a esses pesos e ao cálculo descrito. Ela não certifica a qualidade da resposta nem, por si só, a segurança do modelo.

O que fica oculto e como a verificação funciona

Na etapa offline, o sistema prepara o compromisso para determinado conjunto de pesos. A Anthropic estima essa preparação em cerca de 39 minutos por modelo e diz que cada compromisso serve para aproximadamente 16 milhões de solicitações antes de precisar ser renovado. O cliente baixa um arquivo de compromisso de cerca de 6,5 MB.

Depois da inferência, o provador produz provas para tokens selecionados. O verificador não precisa dos pesos para checá-las. A Anthropic diz que o sistema oculta os pesos, certos valores intermediários do cálculo e quais especialistas do modelo foram ativados; a arquitetura do modelo continua visível.

O que a Anthropic mediu

A avaliação usou o Llama 4 Maverick, um modelo de mistura de especialistas com 400 bilhões de parâmetros e cerca de 17 bilhões ativos por token. Foram usadas versões públicas de pesos de terceiros quantizadas em 4 bits.

Com um H100 e 24 núcleos de CPU, a Anthropic relata que um lote de 24 solicitações levou cerca de 223 segundos para gerar provas, a uma taxa de aproximadamente 110 tokens por segundo. Cada prova tinha 18,78 MB e verificava um token. A janela de contexto avaliada era de 1.024 tokens.

A verificação foi feita em CPU: a empresa relata 17 segundos com 24 threads ou 21 segundos com uma thread. São números da avaliação da Anthropic, não uma medida de inferência comum. Na comparação com vLLM, a empresa usou a versão FP8 do mesmo modelo em oito H100 e relata cerca de 72 vezes mais tempo de GPU por GPU para provar o lote, com variação de 66 a 77 vezes entre execuções. Na maior carga do vLLM testada, relata cerca de 94 vezes mais tempo.

Onde termina o alcance da prova

A prova descrita cobre uma versão inteira do modelo sob decodificação gulosa, em que o sistema escolhe o token de maior probabilidade. A Anthropic informa um limite atual de contexto de 1.024 tokens. Essa descrição não equivale a uma atestação geral de configurações como temperatura ou esforço de busca: a afirmação publicada se refere à saída gulosa do modelo comprometido.

O FlashProve opera depois da geração e em lotes, para um subconjunto de tokens, em vez de provar cada token à medida que aparece. Cada prova da avaliação verifica um token. A Anthropic aponta recálculo, demora até a garantia ficar disponível e não determinismo como contrapartidas. A empresa também identifica um possível vazamento lateral pelo tempo de geração das provas.

Há ainda uma ressalva de implementação. A Anthropic diz que o Lean formaliza afirmações de segurança de alto nível, mas que o código executável rápido, o artigo técnico e o protocolo Lean não têm garantia formal de equivalência. O verificador em C++ teria concordado com o verificador Lean em todos os testes relatados pela empresa.

O que a Anthropic liberou

O lançamento inclui um provador, verificadores em C++ e Lean, uma especificação do protocolo, provas formais em Lean e um visualizador interativo de teoremas. A Anthropic informa que o código, as provas Lean e a documentação estão sob licença Apache 2.0. Os pesos do Llama não fazem parte do lançamento; a conversão de terceiros usada na avaliação é obtida separadamente sob a licença Llama 4 da Meta.