Lagrange

$5B+

In Total Restaked ETH

2.4M+

Blocks Finalized

400K+

ZK Coprocessor Proofs Generated

26K+

State Proofs Generated

Hyper-Parallel Computations & Proving

Lagrange’s ZK Coprocessor operates in a parallelized and distributed way: A computation is divided into multiple small tasks that can be distributed to multiple machines. The clusters of machines to execute computations and generate proofs scale horizontally, so as more machines participate, proofs can be generated faster over ever-growing datasets.

Ultra-Scalable Queries

Lagrange pre-processes blockchain data into a prover-friendly Verifiable Database which can handle unlimited storage slots, that smart contracts can make SQL queries over. While others can prove single storage slots but rely on the smart contract or an expensive proof to execute computations beyond a single storage slot, Lagrange’s ZK Coprocessor can query 8888 storage slots per block, more than an order of magnitude larger than other coprocessor solutions today.

Dynamically Updatable

Typically, ZK coprocessing involves proving the historical state of a chain and then proving a series of computation on top of the existing data set. Lagrange’s ZK Coprocessor can execute dynamic proving on top a Verifiable Database of historical contract storage state to target updating proofs of only what has changed. This approach, enabled by our Reckle Trees research, drastically reduces proving time and lends itself well to applications that need to compute specific datapoints over large sets of data.

SQL Queries Directly from Smart Contracts

With our ZK Coprocessor, developers can use ZK proofs to compute over historical storage, receipt or transaction data, directly from their smart contracts using SQL queries. No need for writing complex circuits or working with intermediaries.

Super-Linear Economic Security

Lagrange’s ZK Coprocessor enables Lagrange State Committees, which are ZK light clients each comprising a decentralized network of operator nodes. Each State Committee supports an unbounded set of nodes, so it can scale with the protocol as it grows. Integrating with EigenLayer’s restaking further extends Ethereum’s economic security and creates a robust shared security zone made up of a dynamic set of nodes.

News

Lagrange Announces Public Testnet ‘Euclid’ to Enable Ethereum’s First Verifiable Database and ZK Coprocessing

Lagrange Labs is announcing a new public testnet ‘Euclid’, a monumental milestone in the development of Lagrange’s ZK Coprocessor and Verifiable Database.

ZK COPROCESSOR

STATE COMMITTEES

Docs

BLOG

Hyper-Parallel ZK Coprocessing

Ecosystem

Hyper-Parallel Computations & Proving

Ultra-Scalable Queries

Dynamically Updatable

SQL Queries Directly from Smart Contracts

Super-Linear Economic Security

News

Lagrange Announces Public Testnet ‘Euclid’ to Enable Ethereum’s First Verifiable Database and ZK Coprocessing

Lagrange Labs Announces $13.2M in Seed Funding to Revolutionize Big Data Applications with its ZK Coprocessing Technology

The Next Chapter for Lagrange

Events

ETHCC 7

Dates

Location

Science of Blockchain 2024

Dates

Location

ACM Conference on Computer & Communication Security

Dates

Location

Investors

Sign up for updates