ZK Prover Network

The ZK Prover Network is a decentralised network of operators responsible for generating zero-knowledge proofs on demand. These proofs can be used for validating:

• ZK rollup state transitions
• Smart contract execution traces
• Machine learning model inference
• Cross-chain state reads

The network includes cryptoeconomic incentives and penalty mechanisms, ensuring liveness and correctness. It is built to integrate with restaking protocols, such as EigenLayer, to borrow security from established chains.

ZK Coprocessor

The ZK Coprocessor allows applications to perform SQL-style queries over on-chain state and obtain cryptographically verified results. It supports complex analytical queries, set membership verification, and recursive proof aggregation. Key technical capabilities include:

• Execution of computations over Merkle tree-based state representations
• Proof compression and recursion to maintain verification efficiency
• Multichain compatibility via verifiable state bridging

This system permits L2 and L1 chains to access consistent, composable, and verifiable data insights from other blockchains without introducing trust assumptions.

LA is the native utility token of the Lagrange ecosystem and supports the following functions:

• Fee Payments: Users and clients pay for proof generation and query results using LA. If alternative tokens are used, a portion is allocated for LA buybacks to maintain demand.

• Staking and Delegation: Network provers must stake LA to perform operations. Delegators can participate in staking, earning a share of the rewards and strengthening network security.

• Subsidy Distribution: The protocol issues fixed LA emissions to subsidise proof generation costs. These emissions are proportionally allocated based on the proof volume produced by each prover.

• Governance: LA token holders are expected to participate in protocol governance, including adjusting fee structures, modifying query rulesets, or evolving the subsidy schedule.

Lagrange was founded by Ismael Hishon-Rezaizadeh, a researcher and builder in cryptographic systems and verifiable computing. He leads the team at Lagrange Labs, which focuses on zero-knowledge-based infrastructure for decentralised applications. In May 2025, the Lagrange Foundation was established to oversee the long-term development, governance, and sustainability of the protocol.

Applications

Lagrange supports multiple real-world use cases, including:

• Verifiable DeFi analytics (e.g., trustless TWAPs, interest rate computation)
• Decentralised AI proof systems via the DeepProve initiative
• Trust-minimised cross-chain communication for rollups and modular execution layers

It offers modular and interoperable tooling compatible with Ethereum and other EVM chains, making it accessible to a broad spectrum of decentralised applications and infrastructure providers.