长推：Lagrange——基于零知识证明的跨链交互新架构

ZK-as-a-Service 系列， 这次项目 @lagrangedev 。

Lagrange 是基于 #ZKP 的跨链基础设施，专注于证明链之间的合约状态，而不是传输消息或资产。与常见的跨链桥相比，Lagrange 更底层，资产跨链桥可基于 Lagrange 构建，基于 ZK 验证跨链状态有效性，无需信任任何中继。

Lagrange 构建，基于 ZK 验证跨链状态有效性，无需信任任何中继。Lagrange 将兼容 #EVM，此后，还将兼容包括 @solana @SuiNetwork @Aptos_Network @cosmos 等其他链。

Lagrange 产品目前主要涉及三个概念：状态证明、Lagrange committee（委员会）、ZK Big Data。

状态证明

状态证明是 Lagrange 的核心。状态证明是一种机制，允许验证者通过提供特定的证明，来证明某一状态或数据在链上的存在或有效性，而无需完全同步整个链的状态。在共享排序器等协议中，状态证明可以帮助验证者快速验证某个特定状态的有效性。

Lagrange 状态证明验证涉及几个步骤：

1. 验证状态根：Lagrange committee 接收状态根（区块头），生成 ZK 证明，确认真实性；
2. 批量存储证明：验证一组声明的状态是否存在于特定链的状态根中；
3. 零知识分布式计算：验证在链上状态上执行的任意分布式计算。

Lagrange 状态证明是模块化的，协议可选择使用状态、存储或计算的部分证明，根据应用定制证明系统。

通常我们使用跨链协议（如 @LayerZero_Labs @axelarcore ），首先要向起始链智能合约提交一笔交易，触发一个事件。跨链协议必须专门监听该事件，接收后，向用户收取费用，并向目标链提交一笔包含用户时间戳证明的交易。然后，用户必须向目标链提交第二笔交易。

而使用状态证明，Lagrange 生成用户在起始链状态的 ZK 证明，用户仅需在目标链的单笔交易中提交证明即可。这个 ZK 证明，可以证明用户在起始链的 DID，以及抵押借贷等操作状态，由此衍生跨链 DID、跨链借贷等场景。

另外，Lagrange 还可向 A 链项目方证明 B 链上 DEX 价格状态，实现跨链寓言机。后文还会提到 @PolyhedraZK 利用 Lagrange 缩短 Optimistic Rollup 跨链挑战期时间。

Lagrange State committee（状态委员会）

Lagrange State Committees 中的验证者，必须通过 @eigenlayer 或 @Rocket_Pool 以质押资产形式加入，并指示希望为哪条链或 Rollup 提供证明，对不同链的状态根进行签名。

https://twitter.com/lagrangedev/status/1691456494234202112…

以 @lagrangedev 与@PolyhedraZK 的合作举例：

Polyhedra 利用 ZK 提供跨链服务，遇到从 Optimistic Rollup 向以太坊主网提款需求时，仍会遇到挑战期的问题。而 Lagrange 帮助 Polyhedra 快速确认区块有效性，避开挑战期。