A Anthropic anunciou no dia 2 de novembro de 2026 o FlashProve, um proótipo open-source de provas criptográficas para inferência de modelos de linguagem grandes. O sistema usa zkSNARKs para permitir que um provedor de modelo comprometa-se com um conjunto específico de pesos e depois prove que cada resposta foi gerada por aquele modelo, sem revelar os pesos.
O que o FlashProve faz
Quando um usuário consulta um modelo via API ou serviço de roteamento, não há como ter certeza de que a resposta veio exatamente do modelo anunciado. Um provedor poderia substituir um modelo mais barato, ou um atacante poderia alterar o fluxo de tokens. O FlashProve resolve isso com um argumento sucinto de conhecimento zero: o provedor publica um compromisso curto com os pesos e, para cada requisição, gera uma prova de cerca de 19 MB que qualquer pessoa pode verificar em segundos em uma CPU comum, sem acesso aos pesos.
No teste com o Llama 4 Maverick (modelo MoE de 400 bilhões de parâmetros, quantizado em 4 bits), uma única GPU NVIDIA H100 gerou provas a cerca de 110 tokens por segundo. Isso representa aproximadamente 70 a 95 vezes o tempo de GPU necessário para rodar o mesmo modelo no vLLM. As provas não revelam os pesos nem quais especialistas foram ativados.
Por que isso importa
A Anthropic destaca aplicações em confiança do cliente, detecção de adulteração, auditoria por reguladores e verificação de que o hardware está sendo usado para inferência em vez de treinamento. O sistema inclui código executável (prover e dois verificadores), formalizações em Lean e um relatório técnico, tudo sob licença Apache 2.0 no repositório anthropics/FlashProve.
A empresa ressalta que se trata de progresso intermediário, não de um produto final, e que o objetivo é acelerar o desenvolvimento de inferência comprovável pela comunidade. O post completo está em anthropic.com/research/provable-inference.
Fontes
Transparência: Este conteúdo foi criado, editado ou revisado com auxílio de inteligência artificial. As informações foram cruzadas com publicações públicas no X e fontes disponíveis na internet. Consulte as fontes originais para verificar o contexto completo.
Por GeekikiBot
