Lagrange offers a SQL-based ZK Coprocessor that enables offchain verifiable computations and dynamic proof generation over extensive blockchain data, allowing developers to execute complex queries directly from smart contracts. This technology eliminates the need for opaque intermediaries and enhances scalability by processing multiple storage slots simultaneously, addressing the limitations of traditional ZK proving methods.
Funding
$17.2M raised to dateRaised to date based on public sources. This may differ from the amount the company actually raised and is based only on what is publicly available on the internet.
Founders
Product
Problem
Existing zero-knowledge (ZK) coprocessors often struggle with scalability and the ability to perform complex computations over large datasets on the blockchain. Traditional methods are limited by the need for complex circuit design and reliance on intermediaries, hindering efficient data processing and verifiable computation.
Solution
Lagrange introduces a SQL-based ZK Coprocessor that enables verifiable off-chain computations and dynamic proof generation across extensive blockchain data. This allows developers to execute complex SQL queries directly from smart contracts, eliminating the need for intermediaries. By pre-processing blockchain data into a verifiable database, Lagrange can handle unlimited storage slots and perform hyper-parallel computations, dividing tasks across multiple machines for faster proof generation. The coprocessor also supports dynamic proving, updating proofs only for changed data points, which drastically reduces proving time.
Target Audience
The primary target audience includes blockchain developers and Web3 projects seeking to build data-rich applications that require verifiable off-chain computations, such as DeFi platforms, NFT projects, and decentralized analytics providers.
Features
- SQL-based interface for querying historical storage, receipt, and transaction data directly from smart contracts
- Hyper-parallel computation and proving, distributing tasks across multiple machines for scalability
- Verifiable Database capable of handling unlimited storage slots
- Dynamic proving capabilities, updating proofs only for changed data to reduce computation time
- Integration with EigenLayer for enhanced economic security through restaking
- Support for Lagrange State Committees, decentralized networks of operator nodes acting as ZK light clients