/ JSTproveは、ONNXモデル上でML推論のゼロ知識証明を作成するためのzkMLツールキットです。 ONNXモデルを持っていく。JSTproveは、シンプルなCLIを介して量子化、回路生成、証人の作成、証明、検証をオーケストレーションし、Expander/ECCを搭載しています。

2/ コードはオープンソースでGitHubで利用可能です。 実際に使いたいなら、リポジトリにはLeNetデモ付きのクイックスタートとCLIやパイプラインのフルドキュメントが含まれています。

3/ 基本的なワークフローはシンプルです。証人→コンパイル→証明→検証。 モデルを回路にまとめて量子化されたONNXを生成します。 jst compile -m model.onnx -c circuit.txt

4/ 証人と出力を生成し、証明を生成します: JST 証人 -C circuit.txt -I input.json -O output.json -W witness.bin jst 証明 -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 「Verified」と印刷されれば、それで終わりです。インストール手順、対応レイヤー、全攻略はリポジトリで確認してください。