/ JSTprove — это наш инструмент zkML для создания доказательств с нулевым разглашением (zero-knowledge proofs) вывода машинного обучения (ML inference) на моделях 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 Если выведет "Проверено", вы закончили. Проверьте репозиторий на наличие инструкций по установке, поддерживаемых слоев и полного руководства.