Announcing Rollup Coprocessing on AltLayer with Lagrange’s Parallel Prover

We are excited to announce the plan to integrate Lagrange’s parallel prover with AltLayer as a coprocessor. We are also excited to announce AltLayer’s participation as a node operator in Lagrange’s coprocessor and state committee actively validated services (AVSs). This announcement marks the first instance of two AVS teams committing to partner for both a product integration and for joint infrastructure operation.

Lagrange’s parallel prover is designed to enable developers to execute intensive offchain computation and prove the result of the computation to smart contracts onchain. Rather than being constrained by onchain gas limits, developers can lift computationally intensive workloads to an offchain prover that will compute asynchronously and then to submit a result onchain, thus dramatically increasing the expressivity of these smart contracts. Lagrange’s coprocessor generates zero-knowledge proofs to allow developers to verify the integrity of the result of their computation onchain. This removes the need for developers to ever trust the offchain prover to give them the correct result.

As part of this announcement, Lagrange will be deploying its coprocessor for AltLayer rollups and AltLayer will be participating as a node operator in Lagrange’s infrastructure. This joint commitment will form the foundation of making new forms of zero-knowledge compute available for AltLayer customers.

What Makes Lagrange’s Parallel Prover Different?

Lagrange’s coprocessor is naturally parallelizable. Therefore, Lagrange is capable of proving large scale distributed computation over onchain storage, receipt or transaction data with ease. Rather than facing the limitations of sequential-style computation, Lagrange’s coprocessor horizontally scales both through parallel computation and parallel proof generation. As a result, Lagrange is uniquely positioned to provide verifiable computation over fast blocktime rollups, such as those of AltLayer’s RaaS customers.

Developers who want to use Lagrange’s parallel prover can specify computation flexibly in either SQL, MapReduce or Spark. Once written, computation can be horizontally scaled across hundreds of thousands of provers in parallel, so that a proof of the computation can be efficiently returned, with the result, to an onchain smart contract. The massively parallel and highly distributed nature of Lagrange’s prover enables proofs to be delivered faster and cheaper to dApp builders than previously possible.

With AltLayer’s participation as a node operator, guaranteed uptime and easy to use out-of-the-box support can be offered to AltLayer customers.

How Will AltLayer Benefit from Parallel Proving?

AltLayer is the pioneer of restaked rollups, a set of three vertically integrated Actively Validated Services (AVSes) created on-demand for a given rollup. These AVSes offer app rollups access to out-of-the-box decentralized sequencing, verification of rollup’s state correctness, and faster finality.

By combining a restaked rollup with Lagrange’s parallel prover, dApp builders on AltLayer will be able to trustlessly compute over historical data and build richer onchain applications. Examples of verifiable applications developers will soon be able to integrate into their rollups include analytics of user activity, loyalty incentives for repeat users, dynamic DeFi primitives and sybil prevention mechanisms.

Both AltLayer and Lagrange are committed to continuing to work together to accelerate the adoption of novel technology in the modular ecosystem. Stay tuned in the coming months for more information on how to use Lagrange’s parallel prover as a coprocessor on your AltLayer rollup.