Lagrange Labs

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

GitHub 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

DeepProve 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"