在过去的几年里，区块链专家和爱好者们一直在讨论侧链、Rollup和L2之间的区别。核心争论是，一个系统只有在从底层L1“获得安全性”时，才能被称为L2或Rollup。这导致了关于从链条中获得安全性究竟是什么意思的进一步讨论。在这篇文章中，我们讨论OptimisticRollup设计以及底层链如何验证Rollup的正确性，从而允许Rollup与底层链之间进行无需信任的跨域通信。
Sovereignvs智能合约Rollup
根据与底层链的关联程度，Rollup设计有不同类型。让我们看几个例子。
IDC：2022年中国BaaS市场以20.8%的增速实现2.3亿美元的市场规模:金色财经报道，研究机构IDC发布《中国BaaS厂商市场份额报告，2022》，IDC报告显示，尽管2022年市场受到经济环境下行以及汇率波动的负向影响，中国区块链市场整体规模仍保持了上涨态势。IDC调研显示，2022年中国BaaS市场以20.8%的增速实现2.3亿美元的市场规模，中国政府行业区块链软件市场达到2.2亿美元的市场规模，市场增速达到37.3%。
区块链技术的韧性以及在数据要素发展中作为可信基础设施的必然性与必要性。当前，中国区块链产业已经走入深水期，新兴技术叠加实现数据可信闭环流转、以场景应用带动平台建设发展已经成为区块链市场必然的发展趋势。[2023/9/5 13:18:48]
Sovereign(主权)rollup仅使用底层链来提供数据可用性和交易排序。主权rollup不需要L1等外部网络来验证rollup的正确性。在这种情况下，L1无需信任地验证独立rollup的状态，因此L1无法独立验证来自rollup的任何桥接式消息。例如，仅仅因为rollup如此说，L1就无法信任地允许解锁L1上的资产。相反，像Optimism和Arbitrum这样的智能合约rollup确实允许以太坊验证者通过通常称为验证桥来独立验证rollup状态的正确性。例如，当用户希望从rollup提取资产到以太坊时，以太坊网络验证者需要确信提款请求是有效的，才能在以太坊上释放资金。
Berenberg：美SEC可能会准备其他论据来拒绝现货比特币ETF:金色财经报道，投行Berenberg表示，基于对现货比特币市场的担忧，美国证券交易委员会(SEC)很可能会准备替代论据，以证明继续拒绝现货比特币交易所交易基金申请的合理性。
尽管如此，分析师Mark Palmer写道，Grayscale的胜利可能增加了“SEC最终批准一个或多个现货比特币ETF申请”的可能性。
联邦法院周二裁定，SEC必须重新审查其拒绝Grayscale尝试将Grayscale比特币信托(GBTC)转换为ETF的决定。[2023/8/31 13:09:21]
OptimisticRollup设计及其验证过程
JW Verret：XRP裁决可能会迫使SEC与Coinbase达成和解:金色财经报道，George Mason大学法学副教授JW Verret解读最近的XRP判决及其对Coinbase起诉SEC案件的影响。JW Verret表示，具有里程碑意义的XRP裁决可能会迫使SEC与Coinbase达成和解。法院对XRP案件的判决将大大提高Coinbase在针对SEC的法庭诉讼中的胜算。[2023/7/16 10:57:22]
要理解欺诈证明，我们首先要了解OptimisticRollup的工作原理。OptimisticRollup有两个主要的网络参与者：排序器和验证者。
DigiDaigaku交易额突破1000万美元，地板价升至15 ETH区间:金色财经报道，据最新NFT交易数据显示，NFT项目DigiDaigaku交易额已突破1000万美元，本文撰写时为1071万美元，市值达到4506万美元。同时，DigiDaigaku地板价现升至15 ETH区间，短时触及15.99 ETH新高，截至目前为14.5 ETH，24小时涨幅116.42%。此外，DigiDaigaku#729以29 ETH价格被巨鲸fuckthecops.eth购入，创下迄今最高交易记录。[2022/8/30 12:57:22]
排序器负责聚合交易，对它们进行排序并将交易数据发布到提供数据可用性和最终排序的以太坊上；验证者读取交易数据，执行交易，产生新的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产品服务相匹配。敬请关注！
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。