Estudio sobre la verificación de la integridad de los resultados de inferencia de IA fuera de la cadena a través de la fragmentación híbrida y el consenso de blockchain @inference_labs , @nesaorg , @miranetwork A medida que los modelos de inteligencia artificial a gran escala se utilizan en diversos entornos, la ejecución real de la inferencia se realiza fuera de la blockchain y la estructura de solo verificar los resultados se está generalizando cada vez más. En este proceso, el desafío más importante es cómo demostrar de manera confiable que los resultados de la inferencia de IA generados fuera de la cadena no han sido manipulados y que han pasado por un proceso coherente para la misma entrada. La estructura que ha surgido para resolver este problema es el Protocolo de Inferencia Híbrido Verificable, o VH-SIP, que tiene como objetivo verificar sistemáticamente la integridad de la inferencia fuera de la cadena al combinar elementos verificados de redes de IA distribuidas existentes y mecanismos de consenso de blockchain. El punto de partida de VH-SIP es la capa de ejecución de inferencia. En esta capa, la ejecución de cargas de trabajo en contenedores es un supuesto básico, similar a cómo se utiliza en el modelo Infernet de Ritual. Miles de nodos con diferentes características de hardware se configuran para ejecutar el mismo modelo, y se mantiene la determinación de la operación a través de una semilla aleatoria fija utilizada en opML de ORA y el sistema de operadores reproducibles de Gensyn, RepOps. Aquí se aplica el marco de fragmentación híbrida de Nesa, que divide grandes modelos de lenguaje en varios bloques y realiza la inferencia dentro del rango que cada nodo puede manejar a través de la cuantización dinámica por bloques. Cada nodo de ejecución genera un recibo de prueba que incluye el valor de compromiso para la entrada, el hash de salida y los indicadores de recursos utilizados, que es compatible con el formato del protocolo Relay de Gensyn y se transmite a la etapa de verificación posterior. Estos resultados de inferencia pasan inmediatamente a la capa de fragmentación. El núcleo de la capa de fragmentación es la asignación de fragmentos basada en VRF. Esta estructura se basa en el mecanismo de fragmentación VRF discutido en la investigación de Ethereum y utiliza los valores de salida de VRF anteriores como entrada para determinar la asignación del siguiente fragmento, eliminando así la previsibilidad. La estructura VRF basada en BLS implementada en Harmony está diseñada para dificultar que un participante específico sesgue los resultados, y se garantiza el funcionamiento continuo de la red bajo la suposición de que los nodos honestos constituyen la mayoría. Dentro del fragmento, se utiliza la técnica de fragmentación independiente del modelo de Nesa para dividir las unidades de trabajo, y los validadores también se componen de un comité de verificación separado bajo el principio de fragmentación de código de PolyShard. El método de redistribución basado en la predicción de carga de trabajo propuesto en el protocolo PSAP se encarga de ajustar la carga entre los fragmentos. La verificación y el consenso son el núcleo de VH-SIP. En esta capa, se aplica una estrategia de verificación híbrida en lugar de un único método. Para inferencias de alto volumen y riesgo relativamente bajo, se selecciona aleatoriamente a un pequeño número de validadores para realizar una verificación de muestreo probabilístico. En cambio, para resultados de alto valor económico o con alta probabilidad de disputa, se lleva a cabo una verificación determinista en la que todo el comité vuelve a ejecutar la misma operación. En caso de que los dos resultados entren en conflicto, se aplican el método de delegación de mediación investigado en Gensyn y un juego de búsqueda binaria para reducir gradualmente el punto de error. Este proceso se basa en el concepto de verificación optimista de ORA, asumiendo fundamentalmente la legitimidad del resultado, pero iniciando un procedimiento de resolución de disputas interactivo en la cadena si se plantea un desafío. Las operaciones de punto fijo y el sistema de operadores reproducibles ayudan a minimizar las desviaciones de punto flotante causadas por diferencias de hardware. La capa de incentivos económicos es la base que hace que esta estructura de verificación funcione de manera realista. Los participantes apuestan un colateral determinado, y se produce un slashing si se presentan resultados claramente incorrectos o se presentan salidas contradictorias simultáneamente, o si se ocultan resultados durante el proceso de verificación o se presentan pruebas TEE no verificables. Estas condiciones siguen el método de verificación Verde y el principio de anclaje en la cadena. Está diseñado para mantener la seguridad de toda la red incluso si existe hasta la mitad de participación maliciosa, como en el modelo adoptado en Bittensor, y se extiende la vida económica a través de un mecanismo de reciclaje de tokens. La capa de coordinación y agregación se encarga de unir los resultados generados en varios fragmentos en un único estado coherente. En esta capa, se utilizan compromisos KZG para verificar de manera eficiente la integridad de los datos cruzados de fragmentos y se evita que los costos de verificación aumenten linealmente a través de la codificación de PolyShard. El protocolo RSTBP se utiliza para procesar de manera atómica múltiples entradas y salidas, y los resultados de verificación probabilística se agregan según la regla de mayoría. El aprendizaje reforzado con restricciones de seguridad propuesto en el marco PSAP ajusta la asignación de recursos, pero el proceso de verificación en sí se basa en operaciones de aprendizaje automático deterministas que asumen la reproducción de los mismos resultados. Esta estructura también revela claramente los métodos de respuesta a diversos escenarios de ataque. La situación en la que un fragmento específico es dominado se mitiga mediante la rotación de fragmentos basada en VRF y la estructura de ponderación de participación, y las falsas alarmas causadas por operaciones no deterministas se gestionan a través de operaciones de punto fijo y el establecimiento de intervalos de tolerancia estadística. Los ataques de colusión se reprimen mediante slashing y estructuras de costos económicos, y si la calidad del modelo se degrada de manera encubierta, se detecta a través de la verificación de distribución basada en consenso. Los conceptos de operadores reproducibles, hashing de sensibilidad local y bandas de tolerancia propuestos en Gensyn son técnicas de verificación que se utilizan en este proceso. En resumen, VH-SIP presenta una arquitectura que combina elementos verificados de sistemas de IA distribuidos y de verificación existentes, como Nesa, Gensyn, ORA y Bittensor, para verificar de manera íntegra los resultados de inferencia de IA que se realizan fuera de la cadena dentro de la estructura de consenso de blockchain. La fragmentación híbrida distribuye de manera eficiente las operaciones y la verificación, y el consenso basado en VRF y la verificación optimista mantienen un equilibrio entre escalabilidad y seguridad. Esta estructura puede entenderse como un caso ordenado que satisface la demanda real de inferencia de IA fuera de la cadena, al tiempo que asegura la verificabilidad y la responsabilidad económica.