Lagrang 协议:通过 ZK 实现无需信任的跨链互操作性
作者:Maven 11
跨链互操作性和安全性成为了当下区块链技术的一个挑战,ZK 初创公司 Lagrange Labs 给出了它的解决方案。Maven11 作为参投机构撰文对 Lagrange 的重要性进行了阐述,本文详细介绍 Lagrange 协议的核心概念、验证过程以及如何利用零知识证明技术实现无需信任的跨链操作。
简单来说,状态(存储)证明是一种证明(零知识),证明了任意链上存在某种链上状态。通过零知识证明(ZKP)的魔力,我们可以高效且无需信任地实现这一点,而无需信任预言机网络。
在 Lagrange 中,任何跨链传输层或不受信任的用户都可以提交在链上验证的非交互式证明。这些证明不依赖验证者集合或签名,确保直接在链上获取数据并在链之间高效地聚合。
状态根验证:验证由 Lagrange 状态委员会生成的简洁零知识证明,显示给定状态根(区块头)的真实性。
批量存储证明:验证一组声明的状态是否存在于特定链的状态根中。
零知识分布式计算:验证在链上状态上执行的任意分布式计算。
由于 Lagrange 状态证明是模块化的,协议可以选择使用状态、存储或计算的部分证明,以根据其应用程序定制证明系统。现有的跨链应用程序可以轻松提高其跨链工具的安全性或表现力。
Lagrange 零知识大数据框架利用类似于 Verkle 树的动态数据结构,允许应用程序将高效的存储包含证明与任意分布式计算(如 MapReduce 或分布式 SQL)相结合。
(责任编辑:白银TD)
推荐文章
-
如果这真是创业者,小财女或许还会扫一下,可他们并不是。...[详细]
-
天搜股份的创新意识与创新能力,正是在每一次判断、每一回磨砺、每一步坚持中成长起来的,本次成功获奖,无疑是对天搜股份创新能力的再一次肯定。...[详细]
-
同年,服装巨头Zara的西班牙供应商林琛加盟乐淘,担任供应链副总裁,进一步强化了乐淘供应链体系。...[详细]
-
niconico有两个生日,这可能恰恰是这家视频网站的魅力之一。...[详细]
-
互联网接下来进入下一场,就是一定要用这些基础建设做出创造,这些创造者就是颠覆者。...[详细]
-
当音乐制作者们将合成歌曲上传至niconico后,再由其他的音乐爱好者将原创的Vocaloid歌曲以自己的嗓音进行翻唱,或者是由一些精通乐器的用户以乐器重新演奏歌曲。...[详细]
-
这里的“荒野”我理解的就是不那么被人关注的地方。...[详细]
-
因此人们逐渐产生了这样的印象:如果你只是一个“呼之即来挥之即去”的工具,那么最终的命运就只有两条路可走——要么成为了平台化产品链下的细分功能,要么在...[详细]
-
不过吃播的火爆依然让很多人感到困惑不解,为什么会有这么多人愿意花时间坐在屏幕前,只是为了看一个素不相识的人吃饭。...[详细]
-
每个月的销售额是8-10万,于是每个月要亏25万。...[详细]
热点阅读
随机内容