由Maven 11编写
编译:Deep Tide TechFlow
跨链互操作性和安全性已经成为区块链科技的一个挑战，ZK初创公司Lagrange Labs给出了解决方案。Maven11作为参赛组织，阐述了拉格朗日的重要性。介绍了拉格朗日协议的核心概念、验证过程以及如何利用零知识证明技术实现无信任的跨链操作。
跨链状态认证对于多链世界中的应用程序非常重要。它使应用程序能够使用不受信任的用户提交可验证的链状态声明。用例包括多链DEX定价、收入聚合器、贷款定价等。
简单来说，状态(存储)证明是一种证明(零知识)，证明任何一条链上都存在某种状态。通过零知识证明(ZKP)的魔力，我们可以高效地实现这一点，无需信任，无需信任Oracle网络。
传统的消息传递协议依靠节点来传递信息，但是拉格朗日采用了不同的方法。它允许任何人加密验证信息的提交，类似于IBC依赖轻客户端进行跨链验证。
在Lagrange中，任何跨链传输层或不受信任的用户都可以提交一个在链上验证的非交互证明。这些证明不依赖于验证者或签名的集合，确保数据直接在链上获得，并在链之间高效地聚合。
拉格朗日状态证书的验证包括几个步骤:
状态根验证:验证拉格朗日状态委员会生成的简洁的零知识证明，显示给定状态根(块头)的真实性。批量存储认证:验证一组声明的状态是否存在于特定链的状态根中。零知识分布式计算:验证在链状态上执行的任何分布式计算。由于拉格朗日状态证明是模块化的，协议可以根据其应用选择使用状态、存储或计算的部分证明来定制证明系统。现有的跨链应用程序可以很容易地提高其跨链工具的安全性或表达能力。
拉格朗日零知识大数据框架使用类似Verkle tree的动态数据结构，允许应用程序将高效的存储包含证明与任意分布式计算(如MapReduce或分布式SQL)相结合。
使用Lagrange SDK，开发人员可以轻松地请求任何链的状态证书，并指定在存储状态子集上运行的任何计算。这使开发人员能够在用户友好的界面中利用安全的跨链状态和存储证明。
Lagrange SDK还简化了跨多个链同时生成状态证明的过程。这些证明使得集成了拉格朗日协议的DApp能够将多个状态验证集成到单个链式事务中。
拉格朗日协议通过整合主要区块链来促进跨链状态验证。最初，它与所有EVM L1、L2和rollup兼容。未来计划支持非EVM连锁店，如Solana、Sui、Aptos和基于coosdk的连锁店。
此外，Lagrange还致力于通过使用经济债券声明来提高现有跨链桥接和消息传递协议的安全性，并创建一个强大的经济单插槽来确保最佳汇总的最终确定性。这可以显著提高以太网研讨会上孤立汇总之间的互操作性。
其工作原理本质上是生成ZK轻客户端证书进行最优汇总，而不是目前以太坊-以太坊同步委员会中的“轻客户端”实现。
目前以太坊同步委员会只有512个随机抽取的验证者，他们每天都获得更高的奖励，提供轻客户端功能。
拉格朗日跨链州委员会的安全性源于具有经济债券的节点不断增长和动态的规模，这些债券要么用EigenLayeer进行再质押，要么用流动性质押衍生品进行质押，如Rocket Pool。
节点必须在它们证明的链上签署每个到达最终结果的新块。与以太坊轻客户端同步委员会512个节点的上限相反，跨链状态委员会支持无限节点。因此，每个证书背后的附属内容可以根据需要动态扩展，以便为每个给定的链或汇总创建安全证书。
状态证明在共享排序器等协议中有重要的用例，有助于改善跨Rollup通信，解决SUAVE等实现中的Oracle问题。
本网站声明:网站内容来源于网络。如有侵权，请联系我们，我们会及时处理。
温馨提示：注：内容来源均采集于互联网，不要轻信任何，后果自负，本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权，请给我们来信(j7hr0a@163.com)，我们会及时处理和回复。
原文地址"coti跨链，跨链协同"：http://www.guoyinggangguan.com/qkl/141074.html。
微信扫描二维码关注官方微信
▲长按图片识别二维码
