/ JSTprole, ONNX modellerinde makine öğrenimi çıkarımının sıfır bilgili kanıtlarını üretmek için zkML araç setimizdir. Bir ONNX modeli getiriyorsun. JSTprove kuantizasyon, devre üretimi, tanık oluşturma, kanıtlama ve doğrulama işlemlerini basit bir Kli'da organize eder; bu süreç kaputu altında Expander/ECC tarafından desteklenir.

2/ Kod açık kaynaklıdır ve GitHub'da mevcut. Eğer bunu uygulamada görmek isterseniz, depoda LeNet demosu ve CLI ile pipeline için tam belgelerle bir Quickstart var.

3/ Temel iş akışı basit: derleyin → tanık → kanıtlayın → doğrulayın. Modelinizi bir devreye derleyin ve kuantize ONNX'e oluşturun: jst compile -m model.onnx -c circuit.txt

4/ Tanık ve çıktıları üretin, ardından bir kanıt oluşturun: JST tanık -c circuit.txt -I input.json -o output.json -w witness.bin jst kanıtlamak -c circuit.txt -w witness.bin -p proof.bin

5/ Son olarak, kanıtı doğrulayın: jst verify -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin Eğer "Doğrulandı" yazıyorsa, işiniz bitti. Depoyu kurulum talimatları, desteklenen katmanlar ve tam yürütme için kontrol edin.