Anoche estuve leyendo la documentación de OpenGradient hasta la una de la madrugada. Cuando vi las cuatro palabras "verificación asíncrona", reaccioné por reflejo y presioné Ctrl+F, escribí "verificación fallida".
0 resultados.
También probé "failure", "settlement" y "rollback". No funcionó ninguna.
El diseño de HACA es realmente inteligente. Las cadenas de bloques tradicionales hacen que cada validador vuelva a ejecutar cada transacción, y además el razonamiento de la IA es caro y no es determinista: simplemente no se puede ejecutar. La solución de OpenGradient consiste en separar la ejecución de la verificación: los nodos de inferencia ejecutan el modelo y devuelven resultados en milisegundos; el nodo completo valida de forma asíncrona pruebas de TEE. Los nodos de validación no necesitan saber cuál es el prompt ni qué modelo se usa; solo necesitan confirmar que el código no ha sido manipulado dentro del enclave.
El problema está precisamente aquí. La documentación oficial lo explica con claridad: la prueba de TEE verifica que el "enclave no fue manipulado", no si el resultado en sí es correcto. El nodo de inferencia puede ejecutar el modelo "correctamente" dentro del TEE y devolver igualmente un resultado erróneo: la prueba aun así pasaría. El documento admite una "brecha temporal de confianza", pero no dice ni una palabra sobre cómo se cubre esa brecha. $OPG
Gate Academy tiene un artículo que menciona: "verificación fallida, el resultado será rechazado o recalculado". ¿Quién paga el dinero del recalculo? ¿Cómo se revierte una transacción que ya se ejecutó? Ni siquiera dejan un TODO en la documentación oficial.
Mira DeFi: cuando falla la verificación hay mecanismos de compensación mediante liquidación y confiscación como respaldo; mira Optimistic Rollup: tiene un período de desafío y pruebas de fraude. OpenGradient convierte en gancho el "entregar primero el resultado y verificar después", pero ¿quién se encarga de recoger el desastre? Por lo que se ve, el costo lo asume el usuario. #OPG
La dirección del diseño está bien. Pero antes de que el modelo económico de la red principal se publique por completo y el manejo de la verificación fallida se escriba en la documentación, tengo que calcular esta cuenta con claridad primero. @OpenGradient
0 resultados.
También probé "failure", "settlement" y "rollback". No funcionó ninguna.
El diseño de HACA es realmente inteligente. Las cadenas de bloques tradicionales hacen que cada validador vuelva a ejecutar cada transacción, y además el razonamiento de la IA es caro y no es determinista: simplemente no se puede ejecutar. La solución de OpenGradient consiste en separar la ejecución de la verificación: los nodos de inferencia ejecutan el modelo y devuelven resultados en milisegundos; el nodo completo valida de forma asíncrona pruebas de TEE. Los nodos de validación no necesitan saber cuál es el prompt ni qué modelo se usa; solo necesitan confirmar que el código no ha sido manipulado dentro del enclave.
El problema está precisamente aquí. La documentación oficial lo explica con claridad: la prueba de TEE verifica que el "enclave no fue manipulado", no si el resultado en sí es correcto. El nodo de inferencia puede ejecutar el modelo "correctamente" dentro del TEE y devolver igualmente un resultado erróneo: la prueba aun así pasaría. El documento admite una "brecha temporal de confianza", pero no dice ni una palabra sobre cómo se cubre esa brecha. $OPG
Gate Academy tiene un artículo que menciona: "verificación fallida, el resultado será rechazado o recalculado". ¿Quién paga el dinero del recalculo? ¿Cómo se revierte una transacción que ya se ejecutó? Ni siquiera dejan un TODO en la documentación oficial.
Mira DeFi: cuando falla la verificación hay mecanismos de compensación mediante liquidación y confiscación como respaldo; mira Optimistic Rollup: tiene un período de desafío y pruebas de fraude. OpenGradient convierte en gancho el "entregar primero el resultado y verificar después", pero ¿quién se encarga de recoger el desastre? Por lo que se ve, el costo lo asume el usuario. #OPG
La dirección del diseño está bien. Pero antes de que el modelo económico de la red principal se publique por completo y el manejo de la verificación fallida se escriba en la documentación, tengo que calcular esta cuenta con claridad primero. @OpenGradient