ARBI:Layer2:Rollups详细解读-ODAILY_GRUMPYCAT币

背景介绍

从比特币创世开始,一直到以太坊网络中CryptoKitties游戏的出现。主流公链项目最被人诟病的地方就是低下的TPS。以太坊15左右的TPS完全无法给大多数应用提供实时稳定的支持,这与当前互联网行业动辄上万TPS的业务形成了鲜明的对比。甚至有很多人因此觉得公链将长期处于“不可用”状态。然而,公链爱好者不会因为困难而停下脚步。

主流方案对比

对于以太坊而言,过去几年内关于以太坊扩容的方案如雨后春笋般涌出,形成了百家争鸣的态势。其主流的方案如下所示:

1.链上扩容:

分片技术:分片一词本来源于数据库的术语,表示将大型数据库分割为很多更小的、更易管理的部分,从而能够实现更加高效的交互。

区块链分片是指对区块链网络进行分片,从而增加其扩展性。根据最新的以太坊2.0规范,以太坊区块链会被分为1024个分片链,这也意味着以太坊的TPS将提高1000倍以上。但目前Sharding方案仍然在跨分片通信、欺诈识别、随机分配与选举安全性等方面存在不足。

Coinbase等美国交易所正设计解决方案以遵守FATF有关共享用户信息的新规则:金色财经报道,包括Coinbase在内的美国加密货币交易所组成的工作组正在研究一种联合解决方案,以遵守金融行动特别工作组(FATF)关于共享客户信息的规则。据Coinbase称,有关该解决方案的白皮书将在未来几周内发布。[2020/7/21]

2.链下扩容:

状态通道:指代用于执行交易和其他状态更新的“链下”技术。

但是,一个状态通道内发生的事务仍保持了很高的安全性和不可更改性。如果出现任何问题,我们仍然可以回溯到链上交易中确定的稳定版本。

侧链技术:侧链是平行于主链的一条链,由侧链上的验证者把一条链的最新状态提交给主链上的智能合约,这样持续推进的一类系统。侧链通常使用PoA(Proof-of-Authority)、PoS(ProofofStake)等高效的共识算法。它的优势在于代码和数据与主链独立,不会增加主链的负担,缺陷在于它的安全性弱、不够中心化,无法提供审查抗性、终局性和资金所有权保证。

FATF:一些稳定币或造成较大的和恐怖分子融资风险:6月30日晚,金融行动特别工作组(FATF)发布第31届第3次视频全体会议的系列成果。本次会议审议通过了FATF拟提交至G20的“稳定币”研究报告。该报告对金融稳定理事会和国际货币基金组织的工作起到了重要的补充作用。报告指出,一些稳定币,特别是那些大型全球稳定币,可能会导致虚拟资产生态系统发生变化,并造成较大的和恐怖分子融资风险。FATF表示将继续密切监视稳定币的风险行为,如通过无托管钱包进行的匿名对等交易等。该报告强调了四个需要进一步关注的领域,包括是否需要对FATF标准进行进一步更新,以及为稳定币和虚拟资产的管辖区制定指南。这份稳定币报告也将在7月初正式发布。(金融科技微洞察)[2020/7/1]

Rollup技术:顾名思义,就是把一堆交易卷起来汇总成一个交易,所有接收到这个交易的节点只去验证执行结果,而不会验证逻辑。因此Rollup交易所需Gas费会远小于交易Gas费总和,TPS也增加了。

主流的Rollup技术可以分为两类:

动态 | 媒体:加密货币公司可能要到今年10月份才能遵守FATF新规:加密货币媒体Decrypt今日发文称,根据国际反机构金融行动特别工作组(FATF)于2019年6月发布的规定,加密货币公司在向其他交易所和支付服务提供商发送交易时,需要共享其客户的身份。FATF方面它希望在2020年6月之前看到有意义的进展。然而,各成员国可能会直至2020年10月才会推动该协议的实施,届时FATF将再次评估世界上哪些国家在遵守其规则。行业内专家告诉Decrypt,加密货币交易所——可能会受到最大影响的加密货币企业——还没有想出如何以安全和有效的方式发送或接收信息,以及如何向当局指出可疑客户。(Decrypt)[2020/1/4]

ZkRollup:基于零知识证明的Layer2扩容方案,采用有效性验证方法(VP),默认所有交易都是不诚实的,只有通过有效性验证才会被接受。ZkRollup在链下进行复杂的计算和证明的生成,链上进行证明的校验并存储部分数据保证数据可用性。

OptimisticRollup:乐观的Rollup协议,采用欺诈证明方法,即对链上发布的所有Rollup区块都保持乐观态度并假设其有效,它仅在欺诈发生的情况下提供证据。

动态 | FATF等相关决策者召开全球会议,最终将确定全球加密指南:据Bitcoin.com消息,金融行动特别工作组(FATF)于周日在佛罗里达州奥兰多召开了全体会议,与会者包括来自FATF全球网络、国际货币基金组织(IMF),联合国、世界银行等组织的205名代表。FATF称:“在为期六天的会议期间,我们将讨论一系列重要问题,重点是保护金融体系的完整性以及促进全球安全。包括在G20的大力支持下,在虚拟资产监管方面取得进一步进展。”此前FATF的一位发言人表示,已将6月21日定为加密业务最终指导意见的发布日期。[2019/6/18]

乐观Rollup的优势在于能使得原生Layer1上的solidity合约可以无缝移植到Layer2,从而最大程度提升了技术人员的研发体验,目前主流方案包括Optimism和Arbitrum。

Plasma方案:通过智能合约和Merkel树建立子链,每个子链都是一个可定制的智能合约,子链共存并独立运行,从而大幅降低主链的TPS压力。

我们对解决方案进行比较,结果如下:

Rollup机制目前被普遍认为是最有前景的扩容方式,在两种主流的Rollup方案中,最核心的问题便是如何验证Rollup交易中的真实性。

OptimisticRollups和ZKRollups运用了不同的思维逻辑,前者乐观地相信交易的真实性,而后者悲观地不相信,因此生成零知识证明来自证清白。

相比之下,两者的优劣如下:

OptimisticRollup的优势是能够更好地支持EVM合约,劣势在于验证效率低,安全性较低;

ZkRollup的优势在于高度去中心化,验证效率高,劣势在于生成零知识证明并打包的过程非常复杂,较难兼容EVM,也较难落地。

下面主要对OptimisticRollup的两大方案Optimism和Arbitrum进行介绍。

Optimism和Arbitrum

首先我们来看看OptimisticRollup方案的流程:

Optimism和Arbitrum在基本流程上跟上述描述一样,直截了当来说:Optimism的争议解决方案比Arbitrum更依赖于以太坊虚拟机(EVM)。当有人提交关于Optimism的挑战时,存在问题的交易都会通过EVM再运行一遍。

相比之下,Arbitrum使用链下争议解决流程将争议二分减少到一笔交易中的一个步骤。然后,协议将这个一步的断言发送到EVM进行最终验证。

因此,从概念上讲,Optimism的争议解决过程比Arbitrum简单得多。但Arbitrum大大减少了链上的验证压力。

Arbitrum的整体架构如下所示:

由于Arbitrum是针对以太坊的扩容方案,因此Arbitrum架构自然部分存在于Layer1上,部分存在于Layer2上;

存在于Layer1上的Arbitrum组件为EthBridge,它是一组以太坊合约;

EthBridge负责仲裁ArbitrumRollup协议,以及维护链的inbox和outbox;

链的inbox和outbox允许用户、Layer1合约和完整节点将他们的交易发送到链并观察这些交易的结果;

Arbitrum虚拟机是Layer1和Layer2之间的网关,这也由EthBridge产生;

AVM能够读取输入,并对这些输入执行计算以产生输出;

ArbOS运行在Arbitrum虚拟机之上,负责保证Arbitrum链上智能合约的执行;

ArbOS完全存在于Layer2上,并像在以太坊上运行一样运行EVM合约。

Arbitrum的争议解决过程主要依赖链下的递归二分算法。该算法通过不断二分差异点来迫使”断言者“和”挑战者“缩小分歧,最终在Layer1上解决分歧。解决的具体方案如下所示:

而Optimism则直接让EVM执行整个交易,因此它只需要一轮交互即可完成。出于这个原因,OptimismRollup通常被称为“单轮”,而ArbitrumRollup是“多轮”。两者最大的区别在于:Arbitrum解决争议时间长,因此确认时间较长。Optimism需要执行整个交易,Gas费更高。

Eigen——Layer2Rollup的隐私计算方案

对于隐私计算而言,通常结果是乐观主义的。在隐私计算领域,一笔交易极其复杂,在Layer1执行完这笔交易非常困难,因此,Arbitrum是隐私计算领域中较优的选择,这也是Eigen基于Arbitrum进行开发的原因。

EigenRollup是一套EVM兼容、支持乐观执行和可验证性声明的混合Rollup方案。

乐观执行:类似于CPU的分支预测(BranchPrediction),交易会被预执行,验证者验证交易的合法性;通过挑战协议对有争议的交易进行裁决;

可验证性声明:采用TEE签名和零知识证明技术对计算过程的正确性和结果完整性提供非交互式证明。

EigenRollup基于Arbitrum提供如下技术:

隐私可验证性证明:EigenRollup在Arbitrum的交互式证明方案的基础上,采用TEE进行关键隐私操作指令的执行,从而降低交互式证明消耗,提供交互式证明的隐私保护;

公平定序器:现有的定序器存在中心化程度太高,以及跟验证节点联合作恶的风险。EigenRollup采用一种公平算法来实现定序器,实现了低手续费的同时,也防止了MEV等攻击的可能性。

分布式任务执行引擎:EGVM作为隐私合约的执行虚拟机,支持分布式任务管理。EGVM会将分布式任务调度到EigenCC计算集群进行并行计算,并且生成对应的可验证证明。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

区块博客

[0:15ms0-4:778ms