Las pruebas zkML de circuito completo son pesadas: claves de prueba grandes, pruebas lentas y alto costo de memoria. Con el slicing de DSperse, el modelo Doom muestra: - Tiempo de prueba reducido de 200s → 145s - El tamaño de la PK se reduce en un 50%