Hace unos días escribí un bot para manejar alertas de liquidación en la cadena, porque no confío en la capacidad de anti-manipulación de los nodos, me di una vuelta por el famoso @OpenGradient . Esperaba que esta "IA verificable" me diera una visión clara, pero tras tres días de pruebas intensivas, solo puedo decir: la teoría es muy sexy, pero la práctica es dura. #OPG
Su arquitectura HACA, que separa "modelos grandes" y "resultados verificables", suena bastante avanzada, pero en el mundo real del control de riesgos financieros no hay muchas opciones. El ZKML, que tanto me gusta, puede utilizar matemáticas puras para prevenir fraudes, pero generar una prueba puede tardar decenas de segundos, lo que es un suicidio para alertas de liquidación que requieren inmediatez. Sin otra opción, tuve que optar por la ruta del hardware TEE, pero este tiene una carga histórica pesada; el aislamiento de hardware similar al SGX ha sido perforado por vulnerabilidades de canal lateral. El sistema solo verifica el "certificado de examen" después, pero no monitorea la "sala de examen" de la potencia de cálculo, lo que equivale a arriesgar la supervivencia del negocio en la conciencia de la cadena de suministro de los grandes fabricantes de chips. $OPG
Al mirar su infraestructura de soporte, también hay muchas quejas. Ese Model Hub que dice tener miles de modelos, exige que la inferencia en la cadena sea convertida a formato ONNX. Esta exigencia puede hacer que se pierdan las características marginales de los operadores, lo que disminuye directamente la precisión del modelo. Más loco aún, debido al alto costo del espacio en la cadena, el modelo completo se almacena fuera de la cadena en Walrus, dejando solo un ID de referencia magro en la cadena, lo que sigue fragmentando la verificación de datos. En cuanto al plugin MemSync, que promete mejorar el recuerdo de memoria en un 243%, he probado que a menudo se interrumpe en plataformas cruzadas, y la oficial no puede presentar un estándar de comparación; estos números poco transparentes solo pueden considerarse como marketing. $BTC
A decir verdad, OpenGradient no está equivocado en su dirección de desacoplar ejecución y verificación. Pero, en términos de la sensación actual del proyecto, se siente más como un campo de pruebas con un marco construido. En un momento en que no se puede equilibrar perfectamente la respuesta rápida y la absoluta prevención de fraudes, lo que promocionan como "inferencia verificable" solo verifica una idea cibernética, lejos de estar en la madurez necesaria para soportar pruebas de alta frecuencia con dinero real. $ETH