Boletim IANotícias de inteligência artificial em português, todos os dias

Investigação académica

Anthropic lança em open source o FlashProve, prova criptográfica de identidade de modelos de IA

A Anthropic, em colaboração com investigadores da EPFL, do MIT e da StarkWare, lançou em código aberto o FlashProve, um protótipo que usa provas criptográficas (zkSNARK) para comprovar que uma resposta de IA veio efetivamente do modelo anunciado, sem revelar os seus pesos.

Testado no Llama 4 Maverick (400 mil milhões de parâmetros, arquitetura MoE, 4-bit) numa única GPU H100, o sistema atinge cerca de 110 tokens por segundo, com uma prova de aproximadamente 19 MB por pedido de 1024 tokens — um overhead de 70 a 95 vezes o tempo de GPU do motor de inferência vLLM. A licença é Apache 2.0.

A Anthropic compara o sistema a uma espécie de "DKIM para IA" — assinaturas que provam o remetente de um email — com aplicações em avaliação independente e deteção de troca silenciosa de modelo por parte de fornecedores. A própria empresa reconhece que o custo atual é demasiado elevado para uso em produção: é "progresso intermédio", não uma solução pronta.

Perguntas frequentes

O que é o FlashProve da Anthropic?

É um sistema open source que usa provas criptográficas (zkSNARK) para comprovar que uma resposta de IA veio de um modelo específico, sem revelar os seus pesos internos.

Fontes

Resumo editorial em português feito com apoio de inteligência artificial a partir das fontes indicadas. Como fazemos o Boletim IA.

Recebe o Boletim IA no email

As notícias de inteligência artificial do dia, em português, todas as manhãs. Grátis, e cancelas quando quiseres.

Ao subscreveres aceitas receber o boletim por email. Primeiro enviamos um email para confirmares. Os teus dados são tratados conforme a política de privacidade.

↑