木星链 木星链
Ctrl+D收藏木星链
首页 > 火必 > 正文

ARB:Arbitrum创始人:针对Rollup延迟攻击的三种解决方案

作者:

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

Rollup协议设计者面临的一个微妙问题是如何应对延迟攻击。在这篇文章中,我将讨论它们是什么,以及Arbitrum如何防范它们,从而带来一些令人兴奋的新发展。延迟攻击是试图阻止Rollup协议取得进展的恶意行为,它们不会攻击协议的安全性,也就是说,它们不会试图强制确认不正确的结果。相反,延迟攻击通过试图阻止或延迟任何结果的确认来攻击协议的活性。这些问题可能很微妙,老实说,协议设计者们通常不喜欢谈论延迟攻击,但每一个Layer2系统,无论是OptimisticRollup、ZKRollup还是其他,都需要应对有关延迟和协议进展的问题。本文深入探讨了延迟攻击问题,并讨论了各种版本的Arbitrumrollup协议如何处理该问题。延迟攻击是什么?

在一次延迟攻击中,一个恶意方在Rollup协议内采取行动,遵循旨在阻碍或延迟确认结果返回L1链的策略。这不同于拒绝服务攻击,在拒绝服务攻击中,攻击者试图阻止在协议中采取任何行动。相比之下,在延迟攻击中,行动会继续发生,但攻击者的行为方式,会阻碍或延迟结果的确认(即延迟向L1提取资产),并迫使诚实的验证者燃烧gas。任何看似合理的Rollup协议都需要参与者进行质押,因此延迟攻击者必然会失去一份或多份质押权益。我们在这里假设攻击者愿意在一定限度内牺牲质押权益,以追求他们的攻击。我们还将保守地假设,攻击者在将交易上链方面具有优势,因此每当攻击者与诚实的一方竞争获得链上交易的优先权时,攻击者总是会赢。最后,我们假设攻击者可以审查对底层L1区块链的访问,以排除Rollup交易,但仅限于一段有限的时间内进行,我们称之为「挑战期」。特别是,攻击者可以启用和禁用一种概念上的「审查模式」。当启用审查模式时,攻击者可以完全控制哪些交易可以到达L1。但是,攻击者只能在一个挑战期内启用审查模式。(我们假设任何一组审查模式期加起来超过一个挑战期,将触发L1社区的社会反应,以阻止审查尝试。)评估针对延迟攻击的协议

Arbitrum DAO社区成员建议在One和Nova上激活对帐户抽象端点的支持:6月20日消息,Snapshot投票页面显示,Arbitrum DAO社区发起“在One和Nova上激活对帐户抽象端点的支持”的建议提案,目前支持率达99.89%,投票将于6月27日结束。

根据该提案,作为帐户抽象标准和工具更广泛发展的一部分,以太坊研究人员提出了一个新的RPC端点eth_sendRawTransactionConditional,Offchain Labs通过开发、测试并将支持Arbitrum定序器端点的必要调整纳入Nitro v.2.0.14来为这种新方法做出贡献,该版本现已在Arbitrum测试网上运行。该AIP建议Arbitrum DAO在One和Nova主网上激活对这个端点的支持。[2023/6/20 21:49:37]

在评估协议时,我们可以问六个问题:该协议是否有欺诈证明机制?是否有中心化运营商或证明者,可以通过简单地停止或扣留数据来阻止进展?如果是这样,那一方可能会造成无限延迟。该协议是否为最终进展提供了无需信任的保证?换句话说,无论攻击者做什么,一个诚实的参与者是否可以强制最终取得进展?如果协议保证无需信任的进程,那么攻击者可以造成的延迟上限是多少?攻击者的成本如何与造成的延迟时间成比例?诚实方回应的总成本如何衡量?确定这些标准后,让我们评估Arbitrumrollup协议的两个历史版本。协议1:学术论文协议

DeFi借贷协议OpenLeverage推出质押借贷服务,并将在Arb上发二次空投:4月18日消息,据官方推特,去中心化借贷和保证金交易协议OpenLeverage宣布已经在Arbitrum上上线了质押借贷协议,可以给Arb上所有的长尾项目提供质押和借贷服务,此外,OpenLeverage即将在Arb上推出第二个追溯奖励计划(空投),以鼓励协议使用、市场创造和流动性增加。[2023/4/19 14:11:59]

2018年的Arbitrum学术论文大致使用了以下协议。任何质押者都可以坚称提议的结果,我们称之为断言。在一个时间窗口内,其他质押者的任何子集都可以挑战断言,断言者必须对每个挑战者捍卫自己的断言,一次一个挑战者。在每次挑战结束时,输的一方将失去他们的质押权益。如果没有挑战,或者断言者赢得了所有挑战,那么断言将得到确认,协议将继续前进。但是如果断言者输掉了任何挑战,它的断言将被拒绝,并且协议状态将回滚到做出断言之前的状态。评估该协议具有有效的欺诈证明,但不保证进展,因为恶意参与者可以无休止地做出不正确的断言,每次都会牺牲质押权益,但会导致做出和拒绝相同断言的无休止循环,导致持续回滚和缺乏进展。协议2:分叉和裁剪

UniSwap过去一个月在Arbitrum生态吸引了超过11亿美元的交易额:金色财经报道,据链上分析师@DeFi_Mochi数据显示,UniSwap过去一个月在Arbitrum吸引了超过11亿美元的交易额,在整个Arbitrum生态中占比接近78%,占有绝对市场优势。此外,SushiSwap的交易额约为2亿美元,占比大约为13%。在用户数量方面,SushiSwap过去一个月在Arbitrum生态DEX日均用户量占比约为32%,UniSwap这一指标数据则高达44.9%,占据“统治地位”,而令人些许意外的是Balancer,其日均用户量占比接近20%。此外,在过去的六个月里,Balancer、UniSwap、SushiSwap和Curve Finance四个DEX协议在Arbitrum生态中的总交易额约达到23.2亿美元。[2023/1/9 11:02:44]

当前的Arbitrum协议,通过引入分支改进了之前的协议。其思想是允许多个质押者做出相互竞争的断言,并将相互竞争的断言视为分叉链。然后,一系列的挑战让分支相互对抗,最终裁剪掉所有分支,只留下一个分支,让剩下的一个分支得到确认。具体的方式如下。区块链中的每个Rollup区块都会跟踪其第一个子区块由质押者创建时的时间戳。其他质押者可以创建额外的子区块。每个子断言都隐含地声称它的所有年长的区块都是不正确的。创建断言的质押者需要对其进行质押,其他质押者也可以选择对其进行质押。如果两个质押者对姊妹断言下注,并且两个质押者都没有在挑战当中,那么两个质押者之间可以发起挑战,其中两个姊妹断言中较早的质押者正在捍卫该年长姊妹断言的正确性,而另一个质押者正在挑战该正确性。输掉挑战的质押者,将丧失其质押权益,并被移除质押者集。该协议包括行动的最后期限。首先,创建父断言的子断言的截止日期,是创建第一个子断言之后的一个挑战期。其次,对断言进行质押的截止日期是该断言创建后的一个挑战期。如果对断言进行质押的截止日期已过,并且没有质押者对该断言进行质押,则该断言将被删除。被修剪断言的任何子代、孙代或其他后代也同时被修剪掉。如果一个断言早于一个挑战期,并且没有未修剪的姊妹断言,则可以确认该断言,从而代表协议取得进展。评估该协议具有有效的欺诈证明,没有中心化运营商或证明者可以阻止进程,因此任何参与者都可以推动进程。为了推动进程,一个诚实的质押者可以发布一个正确的子断言。在此之后,在截止日期之前将经过有限的时间,以确保不会创建更多的姊妹断言,也不会有更多的质押者可以在现有的姊妹断言上下注。从那时起,诚实的质押者将参与一系列挑战,一次击败和移除错误质押的一方。一旦所有这些参与方都被移除,就可以确认正确的子断言。针对此协议最有效的延迟攻击,是让一个恶意质押者对一个不正确的姊妹断言进行质押,并让N-1个恶意质押者对正确的姊妹断言进行质押。无论有多少诚实的质押者押注在正确的姊妹断言上,攻击者都能够安排不正确的质押者在诚实方发起挑战之前,先对其同盟发起挑战(悲观地说,这假设攻击者总是能在诚实的一方之前进入交易)。同盟者也会故意放弃挑战,尽可能拖延时间。只有在所有N-1同盟者都牺牲了自己之后,被错误下注的质押者才会被要求与诚实的一方进行挑战,诚实的一方会获胜,最终淘汰错误下注的质押者。这种攻击实现了大约N个挑战期的延迟,而攻击者付出了N份质押权益的代价。诚实方针对这种攻击的代价,与诚实方的数量成线性关系,因为每个诚实方都需要在质押截止日期之前质押。小结:保证进程攻击成本与造成的延迟成线性关系诚实方的成本与诚实方的数量呈线性关系许可式验证目前部署在Arbitrum上的协议2所面临的延迟攻击问题,是我们选择暂时将验证者角色限制在一组受许可的各方,而不是使验证完全无需许可的原因。实现无需许可验证的最后一步,需要最大限度地抵抗延迟攻击的协议版本。你可能已经猜到有这样一个协议版本,而我们目前正在努力实现它。即将推出的协议3

Arbitrum Odyssey生态体验奖励计划将于6月中旬上线:5月19日消息,以太坊扩展方案 Arbitrum 在社交媒体上宣布其生态体验奖励计划 Arbitrum Odyssey 将于 6 月中旬正式上线。

此前报道,以太坊扩展方案 Arbitrum 宣布将举办名为 Arbitrum Odyssey 生态体验奖励计划,用户通过与奖励计划投票选出的 Arbitrum 生态协议交互,完成特定任务,奖品为 Project Galaxy 和加密艺术家 Ratwell 设计和发行的 NFT,参与该计划的 Arbitrum 生态项目通过推特投票决定。目前共有 14 个项目通过社区投票成为 Arbitrum Odyssey 活动一部分,其中第一周为桥、交易平台和支付网关任务,第二周为 Yield Protocol 和 Hashflow,之后分别为 Aboard Exchange 和 TofuNFT(第三周)、Uniswap 和 Apex(第四周)、1inch 和 Izumi/Yin Finance(第五周)、Dodo 和 Swapr(第六周)、TreasureDAO 和 Battlefly(第七周)、Ideamarket 和 Sushi(第八周)。[2022/5/20 3:29:12]

这篇文章已经很长了,所以我不会提供有关新协议的具体描述,那将是之后的文章将会介绍的东西。简单说一下要点:Arbitrum协议的下一个版本对断言和挑战的工作方式做了一些小的,但优雅的改变,这样最坏情况下的延迟攻击只能造成一个挑战期的延迟。这是基于Arbitrum研究团队的一项技术突破,该技术突破使「all-against-all」挑战变得可行且高效。这允许一个诚实的质押者有效地击败一大群发布恶意分支断言的攻击者。新协议的规范已经完全确定,目前正在实施当中。当然,在彻底测试和审核代码之前,我们不会在主网上推出它。在以后的文章中,我将深入探讨该新协议。原地址

动态 | 代币化证券平台Harbor与Gemini合作:据Cryptoninjas消息,A16z支持的代币化证券平台Harbor已经与Gemini合作,将使用Gemini发行的稳定币GUSD。[2019/5/1]

标签:ARBArbitrumRBIBITarb币最新消息arbitrum币圈名称Arbitrove ProtocolBitzeny

火必热门资讯
ANI:Animoca和Binance一年前推出的2亿美元链游投资计划进展缓慢

Odaily星球日报译者|念银思唐摘要:-一年前,AnimocaBrands和BNBChain公布了2亿美元的共同投资计划,但只进行了很少的投资.

1900/1/1 0:00:00
NFT:2023年加密行业主题预测:Layer1、Dapp、NFT、GameFi......

如果你正在阅读这篇文章,你可能是一个真正的信徒、一个非常聪明的交易者,或者一个真的认为加密货币会继续存在的人。除了技术创新,加密市场2022年几乎从各个角度看都在下降.

1900/1/1 0:00:00
NFT:深度解析NFTfi领域发展现状、面临的挑战与未来思考

NFT被描述为下一代艺术市场和采用加密货币的最强大催化剂之一,该行业在2021年9月至2022年1月实现了巨大增长。然而,在全球资本市场低迷的背景下,该行业的每周交易量随着增长放缓而迅速修正.

1900/1/1 0:00:00
UST:Do Kwon是如何自导自演了LUNA崩盘?

近日,TerraResearchForum成员@FatManTerra通过研究链上数据发现,DoKwon自导自演了UST脱锚与LUNA崩盘.

1900/1/1 0:00:00
SOL:一览2023年Solana生态中值得期待的10件事

对于Solana来说,2022年是非常重要的一年,既有高峰也有低谷。随着2023年即将到来,我们将探索明年Solana生态系统中最值得关注的10件事.

1900/1/1 0:00:00
ILY:星球日报 | Gemini联创致信DCG索要9亿欠款;币安完成对Gopax收购尽调(1月3日)

头条Gemini联创致信DCG创始人,要求其偿还Earn用户逾9亿美元Odaily星球日报讯Gemini联合创始人CameronWinklevoss代表其Earn产品超过34万名用户.

1900/1/1 0:00:00