全电路 zkML 证明很重——大证明密钥、慢证明和高内存成本。 通过 DSperse 切片，Doom 模型显示： - 证明时间从 200 秒减少到 145 秒 - PK 大小缩小 50%