全電路 zkML 證明很重 — 大型證明金鑰、慢速證明和高記憶體成本。 使用 DSperse 切片,Doom 模型顯示: - 證明時間從 200 秒減少到 145 秒 - PK 大小縮小 50%