Lagrange lanza DeepProve-1: La inferencia de IA entra en la era verificable @Lagrange Official #lagrange $LA
El 18 de agosto de 2025, el equipo de Lagrange anunció el lanzamiento de DeepProve-1, el primer sistema zkML listo para producción en el mundo, capaz de verificar de manera encriptada a través de pruebas de conocimiento cero (ZK) la inferencia completa de modelos de lenguaje de gran tamaño (LLM). Lagrange ha demostrado con éxito el proceso de inferencia del modelo GPT-2 de OpenAI, llevando la IA verificable de la teoría a la aplicación práctica.
DeepProve-1 amplía el soporte desde modelos básicos como MLP y CNN hasta arquitecturas Transformer, incluyendo componentes clave como mecanismos de atención, normalización de capas y embeddings. Es compatible con el formato GGUF y está equipado con un motor de inferencia LLM dedicado, permitiendo la generación de pruebas token por token.
Esto hace que los sistemas de IA sean auditable, escalables y confiables: se puede verificar la salida sin exponer la entrada o la propiedad intelectual del modelo; asegura el cumplimiento de los requisitos regulatorios; confirma que los pesos, el modelo y los datos no han sido alterados. Esta tecnología se aplica ampliamente en áreas de alto riesgo: probar la equidad de decisiones en finanzas; auditar en medicina sin divulgar datos de pacientes; confirmar el cumplimiento de restricciones en defensa.
Lagrange ha indicado que el próximo paso será optimizar el tamaño de las pruebas y la velocidad de generación para LLM de código abierto como LLAMA, apoyando escenarios de alto rendimiento. Este hito marca el inicio de la revolución de confianza en la IA, DeepProve-1 hace realidad la verificación criptográfica, impulsando la transformación de los sistemas de IA de cajas negras a transparentes.
En el futuro, Lagrange continuará avanzando en la innovación zkML, asegurando que la seguridad y la privacidad de la IA sean igualmente importantes.
