全模型 zkML 证明提供了强有力的保证，但它们伴随着高延迟和内存成本。在许多情况下，只有特定的层或子计算需要验证——正如我们在白皮书中概述的那样。 这就是 DSperse 的理念，我们的开源、基于切片的 zkML 框架。DSperse 允许您证明高价值的子计算——策略门、异常检测器、专有头——而其余部分以原生速度运行，而不是将整个模型电路化。 在基准测试中，切片提供了： • 77% 更快的见证生成 • 66% 更快的证明 • ~40% 更少的内存使用 想象一下一个欺诈检测管道：您不需要证明每周重新训练的整个评分模型。重要的是异常检查和决策逻辑。DSperse 使这些切片可验证，而无需承担证明其他所有内容的负担。 白皮书： 代码库： Medium：

1/ 你是否曾想过为什么 zkML 没有扩展？ 证明整个模型既慢又昂贵且不切实际。如果你只证明那些重要的部分会怎样？