比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads

TRU:深入分析 Arbitrum 的安全機制_RBI

Author:

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

Layer 2 擴容解決方案是當前以太坊社區熱議的話題,也是整個區塊鏈技術社區正在討論的熱門話題。基于 Optimistic Rollups 的 Arbitrum 是目前最具有吸引力的 Layer 2 擴容解決方案之一。它率先部署了主網 beta 版本,并獲得了 Uniswap 和 Compound 等核心 DeFi 項目的支持。

對于打算從以太坊主網遷移至 Layer 2 的用戶來說,他們最關心的一個問題就是 Layer 2 解決方案的安全機制如何。本文將深入探討 Arbitrum 的安全機制,包括:Arbitrum 如何植根于以太坊的安全性中;為什么挑戰期是七天;以及如何防御審查攻擊。

植根于以太坊的安全性中

眾所周知 Layer 2 解決方案與其他擴容解決方案相比,最大的一個優勢就是其安全性依賴于以太坊主網的安全性。然而,大部分人可能都知道這個道理,但卻不知道為什么。那么 Arbitrum 如何根植于以太坊的安全性中呢?

我們首先來回顧一下 Optimistic Rollup 解決方案的主要特點:

在一個 Rollup 解決方案中,交易 (作為 calldata) 編寫在 L1 上,但是其實際計算和合約的存儲在 L2 上完成,以實現擴容。

GameStop董事會成員Larry Cheng計劃深入研究加密貨幣:金色財經報道,6月初被選為GameStop董事會成員的Larry Cheng在推特上宣布,本月他將休兩天假,以加深對加密貨幣的了解。這位企業家正在向他的粉絲征求有關如何打發這些時間的建議。據悉,Cheng已宣布持有GameStop 13%的股份。[2021/11/13 6:49:48]

驗證者在 L1 上發布一個斷言 (assertion),可以理解為將所有交易和結果打包成一個 Rollup 區塊,然后發送到 L1 的交易中。

Optimistic Rollup 之所以稱為”樂觀的“ rollup 解決方案,因為當一個斷言發布時,其不包含保證其有效性的隨附證明,即默認該斷言有效。相反,屆時會有一個時間窗口,而任何人都可以在這個時間內挑戰該斷言。如果挑戰成功,那么此斷言內的所有交易都將被撤回,并且提出斷言的人會失去其保證金。如果挑戰期到期且沒人挑戰成功,那么斷言就會被最終確認。

在了解了這個解決方案之后,我們再從幾個角度來思考 Arbitrum 是如何植根于以太坊的安全性的。

數據可用性

所有在 L2 上執行的交易首先會提交至在 L1 上運行的收件箱智能合約,然后作為 calldata 編寫進 L1 中。任何人都可以利用該數據來檢索回 L2 上的所有交易并將 L2 恢復到其原始狀態。這些數據可用性通過 L1 得到保證,用戶不必擔心 L2 因出現故障而導致其損失 L2 上的資產。

美國國會眾議員提出法案以深入研究商業中的區塊鏈技術:三名美國國會眾議院議員(兩名民主黨和一名共和黨)正式提出了一項新法案,以促使美國國會對區塊鏈技術進行更深入的分析。9月1日,民主黨眾議員Darren Soto、Doris Matsui及共和黨眾議員Brett Guthrie向眾議院提出了一項新法案,該法案隨后被提交給能源和商業委員會。該法案建議美國商務部長在與聯邦貿易委員會(FTC)磋商后“就區塊鏈技術的狀況以及在保護消費者和其他方面的使用情況進行研究并向國會提交報告”。(Cointelegraph)[2020/9/4]

AnyTrust

AnyTrust 是 Rollup 協議的關鍵安全功能。這個功能允許任意誠實驗證者確保交易在 L2 上正確地執行。無論有多少攻擊者惡意阻止交易的進行,你或者你雇傭的任何人都能夠強制確保交易的正確執行,而無需信任任何第三方。

緊急退出機制

Arbitrum 當前沒有一個特定的緊急退出機制,但是有一系列安全機制來確保用戶可以安全退出。

首先,數據可用性確保用戶存儲在 L2 上的資產和數據可以在任意時候從 L1 上恢復,并且永遠不會丟失。

其次,任意用戶都能向 L1 上的收件箱合約發送一個交易請求來強制退出。

聲音 | 華軟資本董事長:負利率是否會影響未來數字貨幣信用或可計算交易體系值得深入探索:12月18日,華軟資本董事長、華夏新供給經濟學研究院院長在第一財經發布評論文章。文章表示,負利率對下一階段的貨幣形態發展帶來新的不確定性,也許為“另辟蹊徑”提供某些啟發。隨著信息技術和互聯網的發展,貨幣及其價值傳遞方式出現了根本性的轉變,以信用卡、網銀和移動支付為代表的電子貨幣,以及數字貨幣、區塊鏈和加密資產等都在快速發展。特別是以Facebook籌備計劃推出Libra(天秤座)為代表,其目標是發展成為一種“不企求對美元匯率穩定而追求實際購買力穩定”的加密數字貨幣,這對未來數字貨幣的重要性、演化形態和利率價格等引發了全球關注。與此同時,中國央行主導的主權數字貨幣DCEP已有實質進展,歐洲央行也開始考慮發行公共數字貨幣的多種方案。數字化相當程度上加速了全球資金流動,可以部分解釋利率下行原因,但負利率是否會影響未來數字貨幣的信用或可計算交易體系,更值得深入探索的。[2019/12/19]

最后,AnyTrust 機制確保用戶可以強制 L2 正確地處理退出交易。

在以上三點中,用戶不需要信任任意第三方,這充分地展示了 Arbitrum 植根于以太坊的安全性中,并且是去信任的。

為什么挑戰期是七天

聲音 | 法中委員會秘書長林碧溪:中法兩國深入區塊鏈及人工智能合作:據人民網消息,2018年第五屆中法團隊合作創新獎即將在巴黎揭幕,法中委員會秘書長林碧溪表示,今年提交的候選項目中,區塊鏈、人工智能、數字化工具的項目明顯增加,且涉及領域非常廣泛,覆蓋核電站老化預測的解決方案、區塊鏈學歷認證及智慧城市能源管理等領域。林碧溪指出,中法兩國創新合作的多樣性,體現在創新合作的跨領域特征中。當今世界技術革新非常迅速,從區塊鏈、人工智能到數字應用,都需要中法合作團隊及時掌握并適應形勢,才能致力于開發未來的新技術。[2018/11/30]

Arbitrum 是一個多輪交互的 Rollup 解決方案。這個解決方案首先會樂觀地相信驗證者做出的斷言是有效的,而在挑戰期其他驗證者可能會對此提出質疑和挑戰。在大多數情況下,不會有挑戰提出,那么整個系統就可以更高效且成本更低。

顯然,挑戰期越長,整個系統就越安全,但同時用戶體驗也會更差 (因為用戶需要等到挑戰期結束之后才能退出)。那么我們是如何確定最佳的挑戰時期呢?

Arbitrum 團隊提出這種模型來計算最佳的挑戰時期:

假設一個挑戰時期等于 C 區塊的長度,以及攻擊者在 L2 上可以獲得的最大值為 V。

聲音 | 交通運輸部副部長:積極參與區塊鏈等貿易服務 更深入地參與國際競爭:據上證網消息,交通運輸部副部長劉小明在2018全球貿易與國際物流高峰論壇上透露,要把創新能力建設擺到更加突出的戰略地位,全力推進互聯網+高效物流融合發展。堅持全面開放發展,推進物流領域開放向縱深發展。積極參與跨境電商、區塊鏈等貿易服務,更深入地參與國際競爭。[2018/11/20]

則攻擊者獲得的預期價值為 V exp(-AC)。

注解:exp 為指數函數”e“,A 為某常數 A,AC 前的 ”-“ 符號表示 C 與預期收益成反比。

斷言者需要保證其資產遠超過攻擊的資產價值以應對攻擊。我們假設超過 10 倍,則斷言者的成本為 10V exp(-AC)I。I 指的是資本利率。

我們假設某退出用戶在挑戰期被鎖定的提款資產為 CWV (W 為小數,WV 是 L2 上總資產的一部分,每個時間點都會有 C 個未結束挑戰的區塊) 和用戶的資產成本為 CWVI。

最佳的挑戰期限應該設為斷言者和提款用戶的資產總成本最低的情況下。即取 C 的值時,10V exp(-AC)I+CWVI 最小。V 和 I 在兩項中都出現,它不會影響最小值點,可以忽略。我們只需對 C 求導,將所得導數設為 0,并得到 C = ln(10A / W) / A。

現在我們將一些合理的數字插入上述等式中,以獲得一個大概的最佳挑戰期限。

假設一個區塊時間內的連續審查成功率高達 99.99%,即 A = -ln(0.99) = 0.01。

進一步假設每天提款為總值的 1%,并且每個區塊的提款百分比約為 W=0.000002,基于出塊時間為 15 秒的前提。

將這些代入公式中,我們得到的最佳挑戰期限為 C = 62146 區塊,即 10.79 天。這與 Arbitrum 團隊最終選擇的 7 天挑戰期限非常接近。

如何防御審查攻擊

在這一部分,我們討論了 Arbitrum 如何防御四種主要的審查攻擊:分叉攻擊 (forking attacks)、回避攻擊 (shunning attacks)、干擾攻擊 (jamming attacks) 和快速攻擊 (speed demon attacks)。

分叉攻擊 (forking attacks):礦工合謀 (或受賄) 丟棄包含正常挑戰的區塊,以便接受不包含挑戰的替代鏈。

首先,由于挑戰者的存在,一旦發生分叉攻擊,難免會被某個挑戰者發現。而當大家發現區塊鏈中的挖礦算力壟斷者 (這是分叉攻擊的先決條件) 為了盈利而肆無忌憚地違反規則時,區塊鏈本身就被摧毀了。此時,Arbitrum 是否采用挑戰期設計模型還存在爭議。

回避攻擊 (shunning attacks): 礦工們合謀 (或受賄) 忽略掉他們生產出的區塊中的普通挑戰。

我們假設壟斷者控制了 90% 的挖礦算力,并且期限為 50 個區塊。那么壟斷者需要將 50 個連續的區塊打包起來才能完成攻擊。這個概率是 0.9 的 50 次方,也就是 0.5%。而實際挑戰期限遠不止 50 個區塊,所以攻擊成功的概率極小。在 Arbitrum 的設計中,攻擊者在攻擊失敗時會支付巨額罰款,因此壟斷者發起回避攻擊是非常不劃算的。

干擾攻擊 (jamming attacks) :攻擊者發起”老式的拒絕服務攻擊 (DoS)“ 來阻止任何一方發布任何交易 (不能發布包含挑戰的交易)。

因為只要有一個正直的挑戰者,攻擊就會失敗,所以攻擊者必須阻止所有有可能的挑戰者。如果有很多這樣的挑戰者,攻擊將很難完成。更糟糕的是,任意利益相關的一方都可能雇傭一個沉默的監察者以作為備用計劃。他們只在主要參與方太晚發布挑戰或者在發布挑戰時遇到了困難時才會介入。攻擊者并不知道網絡中是否有沉默的監察者,或者盡管知道他們存在,也不知道他們是誰,所有在這些監察者有實際行動之前,攻擊者都無法向他們發起 DoS 攻擊。

快速攻擊 (speed demon attacks):攻擊者生成鏈上斷言的速度十分快,以至于其他方不能在時間截止之前檢查并且挑戰所有斷言。

Arbtirum 采取的應對方法是:限制創建斷言的速率,以確保在任何時候檢查未決斷言和挑戰其中一個斷言所需的總工作量能夠在協議的期限之內完成。具體來說,對 Rollup 鏈中的智能合約運作進程施加速度限制,因此即使有人能夠快速生成大量斷言,它最終也必須慢下來。

總之,我們不需要太擔心分叉攻擊。如果出現惡意挖礦算力壟斷的情況,那么可以說這個區塊鏈已經基本上變得沒有吸引力了。Arbitrum 可以通過適當的設計或者實踐來防御其他三種審查攻擊。

序列器模式 (Sequencer Mode) 的優勢和風險

Sequencer 模式是 Arbitrum 的一個可選功能,Offchain Labs 在主網的發布版本上運行唯一的 Sequencer 節點。

Sequencer 被賦予有限的權力來控制收件箱中每筆交易的排序,以保證用戶的交易結果能夠立即被確定,無需在以太坊上等待五分鐘至區塊被確認,甚至不需要像在以太坊一樣等待 15 秒的出塊時間。

同時,一個表現良好的 sequencer 可以有效地防御搶跑攻擊。

因此,一個由 Offchain Labs 運營的中心化的、表現良好的 Sequencer 節點,對于項目的早期開發是非常有利的,并為其減少了很多麻煩。但是安全隱患也很明顯 (雖然很難想象 Offchain Labs 會作惡,但也不排除這樣的可能性)。Offchain Labs 承諾在技術成熟后立即切換到去中心化的、多個 Sequencer 節點的解決方案。

此外,收件箱也將一分為二,一個接受由 Sequencer 提交的交易,另一個則接受由常規聚合器或者用戶提交的交易,這也為不信任中心化的 Sequencer 的用戶提供了另一種選擇。

來源 | Hackernoon

作者 | DeGate

Tags:TRUARBRUMRBIStructureCarbonEcoScorumRBI價格

比特幣交易所
比特幣:薩爾瓦多通向“法幣化”的荊棘之路_CHIWA幣

上個月,薩爾瓦多國會以84名議員中獲得62張贊成票通過了《比特幣法》,在全球范圍內首開主權國家將比特幣作為法定貨幣的用例.

1900/1/1 0:00:00
NFT:金色觀察 | 24小時交易量增長827.48% Cool Cats再引NFT熱潮?_unisat軟件能不能買nft

2021年第一季度人氣飆升,非同質化代幣 (NFT) 出圈,不同產業的名人、運動員、音樂家、藝術家涌入這個空間,對這個新生的生態系統帶來諸多創意可能性.

1900/1/1 0:00:00
KUS:平行鏈上線到底意味著什么?之后我們還能期待些什么?_AMAL

上周,Karura 成功競拍到 Kusama 的第一個平行鏈插槽,并順利上線了,這也是全球第二條 “平行鏈”(第一條是 Kusama 上的資產鏈 Statemine).

1900/1/1 0:00:00
BZZ:突發:Swarm沒有任務 就只能挖空氣而不是BZZ_bulwark

突發:Swarm沒有任務,就只能挖空氣而不是BZZ!BZZ如何發行到底能不能挖一直是一個大家十分關心的問題,前期 SWARM 團隊僅僅公布了私募公募和團隊基金會的份額等等.

1900/1/1 0:00:00
比特幣:比特幣該拿住or離場?看看圈內大佬怎么說_哪些國家禁止加密貨幣

6月的第四周本是平常的一周,但對于生活在薩爾瓦多的比特幣愛好者來說,卻是不同尋常的。據Documenting Bitcoin的推文顯示:薩爾瓦多總統Nayib Bukele表示,薩爾瓦多政府將向.

1900/1/1 0:00:00
USD:半年增長超800億美元 穩定幣市場究竟誰輸誰贏?_SDT

穩定幣作為加密資產世界的圣杯之一,一直備受市場的關注,從年初至今,僅僅是錨定美元的穩定幣市場規模就從300億美元增長到當前超過1100億美元.

1900/1/1 0:00:00
ads