/ JSTprove este trusa noastră zkML pentru producerea de demonstrații zero-knowledge ale inferenței ML pe modele ONNX. Aduci un model ONNX. JSTprove orchestrează cuantificarea, generarea circuitelor, crearea martorilor, demonstrarea și verificarea printr-un CLI simplu, alimentat de Expander/ECC sub capotă.

2/ Codul este open-source și disponibil pe GitHub. Dacă vrei să-l vezi în acțiune, depozitul include un Quickstart cu o demonstrație LeNet și documentația completă pentru CLI și pipeline.

3/ Fluxul de lucru de bază este simplu: compila → martor → dovedește → verifică. Compilează modelul într-un circuit și ONNX cuantificat: JST compile -m model.onnx -c circuit.txt

4/ Generează martorul și rezultatele, apoi produce o demonstrație: Martor JST -c circuit.txt -i input.json -o output.json -w witness.bin jst demonstrează -c circuit.txt -w witness.bin -p proof.bin

5/ În final, verifică demonstrația: verificare jst -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin Dacă afișează "Verificat", ai terminat. Verifică repository-ul pentru instrucțiuni de instalare, straturi suportate și ghidul complet.