Arbitrum創始人：針對Rollup延遲攻擊的三種解決方案_BIT

Rollup協議設計者面臨的一個微妙問題是如何應對延遲攻擊。在這篇文章中，我將討論它們是什么，以及Arbitrum如何防范它們，從而帶來一些令人興奮的新發展。延遲攻擊是試圖阻止Rollup協議取得進展的惡意行為，它們不會攻擊協議的安全性，也就是說，它們不會試圖強制確認不正確的結果。相反，延遲攻擊通過試圖阻止或延遲任何結果的確認來攻擊協議的活性。這些問題可能很微妙，老實說，協議設計者們通常不喜歡談論延遲攻擊，但每一個Layer2系統，無論是OptimisticRollup、ZKRollup還是其他，都需要應對有關延遲和協議進展的問題。本文深入探討了延遲攻擊問題，并討論了各種版本的Arbitrumrollup協議如何處理該問題。延遲攻擊是什么？

在一次延遲攻擊中，一個惡意方在Rollup協議內采取行動，遵循旨在阻礙或延遲確認結果返回L1鏈的策略。這不同于拒絕服務攻擊，在拒絕服務攻擊中，攻擊者試圖阻止在協議中采取任何行動。相比之下，在延遲攻擊中，行動會繼續發生，但攻擊者的行為方式，會阻礙或延遲結果的確認(即延遲向L1提取資產)，并迫使誠實的驗證者燃燒gas。任何看似合理的Rollup協議都需要參與者進行質押，因此延遲攻擊者必然會失去一份或多份質押權益。我們在這里假設攻擊者愿意在一定限度內犧牲質押權益，以追求他們的攻擊。我們還將保守地假設，攻擊者在將交易上鏈方面具有優勢，因此每當攻擊者與誠實的一方競爭獲得鏈上交易的優先權時，攻擊者總是會贏。最后，我們假設攻擊者可以審查對底層L1區塊鏈的訪問，以排除Rollup交易，但僅限于一段有限的時間內進行，我們稱之為「挑戰期」。特別是，攻擊者可以啟用和禁用一種概念上的「審查模式」。當啟用審查模式時，攻擊者可以完全控制哪些交易可以到達L1。但是，攻擊者只能在一個挑戰期內啟用審查模式。(我們假設任何一組審查模式期加起來超過一個挑戰期，將觸發L1社區的社會反應，以阻止審查嘗試。)評估針對延遲攻擊的協議

Arbitrum：交易費用盈余收入發送到DAO，Arbitrum DAO已累積約3352ETH收入:5月10日消息，Arbitrum 發推稱宣布，Arbitrum 將交易費用產生的所有盈余收入發送到各自 DAO，Arbitrum One 上的所有用戶在網絡上進行交易時都需要付費。費用分為兩部分： 1、L1 費用用于支付以太坊上的費用。2、支付 Arbitrum 費用的 L2 費用。多余的 L1 費用和所有 L2 費用會在發送到 DAO 之前在鏈上累積，L1 費用的很大一部分留給了 Sequencer，Sequencer 累計退款約為 5,954 ETH。L1 費用中的所有剩余資金都被視為盈余，目前 L1 盈余約為 582 ETH，可以由 DAO 收取。L2 基礎費用已累計約 1,308 ETH，可以由 DAO 收取；L2 盈余費用已累計約 1,462 ETH，可以由 DAO 收取。Arbitrum DAO 總計已累積約 3352 ETH 的收入，Sequencer 將退還約 5,954 ETH，這是將所有數據發布到以太坊網絡的成本。[2023/5/10 14:53:55]

在評估協議時，我們可以問六個問題：該協議是否有欺詐證明機制？是否有中心化運營商或證明者，可以通過簡單地停止或扣留數據來阻止進展？如果是這樣，那一方可能會造成無限延遲。該協議是否為最終進展提供了無需信任的保證？換句話說，無論攻擊者做什么，一個誠實的參與者是否可以強制最終取得進展？如果協議保證無需信任的進程，那么攻擊者可以造成的延遲上限是多少？攻擊者的成本如何與造成的延遲時間成比例？誠實方回應的總成本如何衡量？確定這些標準后，讓我們評估Arbitrumrollup協議的兩個歷史版本。協議1：學術論文協議

1inch在Optimism和Arbitrum等5個網絡上推出Fusion模式:5月5日消息，DEX聚合器1inch在Optimism、Arbitrum、Avalanche、Fantom和Gnosis啟動Fusion模式。在1inch Swap Engine的支持下，Fusion模式使用戶能夠在各種DEX上兌換代幣，而無需支付任何網絡費用，還能為用戶提供額外的MEV保護。（Medium）[2023/5/5 14:44:05]

2018年的Arbitrum學術論文大致使用了以下協議。任何質押者都可以堅稱提議的結果，我們稱之為斷言。在一個時間窗口內，其他質押者的任何子集都可以挑戰斷言，斷言者必須對每個挑戰者捍衛自己的斷言，一次一個挑戰者。在每次挑戰結束時，輸的一方將失去他們的質押權益。如果沒有挑戰，或者斷言者贏得了所有挑戰，那么斷言將得到確認，協議將繼續前進。但是如果斷言者輸掉了任何挑戰，它的斷言將被拒絕，并且協議狀態將回滾到做出斷言之前的狀態。評估該協議具有有效的欺詐證明，但不保證進展，因為惡意參與者可以無休止地做出不正確的斷言，每次都會犧牲質押權益，但會導致做出和拒絕相同斷言的無休止循環，導致持續回滾和缺乏進展。協議2：分叉和裁剪

Arbitrum網絡總鎖倉量達21.7億美元，GMX占比26.2%:金色財經報道，據DefiLlama數據顯示，Arbitrum網絡總鎖倉量達21.7億美元，較上月增長約0.82%。其中，GMX占比26.2%，較上月增長約14%。[2023/4/24 14:22:33]

當前的Arbitrum協議，通過引入分支改進了之前的協議。其思想是允許多個質押者做出相互競爭的斷言，并將相互競爭的斷言視為分叉鏈。然后，一系列的挑戰讓分支相互對抗，最終裁剪掉所有分支，只留下一個分支，讓剩下的一個分支得到確認。具體的方式如下。區塊鏈中的每個Rollup區塊都會跟蹤其第一個子區塊由質押者創建時的時間戳。其他質押者可以創建額外的子區塊。每個子斷言都隱含地聲稱它的所有年長的區塊都是不正確的。創建斷言的質押者需要對其進行質押，其他質押者也可以選擇對其進行質押。如果兩個質押者對姊妹斷言下注，并且兩個質押者都沒有在挑戰當中，那么兩個質押者之間可以發起挑戰，其中兩個姊妹斷言中較早的質押者正在捍衛該年長姊妹斷言的正確性，而另一個質押者正在挑戰該正確性。輸掉挑戰的質押者，將喪失其質押權益，并被移除質押者集。該協議包括行動的最后期限。首先，創建父斷言的子斷言的截止日期，是創建第一個子斷言之后的一個挑戰期。其次，對斷言進行質押的截止日期是該斷言創建后的一個挑戰期。如果對斷言進行質押的截止日期已過，并且沒有質押者對該斷言進行質押，則該斷言將被刪除。被修剪斷言的任何子代、孫代或其他后代也同時被修剪掉。如果一個斷言早于一個挑戰期，并且沒有未修剪的姊妹斷言，則可以確認該斷言，從而代表協議取得進展。評估該協議具有有效的欺詐證明，沒有中心化運營商或證明者可以阻止進程，因此任何參與者都可以推動進程。為了推動進程，一個誠實的質押者可以發布一個正確的子斷言。在此之后，在截止日期之前將經過有限的時間，以確保不會創建更多的姊妹斷言，也不會有更多的質押者可以在現有的姊妹斷言上下注。從那時起，誠實的質押者將參與一系列挑戰，一次擊敗和移除錯誤質押的一方。一旦所有這些參與方都被移除，就可以確認正確的子斷言。針對此協議最有效的延遲攻擊，是讓一個惡意質押者對一個不正確的姊妹斷言進行質押，并讓N-1個惡意質押者對正確的姊妹斷言進行質押。無論有多少誠實的質押者押注在正確的姊妹斷言上，攻擊者都能夠安排不正確的質押者在誠實方發起挑戰之前，先對其同盟發起挑戰(悲觀地說，這假設攻擊者總是能在誠實的一方之前進入交易)。同盟者也會故意放棄挑戰，盡可能拖延時間。只有在所有N-1同盟者都犧牲了自己之后，被錯誤下注的質押者才會被要求與誠實的一方進行挑戰，誠實的一方會獲勝，最終淘汰錯誤下注的質押者。這種攻擊實現了大約N個挑戰期的延遲，而攻擊者付出了N份質押權益的代價。誠實方針對這種攻擊的代價，與誠實方的數量成線性關系，因為每個誠實方都需要在質押截止日期之前質押。小結：保證進程攻擊成本與造成的延遲成線性關系誠實方的成本與誠實方的數量呈線性關系許可式驗證目前部署在Arbitrum上的協議2所面臨的延遲攻擊問題，是我們選擇暫時將驗證者角色限制在一組受許可的各方，而不是使驗證完全無需許可的原因。實現無需許可驗證的最后一步，需要最大限度地抵抗延遲攻擊的協議版本。你可能已經猜到有這樣一個協議版本，而我們目前正在努力實現它。即將推出的協議3

Hegic在Arbitrum上完成Hegic Herge協議升級:10月26日消息，去中心化期權交易協議Hegic已在Arbitrum上完成Hegic Herge協議升級，包含點對池期權交易、HEGIC Stake和保險、新的交易接口等。[2022/10/26 16:39:38]

這篇文章已經很長了，所以我不會提供有關新協議的具體描述，那將是之后的文章將會介紹的東西。簡單說一下要點：Arbitrum協議的下一個版本對斷言和挑戰的工作方式做了一些小的，但優雅的改變，這樣最壞情況下的延遲攻擊只能造成一個挑戰期的延遲。這是基于Arbitrum研究團隊的一項技術突破，該技術突破使「all-against-all」挑戰變得可行且高效。這允許一個誠實的質押者有效地擊敗一大群發布惡意分支斷言的攻擊者。新協議的規范已經完全確定，目前正在實施當中。當然，在徹底測試和審核代碼之前，我們不會在主網上推出它。在以后的文章中，我將深入探討該新協議。原地址

The Graph發布2023年路線圖，包括將協議遷移至Arbitrum:10月10日消息，據官方公告，去中心化索引協議The Graph發布2023年路線圖，2023年的主要更新將包括取消托管服務、推出Firehose和Substreams以及遷移至以太坊二層解決方案Arbitrum。

其中，取消托管服務意味著網絡的去中心化以及需要付費使用服務；Firehose旨在將鏈上數據保存在本地從無需依賴從節點獲取數據；Substreams則是旨在通過并行索引模型提高索引速度，并將與Firehose同時使用。[2022/10/10 10:29:39]

Tags：RUMBITArbitrumRBIarbitrum幣圈名稱bitop蘋果下載arbitrum幣最新消息RBIZ價格

歐易交易所