#opg $OPG @OpenGradient
La gente habla del "IA verificable" como si fuera una sola cosa. En realidad, hay tres maneras distintas de comprobar que una inferencia de IA es correcta, y cada una implica compromisos completamente diferentes entre ausencia de confianza (trustlessness), velocidad y coste. Y la forma en que eliges depende de lo que estés construyendo.
OpenGradient admite las tres a la vez. ZKML usa pruebas de conocimiento cero; esta es la opción más “trustless”, porque no necesitas confiar en ningún hardware ni en terceros. Pero la generación de la prueba requiere muchos cómputos y es significativamente más lenta, por lo que es adecuada para decisiones de alto valor que no necesitan tiempo real. La verificación con TEE usa atestación de hardware desde un entorno de ejecución confiable (trusted execution environment), es mucho más rápida y escala con LLM grandes, lo que la hace ideal para inferencias frecuentes que requieren baja latencia. La verificación “vanilla” no genera ninguna prueba: solo registra el resultado en la cadena. Es adecuada para casos de uso que necesitan un alto rendimiento, en los que aceptas confiar en el nodo de inferencia.
Estos tres métodos no compiten entre sí. Sirven para tres tipos diferentes de casos de uso dentro de la misma red, y el desarrollador elige el método que mejor se ajusta a sus requisitos específicos al solicitar una inferencia.
Lo que me parece más importante es que OpenGradient no elige un solo método y luego declara que es el mejor. Los tres conviven en una misma red, publican la prueba en el mismo ledger y cualquier nodo completo puede verificar. El desarrollador elige el método al llamar a la inferencia según sus necesidades concretas, no según las limitaciones de la infraestructura.
La pregunta que estoy siguiendo es: cuando ZKML se vuelva más barato y más rápido gracias a mejoras de hardware, ¿la balanza entre los tres métodos se desplazará por completo hacia lo totalmente trustless, o el TEE mantendrá su posición dominante porque los LLM escalan demasiado rápido en comparación con ZK?
La gente habla del "IA verificable" como si fuera una sola cosa. En realidad, hay tres maneras distintas de comprobar que una inferencia de IA es correcta, y cada una implica compromisos completamente diferentes entre ausencia de confianza (trustlessness), velocidad y coste. Y la forma en que eliges depende de lo que estés construyendo.
OpenGradient admite las tres a la vez. ZKML usa pruebas de conocimiento cero; esta es la opción más “trustless”, porque no necesitas confiar en ningún hardware ni en terceros. Pero la generación de la prueba requiere muchos cómputos y es significativamente más lenta, por lo que es adecuada para decisiones de alto valor que no necesitan tiempo real. La verificación con TEE usa atestación de hardware desde un entorno de ejecución confiable (trusted execution environment), es mucho más rápida y escala con LLM grandes, lo que la hace ideal para inferencias frecuentes que requieren baja latencia. La verificación “vanilla” no genera ninguna prueba: solo registra el resultado en la cadena. Es adecuada para casos de uso que necesitan un alto rendimiento, en los que aceptas confiar en el nodo de inferencia.
Estos tres métodos no compiten entre sí. Sirven para tres tipos diferentes de casos de uso dentro de la misma red, y el desarrollador elige el método que mejor se ajusta a sus requisitos específicos al solicitar una inferencia.
Lo que me parece más importante es que OpenGradient no elige un solo método y luego declara que es el mejor. Los tres conviven en una misma red, publican la prueba en el mismo ledger y cualquier nodo completo puede verificar. El desarrollador elige el método al llamar a la inferencia según sus necesidades concretas, no según las limitaciones de la infraestructura.
La pregunta que estoy siguiendo es: cuando ZKML se vuelva más barato y más rápido gracias a mejoras de hardware, ¿la balanza entre los tres métodos se desplazará por completo hacia lo totalmente trustless, o el TEE mantendrá su posición dominante porque los LLM escalan demasiado rápido en comparación con ZK?