Optimistic Rollups和以太坊的二層解決方案：Arbitrum的安全機制_PTI:wOPT

二層擴展解決方案是當前以太坊上討論最熱門的話題，也是整個區塊鏈技術社區中最熱門的話題。Arbitrum是基于OptimisticRollups的二層擴展解決方案，率先部署了其主網的測試版，并獲得了Uniswap和Compound等核心DeFi項目的支持，成為目前最引人注目的二層解決方案。

從以太坊主網遷移到二層解決方案的安全機制，是用戶最關心的問題之一。在這篇文章中，我們將對Arbitrum的安全機制進行深入探討，包括Arbitrum如何扎根于以太坊安全性中，為什么挑戰期是7天，以及如何防御審查攻擊。

扎根于以太坊安全性中

與其他擴容方案相比，Layer2最大的優勢是它完全依賴的以太坊安全性，大多數人可能知道這一點，但不知道為什么。Arbitrum是如何扎根于以太坊安全性中的？

我們先來回顧一下OptimisticRollup方案的主要特點：

1.在Rollup解決方案中，交易被寫在L1，但合約的計算和存儲是在L2上完成的，實現擴容。

Optimism機構投資者本周三將解鎖7300萬枚OP，當前浮盈已超6倍:5月29日消息，據 Lookonchain 分析，Layer 2 解決方案 Optimism 在發行 Token 前共向機構投資者進行了 3 輪融資，參與者包括 Paradigm, IDEO CoLab Ventures 以及 a16z 等機構。這些機構共向 Optimism 融資 1.785 億美元，獲得 7.3 億枚 OP（總量 17%）作為回報。

由此計算，OP 機構投資者平均成本價約為 0.2445 美元。截止發稿，OP 現報價 1.63 美元，因此機構投資者浮盈約為 6.6 倍。

5月31日8時，將有 154,618,822.65 枚 OP 解鎖，其中 7300 萬枚歸屬于機構投資者。[2023/5/30 9:49:40]

2.驗證者在L1上發布一個斷言，可以理解為將所有交易打包成一個Rollup塊并發送到L1交易上。

3.當斷言被發布時，系統默認這一斷言是正確的。但是會一個時間窗口，在這期間任何人都可以挑戰該斷言。如果挑戰成功，該斷言中包含的所有交易將被撤銷，斷言者將失去他們的保證金。如果挑戰期過后沒有挑戰成功，則斷言被接受并成為最終結果。

Optimism Goerli測試網已升級至Bedrock架構，存取款已恢復:1月13日消息，據官方推特，OP Labs現已將Optimism Goerli測試網升級至Bedrock架構，并重新啟用存款和取款服務，Optimism Goerli Sequencer（定序器）也已恢復運行。

此前金色財經報道，OP Labs表示，此次升級將減少大約20%的Gas費，縮短存款時間，構建更安全、穩定的代碼庫和產品，并簡化節點基礎架構。此外，根據官方升級指南顯示，Optimism主網升級將至少提前三周宣布2023年2月的正式日期和時間。[2023/1/13 11:09:50]

在了解了具體的解決方案后，讓我們從幾個角度考慮Arbitrum是如何扎根于以太坊安全性中的。?

數據可用性

所有在L2上執行的交易都會先提交給運行在L1上的Inbox智能合約，并作為calldata寫入L1上。任何人都可以使用這些數據來檢索L2上的所有交易，并將L2恢復到其原始狀態。這個數據的可用性是通過L1保證的，用戶不必擔心L2故障會給他們在L2上的資產帶來損失。

NFT市場Quix將于明年2月28日結束運營，Optimism基金會將代為開源其代碼:11月24日消息，據官方公告，Optimism生態NFT市場Quix宣布，Optimism基金會將代表Optimism社區使Quix代碼開源，這意味著，雖然Quix作為一家公司即將結束，但從2023年1月6日開始，其代碼將免費供社區使用和構建。Quix正在與Optimism基金會合作，以確保平穩過渡，其團隊致力于維持運營到2023年2月28日。

官方稱，其每月基礎設施成本已超過收入，而且運營過于精簡，無法以有意義的方式投資于生態系統，鑒于種種限制，Quix不再是其可以繼續經營的企業，“現在我們轉向Optimism Collective，將Quix帶入下一階段”。

此外，官方稱：“對于Optimism上的NFT收藏者，我們將很快開始將交易重定向到OpenSea。對于NFT創作者，Quix Launchpad將在1月18日之前保持可用狀態。我們的團隊將直接與Quix API用戶合作，幫助他們過渡到替代解決方案。作為代表，我們將在短期內繼續參與Optimism的治理，但鼓勵委托給Quix團隊的代幣持有者重新委托給其他人。”[2022/11/24 8:02:38]

AnyTrust

算法穩定幣UXD在Optimism Devnet上推出:8月25日消息，算法穩定幣協議UXD Protocol宣布，已經在Optimism Devnet上推出UXD。用戶可以在optimism.uxd.fi上使用ETH鑄造、贖回UXD。

此外，UXD與Perpetual Protocol達成合作，支持使用ETH永續合約來創建Delta中性頭寸。[2022/8/25 12:47:20]

AnyTrust是Rollup協議的一個關鍵安全特性。這個功能意味著任何誠實的驗證者都可以確保L2上交易的正確執行。無論有多少惡意的人試圖阻止交易，你或你雇傭的人都可以確保交易正確執行，而不需要相信任何第三方。

緊急退出機制

Arbitrum目前沒有專門的緊急退出機制，但是有一系列的安全機制來保證用戶可以緊急退出。

首先，數據的可用性保證了用戶在L2上的資產和數據可以隨時從L1上恢復，并且永不丟失。

其次，任何用戶都可以向L1上的Inbox合約發送交易請求，強制退出。

Optimism上AMM協議Velodrome正式上線，已啟動空投申領:6月2日消息，由Solidly生態項目veDAO推出的以Solidly為模板的Optimism上AMM協議Velodrome正式上線，并已啟動代幣空投申領。[2022/6/2 3:57:24]

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

對于以上三點，用戶不需要信任任何第三方，這充分說明了Arbitrum植根于以太坊安全性中。

為什么挑戰期是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

編譯：比巴卜呀

Tags：PTITIMITIMOPTCPTINU幣TimicoinTIM幣wOPT

瑞波幣