Volledige circuit zkML-bewijzen zijn zwaar — grote bewijs sleutels, trage bewijzen en hoge geheugenkosten. Met DSperse slicing toont het Doom-model: - Bewijstijd verminderd van 200s → 145s - PK-grootte krimpt met 50%