/ JSTprove er vårt zkML-verktøysett for å produsere nullkunnskapsbevis for ML-inferens på ONNX-modeller. Du tar med en ONNX-modell. JSTprove orkestrerer kvantisering, kretsgenerering, vitneskaping, bevising og verifisering via en enkel CLI, drevet av Expander/ECC under panseret.

2/ Koden er åpen kildekode og tilgjengelig på GitHub. Hvis du vil se det i praksis, inkluderer repoet en Quickstart med en LeNet-demo og full dokumentasjon for CLI og pipeline.

3/ Den grunnleggende arbeidsflyten er enkel: kompiler → vitne → beviser → verifiserer. Kompil modellen din i en krets og kvantisert ONNX: JST kompilerer -m model.onnx -c circuit.txt

4/ Generer vitnet og uttaler, og produser deretter et bevis: JST-vitne -C circuit.txt -I input.json -O output.json -W witness.bin JST bevis -c circuit.txt -w witness.bin -p proof.bin

5/ Til slutt, verifiser beviset: JST verifiserer -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin Hvis det står "Verifisert", er du ferdig. Sjekk repoet for installasjonsinstruksjoner, støttede lag og hele gjennomgangen.