/ JSTprove 是我们的 zkML 工具包，用于生成 ONNX 模型的机器学习推理的零知识证明。 您提供一个 ONNX 模型。JSTprove 通过一个简单的 CLI 协调量化、电路生成、见证创建、证明和验证，底层由 Expander/ECC 提供支持。

2/ 代码是开源的，并且可以在 GitHub 上找到。 如果你想看到它的实际效果，仓库中包含了一个带有 LeNet 演示的快速入门指南，以及 CLI 和管道的完整文档。

3/ 基本工作流程很简单：编译 → 见证 → 证明 → 验证。 将您的模型编译成电路并量化为 ONNX： jst compile -m model.onnx -c circuit.txt

4/ 生成见证和输出，然后生成证明： jst witness -c circuit.txt -i input.json -o output.json -w witness.bin jst prove -c circuit.txt -w witness.bin -p proof.bin

5/ 最后，验证证明： jst verify -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin 如果它打印“已验证”，那么你完成了。请查看仓库以获取安装说明、支持的层和完整的操作指南。