Sato Hub
Developer Tool

Lagrange DeepProve

Rust framework that produces zero-knowledge proofs of neural network inference, including LLM forward passes.

UnknownSelf-Reported

Lagrange DeepProve is a partly open-source developer tool by Lagrange Labs, with no code activity tracked.

Check what an install would ask of your keys, before you run it →

No code activity tracked

Listed from lagrange.dev on 2026-10-14. Install: not attempted — no install path on record. Not checked by Sato Hub yet: every row below is as listed. Evidence →

Next step

Watch Lagrange DeepProve

One email if what we observe changes — its repo goes quiet or disappears, or the listing is retired. Nothing else.

Check it from your agent

Add Sato Hub’s MCP server (no key), then ask:

https://satohub.ai/api/mcp
Run Sato Hub Preflight on lagrange-labs/deep-prove before I use it.
Full setup: Claude Code, Cursor, others →

Your project?

Prove you control the domain and correct this page — description, links, tags, chains. A claim proves control, not verification: it never changes the Sato Score.

Claim this listing →

Overview

DeepProve from Lagrange Labs generates cryptographic proofs that a model run produced a given output. The README says it proves GPT-2, Gemma 3 and Llama 2 end to end and also supports MLP and CNN models. Performance figures are the authors own. The license is not a recognised open-source license, so check it before reuse.

Evidence — listed vs checked · what the words mean

Listed from lagrange.dev on 2026-10-14. Install: not attempted — no install path on record. Not checked by Sato Hub yet: every row below is as listed.

ClaimValueEvidenceSourceChecked
Chains supportednot statedself-reportedlagrange.devas of 2026-10-14
Verification statusSelf-Reported — not independently reviewedself-reportedlagrange.devas of 2026-10-14

Self-reported rows are the project’s own words, dated when we recorded them — not a check. Only reproduced and reviewed rows carry a mark. None of these rows is a safety or quality rating.

Details

Chains
Agent types
zkML prover
Open source
Partial
Last checked
2026-10-14

Marketplace Signals

No marketplace signals recorded for this resource yet.

Verification status reflects evidence reviewed by Sato Hub. Self-reported claims are never presented as verified.

#zkml#zero-knowledge#verifiable-inference#rust#llm

Where Lagrange DeepProve fits

Related concepts: What Are Onchain Agents?, How Agents Use Wallets

See something inaccurate or outdated?Submit a correction →

Listing History

Recorded changes to Lagrange DeepProve's listing — status, verification, Sato Score, and recent releases. Full history is kept in the listing record.

  1. Oct 14, 2026
    Listed on Sato Hub

Compared with

Related Resources

Reference

QuestionsShowHide

Questions people ask about Lagrange DeepProve

Is Lagrange DeepProve open source?
Partly. Some of Lagrange DeepProve is published as source (https://github.com/Lagrange-Labs/deep-prove) and some is not. Checked as of 2026-10-14.
Which chains does Lagrange DeepProve support?
Sato Hub has no confirmed chain list for Lagrange DeepProve as of 2026-10-14; treat chain support as unknown.
Is Lagrange DeepProve still maintained?
Sato Hub tracks no commit or release for Lagrange DeepProve; it cannot say whether it is maintained.
How do I install or run Lagrange DeepProve?
Sato Hub has no deploy spec for Lagrange DeepProve; follow the project's own documentation at https://github.com/Lagrange-Labs/deep-prove.
Is Lagrange DeepProve verified on Sato Hub?
No independent verification is on record for Lagrange DeepProve; its verification status is "Self-Reported". Self-reported is not verified, and the score is not a safety, quality or returns grade.
Cite this pageShowHide

Cite this page

Sato Hub. "Lagrange DeepProve — Sato Hub." Sato Hub, updated 2026-10-14, accessed 2026-10-14. https://satohub.ai/resources/lagrange-deepprove

Data last refreshed 2026-10-14; this page is rebuilt daily. Citations carry the date so a reader can tell which snapshot a claim came from. Catalog data is licensed CC-BY-4.0.

Join the Sato Hub Briefing

Sign up for the Briefing: the agents, tools, and infrastructure that actually shipped, and why they matter.