Glossary
Lagrange
A ZK coprocessor and proof network — generates ZK proofs of computation over historic blockchain state, used by lending markets, oracles, and bridges.
Lagrange is a network of ZK provers that answers questions about chain state with succinct proofs. A protocol can ask "what was the average TVL on Aave during the last 7 days" or "did this address hold this asset at block N" and receive an on-chain-verifiable answer without re-executing the underlying computation.
The protocol is itself an EigenLayer AVS — provers are restaked operators whose work is verified by the network and slashed if proofs fail to verify.