براهين zkML ذات الدائرة الكاملة ثقيلة - مفاتيح إثبات كبيرة ، وبراهين بطيئة ، وتكلفة ذاكرة عالية. مع تقطيع DSperse ، يظهر نموذج Doom: - قطع وقت الإثبات من 200 ثانية → 145 ثانية - يتقلص حجم PK بنسبة 50٪