比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

Arbitrum 基礎架構與概念入門_TRU

Author:

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

本文為 Arbitrum、Go Pocket 和 Rebase 社區聯合舉辦的 『Arbitrum 基礎架構講解:快速入門』 講座的文字整理版。

Arbitrum 是什么?

Arbitrum 是以太坊的樂觀式 Rollup 擴容方案,有以下特性:

無需信任的安全性:安全扎根于以太坊,任何人都可以確保正確的 L2 結果。若 L2 鏈完全宕機,僅憑以太坊上的信息就可以重建整條 L2 鏈。

以太坊兼容性:所有 EVM 標準的合約和轉賬都可以在 Arbitrum 上執行。

可擴展性:將以太坊的計算和存儲轉移至鏈下,吞吐量更高。

最低成本:為最小化以太坊 L1 燃氣成本而生,降低每筆交易的成本。

瞬時最終性:開啟序列器模式的 Arbitrum 鏈會有最終瞬時性這一殺手級特性,瞬時最終性也即交易確認幾乎不需要等待。Arbitrum 團隊上線的官方旗艦鏈 Arbitrum One 開啟了序列器模式。

代碼需要修改嗎?代碼無需修改。完整的 EVM 兼容性對開發者是相當友好的。

支持什么語言?Solidity/Vyper,沒有編譯器、版本限制。

開發環境一致嗎?各種工具如 Truffle、HardHat 以及 IDE 均可以在 Arbitrum 上使用,開發環境完全一致。

沒有 Gaslimit!Arbitrum 上沒有 gaslimit,合約開發者有新的玩法。

總結來說,合約開發者從以太坊遷移到 Arbitrum 其體驗是相同的,幾乎等同于從 Rinkeby 遷移到主網。當然,會有一小部分特性因為 L2 的原因而有所不同,請見 官方文檔:與以太坊的不同點。

Arbitrum 整體架構可以簡要分為 L1 上的 EthBridge 與 L2 上的 AVM。

EthBridge 主要管理著 Inbox,Outbox 和 Rollup 合約。

數據:超過55%的ARB空投已被申領:金色財經報道,Dune數據顯示,已有超6.5億枚Arbitrum代幣(ARB)被認領,占此次空投供應量的55.94%。申領地址數已超33.9萬。[2023/3/24 13:23:13]

Inbox:所有交易都會先發送至 Inbox 然后再送給 L2。Arbitrum 鏈將各條信息逐一讀取并依次執行。鏈的狀態僅取決于收件箱,Rollup 中也不存在 PoW/PoS 記賬,所以交易的結果在你將交易提交到收件箱的那一刻就已經是確定的了。

Outbox:記錄著在 L2 上發生的最終需要返回以太坊上的事務或消息,如提現。

Rollup 及挑戰:Rollup 協議記錄了一條 rollup 區塊組成的概念上的鏈。 驗證者可以提出 rollup 區塊。如果有驗證者不同意其他驗證者提出的 rollup 區塊,可以發起挑戰。挑戰的裁判為以太坊上的 EthBridge,輸家質押的資金一半會被銷毀,一半獎勵給贏家。

Arbitrum 在 L2 底層實現了 AVM 虛擬機和指令集,并自定義了一種語言 mini 及其編譯器,通過 mini 在 ArbOS 中實現了 EVM 模擬器。AVM:一個在 L2 上運行的『操作系統』。ArbOS 對不同的合約進行隔離并追蹤其資源使用情況。

ArbOS:Arbitrum 虛擬機,AVM,是 L1 和 L2 的接口。L1 提供了 AVM 接口并確保 VM 的正確運行。L2 運行 AVM 并提供了一些功能,如部署合約,運行合約,追蹤余額,以及所有有智能合約的區塊鏈所需的能力。

每個 Arbitrum 鏈都只有一個 AVM,執行所有運算,維護所有存儲空間。有些其他系統對每個合約都單獨運行一個虛擬機,而 Arbitrum 更像以太坊,一個虛擬機管理整條鏈。對多個合約的管理是由運行在 AVM 上的軟件實現的。

當有人對 rollup 區塊發起挑戰時,以太坊上的仲裁合約需要對 rollup 區塊的真實性做出驗證。Arbitrum 與 Optimism 使用了不同的設計范式。最終導致了雙方架構和流程有了顯著不同,二者的優缺點與整體設計都來自各自的設計范式。

再執行(單輪互動)

ARB Token為防止機器人濫用,本次空投建立積分制:3月16日消息,以太坊 Layer2 擴容解決方案 Arbitrum 正式宣布將發行原生 Token ARB 并公布 Token 經濟學。據悉,ARB 初始總供應量為 100 億枚,總供應量將以每年至多 2% 的速度膨脹。

其中,11.62% 分配給用戶,1.13% 分配給 Arbitrum 生態中的各個 DAO,17.53% 分配給 Offchain Labs 投資者,26.94% 分配給 Offchain Labs 團隊成員、未來團隊成員、貢獻者,42.78% 分配給 Arbitrum DAO 金庫。

為防止機器人濫用,本次空投建立了許多反女巫規則,并建立積分制,每 1 分對應一個具體的空投 Token 數目:1、如果空投接收者的錢包交易全部發生在 48 小時內,則減去一分;2、如果空投接收者的錢包余額低于 0.005 ETH,并且錢包沒有與多個智能合約交互,則減去一分;3、若在此前 Hop 協議賞金計劃期間,空投者錢包地址被識別為女巫攻擊者地址,則其將被取消資格。

目前 Arbitrum 已公布的空投查詢頁面,僅支持用戶查詢空投情況,具體空投發放日期為 3 月 23 日。[2023/3/17 13:09:01]

Optimism 使用再執行設計范式,有挑戰時直接在以太坊上重新執行整條交易。

Arbitrum 使用單步證明設計范式,將被挑戰的 rollup 區塊中的命令通過分割協議,進行多輪分割,最終會分割為一個不可分割的最小 AVM 指令集,如 ADD。最終以太坊進行單步證明。

整體而言,Arbitrum 的設計范式優于 Optimism,有以下非常關鍵的優點:

Gas 費用低:Optimism 每次交易均需要向 L1 提交狀態根,Arbitrum 則采用批量提交的方式。此差異會帶來顯著的   費用差距。無 Gas limit:由于單步證明每次都分割為最小指令,Arbitrum 不需要引入 gas limit。而 Optimism 為了確保每筆交易都能被以太坊驗證,那每筆交易都必須低于以太坊的 gas limit。更輕便的證明:AVM state 易于被 L1 證明,單步證明也縮減了證明所需的 gas 消耗。指令集靈活性:對 EVM 實現,AVM 使用虛擬化設計,而 OVM 使用容器化設計。如果 EVM 修改 / 刪除了某些操作碼,Optimism 在 L1 上的歷史交易的可驗證性上將變得比較棘手。而 AVM 掌握自己的技術標準,不存在此問題。EVM 兼容性:AVM 是 EVM 全兼容的,這意味著合約開發者不需要修改代碼即可遷移,而移植到 Optimism 上則需要對代碼進行修改,Optimism 需要特殊的 solidity 編譯器來生成 OVM 字節碼,開發者需要遵循其特殊規則。

Premia與Lido合作在Arbitrum上推出wstETH期權池:10月26日消息,DeFi期權協議Premia與Lido達成合作,已在Arbitrum上推出wstETH期權池。[2022/10/26 11:44:19]

當然,Arbitrum 這種設計也會有一些缺點,但通常我們認為這些缺點不構成實質問題:

對 Arbitrum 開發團隊而言,AVM 實現更復雜。但這與用戶或合約開發者無關。

多輪互動需要雙方在挑戰結束前都在線,以應對挑戰。但這應該對于絕大部分驗證者都不是問題。

記錄并追蹤 Arbitrum 鏈的狀態并接受來自用戶 RPC 調用的網絡節點。類似于 L1 以太坊上的非挖礦節點。任何人都可以選擇成為普通節點。

聚合器,Aggregator。一種 Arbitrum 全節點,接收用戶的交易并批量聚合提交。任何人都可以選擇成為聚合器。

序列器,Sequencer。一個有權對一定時間內的交易進行重排序的節點,也具有批量聚合提交交易的能力。開啟序列器模式的 Arbitrum 鏈可以使用序列器。

由于這種排序能力,以及上面提及的進入收件箱后交易結果就確定了這兩個特性,向善意的序列器(即它不會惡意地移動、延遲你的交易)提交交易后,你就可以直接根據序列器返回給你的結果確認最終性而無需參考其他消息。也即在使用 Arbitrum 的時候你會發現,提交交易后幾乎瞬間交易就完成了,幾乎讓所有 UI 中的等待動畫都失去了用武之地。

序列器在 Arbitrum One 上線初期使用的是中心化指定的方式,由 Arbitrum 官方運行,并非任何人都可以成為序列器。Arbitrum 團隊日后會研發去中心化序列器方案。更多關于公正排序、去中心化序列器的信息請見 Order-Fairness for Byzantine Consensus。

即使序列器是 Arbitrum One 中主要的交易樞紐,也不能據此認為 Arbitrum 是中心化的網絡。因為用戶如果不信任序列器,仍然可以向其他普通節點或聚合器提交交易,這些交易將被提交給慢速收件箱(序列器使用的是快箱)。也就是說 Arbitrum 網絡仍然保留著抗審查能力,即使序列器作惡也無法阻止你的交易提交。另外,序列器的排序能力是有限的,序列器更無法偽造交易。

以太坊隱私交易平臺Tornado.Cash計劃部署至Arbitrum:11月29日,據官方消息,以太坊隱私交易平臺Tornado.Cash計劃部署至Arbitrum。Tornado的智能合約已經全部設置完成,只需通過社區的幫助完成部署和啟動。此前Tornado.Cash已成功部署至BinanceSmartChain、Polygon、xDAIChain和Avalanche。[2021/11/29 12:39:34]

驗證者,Validator。質押資金并參與可爭議斷言(也叫 rollup 區塊)的人。既可以主動發起斷言更新狀態,也可以監控其他驗證者的斷言并對錯誤斷言進行挑戰。

驗證者的任務是維護 rollup 鏈的安全,提出新的或質押于已存在的 rollup 區塊。如果有驗證者不同意其他驗證者提出的 rollup 區塊,可以發起挑戰。挑戰的裁判為以太坊上的 EthBridge,輸家質押的資金一半會被銷毀,一半獎勵給贏家。

驗證者對網絡的安全保障有一個簡單易證的原則:anyTrust Guarantee,也叫一誠則成原則,即只要有一個誠實的驗證者,即可讓整個鏈的狀態向正確的方向推進。

Rollup 協議記錄了一條 rollup 區塊(又叫斷言,DA)的鏈條,它們與以太坊區塊并不是同一個概念。你可以認為 rollup 鏈是一條概念上的單獨的鏈,是由 Arbitrum rollup 協議管理并監控的。Rollup 鏈只可能有一條路徑是正確的,其余的分支最終會被挑戰證偽,一般情況下無人作惡則不會有錯誤的分支。

每個 rollup 區塊包含:

rollup 區塊編號

父 rollup 區塊編號:本 rollup 區塊之前一個(被宣稱為)正確的 rollup 區塊的編號

本鏈歷史上所發生的運算量(以 ArbGas 計量)

本鏈歷史上所接收的收件箱信息數量

對本鏈歷史輸出的哈希

鏈狀態的哈希

以太坊Layer2總鎖倉量突破36億美元,Arbitrum以27億美元位居榜首:據L2BEAT數據顯示,截至9月17日,以太坊Layer2總鎖倉量已突破36億美元,其中鎖倉量最高的是Arbitrum,約為27億美元(7日內漲幅高達2014.17%),占比74.35%;其次是dYdX,鎖倉量為3.718億美元,占比10.37%;Optimism以2.452億美元的鎖倉量位居第三,占為6.84%。[2021/9/17 23:32:52]

驗證者可以提出 rollup 區塊。新的 rollup 區塊一開始是待決狀態。最終每個 rollup 區塊都會被解決,要么被確認,要么被拒絕。已確認的區塊構成了整條鏈的歷史。

在任何時間,都會有一部分驗證者成為質押者。質押者通過 EthBridge 充值資金,如果輸掉挑戰則會被沒收。目前所有鏈接受以太幣為質押物。

單筆質押可覆蓋一系列 rollup 區塊。每個質押者都質押在最新確認區塊上;如果你質押了一個區塊,你還可以繼續向其子區塊質押。所以你是可以質押在一串連續正確的區塊上的。

創建新的 rollup 區塊必須成為質押者,且已在你所創建的區塊的父區塊上質押了資金。如此便確保了作惡則懲罰機制能夠執行。

當一名驗證者不同意另一名驗證者時(還有很多條件需要同時滿足),會進入挑戰。 每一個 DA 都有一個挑戰期,在挑戰期結束之前才能進行挑戰。在 Arbitrum One 上為 7 天。關于如何合理地設置挑戰期請參考 Ed Felten 的文章 Optimizing challenge periods in rollup | by Ed Felten | Offchain Labs | Medium。

挑戰者發起挑戰后,應戰者將被挑戰的斷言分為分割協議規定的若干份;挑戰者繼續指出其中有問題的一段,應戰者再繼續分割;經過多輪互動后,問題聚焦在一條最小的不可分的指令上,應戰者再向 EthBridge 提供單步證明。EthBridge 驗證后整個挑戰結束。

挑戰結束后,一半資金會獎勵給贏家。另一半資金會被銷毀。 通過低成本解決爭議,對輸家進行高額懲罰的密碼經濟學方式,Arbitrum 有力地震懾了作惡行為,即使是發生爭議的情況下,也不會帶來明顯的鏈上沖擊。在正常情況下,驗證者會觀點一致并推進鏈的狀態。

自由代幣橋接:原則上來說,L1 到 L2 代幣橋接是自由、免許可的,任何人都可以將任何幣種跨到 L2,甚至還可以制作自己的自定義橋。如果某幣種尚未跨到 L2 上,只需要調用跨鏈功能即可,該操作普通用戶就可以完成,無需代幣項目方許可或者任何特殊權限或專業知識。但目前項目剛上線,為防止不可測的問題(如特殊代幣跨鏈),官方還沒有開啟自由橋接,而使用了白名單機制。日后會放開限制。

特殊代幣走橋:Rebase 型,持幣生息型(如 AMPL,aETH 等),特殊功能代幣(如 USDT 有凍結功能),這種需要實現特殊的橋,使用特殊橋進行遷移,否則會出現不可預知的問題。

地址映射關系:L1 上的代幣跨到 L2 后,其地址是確定的。L1 地址到 L2 地址的關系為單射,且可逆推。通過權威地址映射 oracle 確保,同一個 L1 代幣不論走過哪些自定義橋,在 L2 上最終只會有一個合約地址。

反向橋:L2 上的原生代幣跨到 L1 上的橋,目前還不存在(雖然你可以自己實現一個)。在 L2 上原生發幣又想回到 L1 的項目需要注意。

充值最重要的概念是 Retryable Tickets,該機制解決了充值的原子性和多余燃氣處理問題。在 L1 充值到 L2 時,如果不使用 Retryable,一旦出現 L1 成功了但 L2 上失敗的情況,用戶的錢將永久被鎖定在 L1 合約里。所以當前的 Arbitrum 版本已經禁止非 Retryable 的普通方法。

使用 Retryable 如果失敗后,可以在一個挑戰期(7 天)內重試領取。

普通提現在 L1 上有一個等待期(時長同挑戰期),結束后需要手動領取,該過程也需要花費 L1 上的 Gas。

快速提現依賴快速提現服務商,以及流動性提供者或交易對手。而快速提現能夠實現而不用等待 7 天挑戰期,則基于對 Arbitrum 最終性的理解,文末會詳述。

主要實現方式包括可交易提款和原子鎖交換。目前有 cBridge, renBridge,Connext 等方案為 Arbitrum 提供快速提現或跨鏈服務。

另外,單獨的 NFT、L2 向 L1 的外流信息等非同質化的 token 和 message,并不適用于基于流動性的快速提現 / 傳播,因為沒人能夠提供等價物。

若想使用 官方橋 但自己實現另一套 UI 用于自己的產品中,請參考 arbitrum/packages/arb-ts at master · OffchainLabs/arbitrum · GitHub 中的內容。

ArbGas 是 Arbitrum 用來管理鏈上執行成本的。與以太坊 gas 的理念一致,每個 AVM 指令都會有一定數量的 ArbGas 消耗,而一次運算的總成本是該運算包含的指令的 ArbGas 的加總。

我們需要關注幾個點:

豐饒度和數量級:ArbGas 的值遠大于 L1 的 gas。ArbGas 并不能直接與以太坊 gas 相比。開發者和用戶應該把 ArbGas 理解為是比以太坊 gas 更加且便宜的。

無 gaslimit:Arbitrum 并沒有硬性的 ArbGas limit,正常情況下 Arbitrum 鏈每秒可以消耗任意數量的 ArbGas,而在以太坊中則有 gas limit。

Computational Gas:用來描述 AVM 計算成本,一般情況下接觸不到,在 Arbiscan 中每條交易的 Advanced Info 中可以查到。該數值與用戶交易時的 gas 不應混淆。

二價競拍:在以太坊上,一筆交易的燃氣價格等于其聲明的 gasbid(price×limit)。在 Arbitrum 則不同,gasbid 會視作該交易所愿支付的最高價格。所以,在 Arbitrum 中,提交交易時錢包上顯示的 gas 使用量和實際使用量是不同的,實際使用量可能會比顯示的少 50%(一個經驗值,只能代表我個人在特定時間內的使用情況)。

Arbitrum 網絡費用的收費機制:Arbitrum 的網絡費用主要用于補償驗證者、聚合器、序列器等工作角色在 L1 上的 gas 費用,具體經濟模型由 ArbOS 管理。

對 Arbitrum 交易成本的預期:

Arbitrum L2 的固定成本主要來源于 L1 上的 rollup 信息提交行為,其中的固定成本可以攤薄,對固定成本而言_使用人數越多則越便宜(但對 calldata 則未必)。 另外,L1 上的 gas 水平因此也影響到 L2 上的 gas 水平。綜合這兩方面考慮可以說,在一定數量級內,L1 上的用戶涌入到 Arbitrum 上的越多,則 Arbitrum 使用起來越便宜。

Arbitrum 上的最終性有四種層級。不同的用戶或開發者,需要根據自身的需求來確定使用不同的最終性標準。對于普通用戶或普通項目的開發者而言,信任序列器即可,這也是大部分錢包、應用默認的選擇,用戶什么也不需要做。特殊項目的開發者,如跨鏈協議等,可能需要考慮更加堅實的最終性以應對極端情況。

一個挑戰期過后 DA 被確認,最強的最終性,完全無法更改。由于時間太久,除了官方橋提現等動作需要依照此最終性以外,在實踐中不太可能使用,顯然你不可能在 SushiSwap 上做了一筆交易后,7 天后才能說這筆交易確認了。

如果你信任某個驗證者,或者你自己就是驗證者,你可以選擇相信別人或你自己。根據一誠則成原則,只要這些驗證者是誠實的,他們背書的 DA 最終會得到確認。

不質押的驗證者,或者普通的聚合器,由于缺乏質押,其可信性比上一種要小一些。但如果你信任的話,也可以采用這種標準。

信任序列器的最終性是最快的,幾乎是瞬時的。只要序列器不作惡,那返回的結果都是正確可信的。大部分用戶和 dApp 都會采用這種方式。

Tags:ARBTRUARBIRBIArbitrage TokenTrueCNHArbiPadRBIS幣

以太坊交易
美證監會主席仍稱加密資產為“狂野西部”_SEC

原標題:美證監會主席暗示對公司債券和資產支持證券從嚴監管,仍稱加密資產為“狂野西部”相當于美版證監會的美國證券交易委員會(SEC)掌門人Gary Gensler.

1900/1/1 0:00:00
穩定幣縱覽:為什么大家都想發行穩定幣?_HER

在加密貨幣行業里,穩定幣似乎一直都是核心爭議話題之一,而且還有許多新問題不斷涌現。我們發現,一些公司和協議幾乎每周都會宣布各種的穩定幣舉措,似乎加密貨幣行業中的每個人都急于推出自己的穩定幣.

1900/1/1 0:00:00
金色觀察 | 從今日頭條到VC Paradigm 黃共宇的投資眼光很“辣”_DIG

從今日頭條到加密風投基金Paradigm ,投資人黃共宇(Matt Huang)在VC圈的成績有目共睹.

1900/1/1 0:00:00
金色觀察 | 季度稅前利潤增56%后 日本金融巨頭SBI加緊加密布局_ITA

在今年Q2稅前利潤同比增長56%后,日本金融巨頭SBI進一步加快了其加密征程。最新消息顯示,三大金融服務公司日本SBI集團、瑞士的Sygnum銀行和意大利的Azimut集團成立了一個新的新加坡風.

1900/1/1 0:00:00
重磅 5G消息首次上線數字人民幣錢包_數字人

近日,中國移動通信有限公司(以下簡稱“中國移動”)聯合中國工商銀行共同完成基于5G消息的數字人民幣錢包并正式上線,成為第一家在5G消息中應用數字人民幣的運營機構.

1900/1/1 0:00:00
騰訊首款元宇宙項目曝光 千人集結_區塊鏈

走出去、帶你玩、搞3A、元宇宙,天美四部曲Metaverse、社交+游戲、姚曉光帶隊、覆蓋北上深,騰訊天美工作室群這則招聘海報,到底在釋放什么信息?近日.

1900/1/1 0:00:00
ads