加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads
首頁 > 波場 > Info

Arbitrum創始人:Rollup該如何應對延遲攻擊?_ARB:TRU

Author:

Time:1900/1/1 0:00:00

原文:《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 協議如何處理該問題。

OpenSea現已支持以太坊二層解決方案Arbitrum:9月22日消息,NFT市場OpenSea宣布現已支持以太坊二層解決方案Arbitrum,同時提醒將在其平臺上展示NFT的Arbitrum創作者設置其創作者費用。

此前消息,9月20日,OpenSea宣布將很快支持以太坊第二層擴展網絡Arbitrum。OpenSea表示,“這是我們建立Web3未來目標的第一步,人們可以在他們喜歡的鏈上獲得他們想要的NFT。”[2022/9/22 7:13:37]

在一次延遲攻擊中,一個惡意方(或一組惡意方)在 Rollup 協議內采取行動,遵循旨在阻礙或延遲確認結果返回 L1 鏈的策略。

這不同于拒絕服務(DoS)攻擊,在拒絕服務攻擊中,攻擊者試圖阻止在協議中采取任何行動。相比之下,在延遲攻擊中,行動會繼續發生,但攻擊者的行為方式,會阻礙或延遲結果的確認(即延遲向 L1 提取資產),并迫使誠實的驗證者燃燒 gas 。

任何看似合理的 Rollup 協議都需要參與者進行質押,因此延遲攻擊者必然會失去一份或多份質押權益。我們在這里假設攻擊者愿意在一定限度內犧牲質押權益,以追求他們的攻擊。

數據:Arbitrum和Optimism上2/3的地址在以太坊主網上也有使用:8月16日消息,Delphi Digital統計數據顯示,目前以太坊二層網絡Arbitrum和Optimism上2/3的地址在以太坊主網上也有使用,或由于缺乏CEX的集成,用戶進入這些L2的唯一方法是從L1上的使用地址進行跨鏈。[2022/8/16 12:28:03]

我們還將保守地假設,攻擊者在將交易上鏈方面具有優勢,因此每當攻擊者與誠實的一方競爭獲得鏈上交易的優先權時,攻擊者總是會贏。

最后,我們假設攻擊者可以審查對底層 L1 區塊鏈的訪問,以排除 Rollup 交易,但僅限于一段有限的時間內進行,我們稱之為“挑戰期”。特別是,攻擊者可以啟用和禁用一種概念上的“審查模式”。當啟用審查模式時,攻擊者可以完全控制哪些交易可以到達 L1。但是,攻擊者只能在一個挑戰期內啟用審查模式。(我們假設任何一組審查模式期加起來超過一個挑戰期,將觸發 L1 社區的社會反應,以阻止審查嘗試。)

在評估協議時,我們可以問六個問題:

該協議是否有欺詐證明機制? (否則,延遲攻擊就沒有實際意義,因為參與者不能延遲確認任何結果——即使是欺詐性結果也不行。)

DeFi衍生品項目Tracer DAO將過渡至Mycelium,并將在Arbitrum上推出永續掉期產品:8月11日消息,去中心化衍生品項目Tracer DAO表示,從Tracer DAO過渡到Mycelium的關鍵提案已由DAO達成一致,本月將在Arbitrum上推出首個產品,即永續掉期產品Mycelium Perpetual Swaps。另外,所有現有的TCR持有者都有權以1:1的比例將其代幣更改為新的MYC代幣。

Tracer DAO表示,Mycelium Perpetual Swaps將與原油的Perpetual Pools(永續資金池)共存。自2019年以來,Mycelium一直通過Mycelium Node提供數據,并在區塊鏈上構建衍生品基礎設施。2021年2月10日,Tracer DAO接受了Mycelium要成為DAO的核心服務提供者和貢獻者的提議。[2022/8/11 12:19:04]

是否有中心化運營商或證明者,可以通過簡單地停止或扣留數據來阻止進展? 如果是這樣,那一方可能會造成無限延遲。

該協議是否為最終進展提供了無需信任的保證? 換句話說,無論攻擊者做什么,一個誠實的參與者是否可以強制最終取得進展?

氣候技術公司Flowcarbon與Celo基金會合作推出碳市場生態系統:5月5日消息,氣候技術公司Flowcarbon與Celo基金會宣布推出碳市場生態系統,該系統將使碳信用能夠以Flowcarbon的Goddess Nature Token(GNT)的形式在Celo網絡上交易。

其合作關系包括由Celo基金會和Climate Collective購買至少1000萬美元的GNT,GNT目前正在預售中。Flowcarbon在Celo上的推出將創建碳信用鏈上流動市場,旨在使碳抵消廣泛可及且透明。(Businesswire)[2022/5/5 2:52:57]

如果協議保證無需信任的進程,那么攻擊者可以造成的延遲上限是多少?

攻擊者的成本如何與造成的延遲時間成比例?

誠實方回應的總成本如何衡量?

確定這些標準后,讓我們評估 Arbitrum rollup 協議的兩個歷史版本。

2018 年的Arbitrum 學術論文?大致使用了以下協議(忽略與此無關的一致模式)。任何質押者都可以堅稱提議的結果,我們稱之為斷言(assertion)。在一個時間窗口內,其他質押者的任何子集都可以挑戰斷言,斷言者必須對每個挑戰者捍衛自己的斷言,一次一個挑戰者。在每次挑戰結束時,輸的一方將失去他們的質押權益。

以太坊L2網絡總鎖倉量已突破20億美元,Arbitrum占比近66%:金色財經報道,L2BEAT數據顯示,截至9月12日,以太坊Layer2上總鎖倉量已突破20億美元。其中鎖倉量最高的為擴容方案Arbitrum,約14.7億美元,占比65.8%。其次是dYdX,鎖倉量超3.26億美元,占比14.58%。[2021/9/12 23:19:35]

(請注意,有必要允許多個質押者反對斷言,并給每個挑戰者機會來推翻斷言。這是必要的,因為惡意方可能會故意輸掉他們“應該”贏得的挑戰。給每個挑戰者一個單獨的挑戰,可以確保一個誠實的挑戰者可以擊敗不正確的斷言,無論有多少惡意方故意輸掉挑戰。)

如果沒有挑戰,或者斷言者贏得了所有挑戰,那么斷言將得到確認,協議將繼續前進。但是如果斷言者輸掉了任何挑戰,它的斷言將被拒絕,并且協議狀態將回滾到做出斷言之前的狀態。

該協議具有有效的欺詐證明,但不保證進展,因為惡意參與者可以無休止地做出不正確的斷言,每次都會犧牲質押權益,但會導致做出和拒絕相同斷言的無休止循環,導致持續回滾和缺乏進展。

當前的 Arbitrum 協議 (自 2020 年以來已部署在每個版本的 Arbitrum 上),通過引入分支改進了之前的協議。其思想是允許多個質押者做出相互競爭的斷言,并將相互競爭的斷言視為分叉鏈。然后,一系列的挑戰讓分支相互對抗,最終裁剪掉所有分支,只留下一個分支,讓剩下的一個分支得到確認。

具體的方式如下。區塊鏈中的每個 Rollup 區塊都會跟蹤其第一個子區塊(即后繼區塊)由質押者創建時的時間戳。其他質押者可以創建額外的子區塊。 每個子斷言都隱含地聲稱它的所有年長的區塊都是不正確的。

創建斷言的質押者需要對其進行質押,其他質押者也可以選擇對其進行質押。

如果兩個質押者對姊妹(siblings)斷言下注,并且兩個質押者都沒有在挑戰當中,那么兩個質押者之間可以發起挑戰,其中兩個姊妹斷言中較早的質押者正在捍衛該年長姊妹斷言的正確性,而另一個質押者正在挑戰該正確性。輸掉挑戰的質押者,將喪失其質押權益,并被移除質押者集。

該協議包括行動的最后期限。首先,創建父斷言的子斷言的截止日期,是創建第一個子斷言之后的一個挑戰期。其次,對斷言進行質押的截止日期是該斷言創建后的一個挑戰期。

如果對斷言進行質押的截止日期已過,并且沒有質押者對該斷言進行質押,則該斷言將被刪除。 被修剪斷言的任何子代、孫代或其他后代也同時被修剪掉。

如果一個斷言早于一個挑戰期,并且沒有未修剪的姊妹斷言,則可以確認該斷言,從而代表協議取得進展。

該協議具有有效的欺詐證明,沒有中心化運營商或證明者可以阻止進程,因此任何參與者都可以推動進程。為了推動進程,一個誠實的質押者可以發布一個正確的子斷言(如果還不存在的話)。在此之后,在截止日期之前將經過有限的時間,以確保不會創建更多的姊妹斷言,也不會有更多的質押者可以在現有的姊妹斷言上下注。從那時起,誠實的質押者將參與一系列挑戰,一次擊敗和移除錯誤質押的一方(如果有多個誠實的參與者參與質押,他們可以同時擊敗對手)。一旦所有這些參與方都被移除,就可以確認正確的子斷言。

針對此協議最有效的延遲攻擊,是讓一個惡意質押者對一個不正確的姊妹斷言進行質押,并讓 N-1 個惡意質押者對正確的姊妹斷言進行質押。無論有多少誠實的質押者押注在正確的姊妹斷言上,攻擊者都能夠安排不正確的質押者在誠實方發起挑戰之前,先對其同盟發起挑戰 (悲觀地說,這假設攻擊者總是能在誠實的一方之前進入交易)。同盟者也會故意放棄挑戰,盡可能拖延時間(由于延遲規則,每個同盟者可能需要一到兩個挑戰期)。只有在所有 N-1 同盟者都犧牲了自己之后,被錯誤下注的質押者才會被要求與誠實的一方進行挑戰,誠實的一方會獲勝,最終淘汰錯誤下注的質押者。

這種攻擊實現了大約 N 個挑戰期的延遲,而攻擊者付出了 N 份質押權益的代價。

誠實方針對這種攻擊的代價,與誠實方的數量成線性關系,因為每個誠實方都需要在質押截止日期之前質押。

小結:

保證進程

攻擊成本與造成的延遲成線性關系

誠實方的成本與誠實方的數量呈線性關系

目前部署在 Arbitrum 上的協議 2 所面臨的延遲攻擊問題,是我們選擇暫時將驗證者角色限制在一組受許可的各方,而不是使驗證完全無需許可的原因。實現無需許可驗證的最后一步,需要最大限度地抵抗延遲攻擊的協議版本。你可能已經猜到有這樣一個協議版本,而我們目前正在努力實現它。

這篇文章已經很長了,所以我不會提供有關新協議的具體描述,那將是之后的文章將會介紹的東西。

簡單說一下要點:Arbitrum 協議的下一個版本對斷言和挑戰的工作方式做了一些小的,但(我認為)優雅的改變,這樣最壞情況下的延遲攻擊只能造成一個挑戰期的延遲(無論攻擊者愿意失去多少質押權益)。

這是基于 Arbitrum 研究團隊的一項技術突破,該技術突破使 「all-against-all」 挑戰變得可行且高效。這允許一個誠實的質押者有效地擊敗一大群發布惡意分支斷言的攻擊者。

新協議的規范已經完全確定,目前正在實施當中。當然,在徹底測試和審核代碼之前,我們不會在主網上推出它。

DeFi之道

個人專欄

閱讀更多

金色財經 子木

金色早8點

去中心化金融社區

虎嗅科技

區塊律動BlockBeats

CertiK中文社區

深潮TechFlow

念青

Odaily星球日報

騰訊研究院

Tags:ARBARBITRUBITdxp幣ARBsharbi幣總量trustwallet怎么賣幣bitcoin交易所app下載二維碼

波場
金色觀察 | Bankless:盤點2022年最重大的加密時刻_加密貨幣:加密貨幣交易所下載

2022年無疑是加密貨幣歷史上的一個多事之年。隨著加密貨幣價格暴跌、2021年的火熱被沖淡,加密行業在過去一年里發生了巨大變化。在進行2022年大盤點的時候,需要考慮的因素太多了.

1900/1/1 0:00:00
FTX新任CEO國會證詞總結:八大過失、五大目標和五大困難_FTX:FTT幣

原文:《FTX新任CEO國會證詞要點提煉》 作者:Azuma 美國當地時間 12 月 13 日,美國眾議院金融服務委員將召開關于 FTX 事件的聽證會.

1900/1/1 0:00:00
Consensys報告:跨鏈互操作性的機制、重要性和風險_區塊鏈:DEFI

撰寫:Simran Jagdev編譯:深潮 TechFlow 如今阻礙區塊鏈技術和 Web3 大規模應用的關鍵因素之一是其孤島性質.

1900/1/1 0:00:00
重聽 4 小時的 SBF 聽證會 我扒出了一些有趣的細節_FTX:RAY

撰文:kean 美國聽證會前夕,SBF 在巴哈馬被捕, SBF 本人則在巴哈馬參加了聽證會。SBF 的父母暫停他們在 Stanford 的工作,來巴哈馬參加聽證會.

1900/1/1 0:00:00
代幣經濟學到底是啥玩意?_ALPH:EALP

簡單來說——代幣是代幣和經濟學這兩個詞的合成詞。 復雜點說—— 代幣經濟學是指加密社區內對代幣用例的設計.

1900/1/1 0:00:00
姚前:讀懂Web3.0_WEB:WEB3

Web3.0(第三代互聯網)區別于Web1.0(第一代互聯網)、Web2.0(第二代互聯網)的核心特征是,它是以用戶為中心的可信的價值互聯網,是智能的立體全息互聯網,能極大提升用戶體驗.

1900/1/1 0:00:00
ads