1/ Pruebas zk completas para modelos de IA enteros son poderosas… Pero en la práctica: demasiado pesadas, demasiado lentas, demasiado caras. Por eso construimos DSperse → verificación basada en fragmentos.