Anthropic lança FlashProve para verificar criptograficamente respostas de modelos de IA
Protótipo open-source usa prova de conhecimento zero baseada em hash para comprovar que um modelo gerou uma resposta sem expor seus pesos privados
A Anthropic publicou o FlashProve como protótipo de pesquisa open-source sob licença Apache 2.0 na terça-feira, 3 de novembro de 2026.
O sistema exige um compromisso criptográfico offline — uma espécie de impressão digital dos pesos do modelo — e gera, por inferência, uma prova zkSNARK baseada em hash que qualquer pessoa pode verificar sem acessar os pesos.
A empresa demonstrou a abordagem no Llama 4 Maverick, da Meta, com 400 bilhões de parâmetros. A demonstração registrou cerca de 110 tokens por segundo em uma NVIDIA H100, provas de aproximadamente 19 MB a cada 1.024 tokens e tempos de verificação na CPU em torno de 17 a 21 segundos.
O FlashProve enfrenta custos e limites práticos elevados: gerar provas consome entre 70 e 95 vezes mais tempo de GPU do que uma inferência padrão em vLLM, hoje só suporta contextos de até 1.024 tokens e comprova um modelo inteiro usando decodificação greedy em inteiro, em vez de saídas em ponto flutuante ou amostradas.
A Anthropic e colaboradores publicaram o código, uma especificação de protocolo e provas formais verificadas por máquina. O objetivo é convidar pesquisadores a reduzir o tamanho das provas e a sobrecarga de computação, para que a técnica possa ser usada em auditorias, checagens anti‑manipulação e verificações regulatórias.