二層擴展解決方案是當前以太坊上討論最熱門的話題,也是整個區塊鏈技術社區中最熱門的話題。Arbitrum是基于OptimisticRollups的二層擴展解決方案,率先部署了其主網的測試版,并獲得了Uniswap和Compound等核心DeFi項目的支持,成為目前最引人注目的二層解決方案。
從以太坊主網遷移到二層解決方案的安全機制,是用戶最關心的問題之一。在這篇文章中,我們將對Arbitrum的安全機制進行深入探討,包括Arbitrum如何扎根于以太坊安全性中,為什么挑戰期是7天,以及如何防御審查攻擊。
扎根于以太坊安全性中
與其他擴容方案相比,Layer2最大的優勢是它完全依賴的以太坊安全性,大多數人可能知道這一點,但不知道為什么。Arbitrum是如何扎根于以太坊安全性中的?
我們先來回顧一下OptimisticRollup方案的主要特點:
1.在Rollup解決方案中,交易被寫在L1,但合約的計算和存儲是在L2上完成的,實現擴容。
SushiSwap已在Polygon、Optimism、Metis、Kava上線穩定幣池:10月14日消息,SushiSwap的AMM生產框架Trident推出的穩定幣流動性池已在Polygon、Optimism、Metis、Kava上線,用戶可直接進行穩定幣、直接相關代幣(WBTC、renBTC等)的低滑點交易。
注,Trident是用于構建和部署AMM的生產框架,任何其他AMM都可以在此基礎上構建并與之協同,其他AMM可以集成到Trident中,還可以使用現有框架創建和添加動態流動性類型,而無需從頭開始創建和部署新框架。[2022/10/14 14:27:25]
2.驗證者在L1上發布一個斷言,可以理解為將所有交易打包成一個Rollup塊并發送到L1交易上。
3.當斷言被發布時,系統默認這一斷言是正確的。但是會一個時間窗口,在這期間任何人都可以挑戰該斷言。如果挑戰成功,該斷言中包含的所有交易將被撤銷,斷言者將失去他們的保證金。如果挑戰期過后沒有挑戰成功,則斷言被接受并成為最終結果。
Coinbase網站出現Optimism Token價格信息頁面:4月20日消息,Coinbase網站出現Optimism Token價格頁面。最先發現該頁面的Tree of Alpha表示,該頁面只能通過直接鏈接訪問,并不會出現在主網站的搜索結果中,因此不排除Coinbase對頁面進行測試的可能。
此前報道,Optimism發文《A New Chapter》,文章稱將開啟由“社區所有權和治理驅動”的新篇章,并即將發布更多信息。(theblockcrypto)[2022/4/20 14:36:46]
在了解了具體的解決方案后,讓我們從幾個角度考慮Arbitrum是如何扎根于以太坊安全性中的。?
數據可用性
所有在L2上執行的交易都會先提交給運行在L1上的Inbox智能合約,并作為calldata寫入L1上。任何人都可以使用這些數據來檢索L2上的所有交易,并將L2恢復到其原始狀態。這個數據的可用性是通過L1保證的,用戶不必擔心L2故障會給他們在L2上的資產帶來損失。
DeFi借貸協議bZx將上線以太坊L2解決方案Optimism:8月10日,DeFi借貸協議bZx官方發布公告稱,將在未來幾周內上線以太坊L2解決方案Optimism。在過去的幾個月內,bZx已相繼在BSC、以太坊和Polygon(Matic)上發布。bZx也將是首家在Optimism上推出的融資融券交易、借貸平臺。而以太坊L2解決方案Optimism將基準用戶交易成本降低了約10到50倍。[2021/8/10 1:45:39]
AnyTrust
AnyTrust是Rollup協議的一個關鍵安全特性。這個功能意味著任何誠實的驗證者都可以確保L2上交易的正確執行。無論有多少惡意的人試圖阻止交易,你或你雇傭的人都可以確保交易正確執行,而不需要相信任何第三方。
緊急退出機制
Arbitrum目前沒有專門的緊急退出機制,但是有一系列的安全機制來保證用戶可以緊急退出。
首先,數據的可用性保證了用戶在L2上的資產和數據可以隨時從L1上恢復,并且永不丟失。
波卡生態預言機OptionRoom:所有合約已修訂并準備好部署:波卡生態預言機和預測協議OptionRoom在推特中表示,所有合約已修訂并準備好部署(在22/07/2021)。幣名/標記將保持不變,ROOM / COURTRO、OM/COURT代幣做了暫停處理(合約將在2小時內自動取消暫停處理);引入地址黑名單功能(在代幣合約暫停15分鐘后,部署者才可使用區塊功能)這將是以后的一項治理功能;空投計算完成(BSC/ETH、ROOM/COURT持有人,加上智能合約中鎖定的代幣;所有的歸屬/獎勵合同將恢復黑客攻擊前可索取的價值;交易所將被通知開始為空投做準備,黑客入侵前的流動性將于7月22日加入Pancakeswap。空投將在7月22日進行,[2021/7/19 1:01:31]
其次,任何用戶都可以向L1上的Inbox合約發送交易請求,強制退出。
最后,AnyTrust機制確保用戶可以強制L2正確處理退出交易。
對于以上三點,用戶不需要信任任何第三方,這充分說明了Arbitrum植根于以太坊安全性中。
聲音 | 盧森堡金融監管委員會:加密貨幣公司Cryptominingoptionsignal未獲授權:盧森堡金融監管機構警告公眾,一家加密貨幣公司尚未獲得在該國的授權。盧森堡金融監管委員會(CSSF)表示,金融監管機構不知道一家名為Cryptominingoptionsignal的公司,該公司在其網站上聲稱“在盧森堡獲得許可”。[2019/8/14]
為什么挑戰期是7天
Arbitrum是一個多輪互動的Rollup解決方案。該解決方案首先會樂觀地認為驗證者所做的斷言是正確的,直到它在挑戰期內被其他驗證者質疑或反駁。在大多數情況下,沒有挑戰,整個系統可以更快地取得進展,而且成本較低。
顯然,挑戰期越長,整個系統就越安全,但同時用戶體驗也會變差。那么我們如何找到最佳的挑戰期呢?
Arbitrum團隊提出了這樣一個模型來計算最佳挑戰期:
1.假設一個挑戰期是C塊的長度,攻擊者在L2上能得到的最大值是V。那么攻擊者得到的預期值是Vexp(-AC)。
注意:exp是指數函數"e",A是某個常數A,AC前面的"-"號意味著C與預期回報成反比。
2.斷言者需要認捐遠大于攻擊價值的資產來應對攻擊。我們假設是10倍,斷言者的成本是10Vexp(-AC)I。I是資本利率。
3.我們假設鎖定在挑戰期的提款用戶的提款資產為CWV,用戶的資產成本為CWVI。
4.最佳挑戰期的長度是在斷言者和退出用戶的總資產成本最低的時候。也就是說,當取C的值時,10Vexp(-AC)ICWVI處于最小。V和I發生在兩個條款中,它不會影響最低點,可以忽略。我們只需要取C的導數,將所得導數設為0,得到C=ln(10A/W)/A。
現在我們把一些合理的數字插入上述方程,得到一個粗略的最佳挑戰期。
假設一個區塊時間的連續審查的成功率高達99.99%,相當于A=-ln(0.99)=0.01。
進一步假設每天有總價值的1%被提取,按15秒一個區塊計算,每個區塊的提取比例約為W=0.000002。
將這些插入公式,我們得到一個最佳挑戰延遲C=62146個區塊,即10.79天,這與Arbitrrum團隊最終選擇的7天最佳挑戰期非常接近。
如何抵御審查制度的攻擊
在本節中,我們將討論Arbitrum如何防御四種主要類型的審查攻擊:分叉攻擊、回避攻擊、干擾攻擊和速度惡魔攻擊。
分叉攻擊:礦工合謀丟棄包含正常挑戰的區塊,以便接受一個不包含挑戰的替代鏈。
首先,由于挑戰者的存在,一旦發生分叉攻擊,將不可避免地被某個挑戰者發現。而當大家發現區塊鏈中的挖礦壟斷者為了利益不受約束地破壞規則時,區塊鏈本身就已經被破壞了。此時,無論Arbitrum是否采用挑戰期的設計模式,這一點都沒有意義。
回避攻擊:礦工合謀,在他們制作的區塊中省略正常的挑戰。
我們假設壟斷者控制了90%的挖礦算力,期限是50個區塊。壟斷者需要連續打包50個區塊來完成攻擊。概率是0.9的50次方,也就是只有0.5%。而實際的挑戰期遠遠超過50個區塊,所以攻擊成功的概率是非常小的。在Arbitrum的設計中,當攻擊失敗時,攻擊者將支付巨額罰款,壟斷者發起回避攻擊是相當不劃算的。
干擾攻擊:攻擊者發起'老式的拒絕服務攻擊',阻止其他方發布任何交易。
由于只要有一個誠實的挑戰者,攻擊就會失敗,攻擊者必須干擾所有可能的挑戰者。如果有很多這樣的挑戰者,攻擊就已經很難完成了。更糟糕的是,任何利益相關方可能已經雇用了一個沉默的觀察者作為備份。他們只在主要參與者太晚或難以發布挑戰時才會介入。攻擊者不會知道是否有沉默的觀察者,或者如果他們存在,他們是誰,所以在他們行動之前,沒有實際的方法來發起DoS攻擊。
速度惡魔攻擊:攻擊者產生鏈上斷言的速度非常快,以至于其他各方沒有時間在最后期限前檢查和挑戰所有斷言。
Arbitrum防御速度惡魔攻擊的方法是限制斷言的創建速度,以確保在任何時候,檢查待定斷言并在挑戰一個斷言所需的總工作能在協議的最后期限內順利完成。具體來說,是對Rollup鏈中的智能合約的進展施加一個速度限制,因此,即使有人能夠快速制造出大量的斷言,它最終也不得不放慢速度。
綜上所述,我們不需要太擔心分叉攻擊。在發生惡意挖礦壟斷的情況下,這種區塊鏈已經從根本上失去了吸引力。Arbitrum可以通過適當的設計或實踐來抵御其他三種審查攻擊。
Sequencer模式的優勢和風險
Sequencer模式是Arbitrum的一個可選的功能,OffchainLabs在主網啟動時操作唯一的Sequencer節點。
Sequencer被賦予有限的權力來控制Inbox中每筆交易的排序,以保證用戶交易的結果立即生效,而不需要在以太坊上等待5分鐘來確認區塊,甚至不需要像在以太坊一樣等待15秒的出塊時間。
同時,一個行為良好的sequencer可以有效地抵御Front-Running攻擊。
因此,由OffchainLabs運營的集中式、行為良好的Sequencer節點對項目的早期發展非常有利,可以減少很多麻煩,但安全風險也很明顯。OffchainLabs承諾,一旦技術成熟,將改用去中心化的多Sequencer節點方案。
此外Inbox將一分為二,一個接受Sequencer提交的交易,另一個接受常規聚合器或用戶提交的交易,這也為不信任中心化Sequencer的用戶提供了另一種選擇。
原文:hackernoon
編譯:比巴卜呀
尊敬的XT用戶: XT.COM現已恢復KISHUBABY/USDT交易,充值已開通。2021年7月14日17:00開通提現通道.
1900/1/1 0:00:00Gate.io已于2021年6月24日投票上線Unizen(ZCX)并開通交易,ZCX超級福利今日開啟!活動期間充值ZCX前600名平分$3,000美金,凈買入排名前100名再享$20.
1900/1/1 0:00:00尊敬的用戶, XBX即將重磅上線,WBF攜手XBX推出“XBX重磅上線海量空投獎勵隨心領”特別活動.
1900/1/1 0:00:00區塊鏈可以運用在各種不同的領域:1、金融領域區塊鏈在國際匯兌、信用證、股權登記和證券交易所等金融領域具有極大的使用價值.
1900/1/1 0:00:00Gate.ioORC空投福利活動已圓滿結束,根據活動規則,我們已為符合規則的用戶發放了活動獎勵。用戶可進入“錢包—賬單明細”查詢獎勵發放情況。活動詳情及規則請點擊查看.
1900/1/1 0:00:00親愛的用戶: HomiEx歐洲杯賽事期間,舉行的競猜送BZZ活動,現已結束全部賽事的競猜,競猜期間所有獲獎用戶的BZZ獎勵已完成發放,獲獎用戶可以登入HomiExAPP—資產—BZZ查看.
1900/1/1 0:00:00