AltLayer:欺诈证明如何实现无信任的跨域信息传递?_ROL:ROLL

在过去的几年里,区块链专家和爱好者们一直在讨论侧链、Rollup和L2之间的区别。核心争论是,一个系统只有在从底层L1“获得安全性”时,才能被称为L2或Rollup。这导致了关于从链条中获得安全性究竟是什么意思的进一步讨论。在这篇文章中,我们讨论Optimistic Rollup设计以及底层链如何验证Rollup的正确性,从而允许Rollup与底层链之间进行无需信任的跨域通信。

根据与底层链的关联程度,Rollup设计有不同类型。让我们看几个例子。

Sovereign(主权) rollup 仅使用底层链来提供数据可用性和交易排序。主权rollup不需要L1等外部网络来验证rollup的正确性。在这种情况下,L1无需(甚至在某些情况下无法)信任地验证独立rollup的状态,因此L1无法独立验证来自rollup的任何桥接式消息。例如,仅仅因为rollup如此说,L1就无法信任地允许解锁L1上的资产。

LayerZero Labs支持的可组合原生资产桥Altitude现已上线:金色财经报道,LayerZero Labs在社交媒体宣布,其支持的可组合原生资产桥Altitude现已上线。据介绍,Altitude与LayerZero集成,为以太坊、BNB、Avalanche、Arbitrum、Polygon、Optimism和Fantom之间的资产桥接提供支持。LayerZero技术的集成为用户带来了诸多好处,例如低桥接费(仅为0.05%);单一资产流动性池,无IL风险;最终确定性风险担保等。[2023/8/29 13:02:19]

相反,像Optimism和Arbitrum这样的智能合约rollup确实允许以太坊验证者通过通常称为验证桥来独立验证rollup状态的正确性。例如,当用户希望从rollup提取资产到以太坊时,以太坊网络验证者需要确信提款请求是有效的,才能在以太坊上释放资金。

算法稳定币Malt Protocol公布补偿计划,V1漏洞导致用户损失约1790万美元:算法稳定币协议Malt Protocol公布了一项计划,以补偿受到漏洞影响的投资者,这些漏洞阻碍了该协议的推出,并锁定了流动性提供者。Malt Protocol表示,已经计算了所有直接受Malt v1漏洞影响的人的成本基础。Malt团队表示,受影响的每个人的总成本为1790万美元,但他们可用的总资金仅为 1380 万美元。该团队已创建了一份符合报销条件的账户清单,并表示将于6月24日在DAI中转移大约74%的成本基础。根据该计划收到报销的每个人都将自动添加到v2白名单中。Malt Protocol打算在以后重新发布第2版,以解决导致其算法稳定失败的问题。据悉,稳定币MALT在6月10日推出后仅在大约一天内保持与美元挂钩,目前的价格为0.178美元。V1漏洞为“解除绑定错误”,许多投资者在该代币失去挂钩时无法退出头寸。(BeinCrypto)[2021/6/23 23:59:58]

要理解欺诈证明,我们首先要了解 Optimistic Rollup的工作原理。Optimistic Rollup 有两个主要的网络参与者:排序器和验证者。

以色列投资巨头Altshuler Shaham已向GBTC投资1亿美元:以色列最大的投资公司Altshuler Shaham已向灰度比特币信托(GBTC)投入1亿美元。据悉,该交易发生在2020年底,这意味着其已经获得了超过100%的利润。(globes)[2021/3/11 18:34:20]

如上所述,Arbitrum和Optimism并非设计为主权Rollup,因此,以太坊网络应该能够信任地验证rollup状态的有效性。实际上,Optimistic Rollup 设计认为,以太坊应该乐观地假设Rollup状态总是正确的,除非有人声称反对并能够证明。以太坊上的一个合约将审议所述声称的正确性,从而使声称获得以太坊网络的安全性。

实际操作中,这是通过允许其他验证者质疑在以太坊上发布的状态根的有效性来实现的。这个“挑战过程”涉及生成一个欺诈证明,最终在以太坊合约中得到验证。

生成欺诈证明有两种方法:

鉴于二分协议的实用性,它已成为目前欺诈证明的首选方法。

到目前为止,应该很明显,在没有有效的欺诈证明实现的情况下,以太坊无法信任地验证Rollup的状态,这意味着无法在Rollup和底层链之间进行无需信任的跨域通信。因此,没有实现欺诈证明的智能合约Rollup与仅使用以太坊进行数据可用性和排序需求的主权Rollup没有什么区别。

尽管有许多 Optimistic Rollup的实现,如Arbitrum、Optimism、Metis等,但到目前为止,只有Arbitrum实现了欺诈证明。

今天,这种情况发生了变化。我们很高兴地宣布,AltLayer已经使用二分协议实现了欺诈证明——一种高效解决L1纷争的方法。

我们的欺诈证明实现是独特的,可以集成到通过AltLayer的Rollups-as-a-Service产品创建的任何rollup中。

我们很快会发布后续文章,其中将概述AltLayer欺诈证明的设计原则,以及其实现如何完美地与我们的Rollups-as-a-Service产品服务相匹配。敬请关注!

作者:AltLayer 

DeFi之道

个人专栏

阅读更多

金色荐读

金色财经 善欧巴

迪新财讯

Chainlink预言机

区块律动BlockBeats

白话区块链

金色早8点

Odaily星球日报

MarsBit

Arcane Labs

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:15ms0-6:640ms