下個月,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協議負責確認已經發生的交易的結果。
參與協議的用戶被稱為驗證者;如果驗證者在質押合約中存入ETH,就會變成質押者,可以給Arbitrum鏈上的區塊押注。
美FBI:追蹤到被朝鮮竊取的約1580枚比特幣:8月23日消息,美國聯邦調查局(FBI)發布聲明,稱在過去24小時內,已追蹤到被朝鮮竊取的約1580枚比特幣,價值超過4000萬美元,共存放在6個地址中,被盜資金來自今年的多次黑客攻擊,其中包括來自Alphapo的6000萬美元和來自CoinsPaid的3700萬美元。FBI認為朝鮮可能試圖出售其持有的加密資產,敦促私營實體檢查與對應地址相關的最新區塊鏈數據,并對直接與這些地址或源自這些地址的交易保持警惕。[2023/8/23 18:17:21]
成為驗證者和質押者都無需經過許可。
在安全性方面,只需要一個誠實的驗證者來確保Arbitrum鏈正確執行。
這使得Arbitrum鏈具備與以太坊鏈相同程度的免信任性。
Arbitrum假設至少有一位驗證者是誠實的。
ArbitrumRollup協議作用于ArbitrumRollup鏈。后者是一條由Rollup區塊組成的鏈,獨立于以太坊鏈。
驗證者的職責是提議新的區塊并將其添加到Arbitrum鏈上。
每個被提議的區塊最終都會被協議確認或拒絕。
每個區塊都包含多個字段。除了區塊號字段之外,每個字段的數據都是區塊提議者的斷言,但不一定是正確的。
如果有任何斷言字段不正確,協議最終會拒絕該區塊。
凡是被提議的區塊都有確認期限。
反對某個區塊的驗證者應提議正確的區塊。成功提交欺詐證明的誠實驗證者會獲得獎勵。
質押
Custodia Bank宣布上線,比特幣托管即將推出:金色財經報道,數字資產支付和托管解決方案Custodia Bank宣布正式上線,上個月已經開始為外部客戶提供服務,目前在美國部分(但不是全部)州提供的服務包括美元存款和美國政府貨幣市場基金服務。比特幣托管即將推出,為銀行客戶提供大于非銀行的保護。
該團隊表示,Custodia Bank最初僅為美國企業客戶(而非個人)提供服務,而且尚未獲得在美國所有州開展業務的授權,正在緩慢而謹慎地逐步開放業務。[2023/8/11 16:21:06]
要想將某個Rollup區塊添加到鏈上,質押者必須押注該區塊。
質押是無需許可的,任何人都可以押注任意區塊。
一旦你押注某個區塊,在該區塊被確認之前無法取回押金。
一旦你押注某個區塊,即表明你認定這個區塊是正確的,且認定最新確認區塊到你所押注的區塊這段鏈上的每個區塊都是正確的。
如果你押注的區塊不正確,或最新確認區塊到你所押注的區塊這段鏈上的某個區塊不正確,你的押金就會被罰沒。
如果你不想押注某個區塊,你可以押注最新被確認區塊。
如果你押注了某個區塊,可將押注延伸至跟在該區塊之后的任何區塊。
所需質押量是動態的。
Arbitrum鏈上有一個指定的基礎質押量參數,在大多數情況下都會用到。
為了防止攻擊者不惜犧牲押注也要拖慢網絡的情況,質押量會乘以一個隨超時時間呈指數級增長的因子。
這是為了增加這類攻擊在攻擊期間的成本。
Cardano在過去七天的社交參與度激增:金色財經報道,根據基于Cardano的分析平臺TapTools數據顯示,Cardano在過去七天里的社交參與度激增,在過去7天內的社交參與度超過4.5799億次。這并不牽強,因為社交分析平臺LunarCrush也強調了Cardano社交參與度的激增。5月11日,LunarCrush宣布Cardano成為“今日代幣”,因為它在社交參與度上名列前茅。Cardano社會參與度的上升可能是由于對其生態系統的討論增加所致。本周,Cardano見證了一系列生態系統的發展和新版本的發布。本周早些時候,Cardano節點v.8.0.0發布,它帶來了一項新的治理行動。[2023/5/15 15:02:32]
這種質押翻倍是暫時的,只會在Arbitrum鏈的區塊確認進程緩慢時發生.
挑戰協議
當兩個質押者押注不同的區塊且這兩個區塊之間沒有繼承關系時,他們會在某個區塊上產生分歧,從而引發挑戰。
挑戰主要發生在Arbitrum鏈上,由L1合約裁決。
挑戰包括一個在L2上進行的交互型多輪切分游戲和一個在L1上執行的單步證明。
如果有質押者對某個區塊提出爭議,提議該區塊的質押者將作為“被告”捍衛自己的斷言。
“被告”質押者聲稱,以上一個區塊為起點,在虛擬機執行N個指令之后,上一個區塊的狀態將推進至其所提議的區塊的狀態。
在切分游戲中,作為“被告”的質押者為先手,將N個指令切分成K段,每段的大小是N/K。
請注意,每段Arbgas消耗量相等,但步驟數量上不一定相等。
Web3 DEX聚合器OpenOcean集成zkSync Era:4月27日消息,Web3 DEX 聚合器 OpenOcean 宣布已集成以太坊二層 ZK-Rollup 擴展解決方案 zkSync Era,OpenOcean 的應用程序接口(API)、軟件開發包(SDK)將能在 zkSync 主網上無障礙使用,后續 OpenOcean 將進一步提升對 zkSync Era 生態系統的支持,并納入 Limit 訂單和跨鏈 Swap 聚合等更多功能。
OpenOcean 稱在 zkSync Era 上已集成 SyncSwap、Velocore、Mute、SpaceFi、iZiSwap 和 GemSwap 等 DEX 的約 1.06 億美元流動性,用戶在 zkSync Era 上交易代幣時,OpenOcean 將通過分析和比較所有可用的方式并找到最佳路線實時報價。[2023/4/27 14:31:16]
還要注意的是,每段都有一個起點和一個終點。
作為“原告”的質押者同樣將N個指令切分成K段,并將它們與Alice的切分段一一對應,發現其中一個切分段的終點與Alice的不同。
Bob實際上是在找出他不認同的切分段。
接著,Bob會執行Alice最初的操作,將有爭議的切分段再切分成K個子段,然后將這個切分段連同子段一起發送給Alice。
Alice執行Bob最初的操作,找到終點不同的那個子段。
切分流程繼續下去,直到Alice和Bob找到他們產生分歧的那一個指令為止。
這個指令被發送給L1合約,并由后者執行它,然后決定這場爭議的“勝訴方”。
18,657 ETH從Binance轉移到未知錢包:金色財經報道,數據顯示,18,657 ETH (價值約33,295,276 美元) 從Binance轉移到未知錢包。[2023/3/19 13:12:33]
“敗訴方”將失去質押物,一部分質押物將被銷毀,其余則獎勵給誠實的“勝訴方”。
在整個切分流程中,作為裁決方的L1合約不知道任何關于指令的信息,只負責核實雙方是否遵循游戲規則。
在爭議期間,其他所有驗證者都能在爭議敲定之前自行斷定爭議的結果,這就意味著會發生軟分叉,且驗證者可以繼續在正確的鏈上提交Rollup區塊。
挑戰期有一個強制的期限,即,每個質押者大約一周時間。
每個質押者必須在一周的限期內完成自己的任務,否則就會“敗訴”。
就像棋賽計時器那樣。
-上圖顯示了兩位質押者在爭議期間進行的多輪交互式切分游戲。實際上,有爭議的斷言包含的指令遠比上圖所示的更多,因此游戲的輪次也更多,但原理是一樣的-
驗證者
驗證者是Arbitrum鏈上的節點,負責監控該Rollup協議的活動并推進整條鏈的狀態。
并非所有節點都是驗證者。
OffchainLabs預期驗證者會采取主動、防守或觀望策略;協議不會強制他們采取哪種策略。
“主動型驗證者”會通過提議新的區塊來持續推進鏈的狀態。每條鏈上只需要一位誠實的主動型驗證者;主動型驗證者的數量增加并不會提高整條鏈的效率。
“防守型驗證者”監控Arbitrum協議,只在發現不誠實行為時采取行動:要么自己提議一個正確的區塊,要么押注其他驗證者提議的正確的區塊。
“觀望型驗證者”雖然也像防守型驗證者那樣監控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:ARBRUMBITARBICRYPTO CARBON ENERGYarbitrum幣交易所bitpie客服arbinu幣今日價格
郁蔥涼爽仲季夏,正是交易挑戰時,Gate.io季夏全能交易挑戰賽即將盛大開啟,歡迎新老用戶參與交易挑戰,共同玩轉現貨、合約、ETF交易,讓收益翻倍!更有21,000美元高額獎金放送.
1900/1/1 0:00:00金色財經報道,Coinbase首席執行官BrianArmstrong將自托管和DeFi列為Coinbase的優先事項。Armstrong表示,DeFi是“行業發展的未來”.
1900/1/1 0:00:00NFT也是一次創造產品/作品的過程,可能會包含以下幾個環節:選擇NFT所在的公鏈、采用的協議類型和未來可能交易的市場,制定NFT的主題、擬發行數量、面向人群和上線后玩法.
1900/1/1 0:00:00作者:碳5;編輯:黑土 如果說2017年屬于ICO、2018年屬于IEO、2019年屬于CBDC,2020年屬于DeFi,那么2021年——無疑屬于NFT.
1900/1/1 0:00:00目前,Filecoin挖礦全網有效算力增長至6.85EiB,有效算力增長代表著參與挖礦的礦工以及礦機規模也在同樣增長中.
1900/1/1 0:00:00親愛的用戶: XDC節點升級完畢,HomiEx現已恢復XDC的充值和提現。暫停期間給您帶來的不便,敬請諒解!風險提示:虛擬貨幣投資是一種高風險的投資方式,它是7×24小時的交易方式,所以不會有收.
1900/1/1 0:00:00