/ JSTprove — це наш інструментарій zkML для створення доказів з нульовим розгаданням висновку машинного навчання на моделях ONNX. Ти береш модель 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 перевірити -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin Якщо надрукує «Підтверджено», все закінчено. Перевірте репозиторію для інструкцій з встановлення, підтримуваних шарів і повного проходження.