以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > XRP > Info

金色觀察|一文詳解Arbitrum Rollup如何工作_LIC

Author:

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

近日以太坊layer2擴容方案Arbitrum獲得三個重大進展:5月28日Arbitrum向開發者開放主網、Uniswap V3部署到Arbitrum的提案獲得通過、Etherscan宣布正在為 Arbitrum構建資源管理器。

但是Arbitrum Rollup的具體工作機制,很多人可能還不了解。本文詳解,主要來自Offchain Lab聯合創始人Ed Felten的解讀文章。

Offchain Lab聯合創始人兼首席科學家Ed Felten曾這樣形容Arbitrum Rollup,Arbitrum Rollup是一個由以太坊鏈上合約管理的鏈下協議。為使應用能夠在Arbitrum Rollup上運行,dApp開發者需要用Solidity編寫一組合約,然后將這些合約編譯成可以在Arbitrum虛擬機上運行的可執行代碼。

Rollup基礎知識:我們使用默克爾樹(Merkle Tree)來組織虛擬機狀態,因而可以算出虛擬機狀態的密碼學哈希值。我們把這個哈希值存儲在鏈上,因此在協議的任何一個時間點,都會有一些虛擬機的狀態(通過鏈上共識)被完全確認和最終敲定。這些已經獲得終局性狀態的哈希值存儲在鏈上。

協議的參與者,通過提出一個爭議斷言(Disputable Assertion)來推進該虛擬機的狀態;該斷言聲明,從某些狀態哈希開始,基于一些技術前提,虛擬機將會執行特定數量的計算步驟,生成新的狀態哈希,并在執行期間完成相關的支付,生成相關的日志事件。爭議斷言可能是有效的(即可信的),也可能是無效的。參與者在提出爭議斷言時需要為保證斷言的有效性而質押上一筆押金。

金色午報|12月14日午間重要動態一覽:7:00-12:00關鍵詞:G20主席國會議、Axie Infinity、Hester Peirce、Valour

1.G20主席國會議:必須發行CBDC,但目前沒有明確目標;

2.Axie Infinity官方網站躋身全球互聯網參與度排名前500;

3.Hester Peirce:美國SEC主席的監管議程未能包括對加密貨幣的明確說明;

4.俄羅斯調查委員會:涉嫌刑事案件的加密貨幣應被轉移到特殊的國家加密賬戶;

5.浙江突擊排查發現34家國有單位存在主動“挖礦”情形;

6.《南華早報》:中國正探索設立虛擬資產交易場所;

7.Valour將在歐洲推出元宇宙和游戲指數ETP;

8.遠程招聘公司Deel支持使用USDC、Solana支付工資。[2021/12/14 7:38:03]

如上圖所示,提出一個爭議斷言就會產生一個協議最終必須要解決的邏輯決策點。如果爭議斷言是有效的,則系統將進入圖中右上角的新狀態,包括由爭議斷言生成的新狀態哈希值,以及其他附帶效果(產生相應的支付和日志)。若爭議斷言是無效的,則進入右下角的分支,爭議斷言被系統拒絕,原來的狀態不會發生變化。

最開始的Arbitrum協議每次只處理一個爭議斷言。當某些參與者提出一個爭議斷言后,會有一個挑戰期,在此期間任何人都可以挑戰這個爭議斷言。如果沒有被挑戰,則該爭議斷言將被系統接受;否則就會執行糾紛解決協議,撤銷爭議斷言(這是為了防止提議者和挑戰者合謀炮制爭議結果)。

金色財經挖礦數據播報:ETH今日全網算力下降1.71%:金色財經報道,據蜘蛛礦池數據顯示:

BTC全網算力156.940EH/s,挖礦難度21.45T,目前區塊高度675244,理論收益0.00000672/T/天。

ETH全網算力442.529TH/s,挖礦難度5621.29T,目前區塊高度12066262,理論收益0.00621647/100MH/天。

BSV全網算力0.494EH/s,挖礦難度0.07T,目前區塊高度679042,理論收益0.00182241/T/天。

BCH全網算力1.227EH/s,挖礦難度0.17,目前區塊高度679316,理論收益0.00073361/T/天。[2021/3/19 18:59:17]

這樣做很簡單,但是有兩個缺點。首先,因為每次只處理一個爭議斷言,所以虛擬機的處理速度很受限。在每個挑戰期內,正常的處理流程基本上都將停滯。第二,惡意參與者通過故意挑戰所有的爭議斷言可以徹底凍結虛擬機。攻擊者需要付出一些押金作為代價,但是只要他們愿意,他們至少可以在某些特定場景下通過這種攻擊長時間延誤系統(而獲利)。

新的Arbitrum Rollup協議解決了上述的兩個缺點。通過“流水線化”處理多個爭議斷言,驗證節點模擬虛擬機的運算速度有多快,虛擬機的處理速度就有多快。第二,我們后面將會解釋,惡意參與者無法延阻系統,他們只能暫時延誤對最終結果的鏈上確認,但這些結果對誠實節點來說早已“無需信任地被敲定了”。

金色熱搜榜:SEELE居于榜首:根據金色財經排行榜數據顯示,過去24小時內,SEELE搜索量高居榜首。具體前五名單如下:SEELE、OKB、BTC、ADA、XRP。[2020/11/9 12:06:04]

所以,到底怎么做到呢?

每個狀態后面最多可以接一個爭議斷言。如果一個狀態后面沒有爭議斷言,那么任何人都可以生成一個爭議斷言接在后面,作為一個新的分叉點。結果就是產生了一棵“可能的未來”之樹(A tree of possible futures)。

“可能的未來”之樹

協議的另外一個重要的部分是Staking。任何人都可以在樹上的某個方框(狀態)后面質押。對某個方框質押,意味著你在斷言該方框最終將被協議確認。換句話說,你在斷言從當前狀態到你押注的方框所在的這條分支是正確的分支。如果你錯了,可以想見你的押金將被罰沒。

質押行為不能被撤銷。你可以將你的質押向右移動——可以在分叉點后向上或向下選擇分支——但你不能向左移動質押,因為這相當于撤銷你之前作出的質押承諾。

提出爭議斷言的參與者要在“認可其斷言有效”的繼任方框上質押。通常他們可以向右移動已存在的質押到滿足條件的方框上。(在極少數情況下(譯者注:比如他們的斷言是無效的,被成功挑戰)他們不能這樣做,他們可以額外再質押到需要的方框上。但是注意,他們將在相沖突的兩條路徑上質押,因此最終他們會損失至少一筆押金——通常自相矛盾不是明智的移動選擇)。

金色相對論 | 夏立:比特幣引起的數字貨幣和開放金融創新正在開啟第二個十年的建設:在本期金色相對論中,針對“目前區塊鏈行業處于什么階段?有哪些特性?”的問題,清華x-lab區塊鏈實驗室主任夏立表示整個行業還是處于早期。有人可能會拿區塊鏈行業對比互聯網行業的發展,這里可以看做分為三個階段,每個階段差不多10年。首先看到互聯網行業在上世紀90年代興起,在前10年基本聚集的都是民間個人或私人企業搭建的信息聚集和分享公網數據平臺,這部分內容主要是普通用戶參與較多。接下來的2000年開始政府、央企及銀行業開始大力發展內部業務服務的深網數據平臺,這部分都是在企業內部或企業間可見,并數據可見范圍嚴格權限管理。最近的10年是互聯網及移動互聯網快速發展的階段,用戶通過互聯網不再是獲得的線上數據服務,而是實實在在的獲得了生活、娛樂、政務、金融服務等各方面之前在線下獲得的服務。這也是來自于公網和深網數據聯合發揮的真正實力。由bitcoin引起的數字貨幣和開放金融創新已經走過了10年,而現在正在開啟第二個十年的建設,這部分主要是金融、政府和大型企業將自己的部分核心業務和數據上鏈,通過DLT技術打造聯盟鏈來建設。這部分數據也屬于深網數據,對于普通用戶幾乎不可見,但它確是有力支撐了數字經濟底層的基石。[2020/3/3]

關于質押還有一個細節:如果你質押的方框被確認成為被接受的歷史的一部分,你可以選擇收回押金。這意味著,如果你是正確的,你可以停止移動你的質押,直到系統“追上”你,然后你就可以收回你的押金。

金色相對論 | 高慶忠:區塊鏈+AI應用前景廣闊:在本期金色相對論中,在談到區塊鏈結合AI能帶來怎樣的獨特優勢這一問題,智能矩陣Atmatrix創始人高慶忠表示:區塊鏈+AI, 落地是否難上加難,關鍵要看其項目要解決的問題是什么以及其解決方法是否有效,對于能揚長避短,不僅發揮AI優勢,而且發揮區塊鏈優勢的AI區塊鏈項目只會更容易些。對于能解決實體產業實際問題的AI區塊鏈項目未來將更容易被市場認可。ATN和Atmatrix連接人工智能與區塊鏈,為區塊鏈世界帶來人工智能,用區塊鏈技術來重構人工智能產業生態,這個項目未來應用前景將相當廣闊。區塊鏈有短板,AI有困境,只要避開短板和困境,發揮各自優勢和特長,兩者結合,還是很有前景的。[2018/7/17]

在這一點上,你可能會擔心,“可能的未來”之樹會變得非常大,而且枝繁葉茂。這在現實中是不可能發生的,因為這需要多方質押不一致的結果。只要他們中有一個是誠實的,其他所有人都會損失他們的押金。更有可能的是,這棵樹實際上是一個由有效DA串成的鏈,一個接一個,所有的質押都在同一條分支上。

我們需要系統在盡可能短的時間內對每個爭議斷言做出決定。所以當一個爭議斷言被添加上鏈、產生一個分叉點的時候,會有一個期限與之關聯。這個期限足夠長,任何人如果愿意,都有足夠的時間檢查這個爭議斷言是否有效,以及產生一筆質押交易上鏈。任何要質押的人都必須在期限結束之前完成操作(過期的質押仍然可以上鏈,但它們不能決定那個爭議斷言的有效性)。一旦期滿,所有可以決定爭議斷言的質押都將可知。

如果Alice和Bob質押不同的方框,那么以下兩件事件中,必有一件為真。要么其中一個質押可以向右移動到另一個——意味著他們的斷言是一致的—— 要么找不到這樣的路徑。如果沒有一條向右移動的路徑可以連接Alice和Bob的方框,則他們必然有分歧。他們之間一定可以找到一個唯一的分叉點——一個唯一的爭議斷言,某個人押注這個斷言是有效的,而另一個押注其無效。

當兩個參與者之間出現糾紛時,系統可以啟動一個交互式糾紛解決協議。我在這里沒有足夠的篇幅來描述這個糾紛解決協議——我只想說,這是一個類似我們在其他Arbitrum文檔中描述過的二分法交互協議。

糾紛解決協議的結果是一個參與者將被發現是錯誤的。這個參與者的押金會被罰沒。質押會從所在的方框上刪除。部分押金會給到糾紛的另一方,剩下的被燒掉。

多個糾紛可以同時解決,但是每個質押者一次最多只能參與一個糾紛。因為輸家的押注將被刪除,每解決一個糾紛都會減少整個系統的分歧數量。損失押金的參與者可以繼續質押,但是新的押注無法影響質押期限已過的爭議斷言。這樣做的效果是,一個爭議斷言的質押窗口結束后,一切有關如何處理該斷言的分歧都將被消除。

某個爭議斷言的質押期限到期后,如果所有及時提交(且尚未被刪除)的質押,都存在于從該斷言產生的同一條分支上,那么系統就可以肯定該斷言的結果為真。爭議斷言要么被接受要么被拒絕,當前狀態會移動到爭議斷言右邊正確的方框上。如果爭議斷言被確認有效,則其附帶效果,如支付等,也會在鏈上生效。虛擬機的狀態就是這樣向前移動的。

一般情況下,參與者都會誠實守矩,誰也不想因為質押錯誤而損失押金。只有有效的爭議斷言會被(其他參與者)斷言,構成一條鏈,沒有人會在任何爭議斷言的無效分支上質押。在這種情況下,所有的爭議斷言都會在質押期限一過后立即被確認。

Arbitrum Rollup的一個重要性質就是無需信任——只要有一個誠實參與者就可以確保虛擬機狀態正確向前推進。為什么呢,想象一下Alice總是在正確的分支上質押,如果沒有爭議斷言,她就自己斷言。

因為Alice總是在正確的分支上質押,所以她會贏下每一次糾紛。如果有任何人不同意Alice,他們要么(a)與一個無關的第三方產生糾紛并損失押金,或者(b)最終和Alice產生糾紛并輸給Alice押金。無論哪種情況,所有與Alice不一致的人都將失去押金。只有同意Alice的質押才能存活下去,所以Alice在樹上的路徑最終會成為唯一一個有及時質押的分支——并且Alice的路徑會被確認。

因為按這種方式系統是無需信任的,如果Alice質押某個方框,她一定知道到這個方框的路徑是可信的,Alice可以確定這個方框最終一定會被確認。對于Alice來說,這條路徑就跟被敲定了一樣。

即使你沒有質押某條路徑,如果你看到有好幾個人對它質押,只要你相信其中至少有一個誠實的人,你就可以肯定這條路徑最終一定會被確認——對你來說,這條路徑就跟被敲定了一樣。

為什么說無需信任的終局性有價值?經典的例子來自于之前對其他rollup協議的討論。假設一個虛擬機要向Alice進行支付。支付事件發生在誠實的路徑上,但是包含這筆支付的方框還需要等待一些時間被鏈上確認。

無需信任的終局性讓Alice可以立即拿到錢。如果Bob有余錢,可以立即付給Alice,以交換Alice尚未被確定的收款(加上支付給Bob一點小費)。Bob只有在他能確定Alice的這筆收款一定會發生,才會想和Alice交易。Bob可以通過質押誠實的結果來確保這一點——這樣他對這筆支付最終一定會發生抱有無需信任的信心。不僅僅是Bob可以這樣做。任何有點錢的人,都可以用這樣的方式借錢給Alice或者有她這樣需求的人,這些人通過提供更低的費用相互競爭,使Alice立即拿到錢的成本大大降低。

關鍵是,這種市場機制的可行性取決于無需信任的終局性。如果“每個人”都知道這件事最終會被確認,那么鏈上確認的延遲就不會帶來那么多的不便。

不僅對于支付,虛擬機能做的其他事情也是如此。如果虛擬機要生成一個日志事件記錄發生了什么事情,無需信任的終局性意味著任何人都可以肯定地采取行動,因為這個日志事件最終一定會被鏈上承認。

因為這個系統是無需信任的,壞人無法強行制造錯誤的結果。他們能做的只能是延緩系統。這樣做需要他們付出押金,如果押金數額巨大,則代價高昂。

想象一下,如果有人寧愿付出押金也要發動延遲攻擊,他們能造成的最壞的情況是怎樣的?

首先要注意的是,壞人無法阻止好人繼續構筑誠實的分支。而且他們也無法阻止好人獲得對“誠實的分支終將被確認”的無需信任的信心。

攻擊者能做的只是在錯誤的分支上質押,以延遲誠實路徑的鏈上確認。他們每次的質押都會產生一起和誠實參與者的糾紛,而誠實的參與者會從糾紛中拿走攻擊者的一大部分押金。等到攻擊者的全部押金被拿走了,鏈上確認還會繼續向前推進。

如果攻擊者多筆質押錯誤的結果會怎樣?那么這些押金會在一個接一個的糾紛中被拿走。如果有多人質押誠實的結果,這些人都可以進入糾紛解決,并行拿走攻擊者的押金。而且需要注意,所有人都很清楚發生了什么,很多人都想加入進來分一杯羹,質押正確的結果從攻擊者手上搶奪押金。如果誠實方有K個人質押,則在一次糾紛延遲期內,就要消耗攻擊者K份押金。如果攻擊者下更多的質押,那很可能會吸引更多的誠實質押者。這對攻擊者來說是個災難。

Tags:LICICEALIALICEalice幣會漲到多少JUICE幣DALI價格Chalice Finance

XRP
晚間必讀5篇 | 比特幣挖礦難度下降16% 市場感受命運翻轉_BTC

1.金色觀察丨比特幣挖礦難度下降16% 市場感受命運翻轉5月21日,中共中央局委員、國務院副總理、金融委主任劉鶴主持召開國務院金融穩定發展委員會第五十一次會議.

1900/1/1 0:00:00
晚間必讀5篇 | Adam Back 如何設計出比特幣的引擎_比特幣

1.金色硬核|23個鏈上數據分析比特幣本輪周期 結束了嗎金色財經推出金色硬核(Hardcore)欄目,為讀者提供熱門項目介紹或者深度解讀.

1900/1/1 0:00:00
舍棄比特幣 crypto有了新的愿景_比特幣

說起來有點奇怪,但在比特幣存在了十多年后,人們終于對它是什么達成了一些共識。比特幣的鐵桿支持者 (Bitcoiners) 將其比作是「數字黃金」,也即一種主要用例為簡單持有的避險資產.

1900/1/1 0:00:00
資本停止流入灰度比特幣信托 華爾街為何開始拋棄它?_比特幣

灰度(Grayscale)比特幣信托 (GBTC) 成為衡量機構對比特幣興趣的基準是有原因的。灰度比特幣信托是為數不多的為對沖基金、捐贈基金、養老基金和家族理財室提供投資比特幣途徑,而不需要用戶.

1900/1/1 0:00:00
Vitalik參加訪談 就Eth2更新進展發言_VIT

來源 | What’s New in Eth2? ?作者 |?Ben Edgington過去一周有些不錯的播客值得一聽:Danny Ryan 參加 Epicenter:Ethereum Foun.

1900/1/1 0:00:00
2021年最值得關注的5大新NFT平臺有哪些?_NFT

關于“如何推動區塊鏈的采用,才能使其靠近并成為主流”的問題已經被持續討論很多年了,而在2021年,答案終于浮出水面。今年的NFT取代了比特幣和DeFi成為了世界各地的頭條新聞.

1900/1/1 0:00:00
ads