火星链 火星链
Ctrl+D收藏火星链

ARBI: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桥接参与用户量突破60万,桥接TVL超40亿美元:金色财经报道,据Dune Analytics最新数据显示,以太坊Layer2扩容解决方案Arbitrum参与桥接交易的用户数量已突破60万,本文撰写时达到608,521个,当前跨链桥接存储总价值为2,322,592枚,按当前价格计算约合40.8亿美元。在其他L2跨链桥方面,当前Optimism跨链桥接存储总价值为520,292枚ETH、zkSync为221,809枚ETH、StarkNet为19,308枚ETH。[2023/3/23 13:21:43]

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

Arbitrum公布DAO空投细则:金色财经报道,Arbitrum 公布 DAO 空投细则称,空投的核心原则之一是触达 Arbitrum 的子社区,只有 Arbitrum 上具有 DAO 和社区金库的项目才有资格参与此次分发,唯一例外是包含以太坊核心开发人员和贡献者的集体 Protocol Guild。[2023/3/21 13:17:48]

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

Arbitrum链上账户总量突破300万,活跃账户占比约78.1%:2月27日消息,据Dune Analytics数据显示,Arbitrum链上账户总量已突破300万个,截至目前达到300.4万个,其中活跃账户量为234.7万,占比约78.1%。此外,当前Arbitrum已创建的智能合约总数量达到1,580,279个,链上总锁定价值达到44.24亿美元,其中ETH锁定价值约为11.92亿美元,占比约27%。[2023/2/27 12:31:25]

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

Arbitrum推出Arbitrum One生态门户,包含70个DApp、钱包或工具:8月12日,以太坊扩容网络Arbitrum推出其主网测试版Arbitrum One门户网站(Arbitrum One Portal),展示了Arbitrum将在月底推出主网公测版时要在Arbitrum上启动或集成Arbitrum的共70个DApp、钱包或工具等,包括Aave、Alchemy、Ankr、Anyswap、Band Protocol、Biconomy、CREAM Finance、Celer cBridge、Chainink、Coinbase Wallet、Composable Finance、Connext、Covalent、Curve、DAI、DForce、DeBank、DODO、Etherscan、Hop Protocol、imToken、Infura、Liquality、Loopring、MCDEX、MakerDAO、Math Wallet、MetaMask、Nansen、Perpetual Protocol、Ren、SushiSwap、The Graph、Truffle Suite、USDC、Uniswap、WBTC、Zerion等。据此前报道,Arbitrum计划在8月底之前推出向用户开放的主网公测版本。[2021/8/12 1:50:06]

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

Reddit利用Arbitrum扩展其基于以太坊的社区积分系统:金色财经报道,Reddit正在与第2层解决方案Arbitrum合作扩展其基于以太坊的社区积分系统。Reddit周四表示,Arbitrum击败了其他21名参赛者,其他被考虑的项目包括Solana、StarkWare和Polygon等。据悉,Reddit的社区积分是ERC-20代币,Reddit用户可以通过发表高质量评论或其他贡献来赚取这些积分,可用于购买专属徽章、自定义表情符号和GIF等。据报道,升级会将Moons和Bricks代币从测试网转移到主要的以太坊区块链,但交易将通过扩容解决方案Arbitrum进行。[2021/7/23 1:10:17]

标签:TRURBIARBIBITTrueVettArbitrove ProtocolArbitrageCTbitcoinfaith

以太坊交易热门资讯
EFI:2023会是Move生态掘金元年么?

公链是加密世界经久不衰的主流叙事,即使目前有30+的主流Layer1,运行着上百万+的各类DeFi、NFT、GameFi和SociaFi等DApp,但这个赛道仍显得极为早期.

1900/1/1 0:00:00
BIT:Web3域名赛道龙头ENS面临的冰与火

视频链接:https://www.bilibili.com/video/BV1TP4y1v7bg/?spm_id_from=333.999.0.0摘要Web3不仅仅是区块链和EVM兼容.

1900/1/1 0:00:00
Solana:FTX崩盘余波未了,Solana未来往何处去?

FTX崩盘至今,余波尚未平息。曾经被认为是以太坊杀手的Solana受其牵连,也走向了悬崖边缘。Terra与LUNA的同时崩溃尚可理解,FTX和Solana这两个看似独立的项目究竟有何羁绊?Sol.

1900/1/1 0:00:00
WEB:一文探讨如何设计Web3可持续奖励:从「快餐」转向「慢餐」

图片来源:由无界版图AI工具生成TL;DR金钱并非终极奖励——关系和文化才是社交和文化资本增长缓慢,但能持续更长时间要想承载下一轮牛市.

1900/1/1 0:00:00
ETH:这四个流动性质押协议将在以太坊上海升级中受益?

DeFi中出现了一种新的叙事。即将到来的以太坊升级将对流动性质押协议产生巨大影响。以下是我为什么认为流动性质押是一个不断增长的趋势,以及在这个风口下可以投资的机会.

1900/1/1 0:00:00
INT:盘点2022年那些让人印象深刻的NFT项目

在经过了2021年Crypto市场的飞速发展后,伴随着诸多创作者、品牌方和明星对Web3的拥抱,在2022年,NFT开始变得更加无处不在.

1900/1/1 0:00:00