Les preuves zkML à circuit complet sont lourdes : grandes clés de preuve, preuves lentes et coût mémoire élevé. Avec le découpage DSperse, le modèle Doom montre : - Temps de preuve réduit de 200s → 145s - Taille de la clé PK réduite de 50%