As the first available SQL-based ZK Coprocessor, the Lagrange ZK Coprocessor 1.0 enables developers to prove custom SQL queries of vast amounts of onchain data directly from smart contracts.
Learn more about how partners are leveraging the ZK Coprocessor.
.png)
Lagrange’s ZK Coprocessor lifts intensive computations off-chain and generates ZK proofs of the result to bring back on-chain, but does so in a specific way:
01. It pre-processes blockchain data into an off-chain ZK-friendly Verifiable Database
02. Then it utilizes Lagrange's ZK Prover Network to run hyper-parallel computations to prove and aggregate the data into a ZK proof.
03. Developers can then easily and efficiently query the data directly from their smart contracts, and even perform cheap queries between different blockchains.
By breaking up computations into smaller workloads and distributing the work amongst a network of decentralized provers that can scale dynamically according to need.
As the ZK Coprocessor supports unlimited block headers and can query across millions of storage slots per block, compared to other approaches that can only handle a few hundred storage slots.
Whereby the ZK Coprocessor can smartly identify only updating the proofs that have changed, instead of recomputing everything from scratch each time.
.webp)
