/ JSTprove é nosso kit de ferramentas zkML para produzir provas zero-knowledge da inferência de ML em modelos ONNX. Você traz um modelo ONNX. O JSTprove orquestra quantização, geração de circuitos, criação de testemunhas, provação e verificação via uma CLI simples, alimentada por Expander/ECC no capô.

2/ O código é de código aberto e disponível no GitHub. Se quiser ver isso em ação, o repositório inclui um Quickstart com uma demo do LeNet e documentação completa para a CLI e pipeline.

3/ O fluxo básico de trabalho é simples: compilar → testemunha → provar → verificar. Compile seu modelo em um circuito e quantize ONNX: JST compile -m model.onnx -c circuit.txt

4/ Gerar a testemunha e as saídas, depois produzir uma prova: JST TESTEMUNHA -C circuit.txt -I input.json -O output.json -W witness.bin jst prova -c circuit.txt -w witness.bin -p proof.bin

5/ Finalmente, verifique a prova: JST verifica -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin Se imprimir "Verificado", você acabou. Verifique o repositório para as instruções de instalação, camadas suportadas e o guia completo.