Lagrang 协议:通过 ZK 实现无需信任的跨链互操作性
作者:Maven 11
跨链互操作性和安全性成为了当下区块链技术的一个挑战,ZK 初创公司 Lagrange Labs 给出了它的解决方案。Maven11 作为参投机构撰文对 Lagrange 的重要性进行了阐述,本文详细介绍 Lagrange 协议的核心概念、验证过程以及如何利用零知识证明技术实现无需信任的跨链操作。
简单来说,状态(存储)证明是一种证明(零知识),证明了任意链上存在某种链上状态。通过零知识证明(ZKP)的魔力,我们可以高效且无需信任地实现这一点,而无需信任预言机网络。
在 Lagrange 中,任何跨链传输层或不受信任的用户都可以提交在链上验证的非交互式证明。这些证明不依赖验证者集合或签名,确保直接在链上获取数据并在链之间高效地聚合。
状态根验证:验证由 Lagrange 状态委员会生成的简洁零知识证明,显示给定状态根(区块头)的真实性。
批量存储证明:验证一组声明的状态是否存在于特定链的状态根中。
零知识分布式计算:验证在链上状态上执行的任意分布式计算。
由于 Lagrange 状态证明是模块化的,协议可以选择使用状态、存储或计算的部分证明,以根据其应用程序定制证明系统。现有的跨链应用程序可以轻松提高其跨链工具的安全性或表现力。
Lagrange 零知识大数据框架利用类似于 Verkle 树的动态数据结构,允许应用程序将高效的存储包含证明与任意分布式计算(如 MapReduce 或分布式 SQL)相结合。
(责任编辑:风向标)
推荐文章
-
可是他实在拗不过父母,最后少投了50万,在广州买了一个小房子。...[详细]
-
人类最古老的生意是最有魅力的生意,人类最古老的需求到今天依然是最强烈的需求。...[详细]
-
而马先生内部团队,那么多商家向小二行贿,他们便可以参加大型的官方活动,做聚划算、淘抢购等,而我们只能报免费试用、免费试用、免费试用。...[详细]
-
那垂直之后是要做什么? 这么说吧,快手卖化妆品和小红唇、抹茶美妆卖化妆品,你选谁?内容格调背后是整个应用、整个公司的大方向,垂直深耕代表着专业度,靠你的专业集结起来的才是可能会为你掏钱的用户。...[详细]
-
4、为什么我不能再添加任何关键字了 苹果总的限制还不清楚,但蝉大师通过试验了解,当我们试图一次性导入几百个甚至一千个关键字时,这个时候上传限制是为每批200个关键字。...[详细]
-
有网友吐槽:和朋友在深圳去过一次,点了个拔丝山药,上来之后我觉得,在我们村里拔丝山药要是做成这个样子,这厨师就真不用混了。...[详细]
-
Virtual音乐代理MUSIC推出创新玩法:AI创作歌曲与代币化生态
如果没有niconico这样一个更符合年轻人口味又可以大肆吐槽的平台,像《为美好的世界献上祝福!》这样充满崩坏画面的搞笑动画也很难成为去年一月的黑马之作。...[详细]
-
直到我们父母这一辈,潜意识里都认为找个稳定的国企、事业单位,或者考个公务员,踏踏实实过一辈子,才是正事...[详细]
-
如果你有任何关于公司注册、做账审计等问题,都可以直接拨打400-0196-012客户专线。...[详细]
-
比起海投网,在同样从新进创投拿到第一张支票的初创企业中,有两家名气要大的多。...[详细]