Odaily Planet Daily relata que a Anthropic lançou o FlashProve, um sistema de verificação de inferência de IA de código aberto baseado em provas de conhecimento zero (zkSNARK), com a participação da pesquisa de Alessandro Chiesa, cofundador da StarkWare. O sistema utiliza métodos criptográficos derivados da tecnologia ZK de blockchain, permitindo que os usuários verifiquem se a saída de IA foi gerada por um modelo especificado, sem precisar acessar os pesos do modelo ou executá-lo novamente.
A Anthropic afirmou que o Claude participou da otimização do sistema, e o código relacionado e a prova formal em formato Lean já foram abertos. O sistema ainda está na fase de protótipo de pesquisa, com o custo de tempo GPU para geração de provas sendo aproximadamente 70 a 95 vezes o da inferência normal.
Os testes mostraram que o FlashProve pode gerar provas para o modelo Llama 4 Maverick da Meta, com 400 bilhões de parâmetros, em uma única GPU H100, a uma velocidade de aproximadamente 110 tokens por segundo, com cada prova medindo cerca de 19 MB.