Le prove zkML a circuito completo sono pesanti: chiavi di prova grandi, prove lente e alto costo di memoria. Con il slicing DSperse, il modello Doom mostra: - Tempo di prova ridotto da 200s → 145s - Dimensione della PK ridotta del 50%