在过去的几年里,区块链专家和爱好者们一直在讨论侧链、Rollup和L2之间的区别。核心争论是,一个系统只有在从底层L1“获得安全性”时,才能被称为L2或Rollup。这导致了关于从链条中获得安全性究竟是什么意思的进一步讨论。在这篇文章中,我们讨论OptimisticRollup设计以及底层链如何验证Rollup的正确性,从而允许Rollup与底层链之间进行无需信任的跨域通信。
Sovereignvs智能合约Rollup
根据与底层链的关联程度,Rollup设计有不同类型。让我们看几个例子。
UNI跌破4.5美元:金色财经报道,行情显示,UNI跌破4.5美元,现报4.49美元,日内跌幅达到0.88%,行情波动较大,请做好风险控制。[2023/6/18 21:44:33]
Sovereign(主权)rollup仅使用底层链来提供数据可用性和交易排序。主权rollup不需要L1等外部网络来验证rollup的正确性。在这种情况下,L1无需信任地验证独立rollup的状态,因此L1无法独立验证来自rollup的任何桥接式消息。例如,仅仅因为rollup如此说,L1就无法信任地允许解锁L1上的资产。相反,像Optimism和Arbitrum这样的智能合约rollup确实允许以太坊验证者通过通常称为验证桥来独立验证rollup状态的正确性。例如,当用户希望从rollup提取资产到以太坊时,以太坊网络验证者需要确信提款请求是有效的,才能在以太坊上释放资金。
Bitcoin.com已集成若干以太坊生态主流ERC-20 Token,将支持存储和兑换服务:8月11日消息,加密货币钱包Bitcoin.com宣布已完成对超过100个以太坊生态系统ERC-Token的集成,并将支持这些Token的存储和兑换服务,包括一系列主流DeFiToken,如Alchemix(ALCX)、dYdX(DYDX)、Lido Finance(LDO)、Convex Finance(CVX)、以及Polygon Network(MATIC)、Basic Attention Token(BAT)、Ocean Protocol(OCEAN)和The Graph(GRT)等。此外,Bitcoin.com还宣布整合多个NFT和元宇宙Token,提供包括Decentraland(MANA)、ApeCoin(APE)等Token的存储和交换服务。(u.today)[2022/8/11 12:16:47]
OptimisticRollup设计及其验证过程
加密反诈安全初创公司SEON完成9400万美元B轮融资,IVP领投:8月8日消息,加密反诈安全初创公司 SEON 宣布完成 9400 万美元 B 轮融资,IVP 领投,现有投资方 Creandum 和 PortfoLion 参投。
SEON 公司两位联合创始人 Tamas Kadar 和 Bence Jendruszak 对加密货币有浓厚兴趣,并曾合作构建过一个加密货币交易平台,由于其在加密货币交易平台方面的经验了解到欺诈预防策略对企业发展的重要性。该公司主要帮助 Revolut、NuBank 等涉及加密业务的金融科技公司提供线上防欺诈解决方案,其客户也包括 Patreon、AirFrance、KLM 等传统企业。(finsmes)[2022/8/8 12:10:33]
要理解欺诈证明,我们首先要了解OptimisticRollup的工作原理。OptimisticRollup有两个主要的网络参与者:排序器和验证者。
调查:近40%的美国投资者在市场不确定下购买更多的加密货币:金色财经报道,根据The Balance发布的一项调查,新的研究表明,在市场不确定性的影响下,39%的美国投资者正在寻找新的投资和保护财富的方式,从而选择购买更多的加密货币。尽管如此,41%的调查参与者表示,他们更多地投资于股票,而其中约三分之一的人分别对交易所交易基金(ETF)和指数基金进行了更多投资。与此同时,34%的投资者表示此时他们的投资习惯没有变化。超过四分之一的受访投资者承认投资较少。具体来说,近20%的投资者表示,他们在接受调查时对加密货币的投资较少。(finbold)[2022/8/5 12:04:55]
排序器负责聚合交易,对它们进行排序并将交易数据发布到提供数据可用性和最终排序的以太坊上;验证者读取交易数据,执行交易,产生新的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产品服务相匹配。敬请关注!
很多人都在谈论SovereignRollup及其与智能合约Rollup的不同之处,但鲜有人讨论它们是如何工作的?下面我将简要介绍SovereignRollup的工作原理.
1900/1/1 0:00:00Web3行业正往何处去?36氪获悉,前腾讯区块链业务负责人蔡弋戈,于今年年初从腾讯离开后,创立web3钱包PunkCode。过去,在区块链应用层面,腾讯是互联网大厂中的佼佼者.
1900/1/1 0:00:00在区块链和加密货币浪潮席卷全球、央行加密货币前景尚未明朗的当下,全球各大城市推出区域性的加密货币似乎正在成为热潮.
1900/1/1 0:00:00当地时间周六,本年度伯克希尔-哈撒韦股东大会在奥马哈召开,“股神”巴菲特与老搭档芒格携伯克希尔-哈撒韦副董事长阿贝尔以及保险业务负责人贾恩一同亮相.
1900/1/1 0:00:00最新消息:TikTokGuild平台在2023年5月5日正式上线。TikTokGuild成立于2019年,总部位于新加坡.
1900/1/1 0:00:00又一个明星项目首席科学家离职了。8月5日上午,ThunderCore英文社群电报群和中文微信群管理员发布消息称ThunderCore联合创始人、技术核心ElaineShi博士在结束了2年的合约后.
1900/1/1 0:00:00