最新快讯
3小时前
Multichain:目前无法联系 CEO 并获得必要的服务器访问权限
ChainCatcher 消息,据 Multichain 发推称,目前无法联系到首席执行官并获得必要的服务器访问权限以进行协议维护,目前 Router2 和 Router5 的扫描节点网络出现问题,但团队目前没有进行维护的权限,故在 UI 上暂停了受影响链的跨链服务。 目前受到影响的链包括 Kekchain、PublicMint、Dyno Chain、Red Light Chain、Dexit、Ekta、HPB、ONUS、Omax、Findora 和 Planq。(来源链接)
4小时前
衍生品 DEX 项目 KTX 宣布主网上线,首日交易量已突破 300 万美元
ChainCatcher 消息,去中心化衍生品交易所 KTX 宣布主网已正式上线,首日交易量已突破 300 万美元。 KTX 是 BNB 链上的去中心化衍生品交易协议,利用单一的多资产池来实现杠杆交易。交易者可以使用高达 50 倍的杠杆,同时享受低掉期费用且没有交易对手风险。本质上,交易者是针对 KTX 本地流动性池或 KLP 池进行交易。 据悉,KTX.Finance 鼓励社区交易并获得更多的 $KTC 代币,以解锁一系列独家福利和奖励。持有 $KTC 代币的交易者有资格参与治理决策,赚取被动收入,并享受独家平台功能。
4小时前
Gate 回应提币困难传闻:目前运营一切正常,提币顺畅
ChainCatcher 消息,社区中出现 Gate 提币困难等传闻。对此,Gate 发布公告表示:有关Gate.io 的一些谣言和不实信息在网络上流传。运营一切正常,提币顺畅,并无传言的运营和提币问题,请勿相信谣言,切勿被别有用心之人误导,以免上当受骗。(来源链接)
5小时前
加密钱包应用 Ledger Live 已集成 ENS
ChainCatcher 消息,加密钱包提供商 Ledger 宣布其硬件钱包和加密钱包应用 Ledger Live 已集成以太坊域名服务 ENS,用户现可以在转移资产时使用 ENS 名称。(来源链接)
5小时前
电竞团队 M80 完成 300 万美元种子轮融资,Expert Dojo 等领投
ChainCatcher 消息,电竞团队 M80 已经完成 300 万美元的种子轮融资,以扩大其在电竞、内容创作和消费产品方面的足迹,它计划成为第一个支持 web3 的游戏和电子竞技组织。Expert Dojo、VT Technology Ventures 和 Practical Venture Capital 领投了该轮融资。 M80 于2022 年 12 月推出,其《彩虹六号围攻》、《火箭联盟》、《街头霸王》和《Valorant》玩家在竞争中获得了成功。他们的胜利使 M80 成为北美发展最快的电竞团队之一。(来源链接)
查看更多
扫码下载链捕手APP
专业的区块链资讯、数据与研究平台

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

Maven 11
跨链赛道动态与研究
2023-05-25 18:48
收藏
Lagrange 协议通过整合主要区块链来促进跨链状态验证。

作者:Maven 11

编译:深潮 TechFlow

 

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

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

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

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

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

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

  1. 状态根验证:验证由 Lagrange 状态委员会生成的简洁零知识证明,显示给定状态根(区块头)的真实性。

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

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

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

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

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

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

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

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

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

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

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

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

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

跨链赛道动态与研究
关注多链生态、跨链安全和技术创新。
链捕手ChainCatcher提醒,请广大读者理性看待区块链,切实提高风险意识,警惕各类虚拟代币发行与炒作,站内所有内容仅系市场信息或相关方观点,不构成任何形式投资建议。如发现站内内容含敏感信息,可点击 “举报”, 我们会及时处理。