Dejando a un lado todos los tecnicismos, he abstraído la red de verificación de @OpenGradient como un modelo puro de teoría de juegos. El resultado muestra que los incentivos económicos incorporados podrían estar premiando el peor comportamiento: la “verificación perezosa”.
Miremos el diseño: los nodos de verificación deben hacer un depósito (stake), verificar el resultado de la inferencia; una verificación correcta obtiene una recompensa, y si la verificación es incorrecta o si la impugnación tiene éxito, se pierde el depósito. El modelo parece bastante estándar, pero el problema está en el “coste de verificar continuamente” y en la “probabilidad de revisión”. En una red que procesa una enorme cantidad de solicitudes de inferencia, si cada nodo de verificación realiza, en cada ocasión, una prueba remota completa de TEE y recalcula con zkML, el coste y la latencia serían inaceptables. Entonces, ¿cuál sería la estrategia óptima? ¿Confiar por defecto y hacer solo revisiones aleatorias?
Pero en cuanto todos los nodos racionales deducen que “revisar al azar” es la solución óptima, surge un nuevo dilema del prisionero. Si sé que otros nodos probablemente también están holgazaneando, entonces mi propia holgazanería tiene menos probabilidades de ser descubierta. El mecanismo de penalización económica de $OPG , si no puede distinguir entre “el nodo no verificó por pereza” y “no envió la verificación por la latencia de red”, entonces la base de seguridad de este sistema no será la criptografía, sino la estadística de “probablemente no pasa nada”.$BTC
Lo más peligroso es que esta “verificación perezosa” se vuelve sistemática por el apalancamiento del depósito (compuesto). Los grandes nodos verificadores pueden ejecutar múltiples instancias para dispersar el riesgo y mantener una alta tasa de aprobación aparente. En cambio, los nodos que sí pagan el coste de la verificación completa serían eliminados porque les resulta demasiado caro.#OPG Ahora no se trata de responder si la tecnología es viable, sino de si este modelo de incentivos, al final, selecciona a los verificadores más honestos o a los jugadores que mejor calculan costes. Si la respuesta es lo segundo, entonces toda “verificabilidad” que discutimos terminará convirtiéndose en una mera declaración vacía.
#OPG $OPG @OpenGradient