1/ 完整的 zk-proofs 用于整个 AI 模型是强大的…… 但在实践中:太重,太慢,太贵。 这就是为什么我们构建了 DSperse → 基于切片的验证。