/ JSTprove je náš zkML nástroj pro tvorbu důkazů ML inference s nulovou znalostí na modelech ONNX. Přinesete si model ONNX. JSTprove orchestruje kvantizaci, generování obvodů, vytváření svědků, ověřování a ověřování prostřednictvím jednoduchého CLI, poháněného Expanderem/ECC pod kapotou.

2/ Kód je open-source a dostupný na GitHubu. Pokud to chcete vidět v praxi, repozitář obsahuje Quickstart s LeNet demem a kompletní dokumentací pro CLI a pipeline.

3/ Základní pracovní postup je jednoduchý: zkompilovat → svědčit, → dokázat → ověřit. Zkompilujte svůj model do obvodu a kvantujte ONNX: JST Compile -m model.onnx -c circuit.txt

4/ Vygenerujte svědka a výstupy, poté vytvořte důkaz: JST svědek -C circuit.txt -I input.json -O output.json -W witness.bin JST dokázat -c circuit.txt -w witness.bin -p proof.bin

5/ Nakonec ověřte důkaz: JST verify -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin Pokud se vypíše "Verified", máte hotovo. Zkontrolujte v repozitáři instrukce k instalaci, podporované vrstvy a kompletní průvodce.