HTX LearnLearned by 11.9k usersPublished on 2025.06.24 Last updated on 2025.06.24
Earn
2 lessons in total
Key Takeaways
Lagrange is a leader in zero-knowledge proof generation for safe and private AI. Its flagship product, DeepProve, is the fastest zkML system available, enabling AI verification through zero-knowledge proofs. DeepProve has over 140,000 users and has facilitated over 3 million AI inferences.
Lagrange is a modular ZK prover network that delivers decentralized proof generation services through distributed computation and top operators. Lagrange's ZK prover network is built on a modular subnetwork architecture, distributed computation, a Double Auction Resource Allocation (DARA) mechanism, and a simple interface for proof generation.
LA is the fuel for Lagrange’s cryptographic engine, with a total supply of 1 billion tokens.. It is a utility token that aligns the interests of clients, provers, and token holders for decentralized proving activities in the Lagrange Prover Network that are essential for use cases like DeepProve. The $LA token is primarily used by clients to pay for proof generation fees, but also plays a role in subsidizing the costs of provers while allowing token holders to stake and delegate.
Lagrange’s tokenomics are built around a simple principle: proof demand = token demand.
What is Lagrange?
ZK Rollups are a critical technology for blockchain scalability, but traditional proof generation relies on centralized systems (such as cloud providers) and is prone to single points of failure, censorship risks, and scalability bottlenecks. For instance, an outage in cloud services could prevent a Rollup from generating validity proofs, thus reducing on-chain liveness. In addition, centralized systems often struggle to process large volumes of proof requests during peak demand, limiting the application scope of ZK technology.
Lagrange is a modular ZK prover network that delivers decentralized proof generation services through distributed computation and top operators (such as Coinbase, Kraken, and OKX). It addresses the censorship risks, liveness issues, and scalability constraints associated with centralized proof systems, offering a highly efficient, reliable proof generation solution for Rollups, coprocessors, and cross-chain interoperability. With its "network of networks" architecture, Lagrange seeks to offer the blockchain ecosystem infinitely scalable and general-purpose proving capabilities.
Technical Principles of Lagrange
At its core, Lagrange's foundational infrastructure is a ZK prover network that incorporates modular subnetworks, decentralized operators, support for multiple proof systems, the DARA mechanism, and a simple interface.
Modular Subnetwork Architecture
Lagrange adopts a "network of networks" design, distributing proof generation tasks across multiple independent subnetworks, each with dedicated proving bandwidth. This modular structure eliminates bottlenecks inherent in traditional monolithic prover networks, allowing for dynamic scalability to meet the needs of diverse chains and applications. Each subnetwork can independently handle specific types of proving tasks while collaborating with the entire network.
Distributed Computation and Decentralization
Lagrange delegates proof generation tasks across a globally distributed network of operators (including Coinbase and Kraken). These operators run multiple prover nodes, utilizing bare-metal instances and economies of scale to enhance efficiency. This decentralized design eliminates single points of failure and ensures the censorship resistance and liveness of the proof generation process.
Support for Multiple Proof Systems
Lagrange's network supports heterogeneous proof systems (such as Boojum, Plonky3, and Plonky2), in addition to standardized and performant proof generation. This flexibility allows developers to select the proof system that best fits their ecosystem's needs while maintaining efficiency and compatibility.
DARA Mechanism
Lagrange has introduced an innovative Double Auction Resource Allocation (DARA) mechanism to optimize resource allocation within the prover marketplace. DARA ensures that proving tasks are assigned to operators in a cost-efficient manner while its incentive mechanism (e.g., proofs not generated on time receive no rewards) guarantees timely and reliable proof generation.
Simple Interface for Proof Generation
Lagrange offers a single and simple interface that abstracts away the complexities of the distributed proving system. Developers do not need to manage the underlying technical details. They can simply submit proof requests through the interface, and Lagrange will take care of the coordination and proof generation.
Lagrange's Product Advantages
The ZK prover network is a distributed, modular infrastructure focused on the efficient generation of zero-knowledge proofs (ZKPs). On this basis, Lagrange has developed the zkML framework known as DeepProve. This flagship product transforms the inference processes of machine learning models into verifiable circuits in zero-knowledge environments, tailored for machine learning inference scenarios. When users input data, DeepProve generates a proof that allows validators to confirm the inference result is correct without ever seeing the original data.
DeepProve has a wide array of use cases. For example, in the DeFi sector, it can verify credit scores or risk assessment models without exposing users' financial data. In the healthcare field, it can run diagnostic models and validate outcomes while protecting patients' privacy. In AI governance, it ensures that AI models are transparent and verifiable without infringing upon the intellectual property rights of proprietary models.
Lagrange's ZK prover network is currently operated by over 85 institutional-grade operators (e.g., Coinbase, Kraken, and OKX), ensuring robust reliability and strong industry credibility. Through a distributed operator network, Lagrange eliminates the single points of failure and censorship risks associated with centralized proof systems. Even in periods of surging demand or cloud service disruptions, the network remains lively and reliable. Its modular "network of networks" architecture supports dynamic scaling, allowing Lagrange to allocate dedicated bandwidth for large Rollup ecosystems (such as AltLayer, Caldera, zkSync, Polygon CDK, and Scroll), thereby meeting diverse proving demands.
In addition, Lagrange supports various proof systems and use cases, including Rollups, coprocessors, applications, and cross-chain interoperability. This flexibility positions it as a general-purpose proving layer suitable for different blockchain ecosystems. By utilizing bare-metal instances, economies of scale, and the DARA mechanism, Lagrange dramatically lowers the cost of proof generation while delivering high-quality and efficient proof services. Furthermore, Lagrange's simple and user-friendly interface abstracts away the complexities of distributed systems so that developers can focus on their core business without getting bogged down in the underlying technical details of proof generation.
As of June 10, 2025, the Lagrange ecosystem has generated over 11 million ZK proofs and more than 3 million AI inferences, attracted over 140,000 DeepProve users, and integrated with more than 30 top AI projects.
Lagrange Tokenomics
LA is the native governance token of the Lagrange ecosystem. It has a total supply of 1 billion tokens, with an annual inflation rate of 4%. The allocation is as follows: 10% for public airdrop, 25.39% for core contributors, 18.54% for investors, 11.3% for foundation, and 34.78% for community & ecosystem.
LA plays a vital role in Lagrange, specifically:
Client Fees: Clients request proof generation and pay fees typically in widely accepted tokens like $ETH, $USDC, or $LA proportional to the computational effort required. A portion of these fees is distributed to provers as LA rewards, linking proving demand directly to token demand. If clients pay in $ETH or $USDC, the network uses those funds to repurchase $LA tokens.
Protocol Emissions and Subsidies: The Lagrange network maintains a fixed 4% annual emission of $LA tokens, which are allocated to provers based on the number of proofs they generate for clients.
Staking and Delegation: Token holders can stake or delegate $LA tokens to specific provers, directing emissions to subsidize these provers.
Conclusion
Lagrange is a breakthrough decentralized ZK prover network designed to overcome the challenges of centralization, scalability, and cost in ZK Rollup proof generation, reigniting innovation in blockchain technology! Lagrange's vision goes far beyond technological breakthroughs; it is redefining what scalability and application boundaries mean for blockchain. Whether it is delivering dedicated bandwidth for large Rollup ecosystems or paving the way for cross-chain interoperability, Lagrange is driven by the conviction that "anyone can prove anything" and is poised to kickstart a new era of ZK technology.