Bitget App
交易“智”变
长推:Lagrange——基于零知识证明的跨链交互新架构

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

MarsBitMarsBit2023/10/03 02:12
作者:戈多Godot

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

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——基于零知识证明的跨链交互新架构 image 0

状态证明

状态证明是 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 快速确认区块有效性,避开挑战期。

0

免责声明:文章中的所有内容仅代表作者的观点,与本平台无关。用户不应以本文作为投资决策的参考。

PoolX:锁仓获得新代币空投
不要错过热门新币,且APR 高达 10%+
立即参与!

你也可能喜欢

关税和美联储裁决会成就还是破坏比特币的牛市?

比特币上涨至12.2万美元之际,正值最高法院审查特朗普的关税权力和对美联储的控制。

Cryptoticker2025/10/04 15:42
关税和美联储裁决会成就还是破坏比特币的牛市?

稳定币崛起,比特币的“货币支付梦”还能实现吗?

美元的中心化设计和对美国政治的依赖最终注定了其作为一种货币的命运,但如果我们现实一点,它的消亡可能在 10 年、50 年甚至 100 年内都不会看到。

Chaincatcher2025/10/04 12:56
稳定币崛起,比特币的“货币支付梦”还能实现吗?

“逃顶大师”是不是卖飞了

Bitpush2025/10/04 02:09
“逃顶大师”是不是卖飞了