/ JSTprove é a nossa ferramenta zkML para produzir provas de conhecimento zero de inferência de ML em modelos ONNX. Você traz um modelo ONNX. O JSTprove orquestra a quantização, geração de circuitos, criação de testemunhas, prova e verificação através de uma CLI simples, alimentada por Expander/ECC por trás.

2/ O código é de código aberto e está disponível no GitHub. Se você quiser vê-lo em ação, o repositório inclui um Quickstart com uma demonstração do LeNet e documentação completa para a CLI e o pipeline.

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

4/ Gere a testemunha e as saídas, depois produza uma prova: 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/ Por fim, verifique a prova: jst verify -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin Se imprimir "Verificado", você terminou. Verifique o repositório para instruções de instalação, camadas suportadas e o guia completo.