/ JSTprove adalah toolkit zkML kami untuk menghasilkan bukti inferensi ML tanpa pengetahuan pada model ONNX. Anda membawa model ONNX. JSTprove mengatur kuantisasi, pembuatan sirkuit, pembuatan saksi, pembuktian, dan verifikasi melalui CLI sederhana, didukung oleh Expander/ECC di bawah tenda.

2/ Kode bersifat open-source dan tersedia di GitHub. Jika Anda ingin melihatnya beraksi, repositori menyertakan Mulai Cepat dengan demo LeNet dan dokumen lengkap untuk CLI dan alur.

3/ Alur kerja dasarnya sederhana: kompilasi → saksi → buktikan → verifikasi. Kompilasi model Anda ke dalam sirkuit dan ONNX yang dikuantifikasi: jst compile -m model.onnx -c circuit.txt

4/ Hasilkan saksi dan output, lalu hasilkan bukti: JST Witness -c circuit.txt -i input.json -o output.json -w witness.bin jst buktikan -c circuit.txt -w witness.bin -p proof.bin

5/ Terakhir, verifikasi buktinya: jst verify -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin Jika dicetak "Terverifikasi", Anda sudah selesai. Periksa repositori untuk petunjuk pemasangan, lapisan yang didukung, dan panduan lengkap.