/ JSTprove is onze zkML-toolkit voor het produceren van zero-knowledge bewijzen van ML-inferentie op ONNX-modellen. Je brengt een ONNX-model mee. JSTprove coördineert kwantisatie, circuitgeneratie, getuigencreatie, bewijzing en verificatie via een eenvoudige CLI, aangedreven door Expander/ECC onder de motorkap.

2/ De code is open-source en beschikbaar op GitHub. Als je het in actie wilt zien, bevat de repo een Quickstart met een LeNet-demo en volledige documentatie voor de CLI en pipeline.

3/ De basisworkflow is eenvoudig: compileren → getuigen → bewijzen → verifiëren. Compileer je model naar een circuit en gequantiseerde ONNX: jst compile -m model.onnx -c circuit.txt

4/ Genereer de getuige en uitvoer, en produceer vervolgens een bewijs: 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/ Controleer uiteindelijk het bewijs: jst verify -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin Als het "Gecontroleerd" afdrukt, ben je klaar. Controleer de repo voor installatie-instructies, ondersteunde lagen en de volledige walkthrough.