1/ Las pruebas zk completas para modelos de IA completos son poderosas... Pero en la práctica: demasiado pesado, demasiado lento, demasiado caro. Es por eso que creamos DSperse → la verificación basada en rebanadas.