/ JSTprove on zkML-työkalupakkimme nollatiedon todistuksia koneoppimisen päättelystä ONNX-malleissa. Tuot ONNX-mallin. JSTprove orkestroi kvantisointia, piirien generointia, todistajien luomista, todistamista ja varmennointia yksinkertaisen komentosarjan avulla, jota ohjaa Expander/ECC -järjestelmällä.

2/ Koodi on avoimen lähdekoodin ja saatavilla GitHubissa. Jos haluat nähdä sen toiminnassa, repositio sisältää Quickstartin, jossa on LeNet-demo sekä täydelliset dokumentaatiot CLI:stä ja putkistosta.

3/ Perustyönkulku on yksinkertainen: käännä → todista → todista → varmista. Käännä mallisi piiriksi ja kvantisoiduksi ONNX:ksi: JST compile -m model.onnx -c circuit.txt

4/ Luo todistaja ja tulokset, sitten esitä todiste: JST todistaja -C circuit.txt -I input.json -O output.json -W witness.bin jst todista -c circuit.txt -w witness.bin -p proof.bin

5/ Lopuksi, varmista todisteet: jst verify -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin Jos se tulostaa "Vahvistettu", olet valmis. Tarkista reposta asennusohjeet, tuetut kerrokset ja koko läpipeluu.