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