# inference-labs-inc/JSTprove

JSTprove - Fast, verifiable AI

Repository: https://github.com/inference-labs-inc/JSTprove
Canonical: https://ross.abutalabs.com/products/jstprove
Language: Rust
License: NOASSERTION
License Family: other
Topics: zkml
Last push: 2026-04-23T17:01:09+00:00

## Health v2 (maintenance only)
Score: 70/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 78, release rhythm 73, longevity 45
- inputs: {"age_days": 638, "days_push": 132, "days_rel": 180, "gap_med": 2.0, "n_releases_24m": 21}
- flags: no_license
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1306, forks 15 (observed 2026-08-28T04:04:18.920509+00:00)

## What it is
JSTprove is a Rust CLI toolkit that generates zero-knowledge proofs of machine learning inference on ONNX models, built on Polyhedra Network's Expander GKR prover and the Expander Compiler Collection. It lets users prove that a model produced a given output without revealing model weights or inputs.

## Use cases
- generate zero-knowledge proofs of onnx model inference
- verify ai model outputs without revealing weights
- prove neural network inference correctness on-chain
- zkml toolkit for verifiable machine learning
- prove conv and gemm model execution with zk proofs

## When to choose
- you need verifiable, privacy-preserving proofs of ONNX model inference
- you want fast GKR-based zkML proving for supported ops like Conv, Gemm, and ReLU
- you need a CLI workflow to prove and verify ML inference

## When to avoid
- your model uses ONNX ops outside the currently supported set
- you need a general-purpose ZK proof system rather than ML inference proofs
- you need a Python or hosted SDK instead of a Rust CLI

## Facets
- artifact type: cli-tool
- maturity: active
- function: machine-learning, cryptography, cli, llm-inference
- domain: machine-learning, deep-learning, developer-tools
- platform: rust, cli
- tags: zkml, zero-knowledge-proofs, onnx, verifiable-inference, gkr-prover, cryptography, linux, macos

## Member repositories
- inference-labs-inc/JSTprove (main) score 70

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:04:18.920509+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T04:50:57.981400+00:00, confidence not recorded.
  - readme: https://github.com/inference-labs-inc/JSTprove (fetched 2026-08-28T04:04:18.920509+00:00, sha 3ada542d75c9)
- Data as of 2026-08-30T08:39:29.467469+00:00.