DeepProve
Lagrange LabsDeepProve is a zero-knowledge proof system for neural-network inference that proves full transformer forward passes, with GPT-2, Gemma 3 and Llama 2 confirmed end to end, as well as MLP and CNN models. It uses sumchecks and logup GKR rather than arithmetic circuits to keep proving time sublinear in model size. Lagrange Labs publishes it as a Rust workspace.
Tagged independently verifiable. The repository label reports Apache-2.0, but the LICENSE body is Lagrange's own evaluation-only agreement.
Openness
5 medium confidence- license
- Apache-2.0/MIT(OSI
- source
- public(Rust workspace: the zkml proving crate plus the deep-prove, utils, tenstore, tenvis and telemetry crates)
- core features withheld
- no — the proving library and the worker and CLI that run it locally are all in the published workspace
The workspace manifest declares MIT OR Apache-2.0, and as ruled that package metadata governs. The LICENSE file and the README contradict it: the LICENSE is a revocable Lagrange grant for internal testing and evaluation, or unmodified use with Lagrange's platform, and the README says the code is licensed under the Lagrange License. Two of three first-party documents disagree with the reading, hence medium confidence. The whole prover, worker and CLI are in the published workspace.
- https://raw.githubusercontent.com/Lagrange-Labs/deep-prove/master/Cargo.toml recorded 2026-09-26
Workspace manifest: [workspace.package] license = "MIT OR Apache-2.0", contradicting the LICENSE file
- https://raw.githubusercontent.com/Lagrange-Labs/deep-prove/master/LICENSE recorded 2026-09-26
Lagrange grants "a personal, non-exclusive, non-sublicenseable, non-transferable, revocable, limited license" to "internally use the Software solely for the purpose of testing and evaluating it"
- https://raw.githubusercontent.com/Lagrange-Labs/deep-prove/master/README.md recorded 2026-09-27
Repository Structure table: zkml is the "Core proving library", and deep-prove's "deep-prove-cli submits proving jobs locally or to a remote proving network"; the Licensing section reads "Licensed under the Lagrange License."
- https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Lagrange-Labs%2Fdeep-prove recorded 2026-09-26
Lagrange-Labs/deep-prove: GitHub license label apache-2.0, archived false, pushed 2025-10-01
- https://ungh.cc/repos/Lagrange-Labs/deep-prove/files/master recorded 2026-09-26
Full file listing of Lagrange-Labs/deep-prove master, 346 paths: the zkml, deep-prove, utils, tenstore, tenvis and telemetry crates
Adoption
2 low confidenceGitHub stars are the only signal: DeepProve publishes no package, and the zkml crate of that name on crates.io belongs to another project. A star is not a use.
- https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Lagrange-Labs%2Fdeep-prove recorded 2026-09-26
Lagrange-Labs/deep-prove: 3,359 stargazers
Capability
5 medium confidenceDeepProve produces a proof that a given model computed a given output, checkable without trusting whoever ran it, and it reaches full LLM forward passes. That matches NVIDIA's hardware attestation as the strongest check the category offers.
- https://raw.githubusercontent.com/Lagrange-Labs/deep-prove/master/README.md recorded 2026-09-26
"DeepProve is the first end-to-end zero-knowledge proof system for full LLM inference"; "Confirmed working models: GPT-2, Gemma 3, Llama 2 — all transformer layers proven end-to-end"
Verified 2026-09-26