Lagrange's core innovation lies in its **modular design** and **efficient ZK proof system**, which mainly includes the following components:

### **(1) ZK State Proofs**

- Utilizes **recursive zero-knowledge proofs (such as Plonky2, STARKs)** to transfer the computational burden of cross-chain state verification off-chain, submitting the final proof only on the target chain.

- Supports **historical state queries**, for example: Ethereum smart contracts can verify transactions that occurred at a certain time on Arbitrum.

### **(2) Lagrange State Committees (LSCs)**

- Composed of a decentralized network of nodes, responsible for **monitoring source chain data** and generating ZK proofs.

- Nodes are required to stake tokens (which may be introduced in the future) to ensure security #lagrange $LA @Lagrange Official