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

ARB:Arbitrum Rollup的工作原理

作者:

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

此前我发过一篇文章比较 Arbitrum Rollup 和其他 rollup 解决方案。但是没有细说 Arbitrum Rollup 的工作原理,所以本文将详细介绍 Arbitrum。

Arbitrum Rollup 是一个由以太坊链上合约管理的链下协议。一个 dApp 开发者用 Solidity 写了一组合约,将这些合约编写进 Arbitrum 虚拟机 (Virtual Machine, VM) 中,然后就可以在 Arbitrum Rollup 中运行合约了。这样运行速度能够快些。

让我们从基础说起。虚拟机的状态以默克尔树的形式组织,因此就可以计算出该虚拟机状态的加密哈希。在协议的任意时间点,都有一些虚拟机状态被完全确认和敲定。这些虚拟机状态的哈希是储存在链上的。

协议参与者可以提出一个“争议断言” (Disputable Assertion, DA)。该断言声称,虚拟机从某些状态哈希开始,基于一些技术前提可以执行特定数量的计算步骤,从而生成新的状态哈希。并在计算期间完成特定的支付以及生成特定的日志事件。该“争议断言”可能有效,可能无效。提出“争议断言”的一方需要基于断言的有效性质押一笔保证金。(更多关于质押及其运作原理将在下文介绍)

图:一个争议断言在协议中产生了一个决策点

如上图左侧所示,一个争议断言产生了一个协议最终必须解决的逻辑决策点。如果该断言有效,系统会进入一个新状态 (右上角),根据特定的断言产生新的状态哈希和其他诸如支付和日志的附带效果。否则就会进入另一个分支 (右下角),该断言就会被拒绝,状态保持不变。

Layer-2区块链Optimism日交易量在六个月内首次超过Arbitrum:金色财经报道,根据Dune Analytics 的数据, Layer-2 区块链 Optimism 的每日交易量在六个月内首次超过了其竞争对手 Arbitrum 。

7 月 25 日,Optimism 的交易总数为 844,290 笔,而 Arbitrum 的交易总数为 630,534 笔。这一增长可归因于 Worldcoin (WLD) 的发布,这是一家由 Chat GPT 的 Sam Altman 创立的加密人工智能公司,基于 Optimism 区块链。Optimism 的原生代币 (OP) 在过去 24 小时内上涨了 4.5%。

Optimism 的每日活跃钱包指标仍低于 Arbitrum,为 51,062 个,而 Arbitrum 为 63,893 个。[2023/7/28 16:03:11]

最开始的 Arbitrum 协议每次处理一个“争议断言”。当某方提出一个断言时,挑战期便开始,在此期间任何人都可以对该断言发起挑战。如果没人发起挑战,该断言就会被确认;否则争议协议就会运行以取消争议断言 (以防提议者和挑战者串通起来炮制争议结果)。

这个设计很简单,但有两个缺点。首先,由于每次仅处理一个争议断言,导致虚拟机的处理速率有限。因此,每个挑战期期间,处理进程基本上停滞下来。第二,作恶者可以通过对某虚拟机所有的争议断言发起挑战来冻结该虚拟机。攻击者会为此付出一定的代价 (质押金),但是如果他们不介意这些损失,至少在一些场景下他们可以造成系统的处理进程延误很长一段时间。

Mantle原生代币MNT 24小时涨幅超过Arbitrum和Optimism:金色财经报道,以太坊Layer 2网络Mantle主网推出后,其实用和治理代币MNT24小时涨幅近4%,超过了Arbitrum和Optimism 等主流第2层区块链的原生代币。根据CoinGecko的数据,MNT昨日首次上线时价格为48美分,目前价格为52美分。

金色财经此前报道,5月19日,加密货币领域拥有最大金库的去中心化自治组织BitDAO宣布更名为Mantle,并投票将其BIT代币转换为MNT代币,以契合“一个品牌,一个代币”的原则。[2023/7/19 11:03:27]

新版 Arbitrum Rollup 协议解决了上面两个问题。将多个争议断言按流水线式排布,这样设计下,虚拟机处理速度就可以和验证节点模拟虚拟机运算的速度一样快了。第二,正如下图所示,作恶者无法延缓进程,他们只能暂时延误对结果的链上确认,而对于诚实节点来说,这些结果已经是“无需信任地被敲定了”。

其工作原理是什么?我需要更进一步地介绍这个新的协议....

每个状态最多有一个争议断言跟在其后。如果某个状态后没有争议断言,那么任何人都可以在其后创建一个争议断言,作为一个新的分支点。从而产生一颗多种可能的未来之树。

图:一颗多种可能的未来之树

Arbitrum 的另一个重要部分就是质押 (staking)。任何人都可以往那颗树中的方框里质押一定金额。通过质押,用户则押注了某个方框最终将被协议确认。换句话说,该用户认为其押注的方框是当前状态的正确分支。如果用户押错注了,其押金便会受到罚没。

Arbitrum:400万枚ARB初始空投代币将被分配给DAO:金色财经报道,以太坊Layer 2扩容解决方案Arbitrum在社交媒体宣布,新一波ARB初始空投代币将会被分配给Arbitrum生态系统中的DAO,总计400万枚。另据Nansen披露数据显示,截至目前Arbitrum空投代币ARB已有1,077,565,625枚被申领,占到1,162,166,000空投总供应量的约93%。[2023/6/7 21:20:50]

质押行为不可以撤销。用户可以将押金向右移动 (在每个分支点选择向右上/右下移动),但是不可以向左移动,因为这相当于用户撤销其此前的质押操作。

提出争议断言的一方需要押注其提出的争议断言有效。通常情况下他们都能够满足这一要求 —— 将其现存的押金往右移动并押注在要求的方框上。(极少数情况下他们无法这样操作时,他们可以将额外的资金押注在要求的方框上。但是请注意,这样做很可能会在两个相冲突的分支上质押,这会导致损失至少一个分支上的质押金。因此做出自相矛盾的操作是不明智的。)

关于质押还有一个细节:如果用户押注的方框被确认且被记录在协议上了,用户可以选择取回押金。这意味着,用户如果押对注了,便可以选择不再移动押金,留在原处直到被系统追上,然后就可以取回其押金了。

图:更加典型的状态树 — 由一系列正确的断言组成

数据:Arbitrum已创建账户总量突破700万:5月22日消息,据Dune Analytics最新数据显示,Arbitrum已创建账户总量突破700万,现为705.4万,其中活跃账户总量为590万。历史数据显示,Arbitrum已创建账户总量在今年四月中旬达到500万个,较过去一个月相比涨幅近30%。此外,当前Arbitrum链上交易总量近2.5亿笔,累计锁定的ERC-20代币价值达到91.45亿美元。[2023/5/22 15:18:05]

在这一点上大家可能会担心那颗充满各种可能的树会变得非常庞大、枝繁叶茂。这在实践中不太可能发生,因为这需要多方对不一致的结果押注。其中仅有一方是正确的,其他人则会损失押金。那么结果最有可能是这样的:这是一颗由“有效的争议断言”所组成的链,一个接一个,所有质押者都具有同样结果的分支上。

我们需要系统尽可能快地对每个争议断言做出决定。所以当新的争议断言被添加上链且出现一个分支点时,就会产生一个与该争议断言相关联的期限。这个期限足够长以至于任何人都可以在期限内判断该争议断言是否有效,然后需要在期限之前选择是否押注。(期限过后,质押交易仍能在链上进行,但他们不能参与决定某争议断言是否正确。) 一旦期限满了,所有参与决定争议断言的押注都将可知。

如果 Alice 和 Bob 在不同的方框上进行押注,会有两种情况发生:要么其中一位向右移动到另一个人的押注上 (即他们两个的押注结果相符合);要么找不到这样的路径。如果 Alice 和 Bob 之间没有一条可以连接他们的向右的路径,则他们必定相矛盾。那么在他们之间一定可以找到一个唯一的分叉点—— 这一点将他们两个分叉,各押注了相矛盾的分支方框。

瑞士银行Hypothekarbank Lenzburg成向加密货币公司提供商业账户:瑞士银行Hypothekarbank Lenzburg成为瑞士首家向区块链和加密货币公司提供商业账户的银行。[2018/6/7]

图:Alice 和 Bob 之间存在争议

当两方之间出现争议时,系统会在他们之间启动一个交互式的争议解决协议。可惜在本文中我没有足够的篇幅来描述该争议解决协议 —— 这是一个二分法交互协议 (bisection-type interactive protocol),类似于我之前在其他 Arbitrum 文档中的描述。

该协议带来的结果是,其中一方会被证实错误的。其押金会被罚没,且押注会从方框中移除。而这些押注的部分会给争议的另一方,剩余的会被销毁。

多个争议可以同时存在,但每个质押者每次最多只能选择一个争议。因为错误的押注会被删除,每一次争议的出现都会减少系统中的分歧数量。损失押金的质押者可以选择再次押注,但是新的押注不能再影响期限已过的争议断言。如此带来的影响是,一个争议断言的质押期限过了之后,关于如何处理该争议断言的争议都会被消除。

当某个争议断言的质押期限到期之后,并且所有在期限内存入的押注在该断言的同一个分支上,系统就可以确认该争议断言的结果。它会被确认或拒绝,当前状态会向右移动到正确的方框上。如果该断言被正式有效,其附带效果 (如支付) 也会被记录上链。虚拟机状态就是这样向前移动的。

一般情况下,为了不损失自己的押金,参与者都将诚实押注。只有有效的争议断言会被提出,没人将在争议断言的无效分支上押注,从而形成一条单一的链。在这种情况下,每个争议断言都能在质押期限过后立即被确认。

Arbitrum Rollup 的一个重要性质就是无需信任 —— 单个诚实参与者就可以确保虚拟机状态正确推进。为什么?假设 Alice 总是对每个争议断言的正确分支进行押注,并且当树不再产生分支了,她就提议一个争议断言。

因为 Alice 在正确的分支上押注,所以每一次争议她都是胜利方。如果任何人与 Alice 相矛盾,他们将 (a) 在一个不相关的争议中损失他们的质押金,(b) 最终进入 Alice 所在的争议中,其押金将输给 Alice。不管哪个方式,任何反对 Alice 的一方最终都会被罚没。只有与 Alice 相符合的押注才会胜利到最后,所以 Alice 所在的分支会成为唯一一个及时收到押注的路径 —— 该路径会被确认。

图:只要 Alice 是诚实的,无论其他人怎么做,绿色方框最终都会被确认

由于在这种方式上系统是无需信任的,如果 Alice 在一个方框上押注并且她知道该方框的路径是正确的,那么她可以确认其所在的方框上将最终被确认。对于 Alice 来说,该路径就像被敲定了一样。

即使用户没有在某条路径上押注,但是如果用户看到其他一些用户押注该路径,并且相信该路径上至少一个人是诚实的,那么其就可以确认该路径将最终被确认 —— 对该用户来说,这条路径就像被敲定了一样。

结果最终确定性的无需信任为什么如此重要?那篇对于其他 rollup 协议的讨论中举出了一个经典的例子。假设一个虚拟机打算向 Alice 支付一笔交易。该支付事件位于正确的路径上,但这笔交易还需等待一段时间,直到这笔交付交易所在的方框在链上被确认。

最终确定性无需信任让 Alice 能够即时收到汇款。如果 Bob 手上有闲钱,他可以立即给 Alice 钱,作为交换,Alice 把未来即将被确认的支付款项转给 Bob (额外给 Bob 一点手续费)。Bob 只有确定该支付交易一定会发生才会愿意这么做。Bob 可以通过押注诚实结果来确保这一点 —— 那么他就可以对这笔支付一定会发生抱有无需信任的信心。不仅 Bob 可以这样做,任何人都能够以这种方式把钱借给 Alice 或其他像她那样的人。这些人还可以通过提供更少的手续费以竞争。

关键是,这种市场机制的可行性取决于无需信任的最终确定性。如果“每个人”都已经知道该事件将最终被确认,那么链上确认的延迟就不会带来不便。

不仅支付这个案例,对于虚拟机所做的其他事情也是如此。如果虚拟机打算生成一个日志项来广播发生了的事件,无需信任的最终确定性意味着任何人都可以确信该日志将被链上承认。

因为系统是无需信任的,作恶者无法强行生成一个错误的结果。他们可以做的只有延缓系统处理过程。但这样会牺牲他们的押金,如果质押数额很大的话成本将会非常高。

想象一下如果有人想要发起延迟攻击,且愿意牺牲他们的押金。他们可以带来最大的破坏是什么?

首先,作恶者不能阻止诚实验证者继续在树上构建他们的诚实分支。他们也不能妨碍诚实验证者相信诚实分支的最终确认具有无需信任性。

攻击者可以做的只有在错误分支上质押,以延缓对诚实路径的链上确认。他们的每笔押注都会给诚实质押者创造多一个争议,在这个过程中诚实验证者都会分走一大半攻击者的押金。当攻击者的押金都被分走时,链上工作便继续进行。

那如果攻击者在多个错误结果上质押呢?那么,那些押金就会在一次次的争议里被分走。如果有多人在诚实结果上质押,他们可以进入有攻击者的争议里,与攻击者并行工作,然后把质押者的押金分走。而当人们留意到这一点,大家都知道在发生什么事了,就会有很多人加入到在正确结果上做质押,这样他们就能分走制造争议的攻击者的押金。如果有 K 个人在诚实结果上做质押,攻击者就要花费 K 份押金来一次争议期的延迟。如果攻击者花费更多的押金,这可能会吸引更多的诚实质押者。对攻击者来说情况只会越来越坏。

有很多优化方案可以实施,以减少运行协议必需的链上记账数据量、减少链上 gas 消耗、以及让延迟攻击所带来的分食狂欢更容易发生。笔者在这里就不对优化详细展开了,这篇文章已经够长了。

来源 | Offchain Labs

作者 | Ed Felten

原文链接:

https://medium.com/offchainlabs/how-arbitrum-rollup-works-39788e1ed73f

标签:ARBBITARBIRUMarb币前景怎么样bitmart夏尔特真名Arbitrage TokenTRUMPARMY

比特币交易所热门资讯
ROLL:现阶段以太坊价值大幅外溢 这6个Layer2项目或是最大受益者

2018 年的时候,我们以为 Layer2 (下文简称L2)近在眼前。三年过去了,我们却发现它依旧离“改变区块链”这个目标有着不短的距离.

1900/1/1 0:00:00
区块链:如何破解区块链人才的结构性问题?

在区块链行业飞速发展的背景下,正面临人才供不应求、结构性短缺等问题。在人才培养时间方面,因为区块链行业还是一个新兴事物,行业人才的培养时长和入行难度均比互联网行业要高;在存量人才方面,拥有相应知.

1900/1/1 0:00:00
比特币:新闻周刊 | EIP-1559正式被纳入以太坊伦敦硬分叉升级

金色周刊是金色财经推出的一档每周区块链行业总结栏目,内容涵盖一周重点新闻、行情与合约数据、矿业信息、项目动态、技术进展等行业动态。本文是其中的新闻周刊,带您一览本周区块链行业大事.

1900/1/1 0:00:00
以太坊:揭秘Fairyproof Tech:两位以太坊实践者的再次实践

“智能合约的安全级别主要取决于两个因素:内部风险和外部风险。其中内部风险主要表现为合约自身的逻辑复杂度,外部风险主要表现为合约与第三方合约的交互程度.

1900/1/1 0:00:00
NFT:NFT与传统世界的碰撞:圈外人是如何看待NFT热潮的?

Pascal Boyart 是一位巴黎街头艺术家。2019 年 1 月,他在一个工人阶级的街区画了一幅涂鸦,这幅作品以 Eugène Delacroix 的名作《自由领导人民》为灵感,并加以现代.

1900/1/1 0:00:00
区块链:金色前哨|NBA球队达拉斯独行侠接受狗狗币支付

3月5日消息,作为与加密支付服务提供商BitPay合作协议的一部分,NBA球队达拉斯独行侠很快将接受狗狗币(DOGE)支付.

1900/1/1 0:00:00