Lagrang 协议:通过 ZK 实现无需信任的跨链互操作性
作者:Maven 11
跨链互操作性和安全性成为了当下区块链技术的一个挑战,ZK 初创公司 Lagrange Labs 给出了它的解决方案。Maven11 作为参投机构撰文对 Lagrange 的重要性进行了阐述,本文详细介绍 Lagrange 协议的核心概念、验证过程以及如何利用零知识证明技术实现无需信任的跨链操作。
简单来说,状态(存储)证明是一种证明(零知识),证明了任意链上存在某种链上状态。通过零知识证明(ZKP)的魔力,我们可以高效且无需信任地实现这一点,而无需信任预言机网络。
在 Lagrange 中,任何跨链传输层或不受信任的用户都可以提交在链上验证的非交互式证明。这些证明不依赖验证者集合或签名,确保直接在链上获取数据并在链之间高效地聚合。
状态根验证:验证由 Lagrange 状态委员会生成的简洁零知识证明,显示给定状态根(区块头)的真实性。
批量存储证明:验证一组声明的状态是否存在于特定链的状态根中。
零知识分布式计算:验证在链上状态上执行的任意分布式计算。
由于 Lagrange 状态证明是模块化的,协议可以选择使用状态、存储或计算的部分证明,以根据其应用程序定制证明系统。现有的跨链应用程序可以轻松提高其跨链工具的安全性或表现力。
Lagrange 零知识大数据框架利用类似于 Verkle 树的动态数据结构,允许应用程序将高效的存储包含证明与任意分布式计算(如 MapReduce 或分布式 SQL)相结合。
(责任编辑:时讯)
推荐文章
-
Addepar在发展过程中,遭遇了和Palantir几乎一模一样的困难:把第一个让人满意的产品拿出来,也用了将近四年。...[详细]
-
第四,公司方是如何配合的,会不会配合老股东转让?首先从公司方看一看,作为公司方,他应该可以理解,投资人进来是为了博取以后的投资收益,没有一个投资机构会和公司一直走下去,总是会有退出的时候。...[详细]
-
document.writeln('关注创业、电商、站长,扫描A5创业网微信二维码,定期抽大奖。...[详细]
-
没必要走极端,但是大多数的网站都至少有一个Twitter和一个Facebook账号。...[详细]
-
2012年11月29日,一场更加“野心勃勃”的策划来到了这个平台——niconico邀请了除日本维新会和新党改革之外的十政党党首进行讨论,这场讨论会由D...[详细]
-
所以手机端目前并不适合那些给资深玩家开发的精美高深度的游戏,即使有,也不可能获得巨大的影响力。...[详细]
-
悲剧不可避免,911发生震惊世人,美国政府忽然发现,他们迫切需要最优秀的头脑提供顶尖技术,来让自己陈旧的情报和反恐系统变得更加聪明。...[详细]
-
彻底关闭或准关闭项目多集中在电子商务、本地生活、社交、企业服务等领域;北上广浙四地成为重灾区,“死亡”项目中处于A轮及A轮前早期的比率高达98.60%。...[详细]
-
考虑到每列火车全长2公里,每次停站只有2-3分钟,你需要实时查询App上信息才能避免在火车站台间飞奔的窘迫。...[详细]
-
”一位接近优酷土豆的人士透露。...[详细]
热点阅读