{"adoption": {"forks": 102, "observed_at": "2026-08-28T04:07:57.972594+00:00", "stars": 3357}, "canonical_url": "https://ross.abutalabs.com/products/deep-prove", "card": {"archived": false, "artifact_type": "framework", "description": "Framework to prove inference of ML models blazingly fast", "domain": ["artificial-intelligence", "machine-learning", "large-language-models", "security", "developer-tools"], "enriched": true, "function": ["machine-learning", "llm-inference", "cryptography", "sdk", "cli", "monitoring"], "health_score": 71, "homepage": "https://lagrange.dev", "language": "Rust", "license": "NOASSERTION", "license_family": "other", "maturity": "active", "member_repos": ["Lagrange-Labs/deep-prove"], "name": "Lagrange-Labs/deep-prove", "platform": ["rust", "cli"], "pushed_at": "2026-05-31T20:11:18+00:00", "repo": "Lagrange-Labs/deep-prove", "stars": 3357, "tags": ["zkml", "zero-knowledge-proofs", "zk-snarks", "verifiable-inference", "sumcheck", "gkr", "transformers", "quantization", "prover-network", "cryptography", "linux", "gpu", "docker"], "topics": ["ai", "ml", "zk", "zk-snarks", "zkml"], "urls": [], "use_cases": ["prove that an LLM inference output came from a specific model", "generate zero-knowledge proofs of neural network forward passes", "verify ML model inference results without re-running the model", "benchmark zkML proving performance for GPT-2, Gemma 3, and Llama 2", "run a distributed proof generation network for AI inference", "quantize models and prove MLP, CNN, and transformer inference"], "what_it_is": "DeepProve is a Rust framework for generating zero-knowledge proofs of neural network inference, including end-to-end proving of full LLM forward passes using sumcheck and logup GKR protocols. It includes a core zkml proving library, a client stack with a proof-generation worker and CLI, tensor storage, and telemetry tooling.", "when_to_avoid": ["you just need ML inference without verifiability", "you need a permissively licensed library (it uses a custom Lagrange License)", "your models are outside the supported MLP/CNN/transformer architectures", "you need tiny proof sizes or millisecond-level verification on constrained devices"], "when_to_choose": ["you need cryptographically verifiable AI inference with succinct proofs", "you want the fastest available zkML proving for transformer/LLM models", "you need to prove inference of GPT-2, Gemma, or Llama models end-to-end", "you want GPU-accelerated or horizontally distributed proof generation"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/deep-prove", "repo": "Lagrange-Labs/deep-prove", "role": "main", "score": 60}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:07:57.972594+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T18:40:54.648010+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "220a5d51fcbb1f450cdecf5ac9e5a7116773de68f305657a373d02af1a63b7f6", "fetched_at": "2026-08-28T04:07:57.972594+00:00", "kind": "readme", "missing": false, "url": "https://github.com/Lagrange-Labs/deep-prove"}, {"content_hash": "897c4358c30d1530c748760542142f104ec52755bf4d57daaf04cdd9e1a8706c", "fetched_at": "2026-08-29T09:33:57.530644+00:00", "kind": "homepage", "missing": false, "url": "https://lagrange.dev"}, {"content_hash": "ea4087d2c4e0e40a1e30a88f73e2bc4b8771a569efec7f3887f56b90a96c5275", "fetched_at": "2026-08-29T09:33:57.539700+00:00", "kind": "site_page", "missing": false, "url": "https://docs.lagrange.dev/"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:07:57.972594+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T18:40:54.648010+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "220a5d51fcbb1f450cdecf5ac9e5a7116773de68f305657a373d02af1a63b7f6", "fetched_at": "2026-08-28T04:07:57.972594+00:00", "kind": "readme", "missing": false, "url": "https://github.com/Lagrange-Labs/deep-prove"}, {"content_hash": "897c4358c30d1530c748760542142f104ec52755bf4d57daaf04cdd9e1a8706c", "fetched_at": "2026-08-29T09:33:57.530644+00:00", "kind": "homepage", "missing": false, "url": "https://lagrange.dev"}, {"content_hash": "ea4087d2c4e0e40a1e30a88f73e2bc4b8771a569efec7f3887f56b90a96c5275", "fetched_at": "2026-08-29T09:33:57.539700+00:00", "kind": "site_page", "missing": false, "url": "https://docs.lagrange.dev/"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T18:40:54.648010+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "220a5d51fcbb1f450cdecf5ac9e5a7116773de68f305657a373d02af1a63b7f6", "fetched_at": "2026-08-28T04:07:57.972594+00:00", "kind": "readme", "missing": false, "url": "https://github.com/Lagrange-Labs/deep-prove"}, {"content_hash": "897c4358c30d1530c748760542142f104ec52755bf4d57daaf04cdd9e1a8706c", "fetched_at": "2026-08-29T09:33:57.530644+00:00", "kind": "homepage", "missing": false, "url": "https://lagrange.dev"}, {"content_hash": "ea4087d2c4e0e40a1e30a88f73e2bc4b8771a569efec7f3887f56b90a96c5275", "fetched_at": "2026-08-29T09:33:57.539700+00:00", "kind": "site_page", "missing": false, "url": "https://docs.lagrange.dev/"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:07:57.972594+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:07:57.972594+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:07:57.972594+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T18:40:54.648010+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "220a5d51fcbb1f450cdecf5ac9e5a7116773de68f305657a373d02af1a63b7f6", "fetched_at": "2026-08-28T04:07:57.972594+00:00", "kind": "readme", "missing": false, "url": "https://github.com/Lagrange-Labs/deep-prove"}, {"content_hash": "897c4358c30d1530c748760542142f104ec52755bf4d57daaf04cdd9e1a8706c", "fetched_at": "2026-08-29T09:33:57.530644+00:00", "kind": "homepage", "missing": false, "url": "https://lagrange.dev"}, {"content_hash": "ea4087d2c4e0e40a1e30a88f73e2bc4b8771a569efec7f3887f56b90a96c5275", "fetched_at": "2026-08-29T09:33:57.539700+00:00", "kind": "site_page", "missing": false, "url": "https://docs.lagrange.dev/"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:07:57.972594+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:07:57.972594+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T18:40:54.648010+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "220a5d51fcbb1f450cdecf5ac9e5a7116773de68f305657a373d02af1a63b7f6", "fetched_at": "2026-08-28T04:07:57.972594+00:00", "kind": "readme", "missing": false, "url": "https://github.com/Lagrange-Labs/deep-prove"}, {"content_hash": "897c4358c30d1530c748760542142f104ec52755bf4d57daaf04cdd9e1a8706c", "fetched_at": "2026-08-29T09:33:57.530644+00:00", "kind": "homepage", "missing": false, "url": "https://lagrange.dev"}, {"content_hash": "ea4087d2c4e0e40a1e30a88f73e2bc4b8771a569efec7f3887f56b90a96c5275", "fetched_at": "2026-08-29T09:33:57.539700+00:00", "kind": "site_page", "missing": false, "url": "https://docs.lagrange.dev/"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:07:57.972594+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:07:57.972594+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:07:57.972594+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T18:40:54.648010+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "220a5d51fcbb1f450cdecf5ac9e5a7116773de68f305657a373d02af1a63b7f6", "fetched_at": "2026-08-28T04:07:57.972594+00:00", "kind": "readme", "missing": false, "url": "https://github.com/Lagrange-Labs/deep-prove"}, {"content_hash": "897c4358c30d1530c748760542142f104ec52755bf4d57daaf04cdd9e1a8706c", "fetched_at": "2026-08-29T09:33:57.530644+00:00", "kind": "homepage", "missing": false, "url": "https://lagrange.dev"}, {"content_hash": "ea4087d2c4e0e40a1e30a88f73e2bc4b8771a569efec7f3887f56b90a96c5275", "fetched_at": "2026-08-29T09:33:57.539700+00:00", "kind": "site_page", "missing": false, "url": "https://docs.lagrange.dev/"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:07:57.972594+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:07:57.972594+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T18:40:54.648010+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "220a5d51fcbb1f450cdecf5ac9e5a7116773de68f305657a373d02af1a63b7f6", "fetched_at": "2026-08-28T04:07:57.972594+00:00", "kind": "readme", "missing": false, "url": "https://github.com/Lagrange-Labs/deep-prove"}, {"content_hash": "897c4358c30d1530c748760542142f104ec52755bf4d57daaf04cdd9e1a8706c", "fetched_at": "2026-08-29T09:33:57.530644+00:00", "kind": "homepage", "missing": false, "url": "https://lagrange.dev"}, {"content_hash": "ea4087d2c4e0e40a1e30a88f73e2bc4b8771a569efec7f3887f56b90a96c5275", "fetched_at": "2026-08-29T09:33:57.539700+00:00", "kind": "site_page", "missing": false, "url": "https://docs.lagrange.dev/"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T18:40:54.648010+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "220a5d51fcbb1f450cdecf5ac9e5a7116773de68f305657a373d02af1a63b7f6", "fetched_at": "2026-08-28T04:07:57.972594+00:00", "kind": "readme", "missing": false, "url": "https://github.com/Lagrange-Labs/deep-prove"}, {"content_hash": "897c4358c30d1530c748760542142f104ec52755bf4d57daaf04cdd9e1a8706c", "fetched_at": "2026-08-29T09:33:57.530644+00:00", "kind": "homepage", "missing": false, "url": "https://lagrange.dev"}, {"content_hash": "ea4087d2c4e0e40a1e30a88f73e2bc4b8771a569efec7f3887f56b90a96c5275", "fetched_at": "2026-08-29T09:33:57.539700+00:00", "kind": "site_page", "missing": false, "url": "https://docs.lagrange.dev/"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T18:40:54.648010+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "220a5d51fcbb1f450cdecf5ac9e5a7116773de68f305657a373d02af1a63b7f6", "fetched_at": "2026-08-28T04:07:57.972594+00:00", "kind": "readme", "missing": false, "url": "https://github.com/Lagrange-Labs/deep-prove"}, {"content_hash": "897c4358c30d1530c748760542142f104ec52755bf4d57daaf04cdd9e1a8706c", "fetched_at": "2026-08-29T09:33:57.530644+00:00", "kind": "homepage", "missing": false, "url": "https://lagrange.dev"}, {"content_hash": "ea4087d2c4e0e40a1e30a88f73e2bc4b8771a569efec7f3887f56b90a96c5275", "fetched_at": "2026-08-29T09:33:57.539700+00:00", "kind": "site_page", "missing": false, "url": "https://docs.lagrange.dev/"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T18:40:54.648010+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "220a5d51fcbb1f450cdecf5ac9e5a7116773de68f305657a373d02af1a63b7f6", "fetched_at": "2026-08-28T04:07:57.972594+00:00", "kind": "readme", "missing": false, "url": "https://github.com/Lagrange-Labs/deep-prove"}, {"content_hash": "897c4358c30d1530c748760542142f104ec52755bf4d57daaf04cdd9e1a8706c", "fetched_at": "2026-08-29T09:33:57.530644+00:00", "kind": "homepage", "missing": false, "url": "https://lagrange.dev"}, {"content_hash": "ea4087d2c4e0e40a1e30a88f73e2bc4b8771a569efec7f3887f56b90a96c5275", "fetched_at": "2026-08-29T09:33:57.539700+00:00", "kind": "site_page", "missing": false, "url": "https://docs.lagrange.dev/"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 85, "longevity": 47, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases", "no_license"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 664, "days_push": 94, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 60, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}