10分鐘讀懂 L2 可擴展性解決方案Arbitrum_ARB

下個月，Tracer將在?Arbitrum?上部署其永續掉期產品。本文將幫助你深入理解Arbitrum背后的機制，以便你在L2環境中通過Tracer交易時獲得更好的體驗。

架構摘要

由于Arbitrum是針對以太坊L1的L2可擴展性方案，Arbitrum的架構有部分在L1上，有部分在L2上。

Arbitrum在L1上的組件是EthBridge，由一組以太坊合約構成。

EthBridge負責對ArbitrumRollup協議進行仲裁，以及維護Arbitrumrollup在以太坊鏈上的收件箱和發件箱。

用戶、L1合約和全節點可以通過以太坊鏈上的收件箱和發件箱將其交易發送至Arbitrum鏈，并觀察這些交易的結果。

Arbitrum虛擬機是EthBridge提供的功能，是L1和L2之間的網關。

AVM能夠讀取輸入，并基于這些輸入執行計算，從而產生輸出。

ArbOS運行在AVM上，確保智能合約在Arbitrum鏈上執行。

ArbOS完全存在于L2上，并像在以太坊上一樣運行EVM合約。

-Arbitrum架構圖-

ArbitrumRollup協議

收件箱內消息的順序決定了交易的結果。

因此，任何查看收件箱的人都能知道交易的結果，只要親自執行這些交易即可。

ArbitrumRollup協議負責確認已經發生的交易的結果。

nd4.eth于10分鐘前將CryptoPunk #5237轉入黑洞地址銷毀:8月10日消息，據鏈上數據顯示，nd4.eth于10分鐘前將CryptoPunk #5237轉入黑洞地址銷毀。

記錄顯示，nd4.eth此前于今年7月13日以55.95ETH的價格(約合105,427美元)買入CryptoPunk #5237。[2023/8/10 16:18:39]

參與協議的用戶被稱為驗證者；如果驗證者在質押合約中存入ETH，就會變成質押者，可以給Arbitrum鏈上的區塊押注。

成為驗證者和質押者都無需經過許可。

在安全性方面，只需要一個誠實的驗證者來確保Arbitrum鏈正確執行。

這使得Arbitrum鏈具備與以太坊鏈相同程度的免信任性。

Arbitrum假設至少有一位驗證者是誠實的。

ArbitrumRollup協議作用于ArbitrumRollup鏈。后者是一條由Rollup區塊組成的鏈，獨立于以太坊鏈。

驗證者的職責是提議新的區塊并將其添加到Arbitrum鏈上。

每個被提議的區塊最終都會被協議確認或拒絕。

每個區塊都包含多個字段。除了區塊號字段之外，每個字段的數據都是區塊提議者的斷言，但不一定是正確的。

如果有任何斷言字段不正確，協議最終會拒絕該區塊。

凡是被提議的區塊都有確認期限。

反對某個區塊的驗證者應提議正確的區塊。成功提交欺詐證明的誠實驗證者會獲得獎勵。

質押

要想將某個Rollup區塊添加到鏈上，質押者必須押注該區塊。

以太坊Gas費10分鐘飆漲105.88%，ETH鏈上活躍度上升:金色財經報道，Ultrasound.money顯示當前以太坊Gas費用漲至35Gwei，10分鐘飆漲105.88%，表明ETH鏈上活躍度有所上升，請留意行情變化。[2023/2/12 12:01:46]

質押是無需許可的，任何人都可以押注任意區塊。

一旦你押注某個區塊，在該區塊被確認之前無法取回押金。

一旦你押注某個區塊，即表明你認定這個區塊是正確的，且認定最新確認區塊到你所押注的區塊這段鏈上的每個區塊都是正確的。

如果你押注的區塊不正確，或最新確認區塊到你所押注的區塊這段鏈上的某個區塊不正確，你的押金就會被罰沒。

如果你不想押注某個區塊，你可以押注最新被確認區塊。

如果你押注了某個區塊，可將押注延伸至跟在該區塊之后的任何區塊。

所需質押量是動態的。

Arbitrum鏈上有一個指定的基礎質押量參數，在大多數情況下都會用到。

為了防止攻擊者不惜犧牲押注也要拖慢網絡的情況，質押量會乘以一個隨超時時間呈指數級增長的因子。

這是為了增加這類攻擊在攻擊期間的成本。

這種質押翻倍是暫時的，只會在Arbitrum鏈的區塊確認進程緩慢時發生。

挑戰協議

當兩個質押者押注不同的區塊且這兩個區塊之間沒有繼承關系時，他們會在某個區塊上產生分歧，從而引發挑戰。

挑戰主要發生在Arbitrum鏈上，由L1合約裁決。

挑戰包括一個在L2上進行的交互型多輪切分游戲和一個在L1上執行的單步證明。

幣贏CoinW 6折申購BCH在10分鐘內售罄:據官方消息，幣贏FunsUp第18期 6 折申購BCH活動，150 BCH僅在10分鐘內售罄。據悉，幣贏CoinW平臺于11月04日00:00開啟“幣贏交易月” 系列活動，本次申購BCH活動是幣贏11月交易月首輪活動。更多詳情請點擊原文鏈接。[2020/11/5 11:42:40]

如果有質押者對某個區塊提出爭議，提議該區塊的質押者將作為“被告”捍衛自己的斷言。

“被告”質押者聲稱，以上一個區塊為起點，在虛擬機執行N個指令之后，上一個區塊的狀態將推進至其所提議的區塊的狀態。

在切分游戲中，作為“被告”的質押者為先手，將N個指令切分成K段，每段的大小是N/K。

請注意，每段Arbgas消耗量相等，但步驟數量上不一定相等。

還要注意的是，每段都有一個起點和一個終點。

作為“原告”的質押者同樣將N個指令切分成K段，并將它們與Alice的切分段一一對應，發現其中一個切分段的終點與Alice的不同。

Bob實際上是在找出他不認同的切分段。

接著，Bob會執行Alice最初的操作，將有爭議的切分段再切分成K個子段，然后將這個切分段連同子段一起發送給Alice。

Alice執行Bob最初的操作，找到終點不同的那個子段。

切分流程繼續下去，直到Alice和Bob找到他們產生分歧的那一個指令為止。

這個指令被發送給L1合約，并由后者執行它，然后決定這場爭議的“勝訴方”。

“敗訴方”將失去質押物，一部分質押物將被銷毀，其余則獎勵給誠實的“勝訴方”。

行情丨ONT在10分鐘內漲幅超過3.00%:據火幣全球站數據顯示，ONT/BTC在10分鐘內出現劇烈波動，漲超3.00%，達到5.33%。當前報價為 0.71 美元，行情波動較大，請注意風險控制。[2019/10/27]

在整個切分流程中，作為裁決方的L1合約不知道任何關于指令的信息，只負責核實雙方是否遵循游戲規則。

在爭議期間，其他所有驗證者都能在爭議敲定之前自行斷定爭議的結果，這就意味著會發生軟分叉，且驗證者可以繼續在正確的鏈上提交Rollup區塊。

挑戰期有一個強制的期限，即，每個質押者大約一周時間。

每個質押者必須在一周的限期內完成自己的任務，否則就會“敗訴”。

就像棋賽計時器那樣。

-上圖顯示了兩位質押者在爭議期間進行的多輪交互式切分游戲。實際上，有爭議的斷言包含的指令遠比上圖所示的更多，因此游戲的輪次也更多，但原理是一樣的-

驗證者

驗證者是Arbitrum鏈上的節點，負責監控該Rollup協議的活動并推進整條鏈的狀態。

并非所有節點都是驗證者。

OffchainLabs預期驗證者會采取主動、防守或觀望策略；協議不會強制他們采取哪種策略。

“主動型驗證者”會通過提議新的區塊來持續推進鏈的狀態。每條鏈上只需要一位誠實的主動型驗證者；主動型驗證者的數量增加并不會提高整條鏈的效率。

“防守型驗證者”監控Arbitrum協議，只在發現不誠實行為時采取行動：要么自己提議一個正確的區塊，要么押注其他驗證者提議的正確的區塊。

行情 | BCH10分鐘漲近5% 突破120USDT:據huobi 數據顯示，BCH10分鐘漲近5%，突破120USDT，現報120.34USDT，當前波幅較大，請做好風險控制。[2019/1/30]

“觀望型驗證者”雖然也像防守型驗證者那樣監控Arbitrum協議，但是就算發現了不誠實行為，他們也不會提議或押注正確的區塊，只會向其他驗證者發出告警。

Offchainlabs會在他們的旗艦Arbitrum鏈上運行主動型驗證者節點。

大多數時候，防守型驗證者和觀望型驗證者不需要做任何事，因此攻擊者永遠不知道有多少防守型驗證者。

雖然任何人都能成為驗證者，但是根據預期，選擇成為驗證者的主要是那些在鏈上質押了大量資產的人，或他們雇傭的人。

全節點

Arbitrum鏈上的全節點與以太坊上的全節點作用相同，負責追蹤鏈的狀態，讓其他人與這條鏈交互。

全節點內置AVM模擬器。因此，在全節點看來，Arbitrum鏈就是根據輸入計算輸出而已，無需了解實際的rollup協議。

全節點可以充當鏈上聚合器，幫助用戶提高成本效率。

Arbitrum還通過某個設施從用戶處收集費用來補償全節點充當聚合器的成本。

全節點還可以通過壓縮交易來進一步降低L1調用數據成本。

全節點將被壓縮的交易提交至收件箱，arbOS收到該交易后會對其進行解壓縮。

全節點通常會將壓縮和聚合合二為一，即，提交一批經過壓縮的交易至收件箱。

定序器模式

當Arbitrum鏈啟動時，我們可以選擇是否啟用定序器。

定序器是擁有決定收件箱中交易排序特權的全節點。

該特權可以讓定序器即時保證交易的結果。

如果Arbitrum鏈啟用定序器，收件箱會分成兩部分：

第一個收件箱會正常運行，仿佛定序器不存在一樣，即，節點可以向該收件箱發送帶有區塊號和時間戳標記的消息。

第二個收件箱將由定序器控制，只有定序器可以向該收件箱發送消息。

在向收件箱發送消息時，定序器可以指定用來標記消息的區塊號和時間戳。

這包括到指定增量區塊為止的區塊號和時間戳和增量秒數。

這些增量值通常相當于現實世界里的10分鐘左右。

當arbOS查看收件箱時，會收到帶有最低區塊號的消息。這個區塊號要么是普通收件箱的區塊號，要么是定序器收件箱的區塊號。

定序器可以回溯的區塊數量取決于需要在以太坊上敲定arbitrum區塊所需的確認區塊數量。

如果arbitrum在以太坊上達成終局性需要等待X個區塊，那么定序器就要回溯X個區塊，以確定自己當前打包的交易會緊跟著哪些交易得到處理

當定序器模式在Arbitrum鏈上啟用時，提交至定序器的交易會比沒有定序器的情況提前x個區塊敲定，但是提交至普通收件箱的交易會比沒有定序器的情況落后x個區塊敲定。

由于即時確定和5分鐘確定與5分鐘確定和10分鐘確定之間存在很大差異，這是一種正向權衡。

但是，惡意定序器能夠在一定程度上利用這些特權。

惡意定序器可以通過不把用戶的交易放入定序器收件箱來審查它們，迫使用戶在發現自己被審查后發送相同的交易到普通收件箱。

定序器還可以搶跑用戶的交易。

初始Arbitrum鏈將啟用由OffchainLabs運行的定序器。

CornellTech團隊在開發去中心化的公允定序器算法方面已經取得了一些成果，只需要再完成一些研究工作就可以應用到Arbitrum的長期解決方案中。

-收件箱在定序器模式開啟/未開啟時的差異-

ArbGas/費用

ArbGas的原理與以太坊gas相似，用來衡量Arbitrum鏈上的計算成本。

但是，Arbitrum鏈上不設硬性ArbGas上限，而且ArbGas的消耗速度比以太坊gas快得多。

ArbGas的一個關鍵作用是預測驗證計算結果所需的時長。

每個Rollup區塊內都包含一個關于ArbGas消耗總量的聲明，也就是說當前區塊內的聲明和前一個區塊內的聲明之差理應是當前區塊的ArbGas消耗量的有效指標。

因此，在檢查區塊有效性時，驗證者可以將這一差值設成gas上限，如果這么多ArbGas在區塊執行完之前耗盡，就可以確定該區塊是無效的，并成功挑戰它。

因為這些交易的數據最終需要上鏈，用戶需要支付費用。

如果該用戶將交易發送給聚合器，部分費用會自動支付給聚合器作為補償。

剩余費用將進入網絡的費用池，用來支付保障整條鏈安全運行的服務費。

費用包含L2交易、L1調用數據、計算和存儲成本。

費用以ETH的形式支付。

結論

Arbitrum是OffchainLabs開發的L2可擴展性解決方案：采用多輪交互式挑戰協議的OptimisticRollup。

旗艦級Arbitrum鏈已于5月28日面向開發者開放。一旦這條鏈上運行的項目到達閾值，就會向用戶開放。

從用戶的角度來看，Arbitrum鏈的交互體驗與以太坊并無差別。

下個月，Tracer將在Arbitrum主網上部署PerpetualSwaps，歡迎關注Tracer的?Twitter，并加入Discord。

如果你想更深入了解Arbitrum，請參閱這篇文檔。

原文鏈接:

https://tracer.finance/radar/arbitrum-in-under-10/

作者:?NickCrow

翻譯&校對:?閔敏&?阿劍

Tags：ARBARBIArbitrumRUMMARBLEX7sharbi幣總量arbitrum幣圈名稱

MATIC