Anthropic lança FlashProve, sistema criado com Claude que prova qual modelo gerou uma resposta
O protótipo zkSNARK prova saídas do Llama 4 Maverick a cerca de 110 tokens por segundo numa H100, cerca de 70 a 95 vezes o tempo de GPU da inferência normal; código e relatório técnico foram publicados.
Por que importa
Hoje o usuário não consegue verificar se uma resposta veio do modelo anunciado e não de um substituto mais barato ou de um fluxo de tokens adulterado. A Anthropic diz que provas criptográficas de inferência resolvem isso escondendo os pesos e podem ajudar a verificar o cumprimento de exigências de ritmo da IA. O sistema é muito mais rápido que provadores de código aberto anteriores; o Claude fez boa parte da otimização, e as garantias de segurança estão escritas em Lean para auditoria. A questão é se o custo extra cairá o bastante para uso rotineiro.
Fatos principais
- Cerca de 110 tokens por segundo numa única H100 com Llama 4 Maverick (MoE de 400B)
- Prova de cerca de 19 MB por requisição de 1.024 tokens
- Cerca de 70-95 vezes o tempo de GPU de rodar o modelo no vLLM
- Garantias de segurança escritas em Lean
- Cinco artefatos publicados, incluindo código e relatório técnico