Tam devre zkML kanıtları ağırdır — büyük kanıtlama anahtarları, yavaş kanıtlar ve yüksek bellek maliyeti. DSperse dilimleme ile Doom modeli şunları gösterir: - Kanıt süresi 200 saniyeden 145 saniyeye → - PK boyutu %50 küçülür