作者：Maven11
编译：深潮TechFlow
跨链互操作性和安全性成为了当下区块链技术的一个挑战，ZK初创公司LagrangeLabs给出了它的解决方案。Maven11作为参投机构撰文对Lagrange的重要性进行了阐述，本文详细介绍Lagrange协议的核心概念、验证过程以及如何利用零知识证明技术实现无需信任的跨链操作。
跨链状态证明对于多链世界中的应用程序至关重要。它使得应用程序能够使用不受信任的用户提交可验证的链状态声明。用例包括多链DEX定价、收益聚合器、借贷定价等。
简单来说，状态证明是一种证明，证明了任意链上存在某种链上状态。通过零知识证明的魔力，我们可以高效且无需信任地实现这一点，而无需信任预言机网络。
Web3游戏公司SKYPLAY获LDA Capital Limited的1000万美元承诺:金色财经报道，Web3游戏公司SKYPLAY已获得全球投资集团LDA Capital Limited的1000万美元承诺，通过发布更多游戏和获取新用户来加速其游戏平台的发展。[2023/7/17 10:59:07]
传统的消息传递协议依赖节点来传递信息，但Lagrange采用了不同的方法。它允许任何人加密验证信息提交，类似于IBC依赖轻客户端进行跨链验证。
在Lagrange中，任何跨链传输层或不受信任的用户都可以提交在链上验证的非交互式证明。这些证明不依赖验证者集合或签名，确保直接在链上获取数据并在链之间高效地聚合。
Solend创始人：Alameda Research曾在Solend IDO中操控代币价格:10月25日消息，Solana借贷项目Solend创始人Rooter在推特表示，Alameda Research曾在Solend IDO中操控代币价格。在去年11月初的Solend IDO中，与Alameda Research相关的两个地址通过在第一天中分别购入4000万美元代币将Solend的FDV（完全稀释估值）推高至25亿美元，使融资总额超过1亿美元，借此抬高价格“吓走”散户，而在IDO第二天最后时刻撤出8000万美元，Solend最终融资2600万美元。
Rooter还表示，Alameda的行为反映了SBF的意识形态，利益可以免除一切罪过。目的证明手段是正当的，这属于有效的利他主义。[2022/10/25 16:37:50]
Lagrange状态证明的验证涉及多个步骤：
Alameda Research欠Voyager Digital 3.77亿美元:7月7日消息，由FTX首席执行官Sam Bankman-Fried（SBF） 创立的公司Alameda Research上个月向加密经纪商Voyager Digital提供了5亿美元的信贷额度，而根据Voyager的破产申请文件，Alameda Research本身欠Voyager 3.77亿美元。Alameda的债务使其成为Voyager的第二大借款方，仅次于资不抵债的三箭资本。该媒体评论道，借款人救助贷款人的情况并不多见，尤其是在数额高达数亿美元的情况下。?
Voyager提交给纽约地方法院的破产申请第13页上的表格显示，Alameda Research欠Voyager 3.77亿美元，利率为1%至5%。根据文件第119页上Voyager最大的无担保索赔清单，未偿余额包括一笔7500万美元的无担保贷款。
根据6月17日的新闻稿，Alameda及其风险投资部门Alameda Ventures曾是Voyager的最大单一股东，占所有流通股的11.6%。一周后，也就是6月23日，Alameda在一份新闻稿中宣布，它已放弃或以无偿退还450万股股票，这些股票当时价值260万美元。（Decrypt）[2022/7/7 1:56:40]
状态根验证：验证由Lagrange状态委员会生成的简洁零知识证明，显示给定状态根的真实性。
金融科技公司FlagOne推出交易所平台币数据平台TokenClan:新加坡金融科技公司Flag One Pte Ltd（FlagOne.io）正式推出独立的加密金融数据平台TokenClan.io。该平台使用代币价值/交易所交易量（TVEV）比率对交易所平台币进行估值和比较。（WebWire）[2020/4/14]
批量存储证明：验证一组声明的状态是否存在于特定链的状态根中。
零知识分布式计算：验证在链上状态上执行的任意分布式计算。
由于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等实现中解决预言机问题。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。