Anthropic inventa prova criptográfica de que a IA é a mesma, mas o truque só funciona metade do caminho
Protótipo open-source promete pegar modelo barato fingindo ser caro, e a limitação escondida no fim é a mais constrangedora.
A Anthropic apresentou o FlashProve, protótipo de pesquisa open-source (licença Apache 2.0) que usa a técnica criptográfica zkSNARK para provar que uma resposta veio de um modelo específico, sem expor os pesos do modelo. A ideia: o provedor cria uma impressão digital digital dos pesos e entrega, a cada resposta, uma prova compacta de que aquele modelo gerou a saída, sem revelar o segredo.
Os números impressionam e incomodam ao mesmo tempo: 110 tokens por segundo num H100 para o Lama 4 Maverick da Meta (400 bilhões de parâmetros), prova de 19 megabytes verificável em 17 segundos em CPU, com sobreposição de 70x a 95x na inferência. Para comparar, o único sistema open-source equivalente levava mais de 14 horas para 1.000 tokens e gerava prova de 93,6 gigabytes.