ABS:Lagrange 协议：通过 ZK 实现无需信任的跨链互操作性_Asva Labs

作者：Maven11

编译：深潮TechFlow

跨链互操作性和安全性成为了当下区块链技术的一个挑战，ZK初创公司LagrangeLabs给出了它的解决方案。Maven11作为参投机构撰文对Lagrange的重要性进行了阐述，本文详细介绍Lagrange协议的核心概念、验证过程以及如何利用零知识证明技术实现无需信任的跨链操作。

跨链状态证明对于多链世界中的应用程序至关重要。它使得应用程序能够使用不受信任的用户提交可验证的链状态声明。用例包括多链DEX定价、收益聚合器、借贷定价等。

简单来说，状态证明是一种证明，证明了任意链上存在某种链上状态。通过零知识证明的魔力，我们可以高效且无需信任地实现这一点，而无需信任预言机网络。

Blockchain Australia任命Simon Callaghan为CEO:6月26日消息，澳大利亚加密行业机构Blockchain Australia已任命Simon Callaghan为首席执行官。

据悉，Simon Callaghan曾是剑桥大学的数字资产项目负责人、企业服务提供商MOOPS Tech联合创始人。Simon Callaghan的目标是加快澳大利亚加密货币的监管进程，他强调应该避免基于执法的监管方法，而是从英国、中国香港和新加坡等地区汲取灵感。[2023/6/26 22:01:12]

传统的消息传递协议依赖节点来传递信息，但Lagrange采用了不同的方法。它允许任何人加密验证信息提交，类似于IBC依赖轻客户端进行跨链验证。

ZK初创公司Lagrange Labs完成400万美元融资，1kx领投:5月18日消息，ZK 初创公司 Lagrange Labs 完成 400 万美元融资，1kx 领投，Maven11、Lattice Fund、CMT Digital、Daedalus Angels 等参投，本轮融资将用于开发其 ZK 系统，以实现跨不同区块链网络的安全互操作性。[2023/5/18 15:11:52]

在Lagrange中，任何跨链传输层或不受信任的用户都可以提交在链上验证的非交互式证明。这些证明不依赖验证者集合或签名，确保直接在链上获取数据并在链之间高效地聚合。

创业加速器Archipelago Labs启动1000万美元Web3基金:12月5日消息，菲律宾持牌交易所 PDAX 支持的创业加速器 Archipelago Labs (A-Labs) ?在菲律宾启动了 1000 万美元的 Web3 基金，Archipelago Labs 还得到了Oak Drive Ventures 和 Magellan Digital Investment Group (MDIG) 等知名合作伙伴的支持。Archipelago Labs 通过投资和咨询服务帮助基层的创业生态系统。它还希望为特定的垂直领域和启动阶段举办编程马拉松和孵化器等项目。?（e27）[2022/12/5 21:23:39]

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

游戏开发工作室Laguna Games 完成 500万美元种子轮融资:10月16日消息，游戏开发工作室 Laguna Games 完成 500 万美元种子轮融资，Bitkraft Ventures 和 Delphi Digital 领投，Transcend Fund、Headline Ventures 和 Polygon Studios 参投，所筹资金将用于推出加密独角兽游戏、独角兽蛋 NFT 和未来的其他游戏组合。[2021/10/16 20:33:32]

状态根验证：验证由Lagrange状态委员会生成的简洁零知识证明，显示给定状态根的真实性。

批量存储证明：验证一组声明的状态是否存在于特定链的状态根中。

零知识分布式计算：验证在链上状态上执行的任意分布式计算。

由于Lagrange状态证明是模块化的，协议可以选择使用状态、存储或计算的部分证明，以根据其应用程序定制证明系统。现有的跨链应用程序可以轻松提高其跨链工具的安全性或表现力。

Lagrange零知识大数据框架利用类似于Verkle树的动态数据结构，允许应用程序将高效的存储包含证明与任意分布式计算相结合。

借助LagrangeJSSDK，开发人员可以轻松请求任何链的状态证明，并指定在存储状态子集上运行的任意计算。这使开发人员能够在用户友好的界面中利用安全的跨链状态和存储证明。

LagrangeSDK还简化了同时生成跨多个链的状态证明的过程。这些证明使得与Lagrange协议集成的DApp可以将多个状态验证集成到单个链上交易中。

Lagrange协议通过整合主要区块链来促进跨链状态验证。最初，它与所有EVML1、L2和rollup兼容。未来，计划支持Solana、Sui、Aptos和基于CosmosSDK的链等非EVM链。

此外，Lagrange还致力于通过利用经济债券声明来改善现有跨链桥接和消息传递协议的安全性，为OptimisticRollup创建强大的经济单槽保证最终确定性。这可以显著提高以太坊上孤立的Rollup之间的互操作性。

其工作原理本质上是为OptimisticRollup生成ZK轻客户端证明，而不是当前在以太坊上的“轻客户端”实现——即以太坊同步委员会。

当前的以太坊同步委员会只有512个随机选择的验证者，他们每天获得更高的奖励以提供轻客户端功能。

Lagrange跨链状态委员会的安全性源于不断增长、动态大小的节点，这些节点具有经济债券，这些节点要么用EigenLayeer再质押，要么用流动性质押衍生品质押，例如RocketPool。

节点必须对每个在他们所证明的链上达到最终结果的新区块执行签名。与以太坊轻客户端同步委员会的512个节点上限相反，跨链状态委员会支持无限制的节点。因此，每个证明背后的抵押品可以根据需要动态扩展，为每个给定的链或Rollup创建安全证明。

状态证明在诸如共享排序器等协议中具有重要用例，有助于改进跨Rollup通信，以及在SUAVE等实现中解决预言机问题。

标签：RANTSALABSABSInsurance SupermarketSATSALLAsva LabsRedFOX Labs

狗狗币热门资讯