Odaily Planet Daily informa que Anthropic ha lanzado FlashProve, un sistema de verificación de inferencia de IA de código abierto basado en pruebas de conocimiento cero (zkSNARK), con la participación de Alessandro Chiesa, cofundador de StarkWare. El sistema utiliza métodos criptográficos derivados de la tecnología ZK de blockchain, permitiendo a los usuarios verificar si la salida de IA fue generada por un modelo especificado sin necesidad de obtener los pesos del modelo ni volver a ejecutarlo.
Anthropic indica que Claude participó en la optimización del sistema, y actualmente se han abierto los códigos relacionados y las pruebas formalizadas en formato Lean. El sistema aún se encuentra en la fase de prototipo de investigación, y el costo de tiempo GPU para generar las pruebas es aproximadamente de 70 a 95 veces el de la inferencia normal.
Las pruebas muestran que FlashProve puede generar pruebas para el modelo de 400 mil millones de parámetros Llama 4 Maverick de Meta a una velocidad de aproximadamente 110 tokens por segundo en una sola GPU H100, con cada prueba de aproximadamente 19 MB.