木星链 木星链
Ctrl+D收藏木星链

区块链:科普 | 一文读懂以太坊扩容方案 ─ Rollup 工作原理

作者:

时间:1900/1/1 0:00:00

作者?|?Edfelten??

翻译?|?李翰博??

ArbitrumRollup是一个链外协议,由链上Ethereum合约管理。一个dapp开发者有一组用Solidity编写的合约,开发者将这些合约编译成Arbitrum虚拟机,在ArbitrumRollup上运行。你希望它们能快速运行。

Rollup的基础知识

让我们从基础知识开始。你的虚拟机的状态被组织成一个Merkle树,所以可以计算出虚拟机状态的加密哈希。在协议中的任何一点,

虚拟机的某个状态都是完全确认的和最终的。它的哈希值存储在链上。

协议的参与者可以做出一个可争论的断言,该断言声称,从某个状态哈希开始,在一些技术前提条件下,虚拟机可以执行指定数量的计算步骤,从而得到指定的新状态哈希,并且在计算过程中虚拟机进行指定的支付和发出指定的日志事件。DA可能是有效的或无效的。做出DA的一方将被要求对DA的有效性进行押金。(更多关于注和它们如何工作的内容将在下面介绍。)

如上图所示,

一个可争议的断言创建了一个逻辑决策点,协议最终要解决这个问题。如果DA有效,系统将进入右上角的新状态,有一个新的状态哈希,并有DA中指定的副作用。或者在另一个分支上,DA无效,它被拒绝,状态不变。

人大附中物理老师李永乐科普拜占庭将军问题和区块链:5月14日,人大附中物理老师、科普视频网红李永乐在其公众号发布视频《拜占庭将军问题是什么?区块链如何防范恶意节点?》。李永乐老师在视频中对拜占庭将军问题和区块链进行了讲解,他表示,拜占庭将军问题本质上指的是,在分布式计算机网络中,如果存在故障和恶意节点,是否能够保持正常节点的网络一致性问题。在近40年的时间里,人们提出了许多方案解决这一问题,称为拜占庭容错法。例如兰波特自己提出了口头协议、书面协议法,后来有人提出了实用拜占庭容错PBFT算法,在2008年,中本聪发明比特币后,人们又设想了通过区块链的方法解决这一问题。区块链通过算力证明来保持账本的一致性,也就是必须计算数学题,才能得到记账的权力,其他人对这个记账结果进行验证,如果是对的,就认可你的结果。与拜占庭问题比起来,就增加了叛徒的成本。[2020/5/14]

旧的Arbitrum协议

最初的Arbitrum协议每次处理一个可争论的断言。某个当事方会提出一个DA,然后会有一个质疑期,在此期间任何人都可以对DA提出质疑。如果没有人提出质疑,则确认DA;否则将运行争议协议,取消DA。

这很简单,但有两个缺点。首先,由于一次只能有一个诉讼请求,虚拟机的进展速度将受到限制。本质上,在每个挑战期内都必须停止进展。第二,恶意方可以通过故意挑战为该虚拟机制作的所有DA来冻结该虚拟机。这将使攻击者付出一系列的注,但如果他们愿意付出这个代价,他们可以至少在某些情况下长时间地保持进度。

新的和改进的

我在这篇文章中介绍的新的ArbitrumRollup协议解决了上述两个缺点。多个DA可以被"管道化",这样一个虚拟机的进度就像验证节点可以模拟虚拟机的计算一样快。其次,正如我们在下面会看到的那样,一

现场 | 火币中国推出数字经济及区块链产业科普新书:金色财经现场报道,12月6日,由海南省工业和信息化厅主办,南南合作金融中心协办,海南生态软件园、火币中国承办的“海南自贸港数字经济和区块链国际合作论坛”在海口举行,这是全球首次区块链部长级论坛。

在本次论坛上,火币中国举行了“数字经济及区块链产业科普系列新书发布”仪式,希望通过教材、专业教育、培训等多种方式,帮助从业者、高校、研究机构深入了解区块链,从而建立起区块链全局性知识模型,真正推动区块链应用落地。火币中国CEO袁煜明介绍,将联合机械工业出版社面向普通高等教育推出《区块链导论》、《区块链系统设计与应用》和《区块链新商业模式分析》系列教材,这是国内最早推动的区块链教材之一;火币中国还积极参与数字经济的研究,由中信出版社出版的新书《读懂Libra》已经上市;由火币中国负责编写的区块链技术科普读物《区块链技术进阶指南》将于12月面世;首本行业内最全的区块链应用案例集《区块链产业应用100例》在本次论坛进行了首次刊印。[2019/12/6]

恶意

行为者不能减慢进度,他们只能暂时延迟链上对结果的认可,而这些结果对诚实的各方来说已经是"不可信的最终结果"。

那是怎么做到的呢?让我们来挖掘一下新协议......

每个状态最多可以有一个DA跟随它。如果一个DA没有跟随状态,那么任何人都可以创建一个跟随它的DA,创建一个新的分支点。结果将是一棵可能的未来树。

动态 | 区块链技术入选科普杂志《科学美国人》2019十大突破性技术榜单:据新浪网今日新闻报道,美国科普杂志《科学美国人》公布 2019 十大突破性技术榜单。区块链技术因在保障食品安全中的作用而上榜。 入选榜单具体原因:区块链技术的发展应用将显著改善食品污染源数据追踪的困境。利用区块链云端系统,食品制造商可以依次在计算机储存各类过程的信息。[2019/9/29]

???????????????????????????????这个树状图表示了未来的多种可能性

stake

协议的另一个重要部分是staking。任何人都可以放一个stake在树上的一个方格上。通过在一个方格上staking,你是在断言这个方格最终会被协议所确认。换句话说,你是在断言你已经在从当前状态到你所staking的方格的路径上的每一个DA采取了正确的分支。如果你错了,你可以预期失去你的stake资产。

staking的行动不能被撤销。你可以将你的stake向右移动--在每个分支点选择向上或向下--但你不能向左移动,因为这相当于撤销你之前做出的stake承诺。

做出可争论断言的一方需要在该DA的"DA有效"继承人上staking。通常情况下,他们可以通过将现有的注移动到右边,将其放在所需的继承方格上来满足这一要求。在极少数情况下,如果他们不能做到这一点,他们可以在所需的方格上放置一个额外的stake。但要注意的是,他们就会在两条不一致的道路上staking,这样他们最终至少要失去两个stakes中的一个--自相矛盾可不是明智之举)。)

关于注还有一个细节:如果你所的方块被确认并成为公认的历史,你可以选择收回你的注。这意味着,如果你是正确的,你可以将你的注保留在原地,等待系统"赶上"你,然后你就可以收回你的注。

动态 | 浙江卫视节目科普支付宝区块链防伪溯源产品:昨日,在浙江卫视播出的科普综艺栏目《智造将来》现场,支付宝首次展示了支付宝区块链防伪溯源产品,以接地气的方式公开向大众展示区块链在生活中的应用。[2019/3/4]

在这一点上,你可能会担心,可能性的树状图会变得非常大,而且‘枝繁叶茂’。这在实践中是不可能发生的,因为这需要多方对相互不一致的结果进行押注。他们中只有一个人可以是正确的,而其他人都会失去他们的利益。更有可能的是,这棵"树"实际上是一个有效的DA链,一个接一个,而且所有的注都在同一个结果上。

staking期限

我们需要系统在时间过长之前,对每个可争议断言做出决定。所以,当一个DA被添加到链上,创建一个分支点时,会有一个deadline与该DA相关联。这个deadline在未来足够远,如果大家选择这样做的话,就有时间检查这个DA是否有效,并在链上得到一个交易来押注这个DA的结果。如果有人想承诺支持或反对该DA的有效性的注,他们必须在截止日期之前这样做。(在截止日期后,仍然可以引入利害关系,但他们不参与决定支持或反对该DA。)一旦到了最后期限,所有与决定该诉讼请求有关的利害关系都将被告知。

争议

如果Alice和Bob分别位于不同的位置,那么有两种情况之一是真的。要么是有一条从其中一个到另一个的向右移动的路径--这意味着他们的主张是一致的--要么就没有这样的路径。如果没有一条向右移动的路径连接Alice和Bob的方块,那么他们一定是在某些事情上有分歧。他们之间总会有一个独特的争议点--一个独特的DA,

科普时报:区块链与云计算长期发展目标不谋而合:据《科普时报》今日报道,区块链与云计算两项技术的结合,从宏观上来说,一方面,利用云计算已有的基础服务设施或根据实际需求做相应改变,实现开发应用流程加速,满足未来区块链生态系统中初创企业、学术机构、开源机构、联盟和金融等机构对区块链应用的需求。另一方面,对于云计算来说,“可信、可靠、可控制”被认为是云计算发展必须要翻越的“三座山”,而区块链技术以去中心化、匿名性,以及数据不可篡改为主要特征,与云计算长期发展目标不谋而合。[2018/5/4]

对于这个DA,他们中的一个人以这个DA有效为注,而另一个人则以它无效为注。

每当双方发生争议时,系统可以启动双方之间的交互式争议解决协议。我没有篇幅在这里描述争议解决协议--我只想说,这是一个类似于我们在其他Arbitrum文件中描述的二段式互动协议。

争议解决协议的结果是,

有一方将被认定为不正确。该方将丧失其利

。注将被从其所在的

上抹去。其中一部分将交给争端中的另一方,其余的将被

毁。

多个纠纷可以同时进行,但每个注者一次最多只能参与一个纠纷。因为输家的注会被抹去,所以每次纠纷都会减少系统中的分歧量。输掉注的当事人如果愿意可以重新注,但新的注将无法影响注期限已经过去的DA。这样做的效果是,在一个DA的注期限过后,争端将逐步消除关于如何处理该DA的任何分歧。

确认结果

当一个DA的下注截止日期过后,所有剩余的及时下注都在该DA的同一分支上,系统可以确认该DA的结果。该DA被接受或拒绝,当前状态移动到该DA右侧的相应方格。

如果DA被确认为有效,例如如支付,就会在链上生效。虚拟机的状态就是这样向前移动的。

在一般情况下,当事人会诚实地行事,因为他们不想因为押注在虚假的索赔上而失去自己的注。只有有效的DA才会被断言,在一个单一的链条上,没有人会在任何DA的无效分支上押注。在这种情况下,每一个DA都可以在其押注期限到期后立即得到确认。

为什么它是

去信任的

ArbitrumRollup的一个重要属性是它是

信任的--一个诚实的一方可以迫使虚拟机表现正确并取得进步。要知道为什么,想象一下,Alice总是在每个DA上押在真实的分支上,如果树曾经空了,她就会断言DA。

因为Alice是在真实的树状图上staking,所以她会赢得她所陷入的每一场纠纷。如果其他人不同意Alice的观点,他们要么在与第三方的无关纠纷中失去自己的股权,要么最终与Alice发生纠纷,并将股权输给她。无论哪种情况,所有与Alice意见相左的人最终都会失去自己的股权。只有与Alice意见一致的stake才会存活,所以Alice在树上的路径最终将是唯一一条有及时stake的路径--而Alice的路径将被确认。

因为这种方式的系统是不可信的,如果Alice被押在一个方块上,并且她知道通往那个方块的路径是真实的,那么Alice就可以确定自己所在的方块最终会被确认。

对于

Alice

来说,那条路径就如同最终的一样。

即使你没有被押在一条路上,如果你看到有好几个人被押在这条路上,而且你相信这些人中至少有一个人是诚实的,那么你可以肯定那条路最终会被确认--就你而言,那条路就是最终的路。

信任最终性的好处

为什么说结果的去信任性是有价值的?经典的例子来自于之前对其他rollup协议的讨论。假设一个虚拟机要向Alice进行支付。支付事件是在诚实的路径上,但要在链上确认支付发生的方块,还需要一段时间。

信任性的结果就是给

Alice

提供了一个马上拿到钱的方法。如果Bob有立即支付的钱,他可以马上把钱给Alice,作为交换,Alice把未来尚未确认的付款转让给Bob。Bob只有在他能确定付款会真正发生的情况下才会想这么做。Bob可以通过押注诚实的结果来确定这一点--那么他就会对付款最终会发生充满信任的信心。不仅仅是Bob能做到这一点,任何有资金的人都可以借给他。任何有资金的人都可以用同样的方式把资金借给Alice和其他像她一样的人。这些人可以通过提供更低的费用来相互竞争,促使Alice马上获得资金的成本降低。

关键的一点是,这种市场机制的可行性取决于

信任的结果。如果"每个人"都已经知道这件事最终会被确认,那么一件事在链上确认的延迟就不会有那么多不便。

不仅对于支付是如此,对于虚拟机做的其他事情也是如此。如果虚拟机要发出一个日志项,宣布某件事情已经发生,那么去信任的结果意味着任何人都可以肯定地行动,该日志项将在链上得到确认。

延迟攻击

因为这个系统是有

信任性的,所以坏人不能强行制造错误的结果。他们可以尝试做的是减缓进展。这样做需要他们牺牲利害关系,如果利害关系的金额很大,那么代价就会很高。

让我们想象一下,有人有动机发动延迟攻击,而且他们愿意牺牲利害关系。他们能造成的最坏的损失是什么?

首先要注意的是,坏人无法阻止诚实的当事人继续建立出诚实的路径。而且他们也无法阻止诚实方在最终确认诚实分支的过程中获得去信任的信心。

攻击者能做的就是在假分支上staking,以延迟诚实路径的链上确认。他们每放一个stake,就会对诚实方多产生一次纠纷,在这种情况下,诚实方就会拿走攻击者的一大块stake。

一旦攻击者的所有stake都被拿下,链上进度将继续进行。

如果攻击者将多个注放在虚假的结果上呢?那么这些注就必须在纠纷中逐一拿下。如果有多人押注在诚实的结果上,这些人都可以对攻击者进入纠纷,同时努力拿下攻击者的注。而且注意,大家都会很清楚发生了什么事,很多人都会想参与进来,押注在真实的结果上,这样他们就可以加入到利用纠纷抢夺攻击者股权的喂养狂潮中。如果有K人在诚实的一方下注,那么攻击者将花费K个注来购买一个争端期的延迟。如果攻击者下更多的注,那很可能会吸引更多的老实人注。这对攻击者来说是个不好的动态。

优化

可以进行各种优化,以减少操作协议所需的链上记账量,降低链上气体成本,并使针对延迟攻击者的有益喂养狂潮更容易上演。我不会在这里钻研这些优化,这篇文章已经够长了。

前进的道路

我们正在Offchain实验室构建这个协议。预计这个ArbitrumRollup协议将很快被推送到我们的开源代码库中。

标签:区块链STAKSTALIC区块链技术通俗讲解中山大学Astake FinanceStartFiLIC价格

火必交易所热门资讯
比特币:数据向丨比特币在所有交易所 / 矿池中的流出总量与流入总量分析

特别鸣谢Cryptoquant.com为本文提供实时链上和市场数据支持。一、比特币每小时流出与流入总量 图1展示了2020年比特币在所有交易所与矿池中的流出总量与流入总量情况.

1900/1/1 0:00:00
比特币:维也纳证券交易所上线针对比特币和以太坊的ETP产品

9月1日,中欧最大的证券交易所之一维也纳证券交易所WienerB?rse在一份新闻稿中宣布,从2020年9月1日开始,比特币和以太坊的交易所交易产品将首次在维也纳证券交易所的官方市场上上市.

1900/1/1 0:00:00
以太坊:以太坊Layer 2 扩容,V神为什么偏爱ZK rollup ?

注:原文作者是以太坊联合创始人VitalikButerin。很多区块链应用最具价值的特征之一就是信任最小化:应用能够以预期的方式继续运行,而无需依赖特定参与者以特定的方式进行操作.

1900/1/1 0:00:00
PIX:巴西央行行长:可能在2022年具备发行央行数字货币的所有必要条件

要点:巴西央行行长表示,该国可能在2022年之前发行央行数字货币。该国即将推出的PIX系统的目的是加快银行同业付款并使其更便宜。PIX可以成为更大的CBDC的骨干.

1900/1/1 0:00:00
比特币:警惕暴涨行情中的“暴富神话”

每一轮市场行情到来时,总有几家欢喜几家愁:有人因为这样那样的原因错过了行情中暴涨的热门项目,也有人因为各种机缘巧合抓住了黑马实现财富的暴涨.

1900/1/1 0:00:00
以太坊:研究:价值11亿美元的ERC-20代币正面临“伪造存款攻击”的威胁

以太坊区块链上价值超过11亿美元的代币正面临“伪造存款攻击”的威胁。 根据一篇由来自北京大学、北京邮电大学、浙江大学和昆士兰大学的学者发表的论文,有7772种ERC-20代币受到这一名为“伪造存.

1900/1/1 0:00:00