mt logoMyToken
总市值:
0%
恐慌指数:
0%
币种:--
交易所 --
ETH Gas:--
EN
USD
APP
Ap Store QR Code

Scan Download

Layer2 剖析:Arbitrum如何改进Optimistic?

收藏
分享

作者:ZKSwap

引言

最近一段时间,基于以太坊的 Layer2 产品可谓是层出不穷,市场表现极为火热。不知大家注意没有,每个产品推出时都会介绍 其产品是基于某种主流 Layer2 方案,具有何种优势,可以给产品、某方面给用户带来更好体验 等类似的宣传语句。有心的读者或许会深思,这些方案到底是什么方案呢?背后的原理究竟如何?是否存在劣势?今天, ZKSwap 团队 就带领大家纵览 Layer2 全局,以技术为基础细分整个产品市场并深度剖析背后的技术原理。

Layer2 概览

相信之前有诸多文章已经介绍,根据数据的存储方式和交易有效性的证明方式的不同, Layer2 方案可以被划分为四大类,如下图所示:

1. Layer2 方案划分

数据存在链上,即具有链上数据可用性的方案有: ZK-Rollup Optimistic Rollup;

数据存在链下,即不具有链上数据可用性的方案有: Validium Plasma

用零知识证明来主动保证交易有效的方案有: ZK-Rollup Validium

用户需提交欺诈证明来主动验证交易有效的方案有: Optimistic Plasma

随着 Layer2 技术的不断发展, Plasma Validium 方案在市场上逐渐的失去了声音。绝大部分产品都是基于其他两种方案上实现的,因为两种方案的优缺点比较明显,因此项目方会根据不同的考量来选择不同的方案,下面我们将通过一张表格来呈现整个 Layer2 上的情况:

从表格中可以看出有有两个被标记的方案:

Offchain Labs 研发的 ARU 扩展方案,和 ORU 方案一样被归类于 Optimistic Rollup 的范畴,但与 ORU 主要的不同之处在于欺诈证明的交互过程,这将在后续的技术剖析环节给与分析;

本篇主要剖析 ORU ARU 的挑战原理,以更好的呈现它们之间的主要差异。

Optimistic Rollup(ORU) -- Fraud Proof 欺诈证明

首先简单介绍 ORU 协议里的两个概念:

CTC( Canonical Transaction Chain ) :存储所有的交易信息,保证了数据可用性(更细节的描述可以参考链接 Optimistic Details )。

STC( State Commitment Chain ) :存储了一系列的状态根,和 CTC 里的交易顺序逐一对应(更细节的描述可以参考链接 Optimistic Details )。

两者的关系如下图所示:

0 为初始状态根,图中 绿线 表示:交易 Tx1 执行后,状态根由 S0 => S1 。这些操作都是由 sequencer 来执行, sequencer ORU 协议里扮演者重要角色,主要负责三件事情:

1. 接受来自用户的交易;

2. 将这些交易 rollup ,并添加到 CTC 上;

3. 计算每笔交易提交后的状态根并添加到 STC 上;

假如 sequencer 作恶,提交了错误的状态根(后续的状态根自然也是无效的),如下图所示, Verifier 如何验证 sequencer 作恶呢?

Verifier 的挑战过程主要分为三个步骤:

1. 宣称要挑战的交易,并且提供在此交易执行前的状态根;

2. 上传 L2 上所有和该交易相关的状态到 L1 (因为挑战的思想是在 L1 上重新执行 L2 上已经执行过的交易,并比较执行后的状态);

3. L1 重新执行挑战的交易,计算新的状态根,并判断 sequencer 是否作恶;

如果 sequencer 确实作恶,那么将罚没其押金,并将其部分奖励给 verifier

Optimistic 具有的缺陷是:

1. 由于不是主动保证交易的有效性,因此 sequencer 提交的每一次状态更新都要设置挑战期,大概在一周左右,时间太长;

2. 用户挑战的成本很高,具体包括:( 1 ) 发送所有和挑战交易相关的数据到 L1 ;( 2 )在 L1 EVM 上执行该笔交易,并更新状态根;

优点:

1. 兼容 EVM

Arbitrum Rollup(ARU) -- Fraud Proof

ARU 协议的设计和 ORU 大体相似,主要的区分在挑战机制上。在 ORU 协议里, sequencer verifier 之间只有一次交互,即 sequencer 提交一次状态转换, verifier 去完成后续的挑战。由于 sequencer 宣称就是 初始状态为 Si ,执行完交易 Txi 后,状态根变为 Si+1” 。因此,在 L1 上不得不完整的执行整个交易。

ARU 的协议对以上过程进行了优化,实际上,在 L1 上执行交易的过程,其实就是在虚拟机上执行某些指令的过程; ARU 协议认为,整个交易执行的过程中,状态更新的失败,必定是其中的某些指令执行的失败,因此,只需要证明 sequencer 在执行某条指令时出现异常,那就可以证明 sequencer 作恶。具体的过程如下图所示:

注:在 ARU 协议里, Asserter 对应 ORU 协议里的 sequencer Challenger 对应 ORU 协议里的 verifier

据上所知:

1.  Asserter Challenger 间进行了多次的交互,交互次数和 n 成对数关系;

2. 把验证整个交易的执行过程,简化成了单纯的验证一条指令,大大的节省了验证成本;

3. 同样兼容 EVM

当然, ARU 协议仍然有很多细节还未在本篇文章里说明,本篇不打算过多介绍,内容已经很长,如果读者想了解 ARU 更多细节,请参考 offchainlabs 的官网。

写在最后

虽然以 Optimistic Rollup (ORU) 路线为主的 Layer2 扩容方案逐渐的被市场上更多的产品所接受,但是未来的 Layer2 扩容终极方案仍然是兼容 EVM zkRollup (ZRU) 。目前的 Layer2 的产品市场上,对于 EVM 的兼容性比安全性和效率更受关注,当然完美的方案是兼容 EVM zk rollup ;在此之前, Layer2 扩容方案应该会在一段时间内在兼容性和安全性之间权衡选择。这有利于 Layer2 扩容技术的发展, Offchain Labs 做了很好的榜样;当然 ZKSwap 队也会持续研究探索,按照 ZKSwap 的路线图,将在今年发布兼容 EVM ZK Rollup 版本,取得更好的可组合性和安全性,而不用像O ptimistic 的解决方案,通过牺牲一定的安全性来实现与 EVM 的兼容。

免责声明:本文版权归原作者所有,不代表MyToken(www.mytokencap.com)观点和立场;如有关于内容、版权等问题,请与我们联系。
相关阅读

DeFi潮流新风口:从链上数据看跨链桥的发展新方向

总锁仓额突破131亿美元,9月独立地址总数超12万个

Bitwise 向美SEC提交比特币策略ETF申请,旨在投资比特币期货和其他金融产品

PANews 9月15日消息,根据一份公开的监管文件,资产管理公司Bitwise 下属部门 Bitwise Index Services 向美国证券交易委员会(SEC)递交了比特币期货交易所交易基金 ETF申请,新基金名为Bitwise Bitcoin Strategy ETF。旨在投资比特币期货和其他金融产品。该文件称:“该基金不会直接投资于比特币,虽然该基金主要通过间接投资于在 CFTC 注册的商品交易所交易的标准化、现金结算的比特币期货合约来获得比特币敞口,但它也可能投资于集合投资工具和加拿大上市的提供比特币敞口的基金”。文件显示,ETF 还可能投资于现金、美国政府证券或货币市场基金。US Bancorp Fund Services 将担任转账代理和管理人,而美国银行将担任托管方。据了解,美国证券交易委员会(SEC)至今还未批准任何比特币 ETF 基金。此外,美证监会主席 Gary Gensler 表示该机构更有可能批准比特币期货 ETF 而不是现货 ETF,因为期货 ETF 将投资于芝加哥商品交易所(CME)提供监管的比特币期货产品,而比特币现货则不受监管。来源链接

知情人士:因需求强烈,Coinbase计划发行的债券或增加至20亿美元

PANews 9月15日消息,有知情人士称,此前计划发行15亿美元债券的Coinbase会将交易规模提升至20亿美元,因为至少已经有70亿美元的订单涌入。其他知情人士表示,等额的7年期和10年期债券将分别以3.375%和3.625%的利率发行,低于最初讨论的借贷成本。彭博社表示,固定收益投资者对该产品的热捧,代表了加密货币不再是一个专属于风险资本的行业,因为养老基金和对冲基金在内的专注投资债务的投资者都希望参与到此次的投资中。此前根据 Coinbase 提交给美国证券交易委员会(SEC)文件显示,Coinbase 将通过私募发行 15 亿美元于 2028 年和 2031 年到期的有担保高级票据,这些票据将由 Coinbase 的全资子公司 Coinbase, Inc. 提供全额无条件担保。来源链接