原文：《Solutions to Delay Attacks on Rollups》by Ed Felten，Offchain Labs 联合创始人
Rollup 协议设计者面临的一个微妙问题是如何应对延迟攻击。 在这篇文章中，我将讨论它们是什么，以及 Arbitrum 如何防范它们，从而带来一些令人兴奋的新发展。
Rollup 协议设计者面临的一个微妙问题是如何应对延迟攻击（delay attacks）。 在这篇文章中，我将讨论它们是什么，以及 Arbitrum 如何防范它们，从而带来一些令人兴奋的新发展。
延迟攻击是试图阻止 Rollup 协议取得进展的恶意行为，它们不会攻击协议的安全性，也就是说，它们不会试图强制确认不正确的结果。 相反，延迟攻击通过试图阻止或延迟任何结果的确认来攻击协议的活性（liveness）。
这些问题可能很微妙，老实说，协议设计者们通常不喜欢谈论延迟攻击，但每一个 Layer 2 系统，无论是 Optimistic Rollup、ZK Rollup 还是其他，都需要应对有关延迟和协议进展的问题。
本文深入探讨了延迟攻击问题，并讨论了各种版本的 Arbitrum rollup 协议如何处理该问题。
Trident已出售从Arbitrum分配到的全部ARB:4月25日消息，据 0xScope 监测显示，在 Arbitrum 完成对其生态 DAO 的初始 ARB 分配的发放后，Arbitrum 生态链游 Trident 已出售分配到的全部 257,540 枚 ARB，兑换为 ETH 和 USDC。[2023/4/25 14:25:41]
在一次延迟攻击中，一个恶意方（或一组恶意方）在 Rollup 协议内采取行动，遵循旨在阻碍或延迟确认结果返回 L1 链的策略。
这不同于拒绝服务（DoS）攻击，在拒绝服务攻击中，攻击者试图阻止在协议中采取任何行动。相比之下，在延迟攻击中，行动会继续发生，但攻击者的行为方式，会阻碍或延迟结果的确认(即延迟向 L1 提取资产)，并迫使诚实的验证者燃烧 gas 。
任何看似合理的 Rollup 协议都需要参与者进行质押，因此延迟攻击者必然会失去一份或多份质押权益。我们在这里假设攻击者愿意在一定限度内牺牲质押权益，以追求他们的攻击。
我们还将保守地假设，攻击者在将交易上链方面具有优势，因此每当攻击者与诚实的一方竞争获得链上交易的优先权时，攻击者总是会赢。
ARB Token为防止机器人滥用，本次空投建立积分制:3月16日消息，以太坊 Layer2 扩容解决方案 Arbitrum 正式宣布将发行原生 Token ARB 并公布 Token 经济学。据悉，ARB 初始总供应量为 100 亿枚，总供应量将以每年至多 2% 的速度膨胀。
其中，11.62% 分配给用户，1.13% 分配给 Arbitrum 生态中的各个 DAO，17.53% 分配给 Offchain Labs 投资者，26.94% 分配给 Offchain Labs 团队成员、未来团队成员、贡献者，42.78% 分配给 Arbitrum DAO 金库。
为防止机器人滥用，本次空投建立了许多反女巫规则，并建立积分制，每 1 分对应一个具体的空投 Token 数目：1、如果空投接收者的钱包交易全部发生在 48 小时内，则减去一分；2、如果空投接收者的钱包余额低于 0.005 ETH，并且钱包没有与多个智能合约交互，则减去一分；3、若在此前 Hop 协议赏金计划期间，空投者钱包地址被识别为女巫攻击者地址，则其将被取消资格。
目前 Arbitrum 已公布的空投查询页面，仅支持用户查询空投情况，具体空投发放日期为 3 月 23 日。[2023/3/17 13:09:01]
最后，我们假设攻击者可以审查对底层 L1 区块链的访问，以排除 Rollup 交易，但仅限于一段有限的时间内进行，我们称之为“挑战期”。特别是，攻击者可以启用和禁用一种概念上的“审查模式”。当启用审查模式时，攻击者可以完全控制哪些交易可以到达 L1。但是，攻击者只能在一个挑战期内启用审查模式。(我们假设任何一组审查模式期加起来超过一个挑战期，将触发 L1 社区的社会反应，以阻止审查尝试。)
区块链碳信用交易平台AirCarbon宣布完成1500万美元融资:金色财经报道，区块链碳信用交易平台AirCarbon Exchange??(ACX) 表示，它完成了1500 万美元的可转换票据，由总部位于新加坡的TRIREC牵头。该初创公司提供自愿碳信用和各种基于区块链的代币化碳资产的交易。
在11月早些时候的Mubadala融资之后，此B轮融资前的其他支持者包括泰国的Banpu Public Company和Mubadala Investment Company PJSC。这使筹集的资金总额达到2500万美元，其中包括?德意志交易所?在 3 月份作为与德意志交易所拥有的欧洲能源交易所 (EEX) 战略合作伙伴关系的一部分的投资。[2023/1/4 9:50:38]
在评估协议时，我们可以问六个问题：
该协议是否有欺诈证明机制？ （否则，延迟攻击就没有实际意义，因为参与者不能延迟确认任何结果——即使是欺诈性结果也不行。）
是否有中心化运营商或证明者，可以通过简单地停止或扣留数据来阻止进展？ 如果是这样，那一方可能会造成无限延迟。
该协议是否为最终进展提供了无需信任的保证？ 换句话说，无论攻击者做什么，一个诚实的参与者是否可以强制最终取得进展？
DeFi Saver宣布已上线Arbitrum和Optimism并集成跨链聚合器LI.FI:5月31日消息，一站式资产管理解决方案DeFi Saver宣布已上线Arbitrum和Optimism，并表示将进一步支持去中心化借贷协议Aave v3的使用。此外，DeFi Saver已集成跨链聚合器LI.FI，旨在为用户进行资产跨链时提供最优报价。据悉，DeFi Saver表示将在未来几周内集成另一个借贷协议。[2022/5/31 3:52:15]
如果协议保证无需信任的进程，那么攻击者可以造成的延迟上限是多少？
攻击者的成本如何与造成的延迟时间成比例？
诚实方回应的总成本如何衡量？
确定这些标准后，让我们评估 Arbitrum rollup 协议的两个历史版本。
2018 年的Arbitrum 学术论文?大致使用了以下协议（忽略与此无关的一致模式）。任何质押者都可以坚称提议的结果，我们称之为断言（assertion）。在一个时间窗口内，其他质押者的任何子集都可以挑战断言，断言者必须对每个挑战者捍卫自己的断言，一次一个挑战者。在每次挑战结束时，输的一方将失去他们的质押权益。
Energy Harbor与Standard Power合作，将为比特币挖矿中心提供无碳核电:Energy Harbor Corp.与Standard Power建立为期五年的合作关系，从2021年12月开始，为 Standard Power位于俄亥俄州科肖克顿的新比特币区块链挖矿中心提供清洁、可靠、无碳的电力。Standard Power是数据处理公司的基础设施服务提供商和区块链矿业公司的托管提供商。
这项气候友好型协议有助于Standard Power将俄亥俄州一家废弃的造纸厂改造成最先进的场所，为该地区带来新的就业机会。它还使该公司能够通过能源港清洁、可持续、本地发电的核能为比特币区块链挖矿中心供电，从而实现其可持续发展目标。Standard Power还将在电网和俄亥俄州其他用户最需要电力的时候完全停止运行，从而为输电网提供可靠性和稳定性。（PRNewswire）[2021/7/13 0:47:34]
（请注意，有必要允许多个质押者反对断言，并给每个挑战者机会来推翻断言。这是必要的，因为恶意方可能会故意输掉他们“应该”赢得的挑战。给每个挑战者一个单独的挑战，可以确保一个诚实的挑战者可以击败不正确的断言，无论有多少恶意方故意输掉挑战。）
如果没有挑战，或者断言者赢得了所有挑战，那么断言将得到确认，协议将继续前进。但是如果断言者输掉了任何挑战，它的断言将被拒绝，并且协议状态将回滚到做出断言之前的状态。
该协议具有有效的欺诈证明，但不保证进展，因为恶意参与者可以无休止地做出不正确的断言，每次都会牺牲质押权益，但会导致做出和拒绝相同断言的无休止循环，导致持续回滚和缺乏进展。
当前的 Arbitrum 协议 （自 2020 年以来已部署在每个版本的 Arbitrum 上），通过引入分支改进了之前的协议。其思想是允许多个质押者做出相互竞争的断言，并将相互竞争的断言视为分叉链。然后，一系列的挑战让分支相互对抗，最终裁剪掉所有分支，只留下一个分支，让剩下的一个分支得到确认。
具体的方式如下。区块链中的每个 Rollup 区块都会跟踪其第一个子区块（即后继区块）由质押者创建时的时间戳。其他质押者可以创建额外的子区块。 每个子断言都隐含地声称它的所有年长的区块都是不正确的。
创建断言的质押者需要对其进行质押，其他质押者也可以选择对其进行质押。
如果两个质押者对姊妹（siblings）断言下注，并且两个质押者都没有在挑战当中，那么两个质押者之间可以发起挑战，其中两个姊妹断言中较早的质押者正在捍卫该年长姊妹断言的正确性，而另一个质押者正在挑战该正确性。输掉挑战的质押者，将丧失其质押权益，并被移除质押者集。
该协议包括行动的最后期限。首先，创建父断言的子断言的截止日期，是创建第一个子断言之后的一个挑战期。其次，对断言进行质押的截止日期是该断言创建后的一个挑战期。
如果对断言进行质押的截止日期已过，并且没有质押者对该断言进行质押，则该断言将被删除。 被修剪断言的任何子代、孙代或其他后代也同时被修剪掉。
如果一个断言早于一个挑战期，并且没有未修剪的姊妹断言，则可以确认该断言，从而代表协议取得进展。
该协议具有有效的欺诈证明，没有中心化运营商或证明者可以阻止进程，因此任何参与者都可以推动进程。为了推动进程，一个诚实的质押者可以发布一个正确的子断言（如果还不存在的话）。在此之后，在截止日期之前将经过有限的时间，以确保不会创建更多的姊妹断言，也不会有更多的质押者可以在现有的姊妹断言上下注。从那时起，诚实的质押者将参与一系列挑战，一次击败和移除错误质押的一方（如果有多个诚实的参与者参与质押，他们可以同时击败对手）。一旦所有这些参与方都被移除，就可以确认正确的子断言。
针对此协议最有效的延迟攻击，是让一个恶意质押者对一个不正确的姊妹断言进行质押，并让 N-1 个恶意质押者对正确的姊妹断言进行质押。无论有多少诚实的质押者押注在正确的姊妹断言上，攻击者都能够安排不正确的质押者在诚实方发起挑战之前，先对其同盟发起挑战 (悲观地说，这假设攻击者总是能在诚实的一方之前进入交易)。同盟者也会故意放弃挑战，尽可能拖延时间（由于延迟规则，每个同盟者可能需要一到两个挑战期）。只有在所有 N-1 同盟者都牺牲了自己之后，被错误下注的质押者才会被要求与诚实的一方进行挑战，诚实的一方会获胜，最终淘汰错误下注的质押者。
这种攻击实现了大约 N 个挑战期的延迟，而攻击者付出了 N 份质押权益的代价。
诚实方针对这种攻击的代价，与诚实方的数量成线性关系，因为每个诚实方都需要在质押截止日期之前质押。
小结：
保证进程
攻击成本与造成的延迟成线性关系
诚实方的成本与诚实方的数量呈线性关系
目前部署在 Arbitrum 上的协议 2 所面临的延迟攻击问题，是我们选择暂时将验证者角色限制在一组受许可的各方，而不是使验证完全无需许可的原因。实现无需许可验证的最后一步，需要最大限度地抵抗延迟攻击的协议版本。你可能已经猜到有这样一个协议版本，而我们目前正在努力实现它。
这篇文章已经很长了，所以我不会提供有关新协议的具体描述，那将是之后的文章将会介绍的东西。
简单说一下要点：Arbitrum 协议的下一个版本对断言和挑战的工作方式做了一些小的，但（我认为）优雅的改变，这样最坏情况下的延迟攻击只能造成一个挑战期的延迟（无论攻击者愿意失去多少质押权益）。
这是基于 Arbitrum 研究团队的一项技术突破，该技术突破使 「all-against-all」 挑战变得可行且高效。这允许一个诚实的质押者有效地击败一大群发布恶意分支断言的攻击者。
新协议的规范已经完全确定，目前正在实施当中。当然，在彻底测试和审核代码之前，我们不会在主网上推出它。
DeFi之道
个人专栏
阅读更多
金色财经 子木
金色早8点
去中心化金融社区
虎嗅科技
区块律动BlockBeats
CertiK中文社区
深潮TechFlow
念青
Odaily星球日报
腾讯研究院
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。