---
title: "Anthropic lança FlashProve para verificação criptográfica de modelos de IA"
url: https://dailyjournal.news/news/2026-11-03/anthropic-lanca-ferramenta-de-codigo-aberto-para-verificar-respostas-de-ia
published: 2026-11-03T20:15:16.508607+00:00
updated: 2026-11-03T23:15:32.159782+00:00
categories: ["technology"]
topics: ["anthropic"]
source_count: 4
outlet_count: 2
language: pt-BR
publisher: "Daily Journal"
---

# Anthropic lança FlashProve para verificação criptográfica de modelos de IA

A ferramenta de código aberto utiliza zkSNARKs para garantir que respostas de modelos de IA não foram substituídas por alternativas menos potentes.

## Pontos principais

- O FlashProve permite verificar criptograficamente se uma resposta provém de um modelo de IA específico.
- A tecnologia utiliza zkSNARKs para assegurar a autenticidade sem revelar os pesos do modelo.
- Em testes com o Llama 4 Maverick, a geração de provas alcançou cerca de 110 tokens por segundo em GPUs H100.
- O projeto visa mitigar ataques de sequestro de chat e facilitar auditorias de modelos.
- O código-fonte, incluindo o prover e verificadores em C++ e Lean, foi disponibilizado publicamente pela Anthropic.
- O método exige que laboratórios publiquem uma 'impressão digital' do modelo, sem expor seus pesos internos.
- A verificação do sistema pode ser realizada localmente em dispositivos com processamento via CPU.

A Anthropic anunciou o lançamento do FlashProve, uma ferramenta de código aberto projetada para oferecer inferência comprovável em modelos de linguagem de grande escala. O sistema utiliza técnicas criptográficas, especificamente zkSNARKs, para permitir que qualquer usuário verifique se uma resposta foi gerada por um conjunto de pesos de modelo previamente comprometido, sem a necessidade de expor esses pesos. A iniciativa busca aumentar a segurança contra ataques de roteamento, onde modelos menores ou mais baratos são substituídos por sistemas de alto desempenho sem o conhecimento do usuário, exigindo que laboratórios publiquem uma 'impressão digital' que garanta a autenticidade da origem.

De acordo com a pesquisa da Anthropic, a implementação do FlashProve no modelo Llama 4 Maverick de 400B parâmetros demonstrou uma capacidade de geração de provas de aproximadamente 110 tokens por segundo em hardware H100. Embora o processo exija um custo computacional entre 70 e 95 vezes superior ao tempo de GPU utilizado pelo vLLM para o processamento padrão, a verificação pode ser realizada via CPU em cerca de 17 segundos. O projeto, que contou com a colaboração de pesquisadores como Alessandro Chiesa e Giacomo Fenzi, disponibiliza o código completo para prover e verificação, visando estabelecer um novo padrão de transparência e auditoria no ecossistema de IA, embora a empresa ainda não tenha planos imediatos para uma implementação comercial em larga escala.

## Fontes

- [Anthropic is working on a system to prove AI models’ identity](https://techcrunch.com/2026/11/03/anthropic-is-working-on-a-system-to-prove-ai-models-identity/) — TechCrunch (2026-11-03)
- [Anthropic releases FlashProve, open-source code that cryptographically verifies an AI response came from a given model, not a cheaper one swapped in by a router (Anthropic)](https://www.techmeme.com/261103/p32#a261103p32) — Techmeme (2026-11-03)
- [@AnthropicAI: New Anthropic research: progress on provable inference for large language models.](https://x.com/AnthropicAI/status/2117710942826123294) (2026-11-03)
- [@AnthropicAI: New Anthropic research: progress on provable inference for large language models.](https://x.com/AnthropicAI/status/2117707052948898271) (2026-11-03)

## Tópicos relacionados

- [Anthropic](https://dailyjournal.news/topics/anthropic)

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-11-03/anthropic-lanca-ferramenta-de-codigo-aberto-para-verificar-respostas-de-ia