AltLayer:欺诈证明如何实现无信任的跨域信息传递?_STA:以太坊币怎么挖矿网站下载

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

Sovereignvs智能合约Rollup

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

以太坊扩容项目AltLayer将于7月28日空投OG徽章NFT:7月6日消息,以太坊扩容项目AltLayer今日宣布,将向早期用户空投OG徽章NFT,本次活动共有1000个OG徽章,其中400个将在此活动中铸造和分发,剩余的600个OG徽章将留作以后分发。

NFT白名单活动将于北京时间7月6日20:00点开始,并于2022年7月25日20:00结束。NFT铸造活动将于北京时间7月28日20:00开始。OG NFT空投将以先到先得的方式提供给所有列入白名单的地址。每个白名单地址将有资格铸造最多1个OG徽章。只有前300个地址会收到OG徽章。所有NFT都将免费提供,用户在铸币过程中不需要gas费。[2022/7/6 1:55:43]

Sovereign(主权)rollup仅使用底层链来提供数据可用性和交易排序。主权rollup不需要L1等外部网络来验证rollup的正确性。在这种情况下,L1无需信任地验证独立rollup的状态,因此L1无法独立验证来自rollup的任何桥接式消息。例如,仅仅因为rollup如此说,L1就无法信任地允许解锁L1上的资产。相反,像Optimism和Arbitrum这样的智能合约rollup确实允许以太坊验证者通过通常称为验证桥来独立验证rollup状态的正确性。例如,当用户希望从rollup提取资产到以太坊时,以太坊网络验证者需要确信提款请求是有效的,才能在以太坊上释放资金。

DeFinity 与Cobalt合作实现数字资产交易清算和管理:金色财经报道,DeFi 市场DeFinity与数字资产市场Cobalt合作以促进实时清算、结算和动态风险和信用管理。两家公司联合技术将使客户能够利用资本市场的流程进行数字资产交易,通过维护每笔交易的法律确认来创建安全的技术基础设施。DeFinity 将允许机构投资者在交易前保留独立托管,同时提供法定和数字资产头寸的综合视图。(prnewswire)[2021/12/23 7:58:51]

OptimisticRollup设计及其验证过程

距离以太坊Altair硬分叉升级不到48小时 仍有30%节点未同步:10月26日消息,据Nodewatch显示,距离以太坊2.0信标链主网的硬分叉升级Altair更新不到48小时,但目前仍有30%的节点未同步。如果节点持有者决定不更新到最新版本的软件并加入升级后的链,他们将在以太坊升级后与旧链同步,当在不兼容的链上运行时,用户将无法获得适当的奖励并在交易所中实现。(U.today)[2021/10/26 20:58:42]

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

动态 | 数据显示:美国地区“Altcoins”主题搜索指数创历史新高:据Google Trends数据显示,“Altcoins”主题在美国地区的搜索指数达历史新高,同时,与“Altcoins”相关的主题的搜索指数近期均为“飙升”状态,比如“以太坊”、“莱特币”等。[2019/3/14]

排序器负责聚合交易,对它们进行排序并将交易数据发布到提供数据可用性和最终排序的以太坊上;验证者读取交易数据,执行交易,产生新的rollup全局状态,并在以太坊上提交状态。如上所述,Arbitrum和Optimism并非设计为主权Rollup,因此,以太坊网络应该能够信任地验证rollup状态的有效性。实际上,OptimisticRollup设计认为,以太坊应该乐观地假设Rollup状态总是正确的,除非有人声称反对并能够证明。以太坊上的一个合约将审议所述声称的正确性,从而使声称获得以太坊网络的安全性。

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

欺诈证明机制

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

第一种方法是在以太坊合约中直接重新执行Rollup交易,然后验证结果状态是否与验证者的提交相匹配。虽然这个想法很简单,但不幸的是,事实证明这种方法效率很低,而且实际操作起来相当困难。另一个解决方案是由Arbitrum提出的称为二分协议,该协议涉及在合约中执行单个EVM指令以证明整批交易的无效性。鉴于二分协议的实用性,它已成为目前欺诈证明的首选方法。

欺诈证明在实际应用中的实现

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

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

AltLayer在其Rollup解决方案中实现欺诈证明

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

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

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

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

金宝趣谈

[0:15ms0-5:578ms