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

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

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

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

金融做市商IMC收购加密公司Altas Technologies:金色财经报道，专注于从事ETF和期权的算法做市商IMC在本周完成了对荷兰技术和交易公司AltasTechnologies的收购，交易条款并未披露。 AltasTechnologies专注于“加密交易的机器学习和投资组合管理功能”。

这并不是IMC第一次进军加密货币交易和结算领域，该公司在整个欧洲、印度和美国均设有办事处。该公司的一位发言人表示，IMC在过去两到三年里一直在“增强加密业务能力”。此前IMC曾投资了Paradigm，同时与PythNetwork建立了联系，对资产的交易提供加密货币定价数据。[2023/7/29 16:05:41]

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

以色列金融科技公司Tipalti寻求以80至100亿美元估值完成2至4亿美元融资:11月1日消息，消息人士透露，以色列金融科技公司Tipalti正寻求以80-100亿美元估值完成2-4亿美元融资，这是该公司上市前的最后一轮融资。Tipalti拒绝置评。一年前，Tipalti以约20亿美元估值完成了1.5亿美元E轮融资，Durable Capital Partners领投，Greenoaks Capital和01 Advisors跟投。Tipalti开发了一种解决方案，允许企业在全球范围内自动完成支付转账。其服务可减少80%的客户应付款工作量，同时可改善对欺诈和监管的应对。其客户包括Amazon Twitch、Twitter、Business Insider、Vimeo等。（Calcalist）[2021/11/1 6:25:11]

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

Waltonchain员工获得WTC后错用官方推特 造成WTC市值暴跌9000万美元:与每天山寨Twitter账户的虚假赠送加密货币的不同，Waltonchain实际上真的赠送了虚拟货币。作为情人节日活动的一部分，他们随机向100位参与者赠送了2.14个WTC。正如研究过密码学的人所知，真正的随机性很难达到。因此，Waltonchain的的一位员工也幸运得获得了这一奖励，还将此事发布到了Waltonchain的官方推特账号。虽然他立刻删掉了推文，但还是没能阻止此事被广泛传播。社区成员感到了，在接下来的24小时内，WTC的市值暴跌了9000万美元。后Waltonchain不得不做出解释称，Waltonchain的员工也是幸运者之一，只不过是用了错误的账号分享了他的喜悦。[2018/3/3]

如上所述，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

标签：SUIROLLROLMOVEsui币未来价值CoinControllerCashroll币可以roll坐骑吗MarketMove

Fil热门资讯