BTCV繁华资讯 > 货币新闻 > 在一篇文章中了解以太网的扩展方案——上卷的

在一篇文章中了解以太网的扩展方案——上卷的

作者:_btcv-繁华资讯来源:_btcv-繁华资讯 货币新闻 2020年08月23日

摘要:ArbitrumRollup是一个链外协议,由链上的以太网契约管理。一个dapp开发者有一套用Solidity编写的合同。开发人员将这些契约编译到Arbitrum虚拟机中,并在ArbitrumRollup上运行它们。你希望他们被迅速运送

仲裁汇总是一个链外协议,由链上的以太网契约管理。一个dapp开发者有一套用Solidity编写的合同。开发人员将这些契约编译到Arbitrum虚拟机中,并在Arbitrum汇总上运行它们。你希望他们跑得快。Rollup的基础知识,让我们从基础开始。虚拟机的状态被组织成一个Merkle树,因此您可以计算虚拟机状态的加密哈希。在协议的任何一点上,虚拟机的某个状态都是完全确认的和最终的。它的哈希值存储在链上。协议的参与者可以作出有争议的断言(DA),该断言声称从某个状态散列开始,在某些技术前提下,虚拟机可以执行指定数量的计算步骤,从而获得指定的新状态散列,并且在计算过程中,虚拟机进行指定的支付并发出指定的日志事件。数据助理可以是有效的(即真实的)或无效的。作出裁决的一方将被要求交存裁决的有效性。(关于下注及其工作方式的更多信息将在下面介绍。)一文读懂以太坊扩容方案  Rollup  工作原理

如上所示,一个可争议的断言创建了一个逻辑决策点,协议最终要解决这个问题。如果DA有效,系统将在右上角进入一个新的状态,在DA中指定一个新的状态散列和副作用(支付和日志)。或者在另一个分支上,DA无效,它被拒绝,并且它的状态保持不变。旧的Arbitrum协议最初的Arbitrum协议每次处理一个可争论的断言。某个当事方会提出一个DA,然后会有一个质疑期,在此期间任何人都可以对DA提出质疑.如果没人提问,确认da;否则,争议协议将被执行,争端裁决委员会将被取消(为了安全起见,以防支持者和挑战者合谋“炮制”争议结果)。这很简单,但有两个缺点。首先,因为一次只能有一个诉讼请求,虚拟机的进度速度会受到限制。从本质上讲,在每个充满挑战的时期都必须停止进步。其次,恶意方可以通过故意挑战为虚拟机制作的所有DAs来冻结虚拟机。这将使攻击者付出一系列的赌注,但如果他们愿意付出代价,至少在某些情况下,他们可以长时间保持进展。新的和改进的本文介绍的新的仲裁汇总协议解决了上述两个缺点。多个DAs可以“流水线化”,因此虚拟机的进程与验证节点模拟虚拟机计算的速度一样快。其次,正如我们将在下面看到的,恶意行为者不能减慢进度,他们只能暂时延迟链上对结果的认可,而这些结果对诚实的各方来说已经是 "不可信的最终结果"。这是怎么做到的?让我们探索新的协议.每个州最多只能有一个地区检察官跟随它。如果阿达没有跟随状态,那么任何人都可以跟随它创建阿达并创建新的分支点。结果将是一棵可能的未来之树。一文读懂以太坊扩容方案  Rollup  工作原理

stake

协议的另一个重要部分是staking.任何人都可以在树上的正方形上插一根木桩。通过在一个广场上立桩,你断言这个广场最终会被协议所确认。换句话说,你是在断言,你已经在从当前状态到你所站的正方形的路径上为每个数据助理选择了正确的分支。如果你错了,你可能会失去你的股份资产。staking的行动不能被撤销.你可以把你的赌注移到右边——在每个分支点选择向上或向下——但你不能移到左边,因为这相当于撤销你先前的赌注承诺。提出有争议的主张的政党需要站在民主党的“民主党有效”继任者一边。通常,他们可以通过将他们现有的赌注移动到右边,并将它们放在所需的继承网格上来满足这个要求。在极少数情况下,如果他们做不到这一点,他们可以在所需的广场上多放一根木桩。然而,应该注意的是,他们将走上两条不同的道路,这样他们最终将失去至少两个赌注之一-自相矛盾不是一个明智的举动。)关于下注还有另一个细节:如果你下注的方块被确认并成为公认的历史,你可以选择撤销下注。这意味着,如果你是对的,你可以继续下注,等待系统“赶上”你,然后你可以撤回你的赌注。一文读懂以太坊扩容方案  Rollup  工作原理

在这一点上,你可能会担心,可能性的树状图会变得非常大,而且‘枝繁叶茂’。这在实践中是不可能发生的,因为这需要多方对相互不一致的结果进行押注.他们中只有一个是对的,而其他人会失去兴趣。更有可能的是,这个“树”实际上是一个有效的数据挖掘链,一个接一个,所有的赌注都在同一个结果上。staking期限,我们需要这个系统在每一个有争议的断言花费太长时间之前做出决定。因此,当阿达被添加到链中以创建分支点时,将有一个与数据助理相关联的截止日期。这个期限在未来已经足够了。如果您选择这样做,您将有时间检查此DA是否有效,并在交易链中获得一笔交易来押注此DA的结果。如果有人想承诺赌或赌DA的有效性,他们必须在截止日期前这样做。(截止日期后,仍然可以引入利益,但是他们不参与支持或反对DA的决定。一旦截止日期到了,所有与索赔决定相关的利益都将被告知。争议:如果爱丽丝和鲍勃在不同的地方,那么两种情况之一是正确的。要么有一条路径从一个向右移动到另一个——这意味着他们的观点是相同的——要么没有这样的路径。如果没有向右移动的路径连接爱丽丝和鲍勃的正方形,那么他们一定在某些事情上有分歧。他们之间总会有一场独特的争端——一场独特的争端,对于这个DA,他们中的一个人以这个DA有效为赌注,而另一个人则以它无效为赌注。一文读懂以太坊扩容方案  Rollup  工作原理

每当双方发生争议时,系统可以启动双方之间的交互式争议解决协议。我在这里没有空间描述争端解决协议——我只想说,这是一个两阶段的互动协议,类似于其他仲裁文件中描述的协议。争端解决协议的结果是有一方将被认定为不正确。该方将丧失其利。赌注将被从其所在的上抹去。其中一部分将交给争端中的另一方,其余的将被。多个争议可以同时进行,但每个投注者最多只能参与一个争议。因为输者的赌注将被抹去,每一次争论都将减少系统中的分歧。如果输的一方愿意,可以重新下注,但新的下注不会影响下注期已过的地区检察官。这样做的效果是,在阿达的投注期结束后,争议将逐渐消除在如何处理地区检察官问题上的任何分歧。确认结果当一个DA的下注截止日期过后,所有剩余的及时(下注截止日期前)下注都在该DA的同一分支上,系统可以确认该DA的结果.数据助理被接受或拒绝,当前状态移动到数据助理右侧的相应方框。如果DA被确认为有效,如付款,它将在链中生效。这就是虚拟机状态向前移动的方式。在正常情况下,各方会诚实行事,因为他们不想因押注虚假索赔而输掉赌注。只有有效的数据助理会被断言,没有人会在单个链中的数据助理的任何无效分支上下注。在这种情况下,每个DA可以在其下注期结束后立即得到确认。为什么它是去信任的Arbitrum Rollup的一个重要属性是它是和搜狗网——诚实的一方可以迫使虚拟机正确运行并取得进展。要知道为什么,想象一下爱丽丝总是在每个地方检察官的真实分支上下注。如果这棵树曾经是空的,她会断言DA。因为爱丽丝是在真正的树上,她会赢得每一个她陷入的争议。如果其他人不同意爱丽丝,他们要么(a)在与第三方不相关的纠纷中失去他们的股权,要么(b)最终与爱丽丝发生纠纷并失去他们的股权。不管是哪种情况,所有不同意爱丽丝的人最终都会失去他们的股份。只有与爱丽丝一致的木桩才能存活,所以爱丽丝在树上的路径最终将是唯一一个有及时木桩的——爱丽丝的路径将被确认。一文读懂以太坊扩容方案  Rollup  工作原理

因为这样的系统是不可信的,如果爱丽丝被绑在一个正方形上,并且她知道通向那个正方形的路径是真的,那么爱丽丝可以肯定她的正方形最终会被确认。信任的对于Alice.即使你没有被拘留在同一条路上,如果你看到几个人被拘留在这条路上,并且你相信这些人中至少有一个是诚实的,那么你可以肯定这条路最终会被确认——那条路是你的最后一条路。为什么来说,那条路径就如同最终的一样说对结果的不信任是有价值的?经典示例来自于之前对其他汇总协议的讨论。假设一个虚拟机想要支付给爱丽丝。支付事件是在诚实的路径上,但是它将花费一些时间来确认支付链中的支付框。信任最终性的好处信任性的结果就是给Alice.如果鲍勃有钱立即付款,他可以立即把钱给爱丽丝。作为交换,爱丽丝将未确认的未来付款转给鲍勃(加上付给鲍勃的最低费用)。鲍勃只是想这样做,如果他能确定付款会真的发生。鲍勃可以通过赌诚实的结果来证实这一点——然后他将确信付款最终会发生。不仅鲍勃能做到这一点,而且任何有钱的人都可以借给他。任何有钱的人都可以把钱借给爱丽丝和其他像她一样的人。这些人可以通过提供更低的费用相互竞争,这将降低爱丽丝立即获得资金的成本。提供了一个马上拿到钱的方法关键的一点是,这种市场机制的可行性取决于.如果“每个人”都知道这最终会被确认,那么延迟确认一件事情就不会那么麻烦了。这不仅适用于支付,也适用于虚拟机做的其他事情。如果虚拟机想要发送一个日志条目来宣布发生了什么,那么不信任的结果意味着任何人都可以明确地行动,并且该日志条目将在链中被确认。信任的结果延迟攻击因为这个系统是有.他们能做的就是减缓进程。这样做要求他们牺牲自己的利益。如果利息金额大,成本就会高。让我们想象一下,有些人被激励发起延迟攻击,他们愿意牺牲自己的利益。他们能造成的最大损失是什么?首先,坏人不能阻止诚实的政党继续建立诚实的道路。此外,它们不能阻止诚实方在最终确认诚实分支的过程中获得信任。攻击者可以做的是踩上假分支来延迟诚实路径的链确认。每次他们下注,他们都会和诚实的一方再有一次争执。在这种情况下,诚实的一方将从攻击者手中拿走大量股份。信任性的,所以坏人不能强行制造错误的结果,如果攻击者对错误的结果下了多重赌注呢?那么这些赌注必须在争论中一个接一个地赢。如果许多人赌诚实的结果,这些人可能会与攻击者发生争执,同时试图赢得攻击者的赌注。而且注意,每个人都会非常清楚发生了什么,许多人会想参与进来,并对真正的结果下注,这样他们就可以加入到利用争端抢夺攻击者的股权的狂热中去。如果k个人在诚实的一方下注,攻击者将花费k个赌注来购买争议期间的延迟。如果攻击者下注更多,可能会吸引更多诚实的人下注。这对攻击者来说是一个糟糕的发展。一旦攻击者的所有stake都被拿下,链上进度将继续进行。可以进行各种优化,以减少操作协议所需的链式簿记的数量,降低链式气体的成本,并使其更容易为延迟的攻击者提供有利的信息。我不会在这里深究这些优化。这篇文章够长了。优化,我们正在外链实验室建立这个协议。预计这个仲裁汇总协议将很快被推到我们的开源代码库

标签: btcv币