Anthropic publica FlashProve, un sistema creado con Claude que demuestra qué modelo generó una respuesta
El prototipo zkSNARK demuestra salidas de Llama 4 Maverick a unos 110 tokens por segundo en una H100, unas 70 a 95 veces el tiempo de GPU de la inferencia normal; se publican código e informe técnico.
Por qué importa
Hoy los usuarios no pueden comprobar que una respuesta proviene del modelo que dice el proveedor y no de un sustituto más barato o de un flujo de tokens manipulado. Anthropic afirma que las pruebas criptográficas de inferencia lo resuelven ocultando los pesos y podrían ayudar a verificar el cumplimiento de requisitos de ritmo de la IA. El sistema es mucho más rápido que los probadores de código abierto anteriores, y Claude hizo gran parte de la optimización, con las garantías de seguridad formuladas en Lean para poder auditarlas. La duda es si el coste baja lo suficiente para un uso rutinario.
Datos clave
- Unos 110 tokens por segundo en una sola H100 con Llama 4 Maverick (MoE de 400B)
- Prueba de unos 19 MB por solicitud de 1.024 tokens
- Unas 70-95 veces el tiempo de GPU de ejecutar el modelo en vLLM
- Garantías de seguridad formuladas en Lean
- Cinco artefactos publicados, entre ellos código e informe técnico