Anthropic libera o FlashProve: protótipo open-source de “inference comprovável” com zkSNARK
A Anthropic (Frontier Red Team) publicou progresso em provas criptográficas (zkSNARK) para verificar se uma resposta veio de um modelo comprometido, sem revelar os pesos, e liberou o FlashProve sob Apache 2.0 (código, verifiers em C++ e Lean, provas Lean e documentação). No Llama 4 Maverick (MoE de 400B, quantização 4-bit), um único H100 gera proofs a cerca de 110 tokens por segundo, com cerca de 19 MB por pedido de 1.024 tokens — cerca de 70 a 95 vezes o tempo de GPU do vLLM no mesmo modelo; a verificação leva cerca de 17 segundos em 24 threads de CPU. O post lista limites: sem garantia formal no código executável rápido, prova sobre modelo inteiro sob greedy decoding, arquitetura não escondida, contextos de até 1.024 tokens. A conta @AnthropicAI reforçou o anúncio no X nesta terça.