/ JSTprove هو مجموعة أدوات zkML لدينا لإنتاج إثباتات المعرفة الصفرية لاستدلال تعلم الآلة على نماذج ONNX. تحضر موديل ONNX. يقوم JSTprove بتنظيم التكميم، وتوليد الدوائر، وإنشاء الشهود، والإثبات، والتحقق من ذلك عبر CLI بسيط، مدعوم بواسطة Expander/ECC تحت الغطاء.

2/ الكود مفتوح المصدر ومتاح على GitHub. إذا أردت رؤيته أثناء التنفيذ، يتضمن المستودع بداية سريعة مع عرض توضيحي ل LeNet ومستندات كاملة لواجهة الأوامر وخط الأنابيب.

3/ سير العمل الأساسي بسيط: تجميع → الشاهد → إثبات → التحقق. قم بتجميع نموذجك في دائرة وقم بتكميم ONNX: JST compile -m model.onnx -c circuit.txt

4/ توليد الشاهد والنتائج، ثم إنتاج إثبات: شاهد JST -c circuit.txt -i input.json -o output.json -w witness.bin JST إثبات -c circuit.txt -w witness.bin -p proof.bin

5/ أخيرا، تحقق من الدليل: JST تحقق -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin إذا كان يطبع "تم التحقق منه"، فأنت انتهيت. تحقق من المستودع للحصول على تعليمات التثبيت، والطبقات المدعومة، والدليل الكامل.