分布式 zkML
DSperse 是一种面向可验证 AI 的无系统依赖的智能切片器,它将 ONNX 神经网络 模型分解为与电路兼容的部分,并通过可插拔的 ZK 后端协调编译、推理、证明和验证。
模型切片：将 神经网络 模型分割成单独的层或自定义分段
ONNX 支持：切片和编排 ONNX 模型
分层推理：在切片的模型上运行推理，连接每个分段的输出
零知识证明：通过 JSTprove 生成和验证模型执行的证明
平铺和通道分割：自动分解大型卷积，以支持与电路兼容的执行
独立于证明系统：支持 Expander 和 Remainder 证明系统的可插拔后端架构
概述: 项目的高级概述、目标和功能
| 命令 | 描述 |
|---|---|
slice |
将 ONNX 模型分割成多个部分 |
compile |
将分割后的模型编译为 ZK 电路 |
run |
通过分割后的模型执行链式推理（使用 --weights 可将消费者 ONNX 导入） |
prove |
为完成的运行生成 ZK 证明 |
verify |
验证 ZK 证明 |
full-run |
依次执行编译、运行、证明和验证（支持 --weights） |
[dependencies]
暂无开放 Issues，或尚未同步最近议题。