Chứng minh zkML toàn bộ mạch rất nặng — khóa chứng minh lớn, chứng minh chậm, và chi phí bộ nhớ cao. Với việc cắt DSperse, mô hình Doom cho thấy: - Thời gian chứng minh giảm từ 200 giây → 145 giây - Kích thước PK giảm 50%