What is Lagrange?

Lagrange is focused on enhancing its ZK Prover Network to facilitate proof generation for ZK rollups, complementing its existing offerings such as the ZK Coprocessor and State Committee. The network enables proof generation for a variety of applications, including rollups and interoperability, aiming to support broader use cases and improve zero-knowledge adoption.

The ZK Coprocessor is designed to generate proofs of correct computation over specified storage slots and block ranges. Developers can define the specific memory slots and block ranges they intend to use, and write the necessary computations to be executed across these slots. Once the proof is generated, it confirms both the inclusion of storage and the validity of the computed results with respect to a block header derived from smart contract information.