以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

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

Author:

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

Rollup協議設計者面臨的一個微妙問題是如何應對延遲攻擊。在這篇文章中,我將討論它們是什么,以及Arbitrum如何防范它們,從而帶來一些令人興奮的新發展。

延遲攻擊是試圖阻止Rollup協議取得進展的惡意行為,它們不會攻擊協議的安全性,也就是說,它們不會試圖強制確認不正確的結果。相反,延遲攻擊通過試圖阻止或延遲任何結果的確認來攻擊協議的活性。

這些問題可能很微妙,老實說,協議設計者們通常不喜歡談論延遲攻擊,但每一個Layer2系統,無論是OptimisticRollup、ZKRollup還是其他,都需要應對有關延遲和協議進展的問題。

本文深入探討了延遲攻擊問題,并討論了各種版本的Arbitrumrollup協議如何處理該問題。

延遲攻擊是什么?

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

比特幣未平倉合約持倉量創年度新高:金色財經報道,比特幣的未平倉合約(OI)代表尚未在特定時間關閉的衍生品合約,例如期貨和期權。據CoinGlass收集不同衍生品交易平臺上的OI,并將其匯總在一起,數據顯示,目前比特幣衍生品的未平倉合約總額已超過140億美元。比特幣OI最大的加密貨幣交易所是Binance,其份額遠低于50%(32%),但幾乎是CME的兩倍。CME(芝加哥商業交易所)僅占比特幣未平倉合約總量的18%。第三大是加密貨幣交易所Bybit,所占份額略小。值得注意的是,最近幾周比特幣的OI大幅上升。事實上,截至今年3月18日,這一數字一直在100億美元以上,但從6月16日開始大幅上升。然而,類似的事情在4月5日至14日之間已經發生過,但只增加到130億。要找到上一次超過140億美元的時間,需要追溯到2022年5月份,因此,目前的水平是2023年的最高水平。[2023/6/25 21:59:22]

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

一休眠13年的比特幣地址昨日晚間轉移50枚BTC:6月16日消息,鏈上數據顯示,一休眠13年的比特幣地址(13CFnF開頭)于北京時間6月15日19:37將50枚BTC(約合127萬美元)轉移至另一個地址。該地址曾于2010年收到這50枚BTC,目前該地址的比特幣余額已清零。[2023/6/16 21:41:22]

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

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

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

BTC剩余未開采量已不足170萬枚:金色財經報道,據 Btc.com 數據顯示,目前 BTC 流通量為 19,319,031.25 枚,剩余未開采量為 1,680,968.75 枚,已不足 170 萬枚。

此外,BTC 預計將于 2024 年 4 月 8 日進行減半,比特幣區塊獎勵減少到 3.125 枚比特幣,整個減半過程將持續到 2140 年,屆時預計將開采所有 2100 萬枚比特幣。[2023/3/16 13:08:22]

評估針對延遲攻擊的協議

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

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

YC聯創Paul Graham在推特上已取關V神:11月21日消息,Y Combinator 的聯合創始人 Paul Graham 在推特上不再關注 V 神(Vitalik Buterin)。[2022/11/21 7:53:08]

協議1:學術論文協議

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

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

評估

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

托管服務商Copper已在C輪融資中獲投1.96億美元,本輪融資尚未結束:10月13日消息,本周公開的一份備案文件顯示,截至今年六月,總部位于倫敦的加密貨幣托管服務商Copper在C輪融資中已獲投1.96億美元,包括從新老股東處獲得的1.81億美元,以及1500萬美元的可轉換貸款票據。Copper方面的發言人拒絕就該公司就相關信息進行置評,因為該公司尚未正式完成本輪融資。

彭博社報道稱,去年11月時,Copper曾希望以30億美元估值得到5億美元投資,但隨著加密貨幣價格暴跌,風投機構對于加密貨幣領域的預期有所下調,這也影響到了Copper本輪的融資情況。(彭博社)[2022/10/13 10:33:05]

協議2:分叉和裁剪

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

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

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

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

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

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

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

評估

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

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

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

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

小結:

保證進程攻擊成本與造成的延遲成線性關系誠實方的成本與誠實方的數量呈線性關系許可式驗證

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

即將推出的協議3

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

簡單說一下要點:Arbitrum協議的下一個版本對斷言和挑戰的工作方式做了一些小的,但優雅的改變,這樣最壞情況下的延遲攻擊只能造成一個挑戰期的延遲。

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

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

在以后的文章中,我將深入探討該新協議。

Tags:比特幣ROLLROLBIT買賣比特幣會坐牢嗎roll幣在哪換roll幣能出坐騎嗎bitcoin幣價格

SHIB最新價格
META:一文回顧2022年傳統巨頭的Web3之路

傳統巨頭沒辦法再忽視Web3的崛起,作為在自身領域獲得了最多的資源也是最有能力率先探索神秘的Web3世界的公司,從DeFi、NFT到元宇宙,巨頭紛紛開始向能和其本身業務掛上鉤的方向探索.

1900/1/1 0:00:00
EFI:Bankless 團隊 2023 年預測:不在細節,在于方向

2022年是充滿驚喜的,不是嗎?至少我沒想到……一個排名前三的交易所犯下歷史上最嚴重的欺詐行為之一最大的加密貨幣基金是一個大規模的過度杠桿化騙局最大的區塊鏈之一歸零并被國際刑警組織通緝但我們應該.

1900/1/1 0:00:00
EFI:DefiLlama 2022 年 DeFi 年終回顧:創新和挑戰并存

注:本文經過適當刪減 2009年,當中本聰向世界展示區塊鏈時,加密貨幣算是第一個用例。比特幣證明了區塊鏈可以用來證明數字貨幣的真正所有權.

1900/1/1 0:00:00
詳解EIP-4361:什么是以太坊登錄?

正文開始 當用戶登錄到web2服務時需要使用用戶名或電子郵件地址和密碼。然而以太坊登錄將會改變這一方式。通常在登錄“web2”服務時,我們需要使用用戶名或電子郵件地址和密碼.

1900/1/1 0:00:00
IDO:IOSG:Lido還能統治以太坊staking市場嗎?

市場機會 流動性質押是一個贏家通吃的市場嗎?如果中心化交易所在ETH質押市場上占主導地位,那將違背以太坊建設去中心化網絡的目標.

1900/1/1 0:00:00
TPS:巴比特 | 元宇宙每日必讀:淘寶今日開啟元宇宙年貨節,線上年貨大街擁有山東、云南等10 個省市的特色年貨攤位

摘要:云南省商務廳聯合淘寶舉辦的元宇宙年貨節今日正式上線。1月10日至2月5日全國元宇宙年貨節期間,消費者打開淘寶App,輸入關鍵詞“云南元宇宙年貨節”,或通過淘寶人生首頁入口“逛年貨街”,即可.

1900/1/1 0:00:00
ads