/ JSTprove es nuestra herramienta zkML para producir pruebas de conocimiento cero de inferencias de ML en modelos ONNX. Tú traes un modelo ONNX. JSTprove orquesta la cuantización, generación de circuitos, creación de testigos, prueba y verificación a través de una sencilla CLI, impulsada por Expander/ECC en el fondo.

2/ El código es de código abierto y está disponible en GitHub. Si quieres verlo en acción, el repositorio incluye un inicio rápido con una demostración de LeNet y documentación completa para la CLI y el pipeline.

3/ El flujo de trabajo básico es simple: compilar → testigo → probar → verificar. Compila tu modelo en un circuito y ONNX cuantizado: jst compile -m model.onnx -c circuit.txt

4/ Genera el testigo y las salidas, luego produce una prueba: 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/ Finalmente, verifica la prueba: jst verify -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin Si imprime “Verificado”, has terminado. Consulta el repositorio para obtener instrucciones de instalación, capas soportadas y la guía completa.