Summary: Lagrange is a zero-knowledge infrastructure project whose current primary materials center on three linked surfaces: DeepProve for verifiable AI inference, the Lagrange ZK Prover Network for decentralized proof generation, and a ZK Coprocessor for verifiable offchain computation over blockchain data. The docs position these as one integrated proving stack rather than as isolated products, which makes Lagrange best cataloged as broad proving infrastructure rather than as a single zkML library or a single rollup component.
What it does:
Builds DeepProve, a zkML library for proving AI inference correctness and claimed-model integrity
Operates a modular ZK Prover Network designed to serve rollups, coprocessors, dapps, and interoperability workloads through a decentralized operator set
Offers a ZK Coprocessor and verifiable-database architecture for offchain computation over blockchain state with cryptographic proofs of correctness
Uses the same broader proving stack across AI, blockchain computation, and cross-chain / application workloads rather than limiting itself to one vertical
Targets developers, rollups, applications, enterprise workloads, and operator participants rather than only end users
Frames itself as proof-generation infrastructure at internet scale, with EigenLayer-backed operator participation and a docs-first technical surface
Key claims:
The official introduction page says Lagrange combines DeepProve, the ZK Prover Network, and the ZK Coprocessor into a comprehensive proving ecosystem that lets anyone “prove anything at internet scale”
The ZK Prover Network docs describe a “prover network of prover networks” with modular subnetworks, customizable standards, and 85+ institution-grade operators including Coinbase, OKX, P2P, and Nethermind
The ZK Coprocessor docs say developers can create a verifiable database from blockchain data, run SQL-like or MapReduce-style offchain computations, and verify the results onchain without trusting bridges or traditional oracles
The DeepProve docs position the project as zkML infrastructure for verifiable AI inference, claiming up to 1000x faster proof generation and up to 671x faster verification than leading alternatives
Lagrange’s public GitHub organization reinforces that this is a real multi-product engineering effort: DeepProve, coprocessor repos, database-processing repos, and related proving components all sit under the same org
Whitepaper: No single canonical standalone Lagrange whitepaper surfaced in this pass. The clearest current source of truth is the combination of the official site, docs portal, DeepProve docs, ZK Prover Network docs, ZK Coprocessor docs, and the public GitHub organization; see ../whitepapers/lagrange-primary-sources-2026-04-27.md.