本文為 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 合約。
Arbitrum向veCRV控制的智能合約發送1枚ARB以進行測試:4月20日消息,Arbitrum向veCRV控制的智能合約發送1枚ARB以進行測試,為了在產品中測試veCRV是否正確控制資產。[2023/4/20 14:15:11]
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存款問題,此前執行過DelegateVotesChanged事件的存款顯示為未記入:金色財經報道,據官方推特消息,幣安于今日凌晨發現ARB存款存在問題,導致那些執行過DelegateVotesChanged事件的存款顯示為未記入,并表示團隊正在解決此問題。
大約2小時之后,幣安宣布已修復ARB存款問題,所有受影響的存款現在都已記入相關用戶賬戶。[2023/3/24 13:23:25]
再執行(單輪互動)
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 字節碼,開發者需要遵循其特殊規則。
當然,Arbitrum 這種設計也會有一些缺點,但通常我們認為這些缺點不構成實質問題:
對 Arbitrum 開發團隊而言,AVM 實現更復雜。但這與用戶或合約開發者無關。
Gearbox將于幾日后發布啟動Token的提案,預計12月上旬實現Token可轉移:11月18日,據官方消息,DeFi可組合型杠桿協議Gearbox Protocol將在幾日后發布關于啟動Token GEAR的提案,提案執行和Token可轉移性預計會在12月上旬實施。根據此前的一份提議,Token發行會分為兩個階段,第一階段為通過Gnosis Auction拍賣售出1.5億枚GEAR,起拍價為0.015美元,拍賣將持續3天;第二階段為在Balancer建立一個流動性池,并啟用GEAR可轉移性,Gnosis Auction中籌集的全部資金將轉換為ETH,并與等價值(根據Gnosis拍賣定價)的GEAR配對,并存入Balancer上一個新的50/50流動資金池。[2022/11/18 13:20:49]
多輪互動需要雙方在挑戰結束前都在線,以應對挑戰。但這應該對于絕大部分驗證者都不是問題。
記錄并追蹤 Arbitrum 鏈的狀態并接受來自用戶 RPC 調用的網絡節點。類似于 L1 以太坊上的非挖礦節點。任何人都可以選擇成為普通節點。
聚合器,Aggregator。一種 Arbitrum 全節點,接收用戶的交易并批量聚合提交。任何人都可以選擇成為聚合器。
序列器,Sequencer。一個有權對一定時間內的交易進行重排序的節點,也具有批量聚合提交交易的能力。開啟序列器模式的 Arbitrum 鏈可以使用序列器。
由于這種排序能力,以及上面提及的進入收件箱后交易結果就確定了這兩個特性,向善意的序列器(即它不會惡意地移動、延遲你的交易)提交交易后,你就可以直接根據序列器返回給你的結果確認最終性而無需參考其他消息。也即在使用 Arbitrum 的時候你會發現,提交交易后幾乎瞬間交易就完成了,幾乎讓所有 UI 中的等待動畫都失去了用武之地。
序列器在 Arbitrum One 上線初期使用的是中心化指定的方式,由 Arbitrum 官方運行,并非任何人都可以成為序列器。Arbitrum 團隊日后會研發去中心化序列器方案。更多關于公正排序、去中心化序列器的信息請見 Order-Fairness for Byzantine Consensus。
ZigZag在Arbitrum網絡推出測試版本,測試階段交易費用為0:7月24日消息,以太坊二層網絡zkSync上原生去中心化交易平臺ZigZag在Arbitrum網絡推出測試版本。協議升級包括下達多個訂單、交易單部分執行。
為了激勵流動性深度,做市商無需付費。在測試階段,交易費暫定為0,之后預計將收取0.05%交易費,作為協議利潤來源。ZigZag目前的Arbitrum測試版本中,上線USDC/USDT和ZZ/USDC2個代幣交易對通過ZigZag的無權限上市流程,任何用戶都可以根據需要用自己的資金提供流動性。[2022/7/24 2:33:57]
即使序列器是 Arbitrum One 中主要的交易樞紐,也不能據此認為 Arbitrum 是中心化的網絡。因為用戶如果不信任序列器,仍然可以向其他普通節點或聚合器提交交易,這些交易將被提交給慢速收件箱(序列器使用的是快箱)。也就是說 Arbitrum 網絡仍然保留著抗審查能力,即使序列器作惡也無法阻止你的交易提交。另外,序列器的排序能力是有限的,序列器更無法偽造交易。
驗證者,Validator。質押資金并參與可爭議斷言(也叫 rollup 區塊)的人。既可以主動發起斷言更新狀態,也可以監控其他驗證者的斷言并對錯誤斷言進行挑戰。
驗證者的任務是維護 rollup 鏈的安全,提出新的或質押于已存在的 rollup 區塊。如果有驗證者不同意其他驗證者提出的 rollup 區塊,可以發起挑戰。挑戰的裁判為以太坊上的 EthBridge,輸家質押的資金一半會被銷毀,一半獎勵給贏家。
驗證者對網絡的安全保障有一個簡單易證的原則:anyTrust Guarantee,也叫一誠則成原則,即只要有一個誠實的驗證者,即可讓整個鏈的狀態向正確的方向推進。
Rollup 協議記錄了一條 rollup 區塊(又叫斷言,DA)的鏈條,它們與以太坊區塊并不是同一個概念。你可以認為 rollup 鏈是一條概念上的單獨的鏈,是由 Arbitrum rollup 協議管理并監控的。Rollup 鏈只可能有一條路徑是正確的,其余的分支最終會被挑戰證偽,一般情況下無人作惡則不會有錯誤的分支。
以太坊二層擴容方案Arbitrum宣布Arbiscan瀏覽器已上線:以太坊二層擴容方案Arbitrum發推稱,與區塊鏈瀏覽器Etherscan合作的Arbiscan已經上線。[2021/8/30 22:46:03]
每個 rollup 區塊包含:
rollup 區塊編號
父 rollup 區塊編號:本 rollup 區塊之前一個(被宣稱為)正確的 rollup 區塊的編號
本鏈歷史上所發生的運算量(以 ArbGas 計量)
本鏈歷史上所接收的收件箱信息數量
對本鏈歷史輸出的哈希
鏈狀態的哈希
驗證者可以提出 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:ARBRBIARBITRUarbitrum幣中文名稱arbitrum幣價格sharbi幣總量trustwallet怎么提現人民幣
太多的橋可供選擇 是否曾經走錯了橋,到達了錯誤的地方,不得不返回原路才能到達最終目的地,但由于gas耗盡而被困住了?隨著越來越多的區塊鏈互操作性協議到達主網,如果不小心,這將是一個普遍的問題.
1900/1/1 0:00:00NFT社區的大多數人都知道,在一個錢包從合約中鑄造了1008個代幣(占總供應量的15%)后,Sevens上周的發布失敗了.
1900/1/1 0:00:00數字金融的發展離不開技術的驅動。區塊鏈具備提升協同效率、促進數據共享、優化業務流程、降低運營成本和建設可信體系的優勢,在數字金融的發展中不可或缺.
1900/1/1 0:00:00國內NFT商家,都在巴巴望著啥時候可以開二級市場交易。也有一些律師同行給了客戶無牌照可交易的建議,但基于多年辦案經驗和對政策的敏感,颯姐認為,NFT二級市場交易的紅線還是有一定之規.
1900/1/1 0:00:00你愛刷抖音、快手嗎?你在騰訊視頻、優酷、愛奇藝看過愛豆影視綜藝作品嗎?如果答案是“是”的,這正反映了一個事實:現在互聯網絕大多數帶寬都用于觀看視頻.
1900/1/1 0:00:009月24日,國家發改委等11部門發布《關于整治虛擬貨幣“挖礦”活動的通知》(以下簡稱“發改委《通知》”),宣布虛擬貨幣“挖礦”活動將被正式列為淘汰類產業.
1900/1/1 0:00:00