Anthropic libera FlashProve: prototipo open-source de “inference comprobable” con zkSNARK
Anthropic (Frontier Red Team) publicó avances en pruebas criptográficas (zkSNARK) para verificar si una respuesta vino de un modelo comprometido, sin revelar los pesos, y liberó FlashProve bajo Apache 2.0 (código, verifiers en C++ y Lean, pruebas Lean y documentación). En Llama 4 Maverick (MoE de 400B, cuantización 4-bit), un solo H100 genera proofs a unos 110 tokens por segundo, con unos 19 MB por pedido de 1.024 tokens — unas 70 a 95 veces el tiempo de GPU de vLLM en el mismo modelo; la verificación lleva unos 17 segundos en 24 hilos de CPU. El post lista límites: sin garantía formal en el código ejecutable rápido, prueba sobre modelo entero bajo greedy decoding, arquitectura no oculta, contextos de hasta 1.024 tokens. La cuenta @AnthropicAI reforzó el anuncio en X este martes.