/ JSTprove è il nostro toolkit zkML per la produzione di prove a conoscenza zero dell'inferenza ML su modelli ONNX. Porti un modello ONNX. JSTprove orchestra la quantizzazione, la generazione del circuito, la creazione del testimone, la prova e la verifica tramite una semplice CLI, alimentata da Expander/ECC sotto il cofano.

2/ Il codice è open-source e disponibile su GitHub. Se vuoi vederlo in azione, il repository include un Quickstart con una demo di LeNet e documentazione completa per la CLI e il pipeline.

3/ Il flusso di lavoro di base è semplice: compila → testimonia → prova → verifica. Compila il tuo modello in un circuito e ONNX quantizzato: jst compile -m model.onnx -c circuit.txt

4/ Genera il testimone e gli output, poi produci una prova: 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/ Infine, verifica la prova: jst verify -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin Se stampa “Verificato”, hai finito. Controlla il repository per le istruzioni di installazione, i layer supportati e la guida completa.