/ JSTprove är vår zkML-verktygslåda för att producera nollkunskapsbevis för ML-inferens på ONNX-modeller. Du tar med en ONNX-modell. JSTprove orkestrerar kvantisering, kretsgenerering, bevisande av vittnen, bevisning och verifiering via en enkel CLI, som drivs av Expander/ECC under huven.

2/ Koden är öppen källkod och finns tillgänglig på GitHub. Om du vill se det i praktiken inkluderar repot en Quickstart med en LeNet-demo och fullständiga dokument för CLI och pipeline.

3/ Det grundläggande arbetsflödet är enkelt: sammanställ → vittne → bevisa → verifiera. Komplisera din modell till en krets och kvantiserad ONNX: JST kompilerar -m model.onnx -c circuit.txt

4/ Generera vittnet och utgångarna, och producera sedan ett bevis: JST-vittne -C circuit.txt -I input.json -O output.json -W witness.bin JST bevisa -c circuit.txt -w witness.bin -p proof.bin

5/ Slutligen, verifiera beviset: JST verifiera -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin Om det står "Verifierad" är du klar. Kolla repoet för installationsinstruktioner, stödda lager och hela genomgången.