宇宙链 宇宙链
Ctrl+D收藏宇宙链

深入分析 Arbitrum 的安全机制

作者:

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

Layer2扩容解决方案是当前以太坊社区热议的话题,也是整个区块链技术社区正在讨论的热门话题。基于OptimisticRollups的Arbitrum是目前最具有吸引力的Layer2扩容解决方案之一。它率先部署了主网beta版本,并获得了Uniswap和Compound等核心DeFi项目的支持。

对于打算从以太坊主网迁移至Layer2的用户来说,他们最关心的一个问题就是Layer2解决方案的安全机制如何。本文将深入探讨Arbitrum的安全机制,包括:Arbitrum如何植根于以太坊的安全性中;为什么挑战期是七天;以及如何防御审查攻击。

植根于以太坊的安全性中

众所周知Layer2解决方案与其他扩容解决方案相比,最大的一个优势就是其安全性依赖于以太坊主网的安全性。然而,大部分人可能都知道这个道理,但却不知道为什么。那么Arbitrum如何根植于以太坊的安全性中呢?

我们首先来回顾一下OptimisticRollup解决方案的主要特点:

在一个Rollup解决方案中,交易(作为calldata)编写在L1上,但是其实际计算和合约的存储在L2上完成,以实现扩容。

高鸿股份:公司正在深入研究可信计算在区块链的应用:高鸿股份在互动平台表示,公司正在深入研究可信计算在区块链的应用,可信计算可以有效提高区块链节点设备的安全,并保护底层软件不被渗透和篡改。公司计划为区块链产业提供以可信计算为核心的安全加固技术支持。(财联社)[2021/4/19 20:36:09]

验证者在L1上发布一个断言(assertion),可以理解为将所有交易和结果打包成一个Rollup区块,然后发送到L1的交易中。

OptimisticRollup之所以称为”乐观的“rollup解决方案,因为当一个断言发布时,其不包含保证其有效性的随附证明,即默认该断言有效。相反,届时会有一个时间窗口,而任何人都可以在这个时间内挑战该断言。如果挑战成功,那么此断言内的所有交易都将被撤回,并且提出断言的人会失去其保证金。如果挑战期到期且没人挑战成功,那么断言就会被最终确认。

在了解了这个解决方案之后,我们再从几个角度来思考Arbitrum是如何植根于以太坊的安全性的。

数据可用性

所有在L2上执行的交易首先会提交至在L1上运行的收件箱智能合约,然后作为calldata编写进L1中。任何人都可以利用该数据来检索回L2上的所有交易并将L2恢复到其原始状态。这些数据可用性通过L1得到保证,用户不必担心L2因出现故障而导致其损失L2上的资产。

昆明两会:将深入推动云南省区块链中心建设:2月2日上午,昆明市第十四届人民代表大会第六次会议在昆开幕,昆明市委副书记、代市长刘佳晨作政府工作报告。

他表示,昆明将深入推进云南省数字经济开发区、云南省区块链中心建设,力争引进数字经济创新企业100家,打造3—5个区块链示范项目,新认定1—2家数字经济园区。

加大5G基础设施建设,新增5G基站1万个,实现主城区5G信号全覆盖,加快与VR/AR、医疗、旅游、智慧办会、刷脸就行等场景结合,拓展5G典型应用。[2021/2/2 18:41:39]

AnyTrust

AnyTrust是Rollup协议的关键安全功能。这个功能允许任意诚实验证者确保交易在L2上正确地执行。无论有多少攻击者恶意阻止交易的进行,你或者你雇佣的任何人都能够强制确保交易的正确执行,而无需信任任何第三方。

紧急退出机制

Arbitrum当前没有一个特定的紧急退出机制,但是有一系列安全机制来确保用户可以安全退出。

首先,数据可用性确保用户存储在L2上的资产和数据可以在任意时候从L1上恢复,并且永远不会丢失。

其次,任意用户都能向L1上的收件箱合约发送一个交易请求来强制退出。

江苏银行年报:将对区块链等技术持续深入研究:4月20日消息,日前,江苏银行年报指出,江苏银行将不断优化IT治理体系,加快重大创新项目建设,对5G、区块链、人工智能等技术持续深入研究,在互联网贷款、智能投顾、线上票据贴现、线上动产质押、跨境业务等领域落地的产品扩面成势。(经济参考网)[2020/4/20]

最后,AnyTrust机制确保用户可以强制L2正确地处理退出交易。

在以上三点中,用户不需要信任任意第三方,这充分地展示了Arbitrum植根于以太坊的安全性中,并且是去信任的。

为什么挑战期是七天

Arbitrum是一个多轮交互的Rollup解决方案。这个解决方案首先会乐观地相信验证者做出的断言是有效的,而在挑战期其他验证者可能会对此提出质疑和挑战。在大多数情况下,不会有挑战提出,那么整个系统就可以更高效且成本更低。

显然,挑战期越长,整个系统就越安全,但同时用户体验也会更差(因为用户需要等到挑战期结束之后才能退出)。那么我们是如何确定最佳的挑战时期呢?

Arbitrum团队提出这种模型来计算最佳的挑战时期:

假设一个挑战时期等于C区块的长度,以及攻击者在L2上可以获得的最大值为V。

声音 | Evolution capital创始合伙人:熊市有更多时间做深入思考:11月16日, Evolution capital 创始合伙人老葛在“499加油站第二十期”接受火币英才CEO张晓媛和节点资本合伙人及贝壳公关CEO姜晓玉的采访时表示, 熊市过冬宝典一,是意识的升级,慢慢对这个行业的理解跟上了,自然比隔岸观火的人理解更深。熊市过冬宝典二,是多宣传,PR成本低;好好做社群,做精,有更优质的用户;扎实的做合规。花时间在这些领域提升,积累经验和技能的小伙伴,下一波行情来的时候,就有了更多的优势。保持敏锐,等下一波机会大批涌来的时候,肯定是观念超前,行动在一线的人,最有机会把握住。[2018/11/17]

则攻击者获得的预期价值为Vexp(-AC)。

注解:exp为指数函数”e“,A为某常数A,AC前的”-“符号表示C与预期收益成反比。

断言者需要保证其资产远超过攻击的资产价值以应对攻击。我们假设超过10倍,则断言者的成本为10Vexp(-AC)I。I指的是资本利率。

我们假设某退出用户在挑战期被锁定的提款资产为CWV(W为小数,WV是L2上总资产的一部分,每个时间点都会有C个未结束挑战的区块)和用户的资产成本为CWVI。

Facebook创始人称要深入的学习和了解加密货币技术:扎克伯格在Facebook发帖称,2018年他的新挑战是解决Facebook存在的一些问题,并且还要深入了解和学习加密技术和加密货币,并运用到Facebook的服务中去。[2018/1/5]

最佳的挑战期限应该设为断言者和提款用户的资产总成本最低的情况下。即取C的值时,10Vexp(-AC)I+CWVI最小。V和I在两项中都出现,它不会影响最小值点,可以忽略。我们只需对C求导,将所得导数设为0,并得到C=ln(10A/W)/A。

现在我们将一些合理的数字插入上述等式中,以获得一个大概的最佳挑战期限。

假设一个区块时间内的连续审查成功率高达99.99%,即A=-ln(0.99)=0.01。

进一步假设每天提款为总值的1%,并且每个区块的提款百分比约为W=0.000002,基于出块时间为15秒的前提。

将这些代入公式中,我们得到的最佳挑战期限为C=62146区块,即10.79天。这与Arbitrum团队最终选择的7天挑战期限非常接近。

如何防御审查攻击

在这一部分,我们讨论了Arbitrum如何防御四种主要的审查攻击:分叉攻击(forkingattacks)、回避攻击(shunningattacks)、干扰攻击(jammingattacks)和快速攻击(speeddemonattacks)。

分叉攻击(forkingattacks):矿工合谋(或受贿)丢弃包含正常挑战的区块,以便接受不包含挑战的替代链。

首先,由于挑战者的存在,一旦发生分叉攻击,难免会被某个挑战者发现。而当大家发现区块链中的挖矿算力垄断者(这是分叉攻击的先决条件)为了盈利而肆无忌惮地违反规则时,区块链本身就被摧毁了。此时,Arbitrum是否采用挑战期设计模型还存在争议。

回避攻击(shunningattacks):矿工们合谋(或受贿)忽略掉他们生产出的区块中的普通挑战。

我们假设垄断者控制了90%的挖矿算力,并且期限为50个区块。那么垄断者需要将50个连续的区块打包起来才能完成攻击。这个概率是0.9的50次方,也就是0.5%。而实际挑战期限远不止50个区块,所以攻击成功的概率极小。在Arbitrum的设计中,攻击者在攻击失败时会支付巨额罚款,因此垄断者发起回避攻击是非常不划算的。

干扰攻击(jammingattacks):攻击者发起”老式的拒绝服务攻击(DoS)“来阻止任何一方发布任何交易(不能发布包含挑战的交易)。

因为只要有一个正直的挑战者,攻击就会失败,所以攻击者必须阻止所有有可能的挑战者。如果有很多这样的挑战者,攻击将很难完成。更糟糕的是,任意利益相关的一方都可能雇佣一个沉默的监察者以作为备用计划。他们只在主要参与方太晚发布挑战或者在发布挑战时遇到了困难时才会介入。攻击者并不知道网络中是否有沉默的监察者,或者尽管知道他们存在,也不知道他们是谁,所有在这些监察者有实际行动之前,攻击者都无法向他们发起DoS攻击。

快速攻击(speeddemonattacks):攻击者生成链上断言的速度十分快,以至于其他方不能在时间截止之前检查并且挑战所有断言。

Arbtirum采取的应对方法是:限制创建断言的速率,以确保在任何时候检查未决断言和挑战其中一个断言所需的总工作量能够在协议的期限之内完成。具体来说,对Rollup链中的智能合约运作进程施加速度限制,因此即使有人能够快速生成大量断言,它最终也必须慢下来。

总之,我们不需要太担心分叉攻击。如果出现恶意挖矿算力垄断的情况,那么可以说这个区块链已经基本上变得没有吸引力了。Arbitrum可以通过适当的设计或者实践来防御其他三种审查攻击。

序列器模式(SequencerMode)的优势和风险

Sequencer模式是Arbitrum的一个可选功能,OffchainLabs在主网的发布版本上运行唯一的Sequencer节点。

Sequencer被赋予有限的权力来控制收件箱中每笔交易的排序,以保证用户的交易结果能够立即被确定,无需在以太坊上等待五分钟至区块被确认,甚至不需要像在以太坊一样等待15秒的出块时间。

同时,一个表现良好的sequencer可以有效地防御抢跑攻击。

因此,一个由OffchainLabs运营的中心化的、表现良好的Sequencer节点,对于项目的早期开发是非常有利的,并为其减少了很多麻烦。但是安全隐患也很明显(虽然很难想象OffchainLabs会作恶,但也不排除这样的可能性)。OffchainLabs承诺在技术成熟后立即切换到去中心化的、多个Sequencer节点的解决方案。

此外,收件箱也将一分为二,一个接受由Sequencer提交的交易,另一个则接受由常规聚合器或者用户提交的交易,这也为不信任中心化的Sequencer的用户提供了另一种选择。

来源|Hackernoon

作者|?DeGate

标签:TRURUMARBBITtru币有没有价值Serum Ecosystem Tokenarb币价格今日行情AMBIT币

比特币最新价格热门资讯
超越Maker和Compound Aave靠的是什么?

Lending作为DeFi领域的基础设施,竞争一向惨烈。但是根据最新数据显示。Aave在今年开始逐渐超过老大哥Maker和Compound,一跃成为行业龙头。由于篇幅问题,本文就不再对DeFi或者Lending等基础概念进行赘述.

1900/1/1 0:00:00
可计算 NFT:概念、意义和核心思想

Solv团队已经开始正式撰写文档,将于近期通过EIP过程提交一种新的加密数字资产标准文档。目前我们在内部称其为vNFT,定位为“可计算NFT标准”。据我们所知,如果获得通过,这将是首个由中国背景的团队提出的加密数字资产国际标准.

1900/1/1 0:00:00
如何使用「稳定币」捕获最佳的 DeFi 收益?这些策略了解一下

撰文:BenGiove,Bankless撰稿人过去一年我们被宠坏了。加密货币价格、DeFi活动和流动性挖矿的激增为渴望获取收益的DeFi用户带来了大量的3位数、4位数甚至5位数的APR/APY收益机会.

1900/1/1 0:00:00
5分钟读懂让人又爱又恨的「Coinbase效应」

作为美国最受欢迎的交易所,Coinbase充当了数百万美国人和他们数十亿美元的法币转换到加密货币的桥梁。鉴于其巨大的影响力,当代币在该平台上上市时,该代币的价格就会出现大幅飙升。目前这种趋势已经逐渐减弱,这也象征着整个市场的良性发展.

1900/1/1 0:00:00
金色DeFi日报 | Uniswap v3流动性挖矿合约已部署到以太坊主网和所有测试网

DeFi数据 1.DeFi总市值:661.08亿美元 市值前十币种排名数据来源DeFiboxDeFi总市值数据来源:Coingecko2.过去24小时去中心化交易所的交易量:30.

1900/1/1 0:00:00
萨尔瓦多通向“法币化”的荆棘之路

上个月,萨尔瓦多国会以84名议员中获得62张赞成票通过了《比特币法》,在全球范围内首开主权国家将比特币作为法定货币的用例。据悉,该法案将允许比特币作为本国的所有支付形式,当获得商品或服务的人向他提供比特币支付时必须接受.

1900/1/1 0:00:00