/ JSTprove to nasz zestaw narzędzi zkML do produkcji dowodów zerowej wiedzy dla wnioskowania ML na modelach ONNX. Przynosisz model ONNX. JSTprove zarządza kwantyzacją, generowaniem obwodów, tworzeniem świadków, dowodzeniem i weryfikacją za pomocą prostego interfejsu CLI, wspieranego przez Expander/ECC w tle.

2/ Kod jest otwartoźródłowy i dostępny na GitHubie. Jeśli chcesz zobaczyć go w akcji, repozytorium zawiera szybki przewodnik z demonstracją LeNet oraz pełną dokumentację dla CLI i pipeline.

3/ Podstawowy proces roboczy jest prosty: kompiluj → świadek → udowodnij → zweryfikuj. Skompiluj swój model do obwodu i skwantyzowanego ONNX: jst compile -m model.onnx -c circuit.txt

4/ Wygeneruj świadków i wyjścia, a następnie stwórz dowód: 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/ Na koniec, zweryfikuj dowód: jst verify -c circuit.txt -i input.json -o output.json -w witness.bin -p proof.bin Jeśli wyświetli „Zweryfikowano”, to koniec. Sprawdź repozytorium, aby uzyskać instrukcje instalacji, obsługiwane warstwy i pełny przewodnik.