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

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

Sovereignvs智能合约Rollup

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

Hawky Studio创始人Joy Nguyen即将推出公链项目Etherum Royalty:据官方消息，California加密技术Hawky Studio创始人Joy Nguyen宣布即将推出公链项目Etherum Royalty。

据介绍，Etherum Royalty定位于平民级的数字金融支付公链，实现价值在社区内自由流动，其内置通证ETR基于ETC进行1:1映射。用户可通过ETR参与Etherum Royalty上的NFT、元宇宙游戏项目，参与现实与虚拟经济链接。[2022/6/3 4:00:54]

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

Visa加密负责人Terry Angelos将于下周加入经纪技术初创公司DriveWealth，担任CEO:5月10日消息，Visa全球金融科技和加密业务负责人Terry Angelos将于下周加入经纪技术初创公司Drive Wealth，接任首席执行官。Drive Wealth通过其基础设施帮助Block的Cash App和Revolut等消费金融应用程序提供股票交易。（CNBC）[2022/5/10 3:04:36]

OptimisticRollup设计及其验证过程

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

ETH 2.0开发人员：Altair升级规格将于5月21日左右冻结，V神提案允许将质押委托为矿池:ETH 2.0开发人员Ben Edgington更新Eth2双周进展表示，Altair是计划在年中进行的相对较小的信标链更新。根据开发人员最近的电话，客户端团队在实施Altair规格方面进展相当顺利。目前暂定时间规划（未承诺）：Altair规格冻结在5月21日左右；6月初短期上线测试网（仅是Altair规格，不是分叉转换）；尝试在6月底之前将当前的测试网分叉；七月底八月初部署到信标链。此外，Altair升级会导致不能支付验证节点一个epoch的奖励，除非采取一次性修复。该修复增加了实现和测试的复杂性，但回报相对较少。

另外，V神Vitalik提案允许验证节点更改其签名密钥：提供了一种将质押委托给矿池的方法，同时保留一定程度的控制权，并对slashable行为负责。[2021/5/9 21:41:22]

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

ConsenSys Health赞助“抗击COVID-19黑客松” 旨在利用区块链等技术抗击疫情:4月6日消息，ConsenSys子公司ConsenSys Health宣布从4月13日开始共同赞助“抗击COVID-19黑客松”。该计划旨在利用区块链和其他新兴技术来改善试图更好地理解和阻止COVID-19的研究人员、医疗保健专家和生命科学专业人士的数据访问和准确性，并防止未来的病大流行。”全球竞赛对开发优先考虑隐私和安全性的Web 3.0公共卫生解决方案的参与者给予奖励。（Decrypt）[2020/4/7]

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

欺诈证明机制

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

第一种方法是在以太坊合约中直接重新执行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产品服务相匹配。敬请关注！

标签：ROLLROL以太坊IMIroll币在哪换Agrolot以太坊交易所委托挂单要收手续费吗Dolaimi Universal

火币APP热门资讯