/ JSTprove es nuestro kit de herramientas zkML para producir pruebas de conocimiento cero de la inferencia de ML en modelos ONNX. Traes un modelo ONNX. JSTprove orquesta cuantización, generación de circuitos, creación de testigos, demostración y verificación mediante una simple CLI, alimentada 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 Quickstart con una demo de LeNet y la documentación completa de la CLI y la pipeline.

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

4/ Generar el testigo y los resultados, y luego producir una demostración: JST TESTIGO -C circuit.txt -I input.json -O output.json -W witness.bin JST demostra -c circuit.txt -w witness.bin -p proof.bin

5/ Finalmente, verifica la prueba: JST verifica -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin Si aparece "Verificado", estás acabado. Consulta el repositorio para las instrucciones de instalación, las capas compatibles y la guía completa.