/ JSTprove ist unser zkML-Toolkit zur Erstellung von Zero-Knowledge-Proofs für ML-Inferenz auf ONNX-Modellen. Sie bringen ein ONNX-Modell mit. JSTprove orchestriert Quantisierung, Schaltkreisgenerierung, Zeugencreation, Beweisführung und Verifizierung über eine einfache CLI, die im Hintergrund von Expander/ECC unterstützt wird.

2/ Der Code ist Open Source und auf GitHub verfügbar. Wenn Sie ihn in Aktion sehen möchten, enthält das Repository einen Schnellstart mit einer LeNet-Demo und vollständige Dokumentationen für die CLI und die Pipeline.

3/ Der grundlegende Arbeitsablauf ist einfach: kompilieren → bezeugen → beweisen → verifizieren. Kompiliere dein Modell in einen Schaltkreis und quantisiertes ONNX: jst compile -m model.onnx -c circuit.txt

4/ Erzeugen Sie den Zeugen und die Ausgaben, und erstellen Sie dann einen Beweis: 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/ Schließlich, verifizieren Sie den Beweis: jst verify -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin Wenn "Verifiziert" ausgegeben wird, sind Sie fertig. Überprüfen Sie das Repository auf Installationsanweisungen, unterstützte Schichten und die vollständige Anleitung.