/ JSTprove 是我們的 zkML 工具包，用於生成 ONNX 模型的機器學習推理的零知識證明。 您提供一個 ONNX 模型。JSTprove 通過一個簡單的 CLI 協調量化、電路生成、見證創建、證明和驗證，底層由 Expander/ECC 提供支持。

2/ 這段代碼是開源的，並且可以在 GitHub 上找到。 如果你想看到它的實際運作，這個倉庫包含了一個 Quickstart 和 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 如果顯示「已驗證」，那麼你就完成了。查看倉庫以獲取安裝說明、支持的層和完整的操作指南。